在求解K12数学运算生成运算/讲解步骤时，应用到多种化简表达式的方法，需要处理两个核心问题： 如何设计表达式化简逻辑， 如何判断使用各化简方法的优先级。此文用以记录mathjs的实现探索。