Inverse Function Theorem Derivative