#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 r22635 = b; float r22636 = -r22635; float r22637 = r22635 * r22635; float r22638 = 3; float r22639 = a; float r22640 = r22638 * r22639; float r22641 = c; float r22642 = r22640 * r22641; float r22643 = r22637 - r22642; float r22644 = sqrt(r22643); float r22645 = r22636 + r22644; float r22646 = r22645 / r22640; return r22646; } double f_id(double a, double b, double c, double __attribute__((unused)) d) { double r22647 = b; double r22648 = -r22647; double r22649 = r22647 * r22647; double r22650 = 3; double r22651 = a; double r22652 = r22650 * r22651; double r22653 = c; double r22654 = r22652 * r22653; double r22655 = r22649 - r22654; double r22656 = sqrt(r22655); double r22657 = r22648 + r22656; double r22658 = r22657 / r22652; return r22658; } double f_of(float a, float b, float c, float __attribute__((unused)) d) { float r22659 = c; float r22660 = 1; float r22661 = r22659 / r22660; float r22662 = a; float r22663 = 3; float r22664 = r22662 * r22663; float r22665 = b; float r22666 = -r22665; float r22667 = r22665 * r22665; float r22668 = r22663 * r22662; float r22669 = r22668 * r22659; float r22670 = r22667 - r22669; float r22671 = sqrt(r22670); float r22672 = r22666 - r22671; float r22673 = r22664 / r22672; float r22674 = r22661 * r22673; float r22675 = r22674 / r22668; return r22675; } double f_od(double a, double b, double c, double __attribute__((unused)) d) { double r22676 = c; double r22677 = 1; double r22678 = r22676 / r22677; double r22679 = a; double r22680 = 3; double r22681 = r22679 * r22680; double r22682 = b; double r22683 = -r22682; double r22684 = r22682 * r22682; double r22685 = r22680 * r22679; double r22686 = r22685 * r22676; double r22687 = r22684 - r22686; double r22688 = sqrt(r22687); double r22689 = r22683 - r22688; double r22690 = r22681 / r22689; double r22691 = r22678 * r22690; double r22692 = r22691 / r22685; return r22692; } 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 r22693, r22694, r22695, r22696, r22697, r22698, r22699, r22700, r22701, r22702, r22703, r22704; void setup_mpfr_f_im() { mpfr_set_default_prec(912); mpfr_init(r22693); mpfr_init(r22694); mpfr_init(r22695); mpfr_init_set_str(r22696, "3", 10, MPFR_RNDN); mpfr_init(r22697); mpfr_init(r22698); mpfr_init(r22699); mpfr_init(r22700); mpfr_init(r22701); mpfr_init(r22702); mpfr_init(r22703); mpfr_init(r22704); } double f_im(double a, double b, double c, double __attribute__((unused)) d) { mpfr_set_d(r22693, b, MPFR_RNDN); mpfr_neg(r22694, r22693, MPFR_RNDN); mpfr_mul(r22695, r22693, r22693, MPFR_RNDN); ; mpfr_set_d(r22697, a, MPFR_RNDN); mpfr_mul(r22698, r22696, r22697, MPFR_RNDN); mpfr_set_d(r22699, c, MPFR_RNDN); mpfr_mul(r22700, r22698, r22699, MPFR_RNDN); mpfr_sub(r22701, r22695, r22700, MPFR_RNDN); mpfr_sqrt(r22702, r22701, MPFR_RNDN); mpfr_add(r22703, r22694, r22702, MPFR_RNDN); mpfr_div(r22704, r22703, r22698, MPFR_RNDN); return mpfr_get_d(r22704, MPFR_RNDN); } static mpfr_t r22705, r22706, r22707, r22708, r22709, r22710, r22711, r22712, r22713, r22714, r22715, r22716, r22717, r22718, r22719, r22720, r22721; void setup_mpfr_f_fm() { mpfr_set_default_prec(912); mpfr_init(r22705); mpfr_init_set_str(r22706, "1", 10, MPFR_RNDN); mpfr_init(r22707); mpfr_init(r22708); mpfr_init_set_str(r22709, "3", 10, MPFR_RNDN); mpfr_init(r22710); mpfr_init(r22711); mpfr_init(r22712); mpfr_init(r22713); mpfr_init(r22714); mpfr_init(r22715); mpfr_init(r22716); mpfr_init(r22717); mpfr_init(r22718); mpfr_init(r22719); mpfr_init(r22720); mpfr_init(r22721); } double f_fm(double a, double b, double c, double __attribute__((unused)) d) { mpfr_set_d(r22705, c, MPFR_RNDN); ; mpfr_div(r22707, r22705, r22706, MPFR_RNDN); mpfr_set_d(r22708, a, MPFR_RNDN); ; mpfr_mul(r22710, r22708, r22709, MPFR_RNDN); mpfr_set_d(r22711, b, MPFR_RNDN); mpfr_neg(r22712, r22711, MPFR_RNDN); mpfr_mul(r22713, r22711, r22711, MPFR_RNDN); mpfr_mul(r22714, r22709, r22708, MPFR_RNDN); mpfr_mul(r22715, r22714, r22705, MPFR_RNDN); mpfr_sub(r22716, r22713, r22715, MPFR_RNDN); mpfr_sqrt(r22717, r22716, MPFR_RNDN); mpfr_sub(r22718, r22712, r22717, MPFR_RNDN); mpfr_div(r22719, r22710, r22718, MPFR_RNDN); mpfr_mul(r22720, r22707, r22719, MPFR_RNDN); mpfr_div(r22721, r22720, r22714, MPFR_RNDN); return mpfr_get_d(r22721, MPFR_RNDN); } static mpfr_t r22722, r22723, r22724, r22725, r22726, r22727, r22728, r22729, r22730, r22731, r22732, r22733, r22734, r22735, r22736, r22737, r22738; void setup_mpfr_f_dm() { mpfr_set_default_prec(912); mpfr_init(r22722); mpfr_init_set_str(r22723, "1", 10, MPFR_RNDN); mpfr_init(r22724); mpfr_init(r22725); mpfr_init_set_str(r22726, "3", 10, MPFR_RNDN); mpfr_init(r22727); mpfr_init(r22728); mpfr_init(r22729); mpfr_init(r22730); mpfr_init(r22731); mpfr_init(r22732); mpfr_init(r22733); mpfr_init(r22734); mpfr_init(r22735); mpfr_init(r22736); mpfr_init(r22737); mpfr_init(r22738); } double f_dm(double a, double b, double c, double __attribute__((unused)) d) { mpfr_set_d(r22722, c, MPFR_RNDN); ; mpfr_div(r22724, r22722, r22723, MPFR_RNDN); mpfr_set_d(r22725, a, MPFR_RNDN); ; mpfr_mul(r22727, r22725, r22726, MPFR_RNDN); mpfr_set_d(r22728, b, MPFR_RNDN); mpfr_neg(r22729, r22728, MPFR_RNDN); mpfr_mul(r22730, r22728, r22728, MPFR_RNDN); mpfr_mul(r22731, r22726, r22725, MPFR_RNDN); mpfr_mul(r22732, r22731, r22722, MPFR_RNDN); mpfr_sub(r22733, r22730, r22732, MPFR_RNDN); mpfr_sqrt(r22734, r22733, MPFR_RNDN); mpfr_sub(r22735, r22729, r22734, MPFR_RNDN); mpfr_div(r22736, r22727, r22735, MPFR_RNDN); mpfr_mul(r22737, r22724, r22736, MPFR_RNDN); mpfr_div(r22738, r22737, r22731, MPFR_RNDN); return mpfr_get_d(r22738, MPFR_RNDN); }