Inverse functions and differentiation