How do you solve cos x = 1/2?