YES

NOTE: input TRS is reduced

original is
  27: c0() -> c1()
  28: c0() -> c2()
  29: c0() -> c4()
  30: c1() -> c3()
  31: c2() -> c0()
  32: c3() -> c0()
  33: c3() -> c4()
  34: g0(x1) -> g1(c0())
  35: g1(x2) -> c4()

reduced to
  27: c0() -> c1()
  28: c0() -> c2()
  30: c1() -> c3()
  31: c2() -> c0()
  32: c3() -> c0()
  33: c3() -> c4()
  34: g0(x1) -> g1(c0())
  35: g1(x2) -> c4()

0.13