Marked_u31timesMarked_u42plusMarked_dindoutu41Marked_u21dinMarked_u32u31u42derMarked_u41u22u32Marked_u22u21DDXDYDXYXdin(der(plus(X,Y)))u21(din(der(X)),X,Y)u21(dout(DX),X,Y)u22(din(der(Y)),X,Y,DX)u22(dout(DY),X,Y,DX)dout(plus(DX,DY))din(der(times(X,Y)))u31(din(der(X)),X,Y)u31(dout(DX),X,Y)u32(din(der(Y)),X,Y,DX)u32(dout(DY),X,Y,DX)dout(plus(times(X,DY),times(Y,DX)))din(der(der(X)))u41(din(der(X)),X)u41(dout(DX),X)u42(din(der(DX)),X,DX)u42(dout(DDX),X,DX)dout(DDX)din(der(plus(X,Y)))u21(din(der(X)),X,Y)u21(dout(DX),X,Y)u22(din(der(Y)),X,Y,DX)u22(dout(DY),X,Y,DX)dout(plus(DX,DY))din(der(times(X,Y)))u31(din(der(X)),X,Y)u31(dout(DX),X,Y)u32(din(der(Y)),X,Y,DX)u32(dout(DY),X,Y,DX)dout(plus(times(X,DY),times(Y,DX)))din(der(der(X)))u41(din(der(X)),X)u41(dout(DX),X)u42(din(der(DX)),X,DX)u42(dout(DDX),X,DX)dout(DDX)Marked_din(der(plus(X,Y)))Marked_u21(din(der(X)),X,Y)Marked_din(der(plus(X,Y)))Marked_din(der(X))Marked_u21(dout(DX),X,Y)Marked_u22(din(der(Y)),X,Y,DX)Marked_u21(dout(DX),X,Y)Marked_din(der(Y))Marked_din(der(times(X,Y)))Marked_u31(din(der(X)),X,Y)Marked_din(der(times(X,Y)))Marked_din(der(X))Marked_u31(dout(DX),X,Y)Marked_u32(din(der(Y)),X,Y,DX)Marked_u31(dout(DX),X,Y)Marked_din(der(Y))Marked_din(der(der(X)))Marked_u41(din(der(X)),X)Marked_din(der(der(X)))Marked_din(der(X))Marked_u41(dout(DX),X)Marked_u42(din(der(DX)),X,DX)Marked_u41(dout(DX),X)Marked_din(der(DX))din(der(plus(X,Y)))u21(din(der(X)),X,Y)u21(dout(DX),X,Y)u22(din(der(Y)),X,Y,DX)u22(dout(DY),X,Y,DX)dout(plus(DX,DY))din(der(times(X,Y)))u31(din(der(X)),X,Y)u31(dout(DX),X,Y)u32(din(der(Y)),X,Y,DX)u32(dout(DY),X,Y,DX)dout(plus(times(X,DY),times(Y,DX)))din(der(der(X)))u41(din(der(X)),X)u41(dout(DX),X)u42(din(der(DX)),X,DX)u42(dout(DDX),X,DX)dout(DDX)Marked_din(der(plus(X,Y)))Marked_u21(din(der(X)),X,Y)Marked_din(der(plus(X,Y)))Marked_din(der(X))Marked_u21(dout(DX),X,Y)Marked_din(der(Y))Marked_din(der(times(X,Y)))Marked_u31(din(der(X)),X,Y)Marked_din(der(times(X,Y)))Marked_din(der(X))Marked_u31(dout(DX),X,Y)Marked_din(der(Y))Marked_din(der(der(X)))Marked_u41(din(der(X)),X)Marked_din(der(der(X)))Marked_din(der(X))Marked_u41(dout(DX),X)Marked_din(der(DX))u210u3220u2220Marked_u4120der0u4220u3120din0Marked_u21210u4110dout20Marked_din20plus0times0Marked_u31230Marked_u21(dout(DX),X,Y)Marked_din(der(Y))Marked_u31(dout(DX),X,Y)Marked_din(der(Y))din(der(plus(X,Y)))u21(din(der(X)),X,Y)u21(dout(DX),X,Y)u22(din(der(Y)),X,Y,DX)u22(dout(DY),X,Y,DX)dout(plus(DX,DY))din(der(times(X,Y)))u31(din(der(X)),X,Y)u31(dout(DX),X,Y)u32(din(der(Y)),X,Y,DX)u32(dout(DY),X,Y,DX)dout(plus(times(X,DY),times(Y,DX)))din(der(der(X)))u41(din(der(X)),X)u41(dout(DX),X)u42(din(der(DX)),X,DX)u42(dout(DDX),X,DX)dout(DDX)Marked_din(der(plus(X,Y)))Marked_u21(din(der(X)),X,Y)Marked_din(der(plus(X,Y)))Marked_din(der(X))Marked_din(der(times(X,Y)))Marked_u31(din(der(X)),X,Y)Marked_din(der(times(X,Y)))Marked_din(der(X))Marked_din(der(der(X)))Marked_u41(din(der(X)),X)Marked_din(der(der(X)))Marked_din(der(X))Marked_u41(dout(DX),X)Marked_din(der(DX))din(der(plus(X,Y)))u21(din(der(X)),X,Y)u21(dout(DX),X,Y)u22(din(der(Y)),X,Y,DX)u22(dout(DY),X,Y,DX)dout(plus(DX,DY))din(der(times(X,Y)))u31(din(der(X)),X,Y)u31(dout(DX),X,Y)u32(din(der(Y)),X,Y,DX)u32(dout(DY),X,Y,DX)dout(plus(times(X,DY),times(Y,DX)))din(der(der(X)))u41(din(der(X)),X)u41(dout(DX),X)u42(din(der(DX)),X,DX)u42(dout(DDX),X,DX)dout(DDX)Marked_din(der(plus(X,Y)))Marked_din(der(X))Marked_din(der(times(X,Y)))Marked_din(der(X))Marked_din(der(der(X)))Marked_u41(din(der(X)),X)Marked_din(der(der(X)))Marked_din(der(X))Marked_u41(dout(DX),X)Marked_din(der(DX))u2110u32310u22310Marked_u41330der310u4210u31310din10u41310dout310Marked_din130plus10times10Marked_din(der(der(X)))Marked_u41(din(der(X)),X)Marked_din(der(der(X)))Marked_din(der(X))Marked_u41(dout(DX),X)Marked_din(der(DX))din(der(plus(X,Y)))u21(din(der(X)),X,Y)u21(dout(DX),X,Y)u22(din(der(Y)),X,Y,DX)u22(dout(DY),X,Y,DX)dout(plus(DX,DY))din(der(times(X,Y)))u31(din(der(X)),X,Y)u31(dout(DX),X,Y)u32(din(der(Y)),X,Y,DX)u32(dout(DY),X,Y,DX)dout(plus(times(X,DY),times(Y,DX)))din(der(der(X)))u41(din(der(X)),X)u41(dout(DX),X)u42(din(der(DX)),X,DX)u42(dout(DDX),X,DX)dout(DDX)Marked_din(der(plus(X,Y)))Marked_din(der(X))Marked_din(der(times(X,Y)))Marked_din(der(X))din(der(plus(X,Y)))u21(din(der(X)),X,Y)u21(dout(DX),X,Y)u22(din(der(Y)),X,Y,DX)u22(dout(DY),X,Y,DX)dout(plus(DX,DY))din(der(times(X,Y)))u31(din(der(X)),X,Y)u31(dout(DX),X,Y)u32(din(der(Y)),X,Y,DX)u32(dout(DY),X,Y,DX)dout(plus(times(X,DY),times(Y,DX)))din(der(der(X)))u41(din(der(X)),X)u41(dout(DX),X)u42(din(der(DX)),X,DX)u42(dout(DDX),X,DX)dout(DDX)Marked_din(der(plus(X,Y)))Marked_din(der(X))Marked_din(der(times(X,Y)))Marked_din(der(X))u210u320u220der20u420u310din0u410dout0Marked_din20plus220times20Marked_din(der(plus(X,Y)))Marked_din(der(X))din(der(plus(X,Y)))u21(din(der(X)),X,Y)u21(dout(DX),X,Y)u22(din(der(Y)),X,Y,DX)u22(dout(DY),X,Y,DX)dout(plus(DX,DY))din(der(times(X,Y)))u31(din(der(X)),X,Y)u31(dout(DX),X,Y)u32(din(der(Y)),X,Y,DX)u32(dout(DY),X,Y,DX)dout(plus(times(X,DY),times(Y,DX)))din(der(der(X)))u41(din(der(X)),X)u41(dout(DX),X)u42(din(der(DX)),X,DX)u42(dout(DDX),X,DX)dout(DDX)Marked_din(der(times(X,Y)))Marked_din(der(X))din(der(plus(X,Y)))u21(din(der(X)),X,Y)u21(dout(DX),X,Y)u22(din(der(Y)),X,Y,DX)u22(dout(DY),X,Y,DX)dout(plus(DX,DY))din(der(times(X,Y)))u31(din(der(X)),X,Y)u31(dout(DX),X,Y)u32(din(der(Y)),X,Y,DX)u32(dout(DY),X,Y,DX)dout(plus(times(X,DY),times(Y,DX)))din(der(der(X)))u41(din(der(X)),X)u41(dout(DX),X)u42(din(der(DX)),X,DX)u42(dout(DDX),X,DX)dout(DDX)Marked_din(der(times(X,Y)))Marked_din(der(X))u2120u3210u2210der10u4220u310din0u410dout30Marked_din10plus0times210