How do you solve 2 cos x = sqrt(2)?