Assume the needed derivatives exist continuously and on a neighborhood, so the inverse function theorem provides a local inverse. Put , , and . The chain rule gives , so
Differentiate once more:
Thus the first three derivatives of an inverse function are
All forward derivatives on the right are evaluated at the corresponding value .