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

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

SUCCESS
MaxTRS: 4 
Search time: 1.01 seconds