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