How do you solve cos(2t)=1/2?