integral(1/cos^2(x))