_XADD
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(invpihi, invpilo, x, 0, xh, xl);
_XADD(half, 0, -hi, -lo, y, x);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(half, 0, -hi, -lo, y, ax);
_XADD(invpihi, invpilo, ax, 0, xh, xl);
_XADD(one, 0, -hi, -lo, y, ax);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(a0hi, a0lo, hi, lo, y, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(a1hi, a1lo, hi, lo, y, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(a2hi, a2lo, hi, lo, y, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(half, 0, -hi, -lo, y, x);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(invpihi, invpilo, x, 0, xh, xl); /* 1 / pi + r(t^2) */
_XADD(half, 0, -hi, -lo, y, x);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(half, 0, -hi, -lo, y, ax);
_XADD(invpihi, invpilo, ax, 0, xh, xl); /* 1 / pi + r(t^2) */
_XADD(one, 0, -hi, -lo, y, ax);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(a0hi, a0lo, hi, lo, y, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(a1hi, a1lo, hi, lo, y, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(a2hi, a2lo, hi, lo, y, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(half, 0, -hi, -lo, y, x);
_XADD(xh, xl, -ph, -pl, zh, zl); \
_XADD(yh, yl, ph, pl, zh, zl); \
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(invpihi, invpilo, x, 0, xh, xl);
_XADD(half, 0, -hi, -lo, y, x);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(half, 0, -hi, -lo, y, ax);
_XADD(invpihi, invpilo, ax, 0, xh, xl);
_XADD(one, 0, -hi, -lo, y, ax);
_XADD(invpihi, invpilo, x, 0, xh, xl);
_XADD(half, 0, -hi, -lo, y, x);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(half, 0, -hi, -lo, y, ax);
_XADD(invpihi, invpilo, ax, 0, xh, xl);
_XADD(one, 0, -hi, -lo, y, ax);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(a0hi, a0lo, hi, lo, y, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(a1hi, a1lo, hi, lo, y, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(a2hi, a2lo, hi, lo, y, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(half, 0, -hi, -lo, y, x);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(a0hi, a0lo, hi, lo, y, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(a1hi, a1lo, hi, lo, y, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(a2hi, a2lo, hi, lo, y, xl);
_XADD(invpihi, invpilo, y, 0, xh, xl);
_XADD(half, 0, -hi, -lo, y, x);
_XADD(-ph, -pl, half, 0, rh, rl);
_XADD(-ph, -pl, half, 0, rh, rl);
_XADD(-ph, -pl, half, 0, rh, rl);
_XADD(-ph, -pl, half, 0, rh, rl);
_XADD(-ph, -pl, half, 0, rh, rl);
_XADD(ph, pl, half, 0, rh, rl);