SUCCESS 0.01 (total time) COMPLETED TRS multiply(x, multiply(y, z)) -> multiply(multiply(x, y), z)