int z^2*boole (x^2+y^2+z^2<1 && x^2+y^2+z^2<2z), x=-oo..oo, y=-oo..oo, z=-oo..oo