whats the antiderivative of e^4x
...?
...?