This chapter completes our differentiation toolkit. The first and most important tool will be how to differentiate inverse functions. We’ll be able to use this to differentiate exponential and logarithmic functions, which we stated in Theorem 2.3.1 but did not prove.