YES NOTE: input TRS is reduced original is 2: c1() -> c0() 3: c1() -> c2() 4: c2() -> c2() 5: c3() -> c2() 6: c3() -> c4() 7: f0(x2,c0()) -> c5() 8: f0(x3,c4()) -> c5() 9: f0(x4,c5()) -> c5() 10: f0(c2(),x5) -> c5() reduced to 2: c1() -> c0() 3: c1() -> c2() 5: c3() -> c2() 6: c3() -> c4() 7: f0(x2,c0()) -> c5() 8: f0(x3,c4()) -> c5() 9: f0(x4,c5()) -> c5() 10: f0(c2(),x5) -> c5() 0.05