How do you solve #sqrt(2) cos x + 1 = 0# from #[0,2pi]#?