EQUATIONS: 
a(c(x)) = e(a(x))
a(d(x)) = v(a(x))
b(c(x)) = e(b(x))
b(d(x)) = v(b(x))
a(u(x)) = b(u(x))
u(x) = c(w(x))
d(w(x)) = u(x)

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

SUCCESS
MaxTRS: 2 
Search time: 0.86 seconds