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