How do you find the antiderivative of sin(2x)/cosx?