integral of 1/(a + cos x)