The derivative of the exponential function