integral exp(-sin(x)) from x=0..pi/2