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