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:
multiply(inverse(x),x) -> identity()
multiply(x,inverse(x)) -> identity()
multiply(inverse(x),multiply(x,y)) -> y
multiply(x,multiply(inverse(x),y)) -> y
divide(x,y) -> multiply(x,inverse(y))
multiply(multiply(x,y),z) -> multiply(x,multiply(y,z))
inverse(identity()) -> identity()
multiply(identity(),x) -> x
inverse(inverse(x)) -> x
multiply(x,identity()) -> x
inverse(multiply(y,x)) -> multiply(inverse(x),inverse(y))

SUCCESS
MaxTRS: 5 
Search time: 2.65 seconds