Add some more utility tool functions.
Integrate algebraic simplifier with simplification engine.