example. 算术简化的 18165 项结果保持核验[lp-preserve]

(lambda (sample)
  (let ((expression (car sample)) (environment (cadr sample)))
    (= (interpret expression environment)
       (interpret (simplify expression) environment))))

⇒ "18165 cases passed" · checked