EQUATIONS: 
f(f(f(x))) = x
f(f(f(f(f(x))))) = x

COMPLETE TRS:
RULES:
f(x) -> x

SUCCESS
MaxTRS: 2 
Search time: 0.00 seconds