Differentiation By Implicit Function Solver