How do you find the integral of int 1/(1 + cos(x))?