; @origtpdbfilename ./TRS/secret06/tpa08.trs ; @xtcfilename "./TRS_Standard/Secret_06_TRS/tpa08.xml" (format TRS) (fun - 2) (fun |0| 0) (fun s 1) (fun + 2) (fun * 2) (fun f 1) (rule (- x |0|) x) (rule (- (s x) (s y)) (- x y)) (rule (+ |0| y) y) (rule (+ (s x) y) (s (+ x y))) (rule (* x |0|) |0|) (rule (* x (s y)) (+ x (* x y))) (rule (f (s x)) (f (- (+ (* (s x) (s x)) (* (s x) (s (s (s |0|))))) (* (s (s x)) (s (s x))))))