#include #include #include #include #include char *name = "Quadratic roots, medium range"; double f_if(float a, float b, float c) { float r21903 = b; float r21904 = -r21903; float r21905 = r21903 * r21903; float r21906 = 4; float r21907 = a; float r21908 = r21906 * r21907; float r21909 = c; float r21910 = r21908 * r21909; float r21911 = r21905 - r21910; float r21912 = sqrt(r21911); float r21913 = r21904 + r21912; float r21914 = 2; float r21915 = r21914 * r21907; float r21916 = r21913 / r21915; return r21916; } double f_id(double a, double b, double c) { double r21917 = b; double r21918 = -r21917; double r21919 = r21917 * r21917; double r21920 = 4; double r21921 = a; double r21922 = r21920 * r21921; double r21923 = c; double r21924 = r21922 * r21923; double r21925 = r21919 - r21924; double r21926 = sqrt(r21925); double r21927 = r21918 + r21926; double r21928 = 2; double r21929 = r21928 * r21921; double r21930 = r21927 / r21929; return r21930; } double f_of(float a, float b, float c) { float r21931 = 1; float r21932 = 2; float r21933 = r21931 / r21932; float r21934 = c; float r21935 = r21934 / r21931; float r21936 = 4; float r21937 = r21935 * r21936; float r21938 = b; float r21939 = -r21938; float r21940 = r21938 * r21938; float r21941 = 3; float r21942 = pow(r21940, r21941); float r21943 = a; float r21944 = r21936 * r21943; float r21945 = r21934 * r21944; float r21946 = pow(r21945, r21941); float r21947 = r21942 - r21946; float r21948 = r21934 * r21936; float r21949 = r21948 * r21943; float r21950 = r21940 + r21949; float r21951 = r21950 * r21949; float r21952 = r21940 * r21940; float r21953 = r21951 + r21952; float r21954 = r21947 / r21953; float r21955 = sqrt(r21954); float r21956 = r21939 - r21955; float r21957 = r21937 / r21956; float r21958 = r21933 * r21957; return r21958; } double f_od(double a, double b, double c) { double r21959 = 1; double r21960 = 2; double r21961 = r21959 / r21960; double r21962 = c; double r21963 = r21962 / r21959; double r21964 = 4; double r21965 = r21963 * r21964; double r21966 = b; double r21967 = -r21966; double r21968 = r21966 * r21966; double r21969 = 3; double r21970 = pow(r21968, r21969); double r21971 = a; double r21972 = r21964 * r21971; double r21973 = r21962 * r21972; double r21974 = pow(r21973, r21969); double r21975 = r21970 - r21974; double r21976 = r21962 * r21964; double r21977 = r21976 * r21971; double r21978 = r21968 + r21977; double r21979 = r21978 * r21977; double r21980 = r21968 * r21968; double r21981 = r21979 + r21980; double r21982 = r21975 / r21981; double r21983 = sqrt(r21982); double r21984 = r21967 - r21983; double r21985 = r21965 / r21984; double r21986 = r21961 * r21985; return r21986; } 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 r21987, r21988, r21989, r21990, r21991, r21992, r21993, r21994, r21995, r21996, r21997, r21998, r21999, r22000; void setup_mpfr_f_im() { mpfr_set_default_prec(656); mpfr_init(r21987); mpfr_init(r21988); mpfr_init(r21989); mpfr_init_set_str(r21990, "4", 10, MPFR_RNDN); mpfr_init(r21991); mpfr_init(r21992); mpfr_init(r21993); mpfr_init(r21994); mpfr_init(r21995); mpfr_init(r21996); mpfr_init(r21997); mpfr_init_set_str(r21998, "2", 10, MPFR_RNDN); mpfr_init(r21999); mpfr_init(r22000); } double f_im(double a, double b, double c) { mpfr_set_d(r21987, b, MPFR_RNDN); mpfr_neg(r21988, r21987, MPFR_RNDN); mpfr_mul(r21989, r21987, r21987, MPFR_RNDN); ; mpfr_set_d(r21991, a, MPFR_RNDN); mpfr_mul(r21992, r21990, r21991, MPFR_RNDN); mpfr_set_d(r21993, c, MPFR_RNDN); mpfr_mul(r21994, r21992, r21993, MPFR_RNDN); mpfr_sub(r21995, r21989, r21994, MPFR_RNDN); mpfr_sqrt(r21996, r21995, MPFR_RNDN); mpfr_add(r21997, r21988, r21996, MPFR_RNDN); ; mpfr_mul(r21999, r21998, r21991, MPFR_RNDN); mpfr_div(r22000, r21997, r21999, MPFR_RNDN); return mpfr_get_d(r22000, MPFR_RNDN); } static mpfr_t r22001, r22002, r22003, r22004, r22005, r22006, r22007, r22008, r22009, r22010, r22011, r22012, r22013, r22014, r22015, r22016, r22017, r22018, r22019, r22020, r22021, r22022, r22023, r22024, r22025, r22026, r22027, r22028; void setup_mpfr_f_fm() { mpfr_set_default_prec(656); mpfr_init_set_str(r22001, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22002, "2", 10, MPFR_RNDN); mpfr_init(r22003); mpfr_init(r22004); mpfr_init(r22005); mpfr_init_set_str(r22006, "4", 10, MPFR_RNDN); mpfr_init(r22007); mpfr_init(r22008); mpfr_init(r22009); mpfr_init(r22010); mpfr_init_set_str(r22011, "3", 10, MPFR_RNDN); mpfr_init(r22012); mpfr_init(r22013); mpfr_init(r22014); mpfr_init(r22015); mpfr_init(r22016); mpfr_init(r22017); mpfr_init(r22018); mpfr_init(r22019); mpfr_init(r22020); mpfr_init(r22021); mpfr_init(r22022); mpfr_init(r22023); mpfr_init(r22024); mpfr_init(r22025); mpfr_init(r22026); mpfr_init(r22027); mpfr_init(r22028); } double f_fm(double a, double b, double c) { ; ; mpfr_div(r22003, r22001, r22002, MPFR_RNDN); mpfr_set_d(r22004, c, MPFR_RNDN); mpfr_div(r22005, r22004, r22001, MPFR_RNDN); ; mpfr_mul(r22007, r22005, r22006, MPFR_RNDN); mpfr_set_d(r22008, b, MPFR_RNDN); mpfr_neg(r22009, r22008, MPFR_RNDN); mpfr_mul(r22010, r22008, r22008, MPFR_RNDN); ; mpfr_pow(r22012, r22010, r22011, MPFR_RNDN); mpfr_set_d(r22013, a, MPFR_RNDN); mpfr_mul(r22014, r22006, r22013, MPFR_RNDN); mpfr_mul(r22015, r22004, r22014, MPFR_RNDN); mpfr_pow(r22016, r22015, r22011, MPFR_RNDN); mpfr_sub(r22017, r22012, r22016, MPFR_RNDN); mpfr_mul(r22018, r22004, r22006, MPFR_RNDN); mpfr_mul(r22019, r22018, r22013, MPFR_RNDN); mpfr_add(r22020, r22010, r22019, MPFR_RNDN); mpfr_mul(r22021, r22020, r22019, MPFR_RNDN); mpfr_mul(r22022, r22010, r22010, MPFR_RNDN); mpfr_add(r22023, r22021, r22022, MPFR_RNDN); mpfr_div(r22024, r22017, r22023, MPFR_RNDN); mpfr_sqrt(r22025, r22024, MPFR_RNDN); mpfr_sub(r22026, r22009, r22025, MPFR_RNDN); mpfr_div(r22027, r22007, r22026, MPFR_RNDN); mpfr_mul(r22028, r22003, r22027, MPFR_RNDN); return mpfr_get_d(r22028, MPFR_RNDN); } static mpfr_t r22029, r22030, r22031, r22032, r22033, r22034, r22035, r22036, r22037, r22038, r22039, r22040, r22041, r22042, r22043, r22044, r22045, r22046, r22047, r22048, r22049, r22050, r22051, r22052, r22053, r22054, r22055, r22056; void setup_mpfr_f_dm() { mpfr_set_default_prec(656); mpfr_init_set_str(r22029, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22030, "2", 10, MPFR_RNDN); mpfr_init(r22031); mpfr_init(r22032); mpfr_init(r22033); mpfr_init_set_str(r22034, "4", 10, MPFR_RNDN); mpfr_init(r22035); mpfr_init(r22036); mpfr_init(r22037); mpfr_init(r22038); mpfr_init_set_str(r22039, "3", 10, MPFR_RNDN); mpfr_init(r22040); mpfr_init(r22041); mpfr_init(r22042); mpfr_init(r22043); mpfr_init(r22044); mpfr_init(r22045); mpfr_init(r22046); mpfr_init(r22047); mpfr_init(r22048); mpfr_init(r22049); mpfr_init(r22050); mpfr_init(r22051); mpfr_init(r22052); mpfr_init(r22053); mpfr_init(r22054); mpfr_init(r22055); mpfr_init(r22056); } double f_dm(double a, double b, double c) { ; ; mpfr_div(r22031, r22029, r22030, MPFR_RNDN); mpfr_set_d(r22032, c, MPFR_RNDN); mpfr_div(r22033, r22032, r22029, MPFR_RNDN); ; mpfr_mul(r22035, r22033, r22034, MPFR_RNDN); mpfr_set_d(r22036, b, MPFR_RNDN); mpfr_neg(r22037, r22036, MPFR_RNDN); mpfr_mul(r22038, r22036, r22036, MPFR_RNDN); ; mpfr_pow(r22040, r22038, r22039, MPFR_RNDN); mpfr_set_d(r22041, a, MPFR_RNDN); mpfr_mul(r22042, r22034, r22041, MPFR_RNDN); mpfr_mul(r22043, r22032, r22042, MPFR_RNDN); mpfr_pow(r22044, r22043, r22039, MPFR_RNDN); mpfr_sub(r22045, r22040, r22044, MPFR_RNDN); mpfr_mul(r22046, r22032, r22034, MPFR_RNDN); mpfr_mul(r22047, r22046, r22041, MPFR_RNDN); mpfr_add(r22048, r22038, r22047, MPFR_RNDN); mpfr_mul(r22049, r22048, r22047, MPFR_RNDN); mpfr_mul(r22050, r22038, r22038, MPFR_RNDN); mpfr_add(r22051, r22049, r22050, MPFR_RNDN); mpfr_div(r22052, r22045, r22051, MPFR_RNDN); mpfr_sqrt(r22053, r22052, MPFR_RNDN); mpfr_sub(r22054, r22037, r22053, MPFR_RNDN); mpfr_div(r22055, r22035, r22054, MPFR_RNDN); mpfr_mul(r22056, r22031, r22055, MPFR_RNDN); return mpfr_get_d(r22056, MPFR_RNDN); }