Part 2. Tarjan's algorithm for reducing a nonlinear system of equations to a computable sequence of substitutions