YES

(VAR x y z)
(RULES
  add(multiply(x,inverse(y)),multiply(x,add(x,inverse(y)))) -> x
  add(multiply(x,inverse(y)),multiply(y,add(x,inverse(y)))) -> x
  add(multiply(x,inverse(x)),multiply(y,one())) -> y
  add(x,inverse(x)) -> one()
  add(multiply(y,x),multiply(z,x)) -> multiply(x,add(y,z))
)

(COMMENT
Termination is shown by LPO with precedence:

  add > inverse > one > multiply
)