(VAR x y )
(RULES 
        f(f(x)) -> f(g(f(x), x))
        f(f(x)) -> f(h(f(x), f(x)))
        g(x, y) -> y
        h(x, x) -> g(x, 0)
        
)