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