EQUATIONS: multiply(multiply(x,y),z) = multiply(x,multiply(y,z)) multiply(identity(),x) = x multiply(inverse(x),x) = identity() multiply(b(),c()) = multiply(d(),c()) COMPLETE TRS: RULES: multiply(multiply(x,y),z) -> multiply(x,multiply(y,z)) multiply(identity(),x) -> x multiply(inverse(x),x) -> identity() multiply(x,multiply(inverse(x),y)) -> y inverse(identity()) -> identity() multiply(inverse(y),multiply(y,x)) -> x multiply(x,identity()) -> x multiply(x,inverse(x)) -> identity() d() -> b() inverse(inverse(x)) -> x inverse(multiply(y,x)) -> multiply(inverse(x),inverse(y)) SUCCESS MaxTRS: 2 Search time: 0.10 seconds