integrate 6*(((1-x^2-z^2)/2)-x) from x=z to (-1+sqrt(2-z^2)) and z=0 to (sqrt(3)-1)/2