Reading in a consistent manner

We give a method for simplifying expressions in a way consistent with the second operator so that like terms can be cancelled. We make use of the trace property.

cancelling[a___,cancelling[b___],c___]:=cancelling[a,b,c]

cancelling[a___,b1_+b2_,c___]:=cancelling[a,b1,c]+cancelling[a,b2,c]

cancelling[a___,-b_,c___]:=(-1)cancelling[a,b,c]

cancelling[x_?(FreeQ[#,k]&&FreeQ[#,se]&&FreeQ[#,sse]&&FreeQ[#,ssekksse]&&FreeQ[#,sekkse]&&FreeQ[#,(Subscript[δ, 1])]&&FreeQ[#,(Subscript[δ, 2])]&)]:=x

cancelling[a___,x_?(FreeQ[#,k]&&FreeQ[#,se]&&FreeQ[#,sse]&&FreeQ[#,ssekksse]&&FreeQ[#,sekkse]&&FreeQ[#,(Subscript[δ, 1])]&&FreeQ[#,(Subscript[δ, 2])]&),b___]:=x cancelling[a,b]

cancelling[a___,x__?(FreeQ[#,k]&&FreeQ[#,se]&&FreeQ[#,sse]&&FreeQ[#,ssekksse]&&FreeQ[#,sekkse]&&FreeQ[#,(Subscript[δ, 1])]&&FreeQ[#,(Subscript[δ, 2])]&)y_,b___]:=x cancelling[a,y,b]

cancelling[a___,k,k,sse,b___]:=cancelling[a,k,se,k,b]

cancelling[a___,(1/k),sse,b___]:=cancelling[a,(1/k),se,k,b]

cancelling[a___,sse]:=cancelling[a,(1/k),se]

cancelling[(Subscript[D, n_])[a___],sse,b___]:=cancelling[(Subscript[D, n])[a],se,k,b,(1/k)]

cancelling[a___,(Subscript[δ, 1])[ssekksse],b___]:=cancelling[a,(1/k).se.k.k.se.(Subscript[δ, 1])[k]+(1/k).se.k.k.(Subscript[δ, 1])[se].k+(1/k).se.k.(Subscript[δ, 1])[k].se.k+(1/k).se.(Subscript[δ, 1])[k].k.se.k+(1/k).(Subscript[δ, 1])[se].k.k.se.k-(1/k).(Subscript[δ, 1])[k].(1/k).se.k.k.se.k,b]

cancelling[a___,(Subscript[δ, 2])[ssekksse],b___]:=cancelling[a,(1/k).se.k.k.se.(Subscript[δ, 2])[k]+(1/k).se.k.k.(Subscript[δ, 2])[se].k+(1/k).se.k.(Subscript[δ, 2])[k].se.k+(1/k).se.(Subscript[δ, 2])[k].k.se.k+(1/k).(Subscript[δ, 2])[se].k.k.se.k-(1/k).(Subscript[δ, 2])[k].(1/k).se.k.k.se.k,b]

cancelling[a___,((Subscript[δ, 1])^2)[ssekksse],b___]:=cancelling[a,(1/k).se.k.k.se.(Subscript[δ, 1]^2)[k]+2 (1/k).se.k.k.(Subscript[δ, 1])[se].(Subscript[δ, 1])[k]+(1/k).se.k.k.(Subscript[δ, 1]^2)[se].k+2 (1/k).se.k.(Subscript[δ, 1])[k].se.(Subscript[δ, 1])[k]+2 (1/k).se.k.(Subscript[δ, 1])[k].(Subscript[δ, 1])[se].k+(1/k).se.k.(Subscript[δ, 1]^2)[k].se.k+2 (1/k).se.(Subscript[δ, 1])[k].k.se.(Subscript[δ, 1])[k]+2 (1/k).se.(Subscript[δ, 1])[k].k.(Subscript[δ, 1])[se].k+2 (1/k).se.(Subscript[δ, 1])[k].(Subscript[δ, 1])[k].se.k+(1/k).se.(Subscript[δ, 1]^2)[k].k.se.k+2 (1/k).(Subscript[δ, 1])[se].k.k.se.(Subscript[δ, 1])[k]+2 (1/k).(Subscript[δ, 1])[se].k.k.(Subscript[δ, 1])[se].k+2 (1/k).(Subscript[δ, 1])[se].k.(Subscript[δ, 1])[k].se.k+2 (1/k).(Subscript[δ, 1])[se].(Subscript[δ, 1])[k].k.se.k+(1/k).(Subscript[δ, 1]^2)[se].k.k.se.k+(2 (1/k).(Subscript[δ, 1])[k].(1/k).(Subscript[δ, 1])[k].(1/k)).se.k.k.se.k-2 (1/k).(Subscript[δ, 1])[k].(1/k).se.k.k.se.(Subscript[δ, 1])[k]-2 (1/k).(Subscript[δ, 1])[k].(1/k).se.k.k.(Subscript[δ, 1])[se].k-2 (1/k).(Subscript[δ, 1])[k].(1/k).se.k.(Subscript[δ, 1])[k].se.k-2 (1/k).(Subscript[δ, 1])[k].(1/k).se.(Subscript[δ, 1])[k].k.se.k-2 (1/k).(Subscript[δ, 1])[k].(1/k).(Subscript[δ, 1])[se].k.k.se.k-k.(Subscript[δ, 1]^2)[k].(1/k).se.k.k.se.k,b]

cancelling[a___,(Subscript[δ, 1])(Subscript[δ, 2])[ssekksse],b___]:=cancelling[a,(1/k).se.k.k.se.((Subscript[δ, 1]) (Subscript[δ, 2])[k])+(1/k).se.k.k.(Subscript[δ, 1])[se].(Subscript[δ, 2])[k]+(1/k).se.k.k.(Subscript[δ, 2])[se].(Subscript[δ, 1])[k]+(1/k).se.k.k.((Subscript[δ, 1]) (Subscript[δ, 2])[se]).k+(1/k).se.k.(Subscript[δ, 1])[k].se.(Subscript[δ, 2])[k]+(1/k).se.k.(Subscript[δ, 1])[k].(Subscript[δ, 2])[se].k+(1/k).se.k.(Subscript[δ, 2])[k].se.(Subscript[δ, 1])[k]+(1/k).se.k.(Subscript[δ, 2])[k].(Subscript[δ, 1])[se].k+(1/k).se.k.((Subscript[δ, 1]) (Subscript[δ, 2])[k]).se.k+(1/k).se.(Subscript[δ, 1])[k].k.se.(Subscript[δ, 2])[k]+(1/k).se.(Subscript[δ, 1])[k].k.(Subscript[δ, 2])[se].k+(1/k).se.(Subscript[δ, 1])[k].(Subscript[δ, 2])[k].se.k+(1/k).se.(Subscript[δ, 2])[k].k.se.(Subscript[δ, 1])[k]+(1/k).se.(Subscript[δ, 2])[k].k.(Subscript[δ, 1])[se].k+(1/k).se.(Subscript[δ, 2])[k].(Subscript[δ, 1])[k].se.k+(1/k).se.((Subscript[δ, 1]) (Subscript[δ, 2])[k]).k.se.k+(1/k).(Subscript[δ, 1])[se].k.k.se.(Subscript[δ, 2])[k]+(1/k).(Subscript[δ, 1])[se].k.k.(Subscript[δ, 2])[se].k+(1/k).(Subscript[δ, 1])[se].k.(Subscript[δ, 2])[k].se.k+(1/k).(Subscript[δ, 1])[se].(Subscript[δ, 2])[k].k.se.k+(1/k).(Subscript[δ, 2])[se].k.k.se.(Subscript[δ, 1])[k]+(1/k).(Subscript[δ, 2])[se].k.k.(Subscript[δ, 1])[se].k+(1/k).(Subscript[δ, 2])[se].k.(Subscript[δ, 1])[k].se.k+(1/k).(Subscript[δ, 2])[se].(Subscript[δ, 1])[k].k.se.k+(1/k).((Subscript[δ, 1]) (Subscript[δ, 2])[se]).k.k.se.k-((1/k).(Subscript[δ, 1]) (Subscript[δ, 2])[k].(1/k)).se.k.k.se.k-(1/k).(Subscript[δ, 1])[k].(1/k).se.k.k.se.(Subscript[δ, 2])[k]-(1/k).(Subscript[δ, 1])[k].(1/k).se.k.k.(Subscript[δ, 2])[se].k-(1/k).(Subscript[δ, 1])[k].(1/k).se.k.(Subscript[δ, 2])[k].se.k-(1/k).(Subscript[δ, 1])[k].(1/k).se.(Subscript[δ, 2])[k].k.se.k-(1/k).(Subscript[δ, 1])[k].(1/k).(Subscript[δ, 2])[se].k.k.se.k-(1/k).(Subscript[δ, 2])[k].(1/k).se.k.k.se.(Subscript[δ, 1])[k]-(1/k).(Subscript[δ, 2])[k].(1/k).se.k.k.(Subscript[δ, 1])[se].k-(1/k).(Subscript[δ, 2])[k].(1/k).se.k.(Subscript[δ, 1])[k].se.k-(1/k).(Subscript[δ, 2])[k].(1/k).se.(Subscript[δ, 1])[k].k.se.k-(1/k).(Subscript[δ, 2])[k].(1/k).(Subscript[δ, 1])[se].k.k.se.k+(1/k).(Subscript[δ, 1])[k].(1/k).(Subscript[δ, 2])[k].(1/k).se.k.k.se.k+(1/k).(Subscript[δ, 2])[k].(1/k).(Subscript[δ, 1])[k].(1/k).se.k.k.se.k,b]

cancelling[a___,((Subscript[δ, 2])^2)[ssekksse],b___]:=cancelling[a,(1/k).se.k.k.se.(Subscript[δ, 2]^2)[k]+2 (1/k).se.k.k.(Subscript[δ, 2])[se].(Subscript[δ, 2])[k]+(1/k).se.k.k.(Subscript[δ, 2]^2)[se].k+2 (1/k).se.k.(Subscript[δ, 2])[k].se.(Subscript[δ, 2])[k]+2 (1/k).se.k.(Subscript[δ, 2])[k].(Subscript[δ, 2])[se].k+(1/k).se.k.(Subscript[δ, 2]^2)[k].se.k+2 (1/k).se.(Subscript[δ, 2])[k].k.se.(Subscript[δ, 2])[k]+2 (1/k).se.(Subscript[δ, 2])[k].k.(Subscript[δ, 2])[se].k+2 (1/k).se.(Subscript[δ, 2])[k].(Subscript[δ, 2])[k].se.k+(1/k).se.(Subscript[δ, 2]^2)[k].k.se.k+2 (1/k).(Subscript[δ, 2])[se].k.k.se.(Subscript[δ, 2])[k]+2 (1/k).(Subscript[δ, 2])[se].k.k.(Subscript[δ, 2])[se].k+2 (1/k).(Subscript[δ, 2])[se].k.(Subscript[δ, 2])[k].se.k+2 (1/k).(Subscript[δ, 2])[se].(Subscript[δ, 2])[k].k.se.k+(1/k).(Subscript[δ, 2]^2)[se].k.k.se.k+(2 (1/k).(Subscript[δ, 2])[k].(1/k).(Subscript[δ, 2])[k].(1/k)).se.k.k.se.k-2 (1/k).(Subscript[δ, 2])[k].(1/k).se.k.k.se.(Subscript[δ, 2])[k]-2 (1/k).(Subscript[δ, 2])[k].(1/k).se.k.k.(Subscript[δ, 2])[se].k-2 (1/k).(Subscript[δ, 2])[k].(1/k).se.k.(Subscript[δ, 2])[k].se.k-2 (1/k).(Subscript[δ, 2])[k].(1/k).se.(Subscript[δ, 2])[k].k.se.k-2 (1/k).(Subscript[δ, 2])[k].(1/k).(Subscript[δ, 2])[se].k.k.se.k-k.(Subscript[δ, 2]^2)[k].(1/k).se.k.k.se.k,b]

cancelling[a___,(Subscript[δ, 1])[sekk],b___]:=cancelling[a,se.k.(Subscript[δ, 1])[k]+se.(Subscript[δ, 1])[k].k+(Subscript[δ, 1])[se].k.k,b]

cancelling[a___,(Subscript[δ, 2])[sekk],b___]:=cancelling[a,se.k.(Subscript[δ, 2])[k]+se.(Subscript[δ, 2])[k].k+(Subscript[δ, 2])[se].k.k,b]

cancelling[a___,((Subscript[δ, 1])^2)[sekk],b___]:=cancelling[a,se.k.(Subscript[δ, 1]^2)[k]+2 se.(Subscript[δ, 1])[k].(Subscript[δ, 1])[k]+se.(Subscript[δ, 1]^2)[k].k+2 (Subscript[δ, 1])[se].k.(Subscript[δ, 1])[k]+2 (Subscript[δ, 1])[se].(Subscript[δ, 1])[k].k+(Subscript[δ, 1]^2)[se].k.k,b]

cancelling[a___,(Subscript[δ, 1])(Subscript[δ, 2])[sekk],b___]:=cancelling[a,se.k.((Subscript[δ, 1]) (Subscript[δ, 2])[k])+se.(Subscript[δ, 1])[k].(Subscript[δ, 2])[k]+se.(Subscript[δ, 2])[k].(Subscript[δ, 1])[k]+se.((Subscript[δ, 1]) (Subscript[δ, 2])[k]).k+(Subscript[δ, 1])[se].k.(Subscript[δ, 2])[k]+(Subscript[δ, 1])[se].(Subscript[δ, 2])[k].k+(Subscript[δ, 2])[se].k.(Subscript[δ, 1])[k]+(Subscript[δ, 2])[se].(Subscript[δ, 1])[k].k+((Subscript[δ, 1]) (Subscript[δ, 2])[se]).k.k,b]

cancelling[a___,((Subscript[δ, 2])^2)[sekk],b___]:=cancelling[a,se.k.(Subscript[δ, 2]^2)[k]+2 se.(Subscript[δ, 2])[k].(Subscript[δ, 2])[k]+se.(Subscript[δ, 2]^2)[k].k+2 (Subscript[δ, 2])[se].k.(Subscript[δ, 2])[k]+2 (Subscript[δ, 2])[se].(Subscript[δ, 2])[k].k+(Subscript[δ, 2]^2)[se].k.k,b]

(Subscript[D, n_])[b1_+b2_]:=(Subscript[D, n])[b1]+(Subscript[D, n])[b2]

(Subscript[D, n_])[-b_]:=(-1)(Subscript[D, n])[b]

(Subscript[D, n_])[x__?(FreeQ[#,k]&&FreeQ[#,se]&&FreeQ[#,sse]&&FreeQ[#,ssekksse]&&FreeQ[#,sekkse]&&FreeQ[#,(Subscript[δ, 1])]&&FreeQ[#,(Subscript[δ, 2])]&)y_]:=x (Subscript[D, n])[y]

cancelling[a___,(1/k),k,b___]:=cancelling[a,b]

cancelling[a___,k,(1/k),b___]:=cancelling[a,b]

cancelling[a___,se,se,b___]:=cancelling[a,se,b]

cancelling[a___,se,(Subscript[δ, 1])[se],se,b___]:=0

cancelling[a___,se,(Subscript[δ, 2])[se],se,b___]:=0

cancelling[a___,se,(Subscript[δ, 1])[se],(Subscript[δ, 1])[se],b___]:=-(1/2)cancelling[a,se,((Subscript[δ, 1])^2)[se],se,b]

cancelling[a___,se,(Subscript[δ, 2])[se],(Subscript[δ, 2])[se],b___]:=-(1/2)cancelling[a,se,((Subscript[δ, 2])^2)[se],se,b]

cancelling[a___,-1,b___]:=(-1)cancelling[a,b]

cancelling[a___,1,b___]:=cancelling[a,b]

cancelling[a___,0,b___]:=0

cancel[stuff_]:=Expand[Simplify[((stuff/.Dot->cancelling)/.{sse->se,ssekksse-> sekkse})/.cancelling->Dot]]

cancel2[stuff_]:=cancel[cancel[stuff]]

halfres0=sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.se.(Subscript[δ, 1])[k].sse].sse.(Subscript[δ, 1])[ssekksse]+sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.se.(Subscript[δ, 2])[k].sse].sse.(Subscript[δ, 2])[ssekksse]+(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.(Subscript[δ, 1])[se].k.sse].sse.(Subscript[δ, 1])[ssekksse]-(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.(Subscript[δ, 1])[se].k.sse].sse.(Subscript[δ, 2])[ssekksse]+(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.(Subscript[δ, 2])[se].k.sse].sse.(Subscript[δ, 1])[ssekksse]+(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.(Subscript[δ, 2])[se].k.sse].sse.(Subscript[δ, 2])[ssekksse]-2 ssekksse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.se.(Subscript[δ, 1])[k].sse].sse.(Subscript[δ, 1])[ssekksse]-2 ssekksse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.se.(Subscript[δ, 2])[k].sse].sse.(Subscript[δ, 2])[ssekksse]-ssekksse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.(Subscript[δ, 1])[se].k.sse].sse.(Subscript[δ, 1])[ssekksse]+I ssekksse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.(Subscript[δ, 1])[se].k.sse].sse.(Subscript[δ, 2])[ssekksse]-I ssekksse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.(Subscript[δ, 2])[se].k.sse].sse.(Subscript[δ, 1])[ssekksse]-ssekksse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.(Subscript[δ, 2])[se].k.sse].sse.(Subscript[δ, 2])[ssekksse]-sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 1])[ssekksse].sse].sse.(Subscript[δ, 1])[ssekksse]-sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 2])[ssekksse].sse].sse.(Subscript[δ, 2])[ssekksse]+sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.se.(Subscript[δ, 1])[k].sse].sse.(Subscript[δ, 1])[ssekksse]+sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.se.(Subscript[δ, 2])[k].sse].sse.(Subscript[δ, 2])[ssekksse]+(1/2) sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.(Subscript[δ, 1])[se].k.sse].sse.(Subscript[δ, 1])[ssekksse]-(1/2) I sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.(Subscript[δ, 1])[se].k.sse].sse.(Subscript[δ, 2])[ssekksse]+(1/2) I sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.(Subscript[δ, 2])[se].k.sse].sse.(Subscript[δ, 1])[ssekksse]+(1/2) sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.(Subscript[δ, 2])[se].k.sse].sse.(Subscript[δ, 2])[ssekksse]+3 ssekksse (Subscript[D, 3])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 1])[ssekksse].sse].sse.(Subscript[δ, 1])[ssekksse]+3 ssekksse (Subscript[D, 3])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 2])[ssekksse].sse].sse.(Subscript[δ, 2])[ssekksse]-2 sse (Subscript[D, 3])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.k.sse.(Subscript[δ, 1])[ssekksse].sse].sse.(Subscript[δ, 1])[ssekksse]-2 sse (Subscript[D, 3])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.k.sse.(Subscript[δ, 2])[ssekksse].sse].sse.(Subscript[δ, 2])[ssekksse]-sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.se.(Subscript[δ, 1])[k].sse].sse.k.se.(Subscript[δ, 1])[k]-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.se.(Subscript[δ, 1])[k].sse].sse.k.(Subscript[δ, 1])[se].k-(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.se.(Subscript[δ, 1])[k].sse].sse.k.(Subscript[δ, 2])[se].k-sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.se.(Subscript[δ, 2])[k].sse].sse.k.se.(Subscript[δ, 2])[k]+(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.se.(Subscript[δ, 2])[k].sse].sse.k.(Subscript[δ, 1])[se].k-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.se.(Subscript[δ, 2])[k].sse].sse.k.(Subscript[δ, 2])[se].k-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.(Subscript[δ, 1])[se].k.sse].sse.k.se.(Subscript[δ, 1])[k]+(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.(Subscript[δ, 1])[se].k.sse].sse.k.se.(Subscript[δ, 2])[k]-(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.(Subscript[δ, 2])[se].k.sse].sse.k.se.(Subscript[δ, 1])[k]-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.(Subscript[δ, 2])[se].k.sse].sse.k.se.(Subscript[δ, 2])[k]+sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 1])[ssekksse].sse].sse.k.se.(Subscript[δ, 1])[k]+(1/2) sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 1])[ssekksse].sse].sse.k.(Subscript[δ, 1])[se].k+(1/2) I sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 1])[ssekksse].sse].sse.k.(Subscript[δ, 2])[se].k+sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 2])[ssekksse].sse].sse.k.se.(Subscript[δ, 2])[k]-(1/2) I sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 2])[ssekksse].sse].sse.k.(Subscript[δ, 1])[se].k+(1/2) sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 2])[ssekksse].sse].sse.k.(Subscript[δ, 2])[se].k;

cancel[sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.se.(Subscript[δ, 1])[k].sse].sse.(Subscript[δ, 1])[ssekksse]]

cancel2[sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.se.(Subscript[δ, 1])[k].sse].sse.(Subscript[δ, 1])[ssekksse]]

For the integral of the terms for the first resolvent with (Subscript[b, 0]) in the middle we get

cancel2[halfres0]

with LATEX Code

TeXForm[%]

and the following number of terms:

Length[%%]

remres0=(1/2) sse (Subscript[D, 0])[(1/k).(1/k).sse.k.se.(Subscript[δ, 1]^2)[k].sse]+(1/2) sse (Subscript[D, 0])[(1/k).(1/k).sse.k.se.(Subscript[δ, 2]^2)[k].sse]+(1/2) sse (Subscript[D, 0])[(1/k).(1/k).sse.k.(Subscript[δ, 1])[se].(Subscript[δ, 1])[k].sse]-(1/2) I sse (Subscript[D, 0])[(1/k).(1/k).sse.k.(Subscript[δ, 1])[se].(Subscript[δ, 2])[k].sse]+(1/2) I sse (Subscript[D, 0])[(1/k).(1/k).sse.k.(Subscript[δ, 2])[se].(Subscript[δ, 1])[k].sse]+(1/2) sse (Subscript[D, 0])[(1/k).(1/k).sse.k.(Subscript[δ, 2])[se].(Subscript[δ, 2])[k].sse]-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 1]^2)[ssekksse].sse]-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 2]^2)[ssekksse].sse]-sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.se.(Subscript[δ, 1]^2)[k].sse]-sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.se.(Subscript[δ, 2]^2)[k].sse]-(3/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.(Subscript[δ, 1])[se].(Subscript[δ, 1])[k].sse]+(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.(Subscript[δ, 1])[se].(Subscript[δ, 2])[k].sse]-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.(Subscript[δ, 1]^2)[se].k.sse]-(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.(Subscript[δ, 2])[se].(Subscript[δ, 1])[k].sse]-(3/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.(Subscript[δ, 2])[se].(Subscript[δ, 2])[k].sse]-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.(Subscript[δ, 2]^2)[se].k.sse]-sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 1])[k].se.(Subscript[δ, 1])[k].sse]-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 1])[k].(Subscript[δ, 1])[se].k.sse]-(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 1])[k].(Subscript[δ, 2])[se].k.sse]-sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 2])[k].se.(Subscript[δ, 2])[k].sse]+(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 2])[k].(Subscript[δ, 1])[se].k.sse]-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(Subscript[δ, 2])[k].(Subscript[δ, 2])[se].k.sse]-sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).se.(Subscript[δ, 1])[k].k.se.(Subscript[δ, 1])[k].sse]-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).se.(Subscript[δ, 1])[k].k.(Subscript[δ, 1])[se].k.sse]-(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).se.(Subscript[δ, 1])[k].k.(Subscript[δ, 2])[se].k.sse]-sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).se.(Subscript[δ, 2])[k].k.se.(Subscript[δ, 2])[k].sse]+(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).se.(Subscript[δ, 2])[k].k.(Subscript[δ, 1])[se].k.sse]-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).se.(Subscript[δ, 2])[k].k.(Subscript[δ, 2])[se].k.sse]-sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).(Subscript[δ, 1])[se].k.k.se.(Subscript[δ, 1])[k].sse]-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).(Subscript[δ, 1])[se].k.k.(Subscript[δ, 1])[se].k.sse]-(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).(Subscript[δ, 1])[se].k.k.(Subscript[δ, 2])[se].k.sse]-sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).(Subscript[δ, 2])[se].k.k.se.(Subscript[δ, 2])[k].sse]+(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).(Subscript[δ, 2])[se].k.k.(Subscript[δ, 1])[se].k.sse]-(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).(Subscript[δ, 2])[se].k.k.(Subscript[δ, 2])[se].k.sse]+sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).(Subscript[δ, 1])[k].(1/k).se.k.k.se.(Subscript[δ, 1])[k].sse]+(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).(Subscript[δ, 1])[k].(1/k).se.k.k.(Subscript[δ, 1])[se].k.sse]+(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).(Subscript[δ, 1])[k].(1/k).se.k.k.(Subscript[δ, 2])[se].k.sse]+sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).(Subscript[δ, 2])[k].(1/k).se.k.k.se.(Subscript[δ, 2])[k].sse]-(1/2) I sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).(Subscript[δ, 2])[k].(1/k).se.k.k.(Subscript[δ, 1])[se].k.sse]+(1/2) sse (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.(1/k).(Subscript[δ, 2])[k].(1/k).se.k.k.(Subscript[δ, 2])[se].k.sse]+sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.k.sse.(Subscript[δ, 1]^2)[ssekksse].sse]+sse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).sse.k.k.sse.k.k.sse.(Subscript[δ, 2]^2)[ssekksse].sse];

For the integral of the terms for the first resolvent with all (Subscript[b, 0]) on the left we get

cancel2[remres0]

with LATEX Code

TeXForm[%]

and the following number of terms:

Length[%%]

The integral of all of the terms for the first resolvent is

cancel2[halfres0+remres0]

with LATEX Code

TeXForm[%]

and the following number of terms:

Length[%%]

halfres0adj=(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.(Subscript[δ, 1])[k].se].(Subscript[δ, 1])[sekk]+(1/2) I se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.(Subscript[δ, 1])[k].se].(Subscript[δ, 2])[sekk]-(1/2) I se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.(Subscript[δ, 2])[k].se].(Subscript[δ, 1])[sekk]+(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.(Subscript[δ, 2])[k].se].(Subscript[δ, 2])[sekk]+(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 1])[k].k.se].(Subscript[δ, 1])[sekk]+(1/2) I se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 1])[k].k.se].(Subscript[δ, 2])[sekk]-(1/2) I se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 2])[k].k.se].(Subscript[δ, 1])[sekk]+(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 2])[k].k.se].(Subscript[δ, 2])[sekk]+(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 1])[se].k.k.se].(Subscript[δ, 1])[sekk]+(1/2) I se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 1])[se].k.k.se].(Subscript[δ, 2])[sekk]-(1/2) I se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 2])[se].k.k.se].(Subscript[δ, 1])[sekk]+(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 2])[se].k.k.se].(Subscript[δ, 2])[sekk]-sekkse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.(Subscript[δ, 1])[k].se].(Subscript[δ, 1])[sekk]-I sekkse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.(Subscript[δ, 1])[k].se].(Subscript[δ, 2])[sekk]+I sekkse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.(Subscript[δ, 2])[k].se].(Subscript[δ, 1])[sekk]-sekkse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.(Subscript[δ, 2])[k].se].(Subscript[δ, 2])[sekk]-sekkse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 1])[k].k.se].(Subscript[δ, 1])[sekk]-I sekkse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 1])[k].k.se].(Subscript[δ, 2])[sekk]+I sekkse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 2])[k].k.se].(Subscript[δ, 1])[sekk]-sekkse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 2])[k].k.se].(Subscript[δ, 2])[sekk]-se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[sekk].se].(Subscript[δ, 1])[sekk]-se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[sekk].se].(Subscript[δ, 2])[sekk]-sekkse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 1])[se].k.k.se].(Subscript[δ, 1])[sekk]-I sekkse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 1])[se].k.k.se].(Subscript[δ, 2])[sekk]+I sekkse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 2])[se].k.k.se].(Subscript[δ, 1])[sekk]-sekkse (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.(Subscript[δ, 2])[se].k.k.se].(Subscript[δ, 2])[sekk]+(1/2) se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.k.(Subscript[δ, 1])[k].se].(Subscript[δ, 1])[sekk]+(1/2) I se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.k.(Subscript[δ, 1])[k].se].(Subscript[δ, 2])[sekk]-(1/2) I se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.k.(Subscript[δ, 2])[k].se].(Subscript[δ, 1])[sekk]+(1/2) se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.k.(Subscript[δ, 2])[k].se].(Subscript[δ, 2])[sekk]+(1/2) se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 1])[k].k.se].(Subscript[δ, 1])[sekk]+(1/2) I se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 1])[k].k.se].(Subscript[δ, 2])[sekk]-(1/2) I se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 2])[k].k.se].(Subscript[δ, 1])[sekk]+(1/2) se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 2])[k].k.se].(Subscript[δ, 2])[sekk]+(1/2) se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 1])[se].k.k.se].(Subscript[δ, 1])[sekk]+(1/2) I se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 1])[se].k.k.se].(Subscript[δ, 2])[sekk]-(1/2) I se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 2])[se].k.k.se].(Subscript[δ, 1])[sekk]+(1/2) se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 2])[se].k.k.se].(Subscript[δ, 2])[sekk]+3 sekkse (Subscript[D, 3])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[sekk].se].(Subscript[δ, 1])[sekk]+3 sekkse (Subscript[D, 3])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[sekk].se].(Subscript[δ, 2])[sekk]-2 se (Subscript[D, 3])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.k.k.(Subscript[δ, 1])[sekk].se].(Subscript[δ, 1])[sekk]-2 se (Subscript[D, 3])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.k.k.(Subscript[δ, 2])[sekk].se].(Subscript[δ, 2])[sekk]+(1/2) se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[sekk].se].se.k.(Subscript[δ, 1])[k]-(1/2) I se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[sekk].se].se.k.(Subscript[δ, 2])[k]+(1/2) se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[sekk].se].se.(Subscript[δ, 1])[k].k-(1/2) I se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[sekk].se].se.(Subscript[δ, 2])[k].k+(1/2) I se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[sekk].se].se.k.(Subscript[δ, 1])[k]+(1/2) se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[sekk].se].se.k.(Subscript[δ, 2])[k]+(1/2) I se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[sekk].se].se.(Subscript[δ, 1])[k].k+(1/2) se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[sekk].se].se.(Subscript[δ, 2])[k].k+(1/2) se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[sekk].se].se.(Subscript[δ, 1])[se].k.k-(1/2) I se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[sekk].se].se.(Subscript[δ, 2])[se].k.k+(1/2) I se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[sekk].se].se.(Subscript[δ, 1])[se].k.k+(1/2) se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[sekk].se].se.(Subscript[δ, 2])[se].k.k;

For the integral of the terms for the second resolvent with (Subscript[b, 0]) in the middle we get

cancel[halfres0adj]

with LATEX Code

TeXForm[%]

and the following number of terms:

Length[%%]

remres0adj=-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1]^2)[sekk].se]-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2]^2)[sekk].se]-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.se.k.(Subscript[δ, 1]^2)[k].se]-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.se.k.(Subscript[δ, 2]^2)[k].se]-se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 1])[k].(Subscript[δ, 1])[k].se]-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 1]^2)[k].k.se]-se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 2])[k].(Subscript[δ, 2])[k].se]-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 2]^2)[k].k.se]-se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 1])[se].k.(Subscript[δ, 1])[k].se]-se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 1])[se].(Subscript[δ, 1])[k].k.se]-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 1]^2)[se].k.k.se]-se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 2])[se].k.(Subscript[δ, 2])[k].se]-se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 2])[se].(Subscript[δ, 2])[k].k.se]-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.se.(Subscript[δ, 2]^2)[se].k.k.se]-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[se].se.k.(Subscript[δ, 1])[k].se]+(1/2) I se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[se].se.k.(Subscript[δ, 2])[k].se]-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[se].se.(Subscript[δ, 1])[k].k.se]+(1/2) I se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[se].se.(Subscript[δ, 2])[k].k.se]-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[se].(Subscript[δ, 1])[se].k.k.se]+(1/2) I se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 1])[se].(Subscript[δ, 2])[se].k.k.se]-(1/2) I se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[se].se.k.(Subscript[δ, 1])[k].se]-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[se].se.k.(Subscript[δ, 2])[k].se]-(1/2) I se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[se].se.(Subscript[δ, 1])[k].k.se]-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[se].se.(Subscript[δ, 2])[k].k.se]-(1/2) I se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[se].(Subscript[δ, 1])[se].k.k.se]-(1/2) se (Subscript[D, 1])[(1/k).(1/k).(1/k).(1/k).se.k.k.(Subscript[δ, 2])[se].(Subscript[δ, 2])[se].k.k.se]+se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.k.k.(Subscript[δ, 1]^2)[sekk].se]+se (Subscript[D, 2])[(1/k).(1/k).(1/k).(1/k).(1/k).(1/k).se.k.k.se.k.k.(Subscript[δ, 2]^2)[sekk].se];

For the integral of the terms for the second resolvent with all (Subscript[b, 0]) on the left we get

cancel[remres0adj]

with LATEX Code

TeXForm[%]

and the following number of terms:

Length[%%]

The integral of all of the terms for the second resolvent is

cancel[halfres0adj+remres0adj]

with LATEX Code

TeXForm[%]

and the following number of terms:

Length[%%]

The whole argument of the trace is

cancel[halfres0adj+remres0adj-cancel[halfres0+remres0]]

with LATEX Code

TeXForm[%]

and the following number of terms:

Length[%%]