SUCCESS 0.71 (total time) COMPLETED TRS b(b(x)) -> x a(b(a(x))) -> b(a(b(x))) a(a(x)) -> x i(i(x)) -> x i(e) -> e i(f(x, y)) -> f(i(y), i(x)) f(i(x), f(x, y)) -> y f(i(x), x) -> e f(e, x) -> x f(f(x, y), z) -> f(x, f(y, z)) f(x, i(x)) -> e f(x, e) -> x f(x, f(i(x), y)) -> y