% SZS status Success for nats_div.trs
4.36 (total time)

S-CONVERGENT TRS: 
-(zero(),x) -> zero()
-(x,zero()) -> x
+_AC(zero(),x) -> x
*_AC(zero(),x) -> zero()
+_AC(s(x),y) -> s(+_AC(x,y))
div(zero(),s(x)) -> zero()
-(s(x),s(y)) -> -(x,y)
*_AC(s(x),y) -> +_AC(*_AC(x,y),y)
*_AC(+_AC(x,y),z) -> +_AC(*_AC(x,z),*_AC(y,z))
div(s(x),s(y)) -> s(div(-(x,y),s(y)))

% SZS status Success for nats_div.trs
4.36 (total time)

S-CONVERGENT TRS: 
-(zero(),x) -> zero()
-(x,zero()) -> x
+_AC(zero(),x) -> x
*_AC(zero(),x) -> zero()
+_AC(s(x),y) -> s(+_AC(x,y))
div(zero(),s(x)) -> zero()
-(s(x),s(y)) -> -(x,y)
*_AC(s(x),y) -> +_AC(*_AC(x,y),y)
*_AC(+_AC(x,y),z) -> +_AC(*_AC(x,z),*_AC(y,z))
div(s(x),s(y)) -> s(div(-(x,y),s(y)))

Total time: 4.379098