EQUATIONS: 
multiply(x,add(y,z)) = add(multiply(y,x),multiply(z,x))
add(x,inverse(x)) = one()
add(multiply(x,inverse(x)),add(multiply(x,y),multiply(inverse(x),y))) = y
add(multiply(x,inverse(y)),add(multiply(x,y),multiply(inverse(y),y))) = x
add(multiply(x,inverse(y)),add(multiply(x,x),multiply(inverse(y),x))) = x

COMPLETE TRS:
RULES:
add(x,inverse(x)) -> one()
add(multiply(x,inverse(x)),multiply(y,one())) -> y
add(multiply(x,inverse(y)),multiply(y,add(x,inverse(y)))) -> x
add(multiply(x,inverse(y)),multiply(x,add(x,inverse(y)))) -> x
add(multiply(y,x),multiply(z,x)) -> multiply(x,add(y,z))

SUCCESS
MaxTRS: 2 
Search time: 0.02 seconds