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

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

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds