SUCCESS
2.36 (total time)

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