(d)/(dx)\displaystyleintegrate from 0 to x of cos(t^2) dt sin calcular la antiderivada