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