\((1+\tan^2(x)) \cos(2x) = 2 \tan(x)\)
\((1+\tan^2(x)) \sin(2x) = 2 \tan(x)\)
\((1-\tan^2(x)) \cos(2x) = 2 \tan(x)\)
\((1-\tan^2(x)) \sin(2x) = 2 \tan(x)\)