Inverse function differentiation