t14
t14 = 3.35529192635519073543e-04, /* 0x3F35FD3E, 0xE8C2D3F4 */
p3 = t2+w*(t5+w*(t8+w*(t11+w*t14)));
p3 = t2+w*(t5+w*(t8+w*(t11+w*t14)));
t14 = 3.3552918467e-04, /* 0x39afe9f7 */
{ t14, "C" },
uint32_t t10, t11, t12, t13, t14, t15, t16, t17, t18, t19;
t14 = t13 ^ t12;
t17 = t4 ^ t14;
t19 = t9 ^ t14;