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