antiderivative of sqrt(1+cos(x))