EQUATIONS: 
times(one(),y) = y
times(i(x),x) = one()
times(times(x,y),z) = times(x,times(y,z))
divi(x,y) = times(x,i(y))

COMPLETE TRS:
RULES:
times(one(),y) -> y
times(i(x),x) -> one()
times(times(x,y),z) -> times(x,times(y,z))
divi(x,y) -> times(x,i(y))
times(x,times(i(x),y)) -> y
i(one()) -> one()
times(i(y),times(y,x)) -> x
times(x,one()) -> x
times(x,i(x)) -> one()
i(i(x)) -> x
i(times(y,x)) -> times(i(x),i(y))

SUCCESS
MaxTRS: 2 
Search time: 0.09 seconds