double integral of cos(x^2)dxdy from x=y to x=sqrt(pi/2) and y=0 to y=sqrt(pi/2)