; @origtpdbfilename ./TRS/SK90/2.06.trs
; @xtcfilename "./TRS_Standard/SK90/2.06.xml"
(format TRS)
(fun + 2)
(fun * 2)
(rule (+ x (+ y z)) (+ (+ x y) z))
(rule (+ (* x y) (+ x z)) (* x (+ y z)))
(rule (+ (* x y) (+ (* x z) u)) (+ (* x (+ y z)) u))