What is cos(1t)t2dt?