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

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

SUCCESS
MaxTRS: 2 
Search time: 0.00 seconds