; @origtpdbfilename ./TRS/various/18.trs
; @xtcfilename "./TRS_Standard/Various_04/18.xml"
(format TRS)
(fun + 2)
(fun * 2)
(fun u 0)
(rule (+ (* x y) (* x z)) (* x (+ y z)))
(rule (+ (+ x y) z) (+ x (+ y z)))
(rule (+ (* x y) (+ (* x z) u)) (+ (* x (+ y z)) u))