How do you solve #cos 2x = 1#?