EQUATIONS: 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) COMPLETE TRS: RULES: inverse(identity()) -> identity() multiply(identity(),x) -> x inverse(inverse(x)) -> x multiply(inverse(x),x) -> identity() multiply(x,inverse(x)) -> identity() divide(x,y) -> multiply(x,inverse(y)) multiply(inverse(x),multiply(x,y)) -> y multiply(x,multiply(inverse(x),y)) -> y inverse(multiply(x,y)) -> multiply(inverse(y),inverse(x)) multiply(multiply(x,y),z) -> multiply(x,multiply(y,z)) multiply(x,identity()) -> x SUCCESS MaxTRS: 2 Search time: 1.62 seconds