Background Formula simplification: (2*x–y-x)*(-x+-(-y-2*x)) → x**2-y**2 … should be the killer application of term rewriting … but isn't: –no term rewrite engine comes with a strong simplifier –no open source library of rules … so why.
{}