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