int (int 8*(sqrt(1-z^2-x^2)-1/2) dx from 1/2 to sqrt(1-z^2-1/4)) dz from 1/2 to sqrt(2)/2