integral of 1/(1-2 cos(x)))