计算 (d)/(dx)\displaystyleintegrate from 0 to x of cos(t^2) dt ，不需要求反导数。