How do I solve cos x= (sqrt 2/2) for -2pi <=x<=2pi?