(load "rule-compiler")
(load "matcher")
(load "rule-simplifier")
(define (rule-memoize x) x)
(load "sin1")