Integral x*sin(x)/(1+cos(x)) dx from 0 to π/2