d/dx integral sin(t^2) from 0 to x