Integral of sin(x)/(1+cos(x))