integrate sinx from -pi to pi/2