; @origtpdbfilename ./TRS/SK90/4.09.trs
; @xtcfilename "./TRS_Standard/SK90/4.09.xml"
(format TRS)
(fun + 2)
(fun |0| 0)
(fun i 1)
(fun * 2)
(rule (+ x |0|) x)
(rule (+ x (i x)) |0|)
(rule (+ (+ x y) z) (+ x (+ y z)))
(rule (* x (+ y z)) (+ (* x y) (* x z)))
(rule (* (+ x y) z) (+ (* x z) (* y z)))