-0+D *tconstantMarked_D1yxD(t)1D(constant)0D(+(x,y))+(D(x),D(y))D( *(x,y))+( *(y,D(x)), *(x,D(y)))D(-(x,y))-(D(x),D(y))D(t)1D(constant)0D(+(x,y))+(D(x),D(y))D( *(x,y))+( *(y,D(x)), *(x,D(y)))D(-(x,y))-(D(x),D(y))Marked_D(+(x,y))Marked_D(x)Marked_D(+(x,y))Marked_D(y)Marked_D( *(x,y))Marked_D(x)Marked_D( *(x,y))Marked_D(y)Marked_D(-(x,y))Marked_D(x)Marked_D(-(x,y))Marked_D(y)D(t)1D(constant)0D(+(x,y))+(D(x),D(y))D( *(x,y))+( *(y,D(x)), *(x,D(y)))D(-(x,y))-(D(x),D(y))Marked_D(+(x,y))Marked_D(x)Marked_D(+(x,y))Marked_D(y)Marked_D( *(x,y))Marked_D(x)Marked_D( *(x,y))Marked_D(y)Marked_D(-(x,y))Marked_D(x)Marked_D(-(x,y))Marked_D(y)1 *D+0-1D0D+D *D-D