How do you find the antiderivative of f(x) = 1 / (5cos^2(5x))?