SUCCESS 0.03 (total time) COMPLETED TRS +(+(x, y), z) -> +(x, +(y, z)) f(+(x, y)) -> +(f(x), f(y)) f(f(x)) -> x