antiderivative of x^4 * e^(x^4)