#include #include #include #include #include char *name = "Quadratic roots, narrow range"; double f_if(float a, float b, float c) { float r21972 = b; float r21973 = -r21972; float r21974 = r21972 * r21972; float r21975 = 4; float r21976 = a; float r21977 = r21975 * r21976; float r21978 = c; float r21979 = r21977 * r21978; float r21980 = r21974 - r21979; float r21981 = sqrt(r21980); float r21982 = r21973 + r21981; float r21983 = 2; float r21984 = r21983 * r21976; float r21985 = r21982 / r21984; return r21985; } double f_id(double a, double b, double c) { double r21986 = b; double r21987 = -r21986; double r21988 = r21986 * r21986; double r21989 = 4; double r21990 = a; double r21991 = r21989 * r21990; double r21992 = c; double r21993 = r21991 * r21992; double r21994 = r21988 - r21993; double r21995 = sqrt(r21994); double r21996 = r21987 + r21995; double r21997 = 2; double r21998 = r21997 * r21990; double r21999 = r21996 / r21998; return r21999; } double f_of(float a, float b, float c) { float r22000 = 1; float r22001 = 2; float r22002 = r22000 / r22001; float r22003 = c; float r22004 = 4; float r22005 = r22003 * r22004; float r22006 = b; float r22007 = -r22006; float r22008 = r22006 * r22006; float r22009 = a; float r22010 = r22004 * r22009; float r22011 = r22003 * r22010; float r22012 = r22008 - r22011; float r22013 = sqrt(r22012); float r22014 = r22007 - r22013; float r22015 = r22005 / r22014; float r22016 = r22002 * r22015; return r22016; } double f_od(double a, double b, double c) { double r22017 = 1; double r22018 = 2; double r22019 = r22017 / r22018; double r22020 = c; double r22021 = 4; double r22022 = r22020 * r22021; double r22023 = b; double r22024 = -r22023; double r22025 = r22023 * r22023; double r22026 = a; double r22027 = r22021 * r22026; double r22028 = r22020 * r22027; double r22029 = r22025 - r22028; double r22030 = sqrt(r22029); double r22031 = r22024 - r22030; double r22032 = r22022 / r22031; double r22033 = r22019 * r22032; return r22033; } 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 r22034, r22035, r22036, r22037, r22038, r22039, r22040, r22041, r22042, r22043, r22044, r22045, r22046, r22047; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r22034); mpfr_init(r22035); mpfr_init(r22036); mpfr_init_set_str(r22037, "4", 10, MPFR_RNDN); mpfr_init(r22038); mpfr_init(r22039); mpfr_init(r22040); mpfr_init(r22041); mpfr_init(r22042); mpfr_init(r22043); mpfr_init(r22044); mpfr_init_set_str(r22045, "2", 10, MPFR_RNDN); mpfr_init(r22046); mpfr_init(r22047); } double f_im(double a, double b, double c) { mpfr_set_d(r22034, b, MPFR_RNDN); mpfr_neg(r22035, r22034, MPFR_RNDN); mpfr_mul(r22036, r22034, r22034, MPFR_RNDN); ; mpfr_set_d(r22038, a, MPFR_RNDN); mpfr_mul(r22039, r22037, r22038, MPFR_RNDN); mpfr_set_d(r22040, c, MPFR_RNDN); mpfr_mul(r22041, r22039, r22040, MPFR_RNDN); mpfr_sub(r22042, r22036, r22041, MPFR_RNDN); mpfr_sqrt(r22043, r22042, MPFR_RNDN); mpfr_add(r22044, r22035, r22043, MPFR_RNDN); ; mpfr_mul(r22046, r22045, r22038, MPFR_RNDN); mpfr_div(r22047, r22044, r22046, MPFR_RNDN); return mpfr_get_d(r22047, MPFR_RNDN); } static mpfr_t r22048, r22049, r22050, r22051, r22052, r22053, r22054, r22055, r22056, r22057, r22058, r22059, r22060, r22061, r22062, r22063, r22064; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init_set_str(r22048, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22049, "2", 10, MPFR_RNDN); mpfr_init(r22050); mpfr_init(r22051); mpfr_init_set_str(r22052, "4", 10, MPFR_RNDN); mpfr_init(r22053); mpfr_init(r22054); mpfr_init(r22055); mpfr_init(r22056); mpfr_init(r22057); mpfr_init(r22058); mpfr_init(r22059); mpfr_init(r22060); mpfr_init(r22061); mpfr_init(r22062); mpfr_init(r22063); mpfr_init(r22064); } double f_fm(double a, double b, double c) { ; ; mpfr_div(r22050, r22048, r22049, MPFR_RNDN); mpfr_set_d(r22051, c, MPFR_RNDN); ; mpfr_mul(r22053, r22051, r22052, MPFR_RNDN); mpfr_set_d(r22054, b, MPFR_RNDN); mpfr_neg(r22055, r22054, MPFR_RNDN); mpfr_mul(r22056, r22054, r22054, MPFR_RNDN); mpfr_set_d(r22057, a, MPFR_RNDN); mpfr_mul(r22058, r22052, r22057, MPFR_RNDN); mpfr_mul(r22059, r22051, r22058, MPFR_RNDN); mpfr_sub(r22060, r22056, r22059, MPFR_RNDN); mpfr_sqrt(r22061, r22060, MPFR_RNDN); mpfr_sub(r22062, r22055, r22061, MPFR_RNDN); mpfr_div(r22063, r22053, r22062, MPFR_RNDN); mpfr_mul(r22064, r22050, r22063, MPFR_RNDN); return mpfr_get_d(r22064, MPFR_RNDN); } static mpfr_t r22065, r22066, r22067, r22068, r22069, r22070, r22071, r22072, r22073, r22074, r22075, r22076, r22077, r22078, r22079, r22080, r22081; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init_set_str(r22065, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22066, "2", 10, MPFR_RNDN); mpfr_init(r22067); mpfr_init(r22068); mpfr_init_set_str(r22069, "4", 10, MPFR_RNDN); mpfr_init(r22070); mpfr_init(r22071); mpfr_init(r22072); mpfr_init(r22073); mpfr_init(r22074); mpfr_init(r22075); mpfr_init(r22076); mpfr_init(r22077); mpfr_init(r22078); mpfr_init(r22079); mpfr_init(r22080); mpfr_init(r22081); } double f_dm(double a, double b, double c) { ; ; mpfr_div(r22067, r22065, r22066, MPFR_RNDN); mpfr_set_d(r22068, c, MPFR_RNDN); ; mpfr_mul(r22070, r22068, r22069, MPFR_RNDN); mpfr_set_d(r22071, b, MPFR_RNDN); mpfr_neg(r22072, r22071, MPFR_RNDN); mpfr_mul(r22073, r22071, r22071, MPFR_RNDN); mpfr_set_d(r22074, a, MPFR_RNDN); mpfr_mul(r22075, r22069, r22074, MPFR_RNDN); mpfr_mul(r22076, r22068, r22075, MPFR_RNDN); mpfr_sub(r22077, r22073, r22076, MPFR_RNDN); mpfr_sqrt(r22078, r22077, MPFR_RNDN); mpfr_sub(r22079, r22072, r22078, MPFR_RNDN); mpfr_div(r22080, r22070, r22079, MPFR_RNDN); mpfr_mul(r22081, r22067, r22080, MPFR_RNDN); return mpfr_get_d(r22081, MPFR_RNDN); }