SUCCESS
0.17 (total time)

COMPLETED TRS
exp(0) -> 1
exp(+(x, y)) -> *(exp(x), exp(y))
*(*(x, y), z) -> *(x, *(y, z))
*(x, 1) -> x
*(x, *(1, y)) -> *(x, y)
+(+(x, y), z) -> +(x, +(y, z))
+(x, 0) -> x
+(x, +(0, y)) -> +(x, y)