Function simplify 

pub fn simplify(expr: &Expr, alg: Algebra) -> Expr

按当前语义化简表达式。

递归重写；要求 AST 深度有界（Parser 产出的表达式满足）。手工构造的深树 请先调用 check_expr，否则可能栈溢出。