#include #include #include #include #include char *name = "Quadratic roots, narrow range"; double f_if(float a, float b, float c) { float r20996 = b; float r20997 = -r20996; float r20998 = r20996 * r20996; float r20999 = 4; float r21000 = a; float r21001 = r20999 * r21000; float r21002 = c; float r21003 = r21001 * r21002; float r21004 = r20998 - r21003; float r21005 = sqrt(r21004); float r21006 = r20997 + r21005; float r21007 = 2; float r21008 = r21007 * r21000; float r21009 = r21006 / r21008; return r21009; } double f_id(double a, double b, double c) { double r21010 = b; double r21011 = -r21010; double r21012 = r21010 * r21010; double r21013 = 4; double r21014 = a; double r21015 = r21013 * r21014; double r21016 = c; double r21017 = r21015 * r21016; double r21018 = r21012 - r21017; double r21019 = sqrt(r21018); double r21020 = r21011 + r21019; double r21021 = 2; double r21022 = r21021 * r21014; double r21023 = r21020 / r21022; return r21023; } double f_of(float a, float b, float c) { float r21024 = c; float r21025 = 2; float r21026 = r21024 / r21025; float r21027 = 4; float r21028 = b; float r21029 = -r21028; float r21030 = r21028 * r21028; float r21031 = a; float r21032 = r21024 * r21027; float r21033 = r21031 * r21032; float r21034 = r21030 - r21033; float r21035 = sqrt(r21034); float r21036 = r21029 - r21035; float r21037 = r21027 / r21036; float r21038 = r21026 * r21037; return r21038; } double f_od(double a, double b, double c) { double r21039 = c; double r21040 = 2; double r21041 = r21039 / r21040; double r21042 = 4; double r21043 = b; double r21044 = -r21043; double r21045 = r21043 * r21043; double r21046 = a; double r21047 = r21039 * r21042; double r21048 = r21046 * r21047; double r21049 = r21045 - r21048; double r21050 = sqrt(r21049); double r21051 = r21044 - r21050; double r21052 = r21042 / r21051; double r21053 = r21041 * r21052; return r21053; } 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 r21054, r21055, r21056, r21057, r21058, r21059, r21060, r21061, r21062, r21063, r21064, r21065, r21066, r21067; void setup_mpfr_f_im() { mpfr_set_default_prec(656); mpfr_init(r21054); mpfr_init(r21055); mpfr_init(r21056); mpfr_init_set_str(r21057, "4", 10, MPFR_RNDN); mpfr_init(r21058); mpfr_init(r21059); mpfr_init(r21060); mpfr_init(r21061); mpfr_init(r21062); mpfr_init(r21063); mpfr_init(r21064); mpfr_init_set_str(r21065, "2", 10, MPFR_RNDN); mpfr_init(r21066); mpfr_init(r21067); } double f_im(double a, double b, double c) { mpfr_set_d(r21054, b, MPFR_RNDN); mpfr_neg(r21055, r21054, MPFR_RNDN); mpfr_mul(r21056, r21054, r21054, MPFR_RNDN); ; mpfr_set_d(r21058, a, MPFR_RNDN); mpfr_mul(r21059, r21057, r21058, MPFR_RNDN); mpfr_set_d(r21060, c, MPFR_RNDN); mpfr_mul(r21061, r21059, r21060, MPFR_RNDN); mpfr_sub(r21062, r21056, r21061, MPFR_RNDN); mpfr_sqrt(r21063, r21062, MPFR_RNDN); mpfr_add(r21064, r21055, r21063, MPFR_RNDN); ; mpfr_mul(r21066, r21065, r21058, MPFR_RNDN); mpfr_div(r21067, r21064, r21066, MPFR_RNDN); return mpfr_get_d(r21067, MPFR_RNDN); } static mpfr_t r21068, r21069, r21070, r21071, r21072, r21073, r21074, r21075, r21076, r21077, r21078, r21079, r21080, r21081, r21082; void setup_mpfr_f_fm() { mpfr_set_default_prec(656); mpfr_init(r21068); mpfr_init_set_str(r21069, "2", 10, MPFR_RNDN); mpfr_init(r21070); mpfr_init_set_str(r21071, "4", 10, MPFR_RNDN); mpfr_init(r21072); mpfr_init(r21073); mpfr_init(r21074); mpfr_init(r21075); mpfr_init(r21076); mpfr_init(r21077); mpfr_init(r21078); mpfr_init(r21079); mpfr_init(r21080); mpfr_init(r21081); mpfr_init(r21082); } double f_fm(double a, double b, double c) { mpfr_set_d(r21068, c, MPFR_RNDN); ; mpfr_div(r21070, r21068, r21069, MPFR_RNDN); ; mpfr_set_d(r21072, b, MPFR_RNDN); mpfr_neg(r21073, r21072, MPFR_RNDN); mpfr_mul(r21074, r21072, r21072, MPFR_RNDN); mpfr_set_d(r21075, a, MPFR_RNDN); mpfr_mul(r21076, r21068, r21071, MPFR_RNDN); mpfr_mul(r21077, r21075, r21076, MPFR_RNDN); mpfr_sub(r21078, r21074, r21077, MPFR_RNDN); mpfr_sqrt(r21079, r21078, MPFR_RNDN); mpfr_sub(r21080, r21073, r21079, MPFR_RNDN); mpfr_div(r21081, r21071, r21080, MPFR_RNDN); mpfr_mul(r21082, r21070, r21081, MPFR_RNDN); return mpfr_get_d(r21082, MPFR_RNDN); } static mpfr_t r21083, r21084, r21085, r21086, r21087, r21088, r21089, r21090, r21091, r21092, r21093, r21094, r21095, r21096, r21097; void setup_mpfr_f_dm() { mpfr_set_default_prec(656); mpfr_init(r21083); mpfr_init_set_str(r21084, "2", 10, MPFR_RNDN); mpfr_init(r21085); mpfr_init_set_str(r21086, "4", 10, MPFR_RNDN); mpfr_init(r21087); mpfr_init(r21088); mpfr_init(r21089); mpfr_init(r21090); mpfr_init(r21091); mpfr_init(r21092); mpfr_init(r21093); mpfr_init(r21094); mpfr_init(r21095); mpfr_init(r21096); mpfr_init(r21097); } double f_dm(double a, double b, double c) { mpfr_set_d(r21083, c, MPFR_RNDN); ; mpfr_div(r21085, r21083, r21084, MPFR_RNDN); ; mpfr_set_d(r21087, b, MPFR_RNDN); mpfr_neg(r21088, r21087, MPFR_RNDN); mpfr_mul(r21089, r21087, r21087, MPFR_RNDN); mpfr_set_d(r21090, a, MPFR_RNDN); mpfr_mul(r21091, r21083, r21086, MPFR_RNDN); mpfr_mul(r21092, r21090, r21091, MPFR_RNDN); mpfr_sub(r21093, r21089, r21092, MPFR_RNDN); mpfr_sqrt(r21094, r21093, MPFR_RNDN); mpfr_sub(r21095, r21088, r21094, MPFR_RNDN); mpfr_div(r21096, r21086, r21095, MPFR_RNDN); mpfr_mul(r21097, r21085, r21096, MPFR_RNDN); return mpfr_get_d(r21097, MPFR_RNDN); }