In the below, we will calculate =.
z1v8=z1[v8[z,v0,tau1],tau2]. This is regarded as a polynomial of z, and then intfz will be applied to z1v8.
foo11 is the O(1) term
We may make replacements b->z1v8ab[[1]], a->z1v8ab[[2]] later for the normal integration with intfxg[a,b,n], i.e., z1v8o0=az+b.
Get the dd coefficients and store them in z1v8dd
Now the integration is = . .
Check if z2 reduces to z1 when one of the scales is zero