Integral (sin(t)dt) from t=pi/2 to x