SUCCESS
3.88 (total time)

COMPLETED TRS
h(e) -> e
i(h(x)) -> h(i(x))
i(i(x)) -> x
i(e) -> e
i(f(x, y)) -> f(i(y), i(x))
f(h(x), h(y)) -> h(f(x, y))
f(i(x), x) -> e
f(e, x) -> x
f(f(x, h(y)), h(z)) -> f(x, h(f(y, z)))
f(f(x, i(y)), y) -> x
f(f(x, y), i(y)) -> x
f(x, i(x)) -> e
f(x, e) -> x
f(x, f(y, z)) -> f(f(x, y), z)