EQUATIONS: 
a(a(x)) = b(b(b(x)))
a(x) = c(d(x))
b(b(x)) = c(c(c(x)))
c(c(x)) = d(d(d(x)))
e(d(x)) = a(b(c(d(e(x)))))
b(x) = d(d(x))
e(c(x)) = b(a(a(e(x))))
c(d(d(x))) = a(x)

COMPLETE TRS:
RULES:
b(b(x)) -> c(c(c(x)))
c(c(c(c(x)))) -> c(c(c(x)))
d(b(x)) -> c(c(x))
e(d(x)) -> e(c(x))
e(b(x)) -> e(c(x))
d(e(c(x))) -> e(c(x))
b(e(c(x))) -> e(c(x))
c(b(x)) -> c(c(c(x)))
c(d(x)) -> c(c(c(x)))
d(d(x)) -> b(x)
b(d(x)) -> c(c(x))
a(x) -> c(c(c(x)))
d(c(c(x))) -> c(c(c(x)))
e(c(c(x))) -> e(c(x))
c(e(c(x))) -> e(c(x))
c(c(c(e(x)))) -> e(c(x))
b(c(c(x))) -> c(c(c(x)))
e(e(c(x))) -> e(c(e(x)))

SUCCESS
MaxTRS: 2 
Search time: 31.62 seconds