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

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

SUCCESS
MaxTRS: 2 
Search time: 0.90 seconds