; @origtpdbfilename ./TRS/SK90/4.06.trs
; @xtcfilename "./TRS_Standard/SK90/4.06.xml"
(format TRS)
(fun * 2)
(fun + 2)
(fun f 1)
(fun g 2)
(rule (* (* x y) z) (* x (* y z)))
(rule (* (+ x y) z) (+ (* x z) (* y z)))
(rule (* x (+ y (f z))) (* (g x z) (+ y y)))