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