Description:

• exp is the usual exponential function defined as the solution of the ordinary differential equation y' = y with y(0)=1.
• exp(x) is defined for every real number x.