hybrid simplifier for symbolic expressions
addAxiom exetended