SUCCESS
0.03 (total time)

COMPLETED TRS
+(x, 0) -> x
s(x) -> x
p(x) -> x