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