EQUATIONS: 
times(times(x,y),times(y,z)) = y
times(times(x,x),x) = f(x)
times(x,times(x,x)) = g(x)
times(g(x),y) = times(x,y)

COMPLETE TRS:
RULES:
times(g(x),y) -> times(x,y)
times(f(x),g(x)) -> x
times(x,g(x)) -> g(x)
times(f(x),x) -> f(x)
f(f(x)) -> f(x)
times(x,times(y,z)) -> times(x,g(y))
g(times(x,y)) -> f(y)
g(g(x)) -> g(x)
g(f(x)) -> f(x)
f(g(x)) -> g(x)
f(times(x,y)) -> g(x)
times(x,f(y)) -> times(x,y)
times(times(z,x),y) -> times(f(x),y)

SUCCESS
MaxTRS: 3 
Search time: 0.35 seconds