SUCCESS 0.28 (total time) COMPLETED TRS inverse(inverse(x)) -> x inverse(identity) -> identity inverse(multiply(x, y)) -> multiply(inverse(y), inverse(x)) multiply(inverse(x), multiply(x, y)) -> y multiply(inverse(x), x) -> identity multiply(identity, x) -> x multiply(multiply(x, y), z) -> multiply(x, multiply(y, z)) multiply(x, inverse(x)) -> identity multiply(x, identity) -> x multiply(x, multiply(inverse(x), y)) -> y