S13
FF ( c, d, a, b, in[ 2], S13, 606105819UL); /* 3 */
FF ( c, d, a, b, in[ 6], S13, 2821735955UL); /* 7 */
FF ( c, d, a, b, in[10], S13, 4294925233UL); /* 11 */
FF ( c, d, a, b, in[14], S13, 2792965006UL); /* 15 */
RETURNI(((S17*x2 + S15)*x4 + (S13*x2 + S11))*(x2*x*x4*x4) +
S17)*x2 + S15)*x2 + S13)*x2 + S11)*x2 + S9)*x2 + S7)*x2 +
S13 = 1.6059042748655297e-10, /* 0x161245fa910697.0p-85 */
S13 = 1.60590438368216146368737762431552702e-10L, /* 0x16124613a86d098059c7620850fc2.0p-145L */
FF ( c, d, a, b, in[ 2], S13, UL( 606105819)); /* 3 */
FF ( c, d, a, b, in[ 6], S13, UL(2821735955)); /* 7 */
FF ( c, d, a, b, in[10], S13, UL(4294925233)); /* 11 */
FF ( c, d, a, b, in[14], S13, UL(2792965006)); /* 15 */
FF (c, d, a, b, x[ 2], S13); /* 3 */
FF (c, d, a, b, x[ 6], S13); /* 7 */
FF (c, d, a, b, x[10], S13); /* 11 */
FF (c, d, a, b, x[14], S13); /* 15 */