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