SUCCESS
1.07 (total time)

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