2015-05-04: 6.1 The exponential function and its inverse