Lines Matching defs:exp_mid

126   Float128 exp_mid = fputil::quick_mul(exp_mid1, exp_mid2);
130   Float128 r = fputil::quick_mul(exp_mid, p);
138 DoubleDouble exp2_double_double(double x, const DoubleDouble &exp_mid) {
146   DoubleDouble r = fputil::quick_mult(exp_mid, p);
165   DoubleDouble exp_mid = fputil::quick_mult(exp_mid1, exp_mid2);
170   double mid_lo = dx * exp_mid.hi;
175   double lo = fputil::multiply_add(p, mid_lo, exp_mid.lo);
177   if (auto r = ziv_test_denorm(hi, exp_mid.hi, lo, ERR_D);
182   DoubleDouble r_dd = exp2_double_double(dx, exp_mid);
332   DoubleDouble exp_mid = fputil::quick_mult(exp_mid1, exp_mid2);
348   //   2^(mid1 + mid2) ~ exp_mid.hi + exp_mid.lo,
350   //    (exp_mid.hi + exp_mid.lo) * (1 + dx * P_(dx)) ~
351   //  ~ exp_mid.hi + (exp_mid.hi * dx * P_(dx) + exp_mid.lo)
354   double mid_lo = dx * exp_mid.hi;
359   double lo = fputil::multiply_add(p, mid_lo, exp_mid.lo);
361   double upper = exp_mid.hi + (lo + ERR_D);
362   double lower = exp_mid.hi + (lo - ERR_D);
373   DoubleDouble r_dd = exp2_double_double(dx, exp_mid);