int_(pi/4)^(pi/2) int_(arccot cos z)^(pi/2) sin z sin^2 y dy dz