((1-tan^2 x)/(1+tan^2 x)^2 = cos 2x