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