Inverse Function Theorem Calculus