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);
343   DoubleDouble exp_mid = fputil::quick_mult(exp_mid1, exp_mid2);
363   //   2^(mid1 + mid2) ~ exp_mid.hi + exp_mid.lo,
365   //    (exp_mid.hi + exp_mid.lo) * (1 + dx * P_(dx)) ~
366   //  ~ exp_mid.hi + (exp_mid.hi * dx * P_(dx) + exp_mid.lo)
369   double mid_lo = dx * exp_mid.hi;
374   double lo = fputil::multiply_add(p, mid_lo, exp_mid.lo);
377     if (auto r = ziv_test_denorm(hi, exp_mid.hi, lo, ERR_D);
381     double upper = exp_mid.hi + (lo + ERR_D);
382     double lower = exp_mid.hi + (lo - ERR_D);
394   DoubleDouble r_dd = exp_double_double(x, kd, exp_mid);