SUCCESS
0.03 (total time)

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