int(exp(-x)*exp(-x**2), x, 0, inf)