How do you solve cos2x=1/sqrt2?