How do you solve #cos2x=[sqrt(2)/2]# over the interval 0 to 2pi?