From HomoExcelsior

1. The process of isolating the derivative of a dependent variable of an implicit function by differentiating each term of the function separately, expressing the desired derivative as a symbol, and solving the resulting expression for the symbol.