antiderivative of 2/(2 + cos x)