YES NOTE: input TRS is reduced original is 1: c2() -> g0(f0(c1(),c1())) 2: c2() -> c1() 3: c1() -> c1() 4: c2() -> c0() reduced to 1: c2() -> g0(f0(c1(),c1())) 2: c2() -> c1() 4: c2() -> c0() 0.71