Rendering 3D formulas as 3D geometries