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