SUCCESS
0.05 (total time)

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