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
d(a(x)) -> e(x)
e(c(x)) -> a(x)
c(e(x)) -> a(x)
b(e(x)) -> a(x)
c(a(x)) -> a(c(x))
b(a(x)) -> a(c(x))
e(a(x)) -> a(e(x))

SUCCESS
MaxTRS: 2 
Search time: 0.19 seconds