How do you find the antiderivative of #int sin(tanx)/cos^2x dx#?