; @origtpdbfilename ./TRS/D33/13.trs
; @xtcfilename "./TRS_Standard/Der95/13.xml"
(format TRS)
(fun * 2)
(fun + 2)
(rule (* x (+ y z)) (+ (* x y) (* x z)))
(rule (* (+ y z) x) (+ (* x y) (* x z)))
(rule (* (* x y) z) (* x (* y z)))
(rule (+ (+ x y) z) (+ x (+ y z)))