>>753
cos(2x)=(cos^2x-sin^2x)/(cos^2x+sin^2x)=(1-tan^2x)/(1+tan^2x) → (1-t^2)/(1+t^2)
sin(2x)=2sinxcosx/(cos^2x+sin^2x)=2tanx/(1+tan^2x) → 2t/(1+t^2)