How do you simplify #cos 2x = (1-tan^2x)/(1+tan^2x)#?