solve cos^2 x - cos x - 2 = 0