Home | History | Annotate | Download | only in src

Lines Matching defs:xx

36   mpfr_t t, xx, err;
42   mpfr_init2 (xx, prec);
46   mpfr_sqr (xx, x, MPFR_RNDD); /* err <= 1 */
47   mpfr_ui_div (xx, 1, xx, MPFR_RNDU); /* upper bound for 1/(2x^2), err <= 2 */
48   mpfr_div_2ui (xx, xx, 1, MPFR_RNDU); /* exact */
55       mpfr_mul (t, t, xx, MPFR_RNDU);           /* err <= 4k */
77   mpfr_add (err, err, t, MPFR_RNDU);      /* err/8 + xx */
78   mpfr_mul_2ui (err, err, 3, MPFR_RNDU);  /* err + 8*xx */
84   mpfr_const_pi (xx, MPFR_RNDZ); /* err <= ulp(Pi) */
85   mpfr_sqrt (xx, xx, MPFR_RNDN); /* err <= 1/2*ulp(xx) + ulp(Pi)/2/sqrt(Pi)
86                                    <= 3/2*ulp(xx) */
87   mpfr_mul (t, t, xx, MPFR_RNDN); /* err <= (8 |xx| + 13/2) * ulp(t) */
90                                    t is bounded by (1+u)^(8 |xx| + 13/2),
92                                    8 |xx| + 7 + err. */
103       mpfr_const_pi (xx, MPFR_RNDD); /* xx <= sqrt(Pi), cached */
104       mpfr_mul (xx, xx, x, MPFR_RNDD); /* xx <= sqrt(Pi)*x */
105       mpfr_div (y, t, xx, MPFR_RNDN); /* if y is zero, this means that the upper
118   mpfr_clear (xx);