#include #include #include #include #include char *name = "Cubic critical, wide range"; double f_if(float a, float b, float c, float __attribute__((unused)) d) { float r22538 = b; float r22539 = -r22538; float r22540 = r22538 * r22538; float r22541 = 3; float r22542 = a; float r22543 = r22541 * r22542; float r22544 = c; float r22545 = r22543 * r22544; float r22546 = r22540 - r22545; float r22547 = sqrt(r22546); float r22548 = r22539 + r22547; float r22549 = r22548 / r22543; return r22549; } double f_id(double a, double b, double c, double __attribute__((unused)) d) { double r22550 = b; double r22551 = -r22550; double r22552 = r22550 * r22550; double r22553 = 3; double r22554 = a; double r22555 = r22553 * r22554; double r22556 = c; double r22557 = r22555 * r22556; double r22558 = r22552 - r22557; double r22559 = sqrt(r22558); double r22560 = r22551 + r22559; double r22561 = r22560 / r22555; return r22561; } double f_of(float a, float b, float c, float __attribute__((unused)) d) { float r22562 = c; float r22563 = a; float r22564 = 3; float r22565 = r22563 * r22564; float r22566 = r22562 * r22565; float r22567 = b; float r22568 = -r22567; float r22569 = r22567 * r22567; float r22570 = r22564 * r22563; float r22571 = r22570 * r22562; float r22572 = r22569 - r22571; float r22573 = sqrt(r22572); float r22574 = r22568 - r22573; float r22575 = r22566 / r22574; float r22576 = r22575 / r22570; return r22576; } double f_od(double a, double b, double c, double __attribute__((unused)) d) { double r22577 = c; double r22578 = a; double r22579 = 3; double r22580 = r22578 * r22579; double r22581 = r22577 * r22580; double r22582 = b; double r22583 = -r22582; double r22584 = r22582 * r22582; double r22585 = r22579 * r22578; double r22586 = r22585 * r22577; double r22587 = r22584 - r22586; double r22588 = sqrt(r22587); double r22589 = r22583 - r22588; double r22590 = r22581 / r22589; double r22591 = r22590 / r22585; return r22591; } void mpfr_fmod2(mpfr_t r, mpfr_t n, mpfr_t d, mpfr_rnd_t rmd) { mpfr_fmod(r, n, d, rmd); if (mpfr_cmp_ui(r, 0) < 0) mpfr_add(r, r, d, rmd); } static mpfr_t r22592, r22593, r22594, r22595, r22596, r22597, r22598, r22599, r22600, r22601, r22602, r22603; void setup_mpfr_f_im() { mpfr_set_default_prec(912); mpfr_init(r22592); mpfr_init(r22593); mpfr_init(r22594); mpfr_init_set_str(r22595, "3", 10, MPFR_RNDN); mpfr_init(r22596); mpfr_init(r22597); mpfr_init(r22598); mpfr_init(r22599); mpfr_init(r22600); mpfr_init(r22601); mpfr_init(r22602); mpfr_init(r22603); } double f_im(double a, double b, double c, double __attribute__((unused)) d) { mpfr_set_d(r22592, b, MPFR_RNDN); mpfr_neg(r22593, r22592, MPFR_RNDN); mpfr_mul(r22594, r22592, r22592, MPFR_RNDN); ; mpfr_set_d(r22596, a, MPFR_RNDN); mpfr_mul(r22597, r22595, r22596, MPFR_RNDN); mpfr_set_d(r22598, c, MPFR_RNDN); mpfr_mul(r22599, r22597, r22598, MPFR_RNDN); mpfr_sub(r22600, r22594, r22599, MPFR_RNDN); mpfr_sqrt(r22601, r22600, MPFR_RNDN); mpfr_add(r22602, r22593, r22601, MPFR_RNDN); mpfr_div(r22603, r22602, r22597, MPFR_RNDN); return mpfr_get_d(r22603, MPFR_RNDN); } static mpfr_t r22604, r22605, r22606, r22607, r22608, r22609, r22610, r22611, r22612, r22613, r22614, r22615, r22616, r22617, r22618; void setup_mpfr_f_fm() { mpfr_set_default_prec(912); mpfr_init(r22604); mpfr_init(r22605); mpfr_init_set_str(r22606, "3", 10, MPFR_RNDN); mpfr_init(r22607); mpfr_init(r22608); mpfr_init(r22609); mpfr_init(r22610); mpfr_init(r22611); mpfr_init(r22612); mpfr_init(r22613); mpfr_init(r22614); mpfr_init(r22615); mpfr_init(r22616); mpfr_init(r22617); mpfr_init(r22618); } double f_fm(double a, double b, double c, double __attribute__((unused)) d) { mpfr_set_d(r22604, c, MPFR_RNDN); mpfr_set_d(r22605, a, MPFR_RNDN); ; mpfr_mul(r22607, r22605, r22606, MPFR_RNDN); mpfr_mul(r22608, r22604, r22607, MPFR_RNDN); mpfr_set_d(r22609, b, MPFR_RNDN); mpfr_neg(r22610, r22609, MPFR_RNDN); mpfr_mul(r22611, r22609, r22609, MPFR_RNDN); mpfr_mul(r22612, r22606, r22605, MPFR_RNDN); mpfr_mul(r22613, r22612, r22604, MPFR_RNDN); mpfr_sub(r22614, r22611, r22613, MPFR_RNDN); mpfr_sqrt(r22615, r22614, MPFR_RNDN); mpfr_sub(r22616, r22610, r22615, MPFR_RNDN); mpfr_div(r22617, r22608, r22616, MPFR_RNDN); mpfr_div(r22618, r22617, r22612, MPFR_RNDN); return mpfr_get_d(r22618, MPFR_RNDN); } static mpfr_t r22619, r22620, r22621, r22622, r22623, r22624, r22625, r22626, r22627, r22628, r22629, r22630, r22631, r22632, r22633; void setup_mpfr_f_dm() { mpfr_set_default_prec(912); mpfr_init(r22619); mpfr_init(r22620); mpfr_init_set_str(r22621, "3", 10, MPFR_RNDN); mpfr_init(r22622); mpfr_init(r22623); mpfr_init(r22624); mpfr_init(r22625); mpfr_init(r22626); mpfr_init(r22627); mpfr_init(r22628); mpfr_init(r22629); mpfr_init(r22630); mpfr_init(r22631); mpfr_init(r22632); mpfr_init(r22633); } double f_dm(double a, double b, double c, double __attribute__((unused)) d) { mpfr_set_d(r22619, c, MPFR_RNDN); mpfr_set_d(r22620, a, MPFR_RNDN); ; mpfr_mul(r22622, r22620, r22621, MPFR_RNDN); mpfr_mul(r22623, r22619, r22622, MPFR_RNDN); mpfr_set_d(r22624, b, MPFR_RNDN); mpfr_neg(r22625, r22624, MPFR_RNDN); mpfr_mul(r22626, r22624, r22624, MPFR_RNDN); mpfr_mul(r22627, r22621, r22620, MPFR_RNDN); mpfr_mul(r22628, r22627, r22619, MPFR_RNDN); mpfr_sub(r22629, r22626, r22628, MPFR_RNDN); mpfr_sqrt(r22630, r22629, MPFR_RNDN); mpfr_sub(r22631, r22625, r22630, MPFR_RNDN); mpfr_div(r22632, r22623, r22631, MPFR_RNDN); mpfr_div(r22633, r22632, r22627, MPFR_RNDN); return mpfr_get_d(r22633, MPFR_RNDN); }