How do you solve #cos 2x= sqrt2/2 #?