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