Implicit Differentiation Rules