gistfile1.txt

(defmatch s
 ([[+ M N]] ((:number M) (:number N)) {m 'M n 'N} (+ m n))
 ([[+ 0 N]] () {n 'N} n)
 ([[+ N 0]] () {n 'N} n)
 ([[+ A [+ B C]]] () {a'A,b'B,c'C} ['+ ['+ a b] c])
 ([[* M N]] ((:number M) (:number N)) {m 'M n 'N} (* m n))
 ([[* 0 N]] () {n 'N} 0)
 ([[* N 0]] () {n 'N} 0)
 ([[* A [* B C]]] () {a'A,b'B,c'C} ['* ['* a b] c])
 ([A] () {a 'A} a))

(defmatch simplify
  ([[Op A B]] () {op 'Op a 'A b 'B} (s [op (simplify a) (simplify b)]))
  ([A] () {a 'A} a))