integral of 1/(1+cos^2(x))