CHOPPED
wh = CHOPPED((z2 * (yy.h + yy.l)));
t1 = CHOPPED((y));
t2 = CHOPPED((t4));
t1 = CHOPPED((t3));
t2 = CHOPPED((t4));
t1 = CHOPPED((t3)); /* (t1,z1) = ss*ww */
t2 = CHOPPED((z3)); /* leading 1/(ss*ww) */
r.h = CHOPPED((t4 + GZ1_h + t3));
r.h = CHOPPED((GZ2_h + t3));
r.h = CHOPPED((t4 + GZ3_h + t3));
t1 = CHOPPED(t1);
ss_h = CHOPPED((t2 + t3));
r_h = CHOPPED((r));
r2 = CHOPPED((r1 - t0z3_l));
r2 = CHOPPED((r1 - t0z2_l));
r2 = CHOPPED((r1 - t0z1_l));
xh = CHOPPED((x)); /* x is not tiny */
rr.h = CHOPPED(((yy.h + yy.l) * r1));
zh = CHOPPED((z));
xh = CHOPPED((z));
zh = CHOPPED((z1));
zh = CHOPPED(z1);
xh = CHOPPED(z2);
wh = CHOPPED((z1 * (yy.h + yy.l)));
zh = CHOPPED((z1));
yh = CHOPPED((z));
xh = CHOPPED((z));
zh = CHOPPED((z1));
yh = CHOPPED((z));
xh = CHOPPED(z);
wh = CHOPPED((x5 * (yy.h + yy.l)));
zh = CHOPPED((z1));
yh = CHOPPED((z)); /* yh+yl = (x+3)(x+4) */
xh = CHOPPED((z));