SUCCESS
0.02 (total time)

COMPLETED TRS
f(+(x, y)) -> +(f(x), f(y))
+(+(x, y), z) -> +(x, +(y, z))