SUCCESS
4.22 (total time)

COMPLETED TRS
g(1, g(1, x)) -> x
g(1, 1) -> 1
g(1, *(x, y)) -> *(g(1, y), g(1, x))
f(x, y) -> g(x, *(g(1, y), x))
i(x) -> g(1, x)
*(g(1, x), *(x, y)) -> y
*(g(1, x), x) -> 1
*(1, x) -> x
*(*(x, y), z) -> *(x, *(y, z))
*(x, g(1, x)) -> 1
*(x, 1) -> x
*(x, *(g(1, x), y)) -> y