SUCCESS
99.98 (total time)

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