example. 导入的算术函数组合结果为 35[lp-import-compose]

(simplify-and-run '(* (+ x 0) (+ 2 3)) '((x 7)))

⇒ 35 · checked