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

SUCCESS
MaxTRS: 2 
Search time: 4.03 seconds