integral from x=pi/2 to x=pi of sin(x)/(1+cos^2(x)) dx