\frac{sin(2t)}{4}=\frac{2sintcost}{4}