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