antiderivative of 3e^x