How do you compute the antiderivative #sin x/cos (2x)#?
The required integral is
The first part of the solution requires the use of the trigonometric identity
This leaves you with,
Differentiating both sides with respect to t,
This sort of integral has a standard result, which is
which I will derive once we have the answer to your question, which is
Now, for the derivation of