% SZS status Success for SK90_ex3_13.trs
0.21 (total time)

S-CONVERGENT TRS: 
exp(zero()) -> one()
p(zero(),x) -> x
m(exp(x),exp(y)) -> exp(p(x,y))

Total time: 0.209319