(VAR x )
(STRATEGY INNERMOST)
(RULES 
        f(g(x)) -> g(g(f(x)))
        f(g(x)) -> g(g(g(x)))
        
)