s5
int64_t s5 = 2097151 & (load_3(s + 13) >> 1);
s5 += s17 * 666643;
s5 += s16 * 470296;
s5 += s15 * 654183;
s5 -= s14 * 997805;
s5 += s13 * 136657;
s5 -= s12 * 683901;
s5 += carry4;
carry5 = (s5 + (1 << 20)) >> 21;
s5 -= int64_lshift21(carry5);
s5 -= s12 * 683901;
s5 += carry4;
carry5 = s5 >> 21;
s5 -= int64_lshift21(carry5);
s5 -= s12 * 683901;
s5 += carry4;
carry5 = s5 >> 21;
s5 -= int64_lshift21(carry5);
s[13] = (s4 >> 20) | (s5 << 1);
s[14] = s5 >> 7;
s[15] = (s5 >> 15) | (s6 << 6);
int64_t s5 = kBottom21Bits & (load_3(s + 13) >> 1);
s5 += s17 * 666643;
s5 += s16 * 470296;
s5 += s15 * 654183;
s5 -= s14 * 997805;
s5 += s13 * 136657;
s5 -= s12 * 683901;
s5 += carry4;
carry5 = (s5 + (1 << 20)) >> 21;
s5 -= carry5 * (1 << 21);
s5 -= s12 * 683901;
s5 += carry4;
carry5 = s5 >> 21;
s5 -= carry5 * (1 << 21);
s5 -= s12 * 683901;
s5 += carry4;
carry5 = s5 >> 21;
s5 -= carry5 * (1 << 21);
s[13] = (uint8_t)((s4 >> 20) | (s5 << 1));
s[14] = (uint8_t)(s5 >> 7);
s[15] = (uint8_t)((s5 >> 15) | (s6 << 6));
int64_t s5;
s5 = c5 + a0 * b5 + a1 * b4 + a2 * b3 + a3 * b2 + a4 * b1 + a5 * b0;
s5 += carry4;
carry5 = (s5 + (1 << 20)) >> 21;
s5 -= carry5 * (1 << 21);
s5 += s17 * 666643;
s5 += s16 * 470296;
s5 += s15 * 654183;
s5 -= s14 * 997805;
s5 += s13 * 136657;
s5 -= s12 * 683901;
s5 += carry4;
carry5 = (s5 + (1 << 20)) >> 21;
s5 -= carry5 * (1 << 21);
s5 -= s12 * 683901;
s5 += carry4;
carry5 = s5 >> 21;
s5 -= carry5 * (1 << 21);
s5 -= s12 * 683901;
s5 += carry4;
carry5 = s5 >> 21;
s5 -= carry5 * (1 << 21);
s[13] = (uint8_t)((s4 >> 20) | (s5 << 1));
s[14] = (uint8_t)(s5 >> 7);
s[15] = (uint8_t)((s5 >> 15) | (s6 << 6));
s5 = 1.31572908743275052623410195011261575e-01L,
p = y*(s0+y*(s1+y*(s2+y*(s3+y*(s4+y*(s5+y*(s6+y*(s7+y*(s8+
p = y*(s0+y*(s1+y*(s2+y*(s3+y*(s4+y*(s5+y*s6))))));
s5 = 1.84028451407337715652e-03, /* 0x3F5E26B6, 0x7368F239 */
p = y*(s0+y*(s1+y*(s2+y*(s3+y*(s4+y*(s5+y*s6))))));