S12
FF (d, a, b, c, x[ 1], S12, 0xe8c7b756); /* 2 */
FF (d, a, b, c, x[ 5], S12, 0x4787c62a); /* 6 */
FF (d, a, b, c, x[ 9], S12, 0x8b44f7af); /* 10 */
FF (d, a, b, c, x[13], S12, 0xfd987193); /* 14 */
FF (d, a, b, c, x[ 1], S12, 0xe8c7b756); /* 2 */
FF (d, a, b, c, x[ 5], S12, 0x4787c62a); /* 6 */
FF (d, a, b, c, x[ 9], S12, 0x8b44f7af); /* 10 */
FF (d, a, b, c, x[13], S12, 0xfd987193); /* 14 */
S12 238.25
S12 238.25
S12 238.25
FF (d, a, b, c, x[ 1], S12, 0xe8c7b756); /* 2 */
FF (d, a, b, c, x[ 5], S12, 0x4787c62a); /* 6 */
FF (d, a, b, c, x[ 9], S12, 0x8b44f7af); /* 10 */
FF (d, a, b, c, x[13], S12, 0xfd987193); /* 14 */
FF (d, a, b, c, x[ 1], S12, 0xe8c7b756); /* 2 */
FF (d, a, b, c, x[ 5], S12, 0x4787c62a); /* 6 */
FF (d, a, b, c, x[ 9], S12, 0x8b44f7af); /* 10 */
FF (d, a, b, c, x[13], S12, 0xfd987193); /* 14 */
S12 = 0.64038150078671872796678569586315881020659912139412e-25;
z*(S9+z*(S10+z*(S11+z*S12))))))))))