(VAR a b c)
(RULES
divide(divide(divide(a,a),divide(a,divide(b,divide(divide(identity,a),c)))),c) -> b
multiply(a,b) -> divide(a,divide(identity,b))
inverse(a) -> divide(identity,a)
identity -> divide(a,a) 
)