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