What's the integral of #int tanx * sec^3x * dx#?