How do you solve 2 cos x + 1 = cos x for all values of x on [0, 2pi]?