Open Question: calculate the derivative d/dt |(1,sint) of cos(x^2)dx?