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:
j(f(z)) -> z
e(f(c(z))) -> i(y(b(c(z))))
o(z) -> x(w(d(y(b(c(z))))))
e(y(b(c(z)))) -> d(y(b(c(z))))
x(w(i(z))) -> x(w(d(z)))
u(z) -> x(w(d(y(z))))
w(e(z)) -> h(j(z))
g(z) -> y(b(z))
a(z) -> i(y(z))
x(h(j(y(b(z))))) -> x(h(z))
h(c(z)) -> w(i(y(b(c(z)))))
h(j(y(b(c(x))))) -> w(d(y(b(c(x)))))

SUCCESS
MaxTRS: 2 
Search time: 1.06 seconds