example. 算术 simplify 的幂等性核验[lp-idempotent]
(lambda (expression)
(equal? (simplify expression) (simplify (simplify expression))))
⇒ "6055 cases passed" · checked
(lambda (expression)
(equal? (simplify expression) (simplify (simplify expression))))
⇒ "6055 cases passed" · checked