#include #include #include #include #include char *name = "Quadratic roots, wide range"; double f_if(float a, float b, float c) { float r22018 = b; float r22019 = -r22018; float r22020 = r22018 * r22018; float r22021 = 4; float r22022 = a; float r22023 = r22021 * r22022; float r22024 = c; float r22025 = r22023 * r22024; float r22026 = r22020 - r22025; float r22027 = sqrt(r22026); float r22028 = r22019 + r22027; float r22029 = 2; float r22030 = r22029 * r22022; float r22031 = r22028 / r22030; return r22031; } double f_id(double a, double b, double c) { double r22032 = b; double r22033 = -r22032; double r22034 = r22032 * r22032; double r22035 = 4; double r22036 = a; double r22037 = r22035 * r22036; double r22038 = c; double r22039 = r22037 * r22038; double r22040 = r22034 - r22039; double r22041 = sqrt(r22040); double r22042 = r22033 + r22041; double r22043 = 2; double r22044 = r22043 * r22036; double r22045 = r22042 / r22044; return r22045; } double f_of(float a, float b, float c) { float r22046 = c; float r22047 = 2; float r22048 = r22046 / r22047; float r22049 = 4; float r22050 = b; float r22051 = -r22050; float r22052 = r22050 * r22050; float r22053 = a; float r22054 = r22049 * r22053; float r22055 = r22046 * r22054; float r22056 = r22052 - r22055; float r22057 = sqrt(r22056); float r22058 = r22051 - r22057; float r22059 = r22049 / r22058; float r22060 = r22048 * r22059; return r22060; } double f_od(double a, double b, double c) { double r22061 = c; double r22062 = 2; double r22063 = r22061 / r22062; double r22064 = 4; double r22065 = b; double r22066 = -r22065; double r22067 = r22065 * r22065; double r22068 = a; double r22069 = r22064 * r22068; double r22070 = r22061 * r22069; double r22071 = r22067 - r22070; double r22072 = sqrt(r22071); double r22073 = r22066 - r22072; double r22074 = r22064 / r22073; double r22075 = r22063 * r22074; return r22075; } 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 r22076, r22077, r22078, r22079, r22080, r22081, r22082, r22083, r22084, r22085, r22086, r22087, r22088, r22089; void setup_mpfr_f_im() { mpfr_set_default_prec(848); mpfr_init(r22076); mpfr_init(r22077); mpfr_init(r22078); mpfr_init_set_str(r22079, "4", 10, MPFR_RNDN); mpfr_init(r22080); mpfr_init(r22081); mpfr_init(r22082); mpfr_init(r22083); mpfr_init(r22084); mpfr_init(r22085); mpfr_init(r22086); mpfr_init_set_str(r22087, "2", 10, MPFR_RNDN); mpfr_init(r22088); mpfr_init(r22089); } double f_im(double a, double b, double c) { mpfr_set_d(r22076, b, MPFR_RNDN); mpfr_neg(r22077, r22076, MPFR_RNDN); mpfr_mul(r22078, r22076, r22076, MPFR_RNDN); ; mpfr_set_d(r22080, a, MPFR_RNDN); mpfr_mul(r22081, r22079, r22080, MPFR_RNDN); mpfr_set_d(r22082, c, MPFR_RNDN); mpfr_mul(r22083, r22081, r22082, MPFR_RNDN); mpfr_sub(r22084, r22078, r22083, MPFR_RNDN); mpfr_sqrt(r22085, r22084, MPFR_RNDN); mpfr_add(r22086, r22077, r22085, MPFR_RNDN); ; mpfr_mul(r22088, r22087, r22080, MPFR_RNDN); mpfr_div(r22089, r22086, r22088, MPFR_RNDN); return mpfr_get_d(r22089, MPFR_RNDN); } static mpfr_t r22090, r22091, r22092, r22093, r22094, r22095, r22096, r22097, r22098, r22099, r22100, r22101, r22102, r22103, r22104; void setup_mpfr_f_fm() { mpfr_set_default_prec(848); mpfr_init(r22090); mpfr_init_set_str(r22091, "2", 10, MPFR_RNDN); mpfr_init(r22092); mpfr_init_set_str(r22093, "4", 10, MPFR_RNDN); mpfr_init(r22094); mpfr_init(r22095); mpfr_init(r22096); mpfr_init(r22097); mpfr_init(r22098); mpfr_init(r22099); mpfr_init(r22100); mpfr_init(r22101); mpfr_init(r22102); mpfr_init(r22103); mpfr_init(r22104); } double f_fm(double a, double b, double c) { mpfr_set_d(r22090, c, MPFR_RNDN); ; mpfr_div(r22092, r22090, r22091, MPFR_RNDN); ; mpfr_set_d(r22094, b, MPFR_RNDN); mpfr_neg(r22095, r22094, MPFR_RNDN); mpfr_mul(r22096, r22094, r22094, MPFR_RNDN); mpfr_set_d(r22097, a, MPFR_RNDN); mpfr_mul(r22098, r22093, r22097, MPFR_RNDN); mpfr_mul(r22099, r22090, r22098, MPFR_RNDN); mpfr_sub(r22100, r22096, r22099, MPFR_RNDN); mpfr_sqrt(r22101, r22100, MPFR_RNDN); mpfr_sub(r22102, r22095, r22101, MPFR_RNDN); mpfr_div(r22103, r22093, r22102, MPFR_RNDN); mpfr_mul(r22104, r22092, r22103, MPFR_RNDN); return mpfr_get_d(r22104, MPFR_RNDN); } static mpfr_t r22105, r22106, r22107, r22108, r22109, r22110, r22111, r22112, r22113, r22114, r22115, r22116, r22117, r22118, r22119; void setup_mpfr_f_dm() { mpfr_set_default_prec(848); mpfr_init(r22105); mpfr_init_set_str(r22106, "2", 10, MPFR_RNDN); mpfr_init(r22107); mpfr_init_set_str(r22108, "4", 10, MPFR_RNDN); mpfr_init(r22109); mpfr_init(r22110); mpfr_init(r22111); mpfr_init(r22112); mpfr_init(r22113); mpfr_init(r22114); mpfr_init(r22115); mpfr_init(r22116); mpfr_init(r22117); mpfr_init(r22118); mpfr_init(r22119); } double f_dm(double a, double b, double c) { mpfr_set_d(r22105, c, MPFR_RNDN); ; mpfr_div(r22107, r22105, r22106, MPFR_RNDN); ; mpfr_set_d(r22109, b, MPFR_RNDN); mpfr_neg(r22110, r22109, MPFR_RNDN); mpfr_mul(r22111, r22109, r22109, MPFR_RNDN); mpfr_set_d(r22112, a, MPFR_RNDN); mpfr_mul(r22113, r22108, r22112, MPFR_RNDN); mpfr_mul(r22114, r22105, r22113, MPFR_RNDN); mpfr_sub(r22115, r22111, r22114, MPFR_RNDN); mpfr_sqrt(r22116, r22115, MPFR_RNDN); mpfr_sub(r22117, r22110, r22116, MPFR_RNDN); mpfr_div(r22118, r22108, r22117, MPFR_RNDN); mpfr_mul(r22119, r22107, r22118, MPFR_RNDN); return mpfr_get_d(r22119, MPFR_RNDN); }