How do you verify #cos 2x = (1-tan^2x)/(1+tan^2x)# using the double angle identity?