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

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

SUCCESS
MaxTRS: 4 
Search time: 96.93 seconds