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

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

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds