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