solve cos(2*t)=sin(t)*cos(t)