antiderivative of ln(1+sin(x))