TRS:
 {a(d(x)) -> d(c(b(a(x)))),
  b(c(x)) -> c(d(a(b(x)))),
  a(c(x)) -> x,
  b(d(x)) -> x}
 Fail