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