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