integrate cos(sin(x)) from x=0 to pi/2