Lines Matching defs:pio2_lo
922 pio2_lo = 6.12323399573676603587e-17, /* 0x3C91A626, 0x33145C07 */
945 return pi + 2.0 * pio2_lo; /* acos(-1)= pi */
950 if (ix <= 0x3c600000) return pio2_hi + pio2_lo; /*if|x|<2**-57*/
955 return pio2_hi - (x - (pio2_lo - x * r));
962 w = r * s - pio2_lo;
1030 * Let y = (1-x), z = y/2, s := sqrt(z), and pio2_hi+pio2_lo=pi/2;
1033 * = pio2_hi - (2*(s+s*z*R(z)) - pio2_lo)
1039 * = pio4_hi+(pio4-2s)-(2s*z*R(z)-pio2_lo)
1040 * = pio4_hi+(pio4-2f)-(2s*z*R(z)-(pio2_lo+2c))
1051 pio2_lo = 6.12323399573676603587e-17, /* 0x3C91A626, 0x33145C07 */
1075 return x * pio2_hi + x * pio2_lo;
1096 t = pio2_hi - (2.0 * (s + s * w) - pio2_lo);
1102 p = 2.0 * s * r - (pio2_lo - 2.0 * c);
