How do you verify #2sin^2 x = 2 + cos x#?