What's the integral of int cos^2(x) tan^3(x) dx?