How do you solve #cos2x=1/sqrt2#?