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:
i(one()) -> one()
times(x,y) -> divi(x,i(y))
i(divi(x,y)) -> divi(y,x)
divi(i(x),divi(y,x)) -> i(y)
divi(divi(x,y),z) -> divi(x,divi(z,i(y)))
divi(x,divi(y,i(x))) -> i(y)
divi(x,divi(y,divi(i(x),z))) -> divi(i(z),y)
divi(x,x) -> one()
i(i(x)) -> x
divi(x,one()) -> x
divi(one(),x) -> i(x)
divi(i(z),divi(y,divi(z,x))) -> divi(i(x),y)

SUCCESS
MaxTRS: 2 
Search time: 0.61 seconds