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