Class DivExpressionSolver