<s>[INST] Finding $\int \frac{\cos(2x) dx}{\cos^4x+\sin^4x}$ $\int \frac{\cos(2x) dx}{\cos^4x+\sin^4x}$
I'm looking more into simplifying this than the solution itself (which I know involves using t=tan(x/2)).
I did:
$$\int \frac{\cos(2x) dx}{\cos^4x+\sin^4x} = \int\frac{\cos(2x)dx}{(\cos^2x+\sin^2x)^2-2\sin^2x\cos^2x} = \int\frac{\cos(2x)dx}{1-2\sin^2(2x)}$$
I tried applying the t=tan(y/2) (where y = 2x) but it became a mess so I figure this can be simplified further... help?
 [/INST] Continues, we have $$ \int{ \frac{1}{2 - t^2} dt } $$.
assume $ t = \sqrt{2} \sin (y) $, we differensial and get $ dt = \sqrt{2} \cos (y) dy $
$$ \int{ \frac{1}{2 - t^2} dt } = \frac{1}{2} \int{ \frac{\sqrt{2} \cos (y) dy}{1 - \sin ^2 (y) } dt } = \frac{\sqrt{2}}{2} \int{ \sec(y) dy } = \frac{\sqrt{2}}{2} \sec y \tan y = \frac{1}{2- t^2}$$ . back to question
</s>