integrate sin(cos x) dx, x=0..pi/2