How do you verify #(1 - cos x) / (1 + cos x) = (csc x - cot x)^2#?