(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)
        
)