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