化简由规则完成[#77]

原始值：$-\left(-x\right)+0x$。显式调用math-simplify后：$x$。

前一个表达式仍保留双重负号和零乘积；后一个报告结果才经过化简规则。这里的x是带坐标声明的Semantic值，因此可直接作为计算事实传入。