EQUATIONS: a(a(x)) = d(c(x)) a(b(x)) = c(c(c(x))) b(b(x)) = a(c(c(x))) c(c(x)) = b(x) c(d(x)) = a(a(x)) d(d(x)) = b(a(c(x))) COMPLETE TRS: RULES: a(b(x)) -> b(b(x)) c(c(x)) -> b(x) c(d(x)) -> a(a(x)) d(d(x)) -> b(a(c(x))) d(a(a(x))) -> b(b(x)) a(c(a(a(x)))) -> b(b(x)) c(b(x)) -> b(b(x)) b(b(b(x))) -> b(b(x)) d(b(x)) -> c(a(a(x))) b(b(a(x))) -> b(b(x)) a(a(a(a(x)))) -> b(b(x)) d(c(x)) -> a(a(x)) a(a(c(x))) -> c(a(a(x))) b(d(x)) -> c(a(a(x))) b(a(a(x))) -> b(b(x)) a(a(d(x))) -> b(b(x)) b(c(x)) -> b(b(x)) SUCCESS MaxTRS: 2 Search time: 0.73 seconds