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

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

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds