Function simplify 

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

按当前语义化简表达式。