Lines Matching defs:exp_mid
162 Float128 exp_mid = fputil::quick_mul(exp_mid1, exp_mid2);
168 Float128 exp_mid_m1 = fputil::quick_add(exp_mid, minus_one);
172 // r = exp_mid * (1 + dx * P) - 1
173 // = (exp_mid - 1) + (dx * exp_mid) * P
175 fputil::multiply_add(fputil::quick_mul(exp_mid, dx), p, exp_mid_m1);
184 << "exp_mid_m1: " << exp_mid_m1 << " exp_mid: " << exp_mid
192 DoubleDouble exp_double_double(double x, double kd, const DoubleDouble &exp_mid,
209 fputil::multiply_add(fputil::quick_mult(exp_mid, dx), p, hi_part);
391 DoubleDouble exp_mid = fputil::quick_mult(exp_mid1, exp_mid2);
398 DoubleDouble hi_part = x_is_neg ? fputil::exact_add(one_scaled, exp_mid.hi)
399 : fputil::exact_add(exp_mid.hi, one_scaled);
401 hi_part.lo += exp_mid.lo;
421 // 2^(mid1 + mid2) ~ exp_mid.hi + exp_mid.lo,
423 // (exp_mid.hi + exp_mid.lo) * (1 + dx * P_(dx)) ~
424 // ~ exp_mid.hi + (exp_mid.hi * dx * P_(dx) + exp_mid.lo)
430 // ~ 2^hi * ( (exp_mid.hi - 2^-hi) +
431 // + (exp_mid.hi * dx * P_(dx) + exp_mid.lo))
433 double mid_lo = dx * exp_mid.hi;
457 << "exp_mid: " << exp_mid << "hi_part: " << hi_part
478 DoubleDouble r_dd = exp_double_double(x, kd, exp_mid, hi_part);