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

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

SUCCESS
MaxTRS: 2 
Search time: 1.75 seconds