; @origtpdbfilename ./TRS/nontermin/Rubio-inn/muladd.trs
; @xtcfilename "./TRS_Standard/Strategy_removed_mixed_05/muladd.xml"
(format TRS)
(fun * 2)
(fun + 2)
(fun |1| 0)
(fun |0| 0)
(rule (* X (+ Y |1|)) (+ (* X (+ Y (* |1| |0|))) X))
(rule (* X |1|) X)
(rule (* X |0|) X)
(rule (* X |0|) |0|)