How do you calculate the antiderivative of sin(2x)/cos(x) dx?