How do you solve #cos x - cos 2x = 0#?