Approximating E-Unification (Part 2)