YES NOTE: input TRS is reduced original is 1: c0() -> c1() 2: c0() -> g0(c1()) 3: c1() -> c1() reduced to 1: c0() -> c1() 2: c0() -> g0(c1()) 0.09