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