int(x=0,∞,sin(x^2)*e^(-tx^2))