Lines Matching defs:exp_mid

142   Float128 exp_mid = fputil::quick_mul(exp_mid1, exp_mid2);
146   Float128 r = fputil::quick_mul(exp_mid, p);
155                                  const DoubleDouble &exp_mid) {
170   DoubleDouble r = fputil::quick_mult(exp_mid, p);
189   DoubleDouble exp_mid = fputil::quick_mult(exp_mid1, exp_mid2);
195   double mid_lo = dx * exp_mid.hi;
200   double lo = fputil::multiply_add(p, mid_lo, exp_mid.lo);
202   if (auto r = ziv_test_denorm(hi, exp_mid.hi, lo, ERR_D);
207   DoubleDouble r_dd = exp10_double_double(x, kd, exp_mid);
363   DoubleDouble exp_mid = fputil::quick_mult(exp_mid1, exp_mid2);
381   //   2^(mid1 + mid2) ~ exp_mid.hi + exp_mid.lo,
383   //    (exp_mid.hi + exp_mid.lo) * (1 + dx * P_(dx)) ~
384   //  ~ exp_mid.hi + (exp_mid.hi * dx * P_(dx) + exp_mid.lo)
387   double mid_lo = dx * exp_mid.hi;
392   double lo = fputil::multiply_add(p, mid_lo, exp_mid.lo);
394   double upper = exp_mid.hi + (lo + ERR_D);
395   double lower = exp_mid.hi + (lo - ERR_D);
459   DoubleDouble r_dd = exp10_double_double(x, kd, exp_mid);