example. 导入的算术 simplify 结果为 (+ x 6)[lp-import-simplify]

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

⇒ (+ x 6) · checked