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

SUCCESS
MaxTRS: 2 
Search time: 0.05 seconds