1 2 3 4 5
(def-rule (+ @a) @a) (def-rule (* @a) @a) (def-rule (+ @a @a .) (+ (* 2 @a) .)) (def-rule (+ @a (* $i @a) .) (+ (* (+ $i 1) @a) .)) (def-rule (+ (* $i @a) (* $j @a) .) (+ (* (+ $i $j) @a) .))
