SUCCESS
5.73 (total time)

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