Implicit Differentiation Definition