sample.lisp

  (:section "8.5 Limits of Rule-Based Approaches")
  "In this section we return to some examples that pose problems."
  "For the following, we would prefer (2 * (x + y))"
  ((simp '(x + y + y + x)) => (X + (Y + (Y + X))))
  "For the following, we would prefer (7 * X) and (Y + (8 * X)), respectively:"
  ((simp '(3 * x + 4 * x)) => ((3 * X) + (4 * X)))
  ((simp '(3 * x + y + x + 4 * x)) => ((3 * X) + (Y + (X + (4 * X)))) )
  "In chapter 15, we develop a new version of the program that handles this problem."

  (:section "8.6 Integration")
  ((set-simp-fn 'Int #'(lambda (exp)