Marked_* *-0Marked_-exp+Marked_expsyxexp(x,0)s(0)exp(x,s(y)) *(x,exp(x,y)) *(0,y)0 *(s(x),y)+(y, *(x,y))-(0,y)0-(x,0)x-(s(x),s(y))-(x,y)exp(x,0)s(0)exp(x,s(y)) *(x,exp(x,y)) *(0,y)0 *(s(x),y)+(y, *(x,y))-(0,y)0-(x,0)x-(s(x),s(y))-(x,y)Marked_exp(x,s(y))Marked_*(x,exp(x,y))Marked_exp(x,s(y))Marked_exp(x,y)Marked_*(s(x),y)Marked_*(x,y)Marked_-(s(x),s(y))Marked_-(x,y)exp(x,0)s(0)exp(x,s(y)) *(x,exp(x,y)) *(0,y)0 *(s(x),y)+(y, *(x,y))-(0,y)0-(x,0)x-(s(x),s(y))-(x,y)Marked_exp(x,s(y))Marked_exp(x,y)Marked_exp2Marked_exp(x,s(y))Marked_exp(x,y)exp(x,0)s(0)exp(x,s(y)) *(x,exp(x,y)) *(0,y)0 *(s(x),y)+(y, *(x,y))-(0,y)0-(x,0)x-(s(x),s(y))-(x,y)exp(x,0)s(0)exp(x,s(y)) *(x,exp(x,y)) *(0,y)0 *(s(x),y)+(y, *(x,y))-(0,y)0-(x,0)x-(s(x),s(y))-(x,y)Marked_*(s(x),y)Marked_*(x,y)Marked_*1Marked_*(s(x),y)Marked_*(x,y)exp(x,0)s(0)exp(x,s(y)) *(x,exp(x,y)) *(0,y)0 *(s(x),y)+(y, *(x,y))-(0,y)0-(x,0)x-(s(x),s(y))-(x,y)exp(x,0)s(0)exp(x,s(y)) *(x,exp(x,y)) *(0,y)0 *(s(x),y)+(y, *(x,y))-(0,y)0-(x,0)x-(s(x),s(y))-(x,y)Marked_-(s(x),s(y))Marked_-(x,y)Marked_-1Marked_-(s(x),s(y))Marked_-(x,y)exp(x,0)s(0)exp(x,s(y)) *(x,exp(x,y)) *(0,y)0 *(s(x),y)+(y, *(x,y))-(0,y)0-(x,0)x-(s(x),s(y))-(x,y)