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

SUCCESS
MaxTRS: 2 
Search time: 35.69 seconds