(VAR x )
(RULES 
        f(g(f(x))) -> f(g(g(g(f(x)))))
        g(x) ->= g(g(x))
        g(x) ->= g(g(f(g(g(x)))))
        f(x) ->= g(g(f(g(g(x)))))
)