antiderivative x*e^(-4x) dx