EQUATIONS: 
divide(divide(identity(),divide(a,divide(b,divide(divide(divide(a,a),a),c)))),c) =
  b
multiply(a,b) = divide(a,divide(identity(),b))
inverse(a) = divide(identity(),a)
identity() = divide(a,a)

COMPLETE TRS:
RULES:
inverse(identity()) -> identity()
divide(x,identity()) -> x
inverse(inverse(x)) -> x
inverse(divide(x,y)) -> divide(y,x)
divide(inverse(x),divide(y,x)) -> inverse(y)
divide(x,divide(y,inverse(x))) -> inverse(y)
divide(divide(x,y),z) -> divide(x,divide(z,inverse(y)))
multiply(x,y) -> divide(x,inverse(y))
divide(identity(),a) -> inverse(a)
divide(a,a) -> identity()
divide(inverse(z),divide(y,divide(z,x))) -> divide(inverse(x),y)
divide(z,divide(y,divide(inverse(z),x))) -> divide(inverse(x),y)

SUCCESS
MaxTRS: 2 
Search time: 0.14 seconds