How do you verify #cos ^2 u - sin ^2 u = 2 cos^2 u -1#?