∫( 2*cos(sin(y)^2), y = 0 .. pi/2 )