(VAR x y)
(RULES
f(x, *(x, y)) -> y
g(*(x, y), y) -> x
*(x, one) -> x
*(one, y) -> y
)