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