SUCCESS
0.17 (total time)

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