Lines Matching defs:exp_S
58 mpfr_exp_t exp_S, err;
63 exp_S = MPFR_EXP(y);
67 /* the error is less than 1/2 + 3*2^(exp_S-EXP(y)) + 2^(EXP(z)-EXP(y))
68 <= 1/2 + 2^(exp_S+2-EXP(y)) + 2^(EXP(z)-EXP(y))
69 <= 1/2 + 2^(1+MAX(exp_S+2,EXP(z))-EXP(y)) */
70 err = 1 + MAX(exp_S + 2, MPFR_EXP(z)) - MPFR_EXP(y);
72 exp_S = MPFR_EXP(y);
75 /* err <= 1/2 ulp(y) + 2^(-m) + 2^(err + exp_S - EXP(y)) ulp(y).
77 So we get 3/2*ulp(y) + 2^(err + exp_S - EXP(y)) ulp(y).
79 err = err + exp_S - MPFR_EXP(y);