example. 算术 simplify 的结果为 x[lp-simplify-test]

(simplify '(* (+ x 0) (+ 1 0)))

⇒ x · checked