SUCCESS
0.03 (total time)

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