SUCCESS
10.93 (total time)

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