SUCCESS 6.72 (total time) COMPLETED TRS g(x) -> *(f(x), x) *(f(f(x)), y) -> *(x, y) *(f(one), x) -> x *(f(*(x, y)), z) -> *(f(y), *(f(x), z)) *(f(x), *(x, y)) -> y *(one, x) -> x *(*(x, y), z) -> *(x, *(y, z)) *(x, *(f(x), y)) -> y