t13
t13 = -3.12754168375120860518e-04, /* 0xBF347F24, 0xECC38C38 */
p2 = t1+w*(t4+w*(t7+w*(t10+w*t13)));
p2 = t1+w*(t4+w*(t7+w*(t10+w*t13)));
t13 = -3.1275415677e-04, /* 0xb9a3f927 */
{ t13, "" },
uint32_t t10, t11, t12, t13, t14, t15, t16, t17, t18, t19;
t13 = y14 & y17;
t14 = t13 ^ t12;