Marked_Dm2t1bdivhMarked_bcpowDlnconstantoppsxyzD(t)s(h)D(constant)hD(b(x,y))b(D(x),D(y))D(c(x,y))b(c(y,D(x)),c(x,D(y)))D(m(x,y))m(D(x),D(y))D(opp(x))opp(D(x))D(div(x,y))m(div(D(x),y),div(c(x,D(y)),pow(y,2)))D(ln(x))div(D(x),x)D(pow(x,y))b(c(c(y,pow(x,m(y,1))),D(x)),c(c(pow(x,y),ln(x)),D(y)))b(h,x)xb(x,h)xb(s(x),s(y))s(s(b(x,y)))b(b(x,y),z)b(x,b(y,z))D(t)s(h)D(constant)hD(b(x,y))b(D(x),D(y))D(c(x,y))b(c(y,D(x)),c(x,D(y)))D(m(x,y))m(D(x),D(y))D(opp(x))opp(D(x))D(div(x,y))m(div(D(x),y),div(c(x,D(y)),pow(y,2)))D(ln(x))div(D(x),x)D(pow(x,y))b(c(c(y,pow(x,m(y,1))),D(x)),c(c(pow(x,y),ln(x)),D(y)))b(h,x)xb(x,h)xb(s(x),s(y))s(s(b(x,y)))b(b(x,y),z)b(x,b(y,z))Marked_D(b(x,y))Marked_b(D(x),D(y))Marked_D(b(x,y))Marked_D(x)Marked_D(b(x,y))Marked_D(y)Marked_D(c(x,y))Marked_b(c(y,D(x)),c(x,D(y)))Marked_D(c(x,y))Marked_D(x)Marked_D(c(x,y))Marked_D(y)Marked_D(m(x,y))Marked_D(x)Marked_D(m(x,y))Marked_D(y)Marked_D(opp(x))Marked_D(x)Marked_D(div(x,y))Marked_D(x)Marked_D(div(x,y))Marked_D(y)Marked_D(ln(x))Marked_D(x)Marked_D(pow(x,y))Marked_b(c(c(y,pow(x,m(y,1))),D(x)),c(c(pow(x,y),ln(x)),D(y)))Marked_D(pow(x,y))Marked_D(x)Marked_D(pow(x,y))Marked_D(y)Marked_b(s(x),s(y))Marked_b(x,y)Marked_b(b(x,y),z)Marked_b(x,b(y,z))Marked_b(b(x,y),z)Marked_b(y,z)D(t)s(h)D(constant)hD(b(x,y))b(D(x),D(y))D(c(x,y))b(c(y,D(x)),c(x,D(y)))D(m(x,y))m(D(x),D(y))D(opp(x))opp(D(x))D(div(x,y))m(div(D(x),y),div(c(x,D(y)),pow(y,2)))D(ln(x))div(D(x),x)D(pow(x,y))b(c(c(y,pow(x,m(y,1))),D(x)),c(c(pow(x,y),ln(x)),D(y)))b(h,x)xb(x,h)xb(s(x),s(y))s(s(b(x,y)))b(b(x,y),z)b(x,b(y,z))Marked_D(b(x,y))Marked_D(x)Marked_D(b(x,y))Marked_D(y)Marked_D(c(x,y))Marked_D(x)Marked_D(c(x,y))Marked_D(y)Marked_D(m(x,y))Marked_D(x)Marked_D(m(x,y))Marked_D(y)Marked_D(opp(x))Marked_D(x)Marked_D(div(x,y))Marked_D(x)Marked_D(div(x,y))Marked_D(y)Marked_D(ln(x))Marked_D(x)Marked_D(pow(x,y))Marked_D(x)Marked_D(pow(x,y))Marked_D(y)sopplnDpowchdivb12msDsbhDbDcDmDoppDdivDpowD2DlnD1DD(t)s(h)D(constant)hD(b(x,y))b(D(x),D(y))D(c(x,y))b(c(y,D(x)),c(x,D(y)))D(m(x,y))m(D(x),D(y))D(opp(x))opp(D(x))D(div(x,y))m(div(D(x),y),div(c(x,D(y)),pow(y,2)))D(ln(x))div(D(x),x)D(pow(x,y))b(c(c(y,pow(x,m(y,1))),D(x)),c(c(pow(x,y),ln(x)),D(y)))b(h,x)xb(x,h)xb(s(x),s(y))s(s(b(x,y)))b(b(x,y),z)b(x,b(y,z))Marked_b(s(x),s(y))Marked_b(x,y)Marked_b(b(x,y),z)Marked_b(x,b(y,z))Marked_b(b(x,y),z)Marked_b(y,z)s110opp0constant0ln310D330pow0c0Marked_b20h0div30b321010t020m220