integral sin(t^(2)) dt