TRS:
 {       h(x, y) -> f(x, y, x),
  f(0(), 1(), x) -> h(x, x),
         g(x, y) -> x,
         g(x, y) -> y}
 Fail