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