EQUATIONS: 
x(w(e(f(z)))) = x(w(e(g(z))))
e(g(c(z))) = d(g(c(z)))
x(w(d(z))) = x(w(i(z)))
u(b(c(z))) = o(z)
x(w(i(g(c(z))))) = o(z)
x(w(a(z))) = u(z)
a(b(c(z))) = e(f(c(z)))
j(f(z)) = z
h(j(z)) = w(e(z))
y(b(z)) = g(z)
i(y(z)) = a(z)

COMPLETE TRS:
RULES:
x(w(d(z))) -> x(w(i(z)))
j(f(z)) -> z
h(j(z)) -> w(e(z))
o(z) -> x(w(i(y(b(c(z))))))
e(f(c(z))) -> i(y(b(c(z))))
g(z) -> y(b(z))
a(z) -> i(y(z))
w(e(f(z))) -> h(z)
u(z) -> x(w(i(y(z))))
h(c(z)) -> w(i(y(b(c(z)))))
d(y(b(c(z)))) -> e(y(b(c(z))))
x(w(e(y(b(z))))) -> x(h(z))

SUCCESS
MaxTRS: 2 
Search time: 0.83 seconds