SUCCESS
74.91 (total time)

COMPLETED TRS
i(b) -> b
i(i(x)) -> x
i(e) -> e
i(f(x, y)) -> f(i(y), i(x))
f(b, b) -> e
f(b, a) -> f(i(a), b)
f(b, i(a)) -> f(a, b)
f(i(x), x) -> e
f(e, x) -> x
f(f(f(i(a), i(a)), i(a)), i(a)) -> f(f(f(a, a), a), a)
f(f(f(f(a, a), a), a), a) -> f(f(i(a), i(a)), i(a))
f(f(f(f(f(x, a), a), a), a), a) -> f(f(f(x, i(a)), i(a)), i(a))
f(f(f(f(x, i(a)), i(a)), i(a)), i(a)) -> f(f(f(f(x, a), a), a), a)
f(f(x, b), b) -> x
f(f(x, b), a) -> f(f(x, i(a)), b)
f(f(x, b), i(a)) -> f(f(x, a), b)
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)