#include #include #include #include #include char *name = "Quadratic roots, medium range"; double f_if(float a, float b, float c) { float r21918 = b; float r21919 = -r21918; float r21920 = r21918 * r21918; float r21921 = 4; float r21922 = a; float r21923 = r21921 * r21922; float r21924 = c; float r21925 = r21923 * r21924; float r21926 = r21920 - r21925; float r21927 = sqrt(r21926); float r21928 = r21919 + r21927; float r21929 = 2; float r21930 = r21929 * r21922; float r21931 = r21928 / r21930; return r21931; } double f_id(double a, double b, double c) { double r21932 = b; double r21933 = -r21932; double r21934 = r21932 * r21932; double r21935 = 4; double r21936 = a; double r21937 = r21935 * r21936; double r21938 = c; double r21939 = r21937 * r21938; double r21940 = r21934 - r21939; double r21941 = sqrt(r21940); double r21942 = r21933 + r21941; double r21943 = 2; double r21944 = r21943 * r21936; double r21945 = r21942 / r21944; return r21945; } double f_of(float a, float b, float c) { float r21946 = c; float r21947 = a; float r21948 = r21946 * r21947; float r21949 = 4; float r21950 = -r21949; float r21951 = r21948 * r21950; float r21952 = r21949 * r21947; float r21953 = -r21946; float r21954 = b; float r21955 = r21954 * r21954; float r21956 = fma(r21952, r21953, r21955); float r21957 = sqrt(r21956); float r21958 = sqrt(r21957); float r21959 = fma(r21958, r21958, r21954); float r21960 = r21951 / r21959; float r21961 = 2; float r21962 = r21961 * r21947; float r21963 = r21960 / r21962; return r21963; } double f_od(double a, double b, double c) { double r21964 = c; double r21965 = a; double r21966 = r21964 * r21965; double r21967 = 4; double r21968 = -r21967; double r21969 = r21966 * r21968; double r21970 = r21967 * r21965; double r21971 = -r21964; double r21972 = b; double r21973 = r21972 * r21972; double r21974 = fma(r21970, r21971, r21973); double r21975 = sqrt(r21974); double r21976 = sqrt(r21975); double r21977 = fma(r21976, r21976, r21972); double r21978 = r21969 / r21977; double r21979 = 2; double r21980 = r21979 * r21965; double r21981 = r21978 / r21980; return r21981; } 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 r21982, r21983, r21984, r21985, r21986, r21987, r21988, r21989, r21990, r21991, r21992, r21993, r21994, r21995; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r21982); mpfr_init(r21983); mpfr_init(r21984); mpfr_init_set_str(r21985, "4", 10, MPFR_RNDN); mpfr_init(r21986); mpfr_init(r21987); mpfr_init(r21988); mpfr_init(r21989); mpfr_init(r21990); mpfr_init(r21991); mpfr_init(r21992); mpfr_init_set_str(r21993, "2", 10, MPFR_RNDN); mpfr_init(r21994); mpfr_init(r21995); } double f_im(double a, double b, double c) { mpfr_set_d(r21982, b, MPFR_RNDN); mpfr_neg(r21983, r21982, MPFR_RNDN); mpfr_mul(r21984, r21982, r21982, MPFR_RNDN); ; mpfr_set_d(r21986, a, MPFR_RNDN); mpfr_mul(r21987, r21985, r21986, MPFR_RNDN); mpfr_set_d(r21988, c, MPFR_RNDN); mpfr_mul(r21989, r21987, r21988, MPFR_RNDN); mpfr_sub(r21990, r21984, r21989, MPFR_RNDN); mpfr_sqrt(r21991, r21990, MPFR_RNDN); mpfr_add(r21992, r21983, r21991, MPFR_RNDN); ; mpfr_mul(r21994, r21993, r21986, MPFR_RNDN); mpfr_div(r21995, r21992, r21994, MPFR_RNDN); return mpfr_get_d(r21995, MPFR_RNDN); } static mpfr_t r21996, r21997, r21998, r21999, r22000, r22001, r22002, r22003, r22004, r22005, r22006, r22007, r22008, r22009, r22010, r22011, r22012, r22013; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r21996); mpfr_init(r21997); mpfr_init(r21998); mpfr_init_set_str(r21999, "4", 10, MPFR_RNDN); mpfr_init(r22000); mpfr_init(r22001); mpfr_init(r22002); mpfr_init(r22003); mpfr_init(r22004); mpfr_init(r22005); mpfr_init(r22006); mpfr_init(r22007); mpfr_init(r22008); mpfr_init(r22009); mpfr_init(r22010); mpfr_init_set_str(r22011, "2", 10, MPFR_RNDN); mpfr_init(r22012); mpfr_init(r22013); } double f_fm(double a, double b, double c) { mpfr_set_d(r21996, c, MPFR_RNDN); mpfr_set_d(r21997, a, MPFR_RNDN); mpfr_mul(r21998, r21996, r21997, MPFR_RNDN); ; mpfr_neg(r22000, r21999, MPFR_RNDN); mpfr_mul(r22001, r21998, r22000, MPFR_RNDN); mpfr_mul(r22002, r21999, r21997, MPFR_RNDN); mpfr_neg(r22003, r21996, MPFR_RNDN); mpfr_set_d(r22004, b, MPFR_RNDN); mpfr_mul(r22005, r22004, r22004, MPFR_RNDN); mpfr_fma(r22006, r22002, r22003, r22005, MPFR_RNDN); mpfr_sqrt(r22007, r22006, MPFR_RNDN); mpfr_sqrt(r22008, r22007, MPFR_RNDN); mpfr_fma(r22009, r22008, r22008, r22004, MPFR_RNDN); mpfr_div(r22010, r22001, r22009, MPFR_RNDN); ; mpfr_mul(r22012, r22011, r21997, MPFR_RNDN); mpfr_div(r22013, r22010, r22012, MPFR_RNDN); return mpfr_get_d(r22013, MPFR_RNDN); } static mpfr_t r22014, r22015, r22016, r22017, r22018, r22019, r22020, r22021, r22022, r22023, r22024, r22025, r22026, r22027, r22028, r22029, r22030, r22031; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r22014); mpfr_init(r22015); mpfr_init(r22016); mpfr_init_set_str(r22017, "4", 10, MPFR_RNDN); 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); mpfr_init_set_str(r22029, "2", 10, MPFR_RNDN); mpfr_init(r22030); mpfr_init(r22031); } double f_dm(double a, double b, double c) { mpfr_set_d(r22014, c, MPFR_RNDN); mpfr_set_d(r22015, a, MPFR_RNDN); mpfr_mul(r22016, r22014, r22015, MPFR_RNDN); ; mpfr_neg(r22018, r22017, MPFR_RNDN); mpfr_mul(r22019, r22016, r22018, MPFR_RNDN); mpfr_mul(r22020, r22017, r22015, MPFR_RNDN); mpfr_neg(r22021, r22014, MPFR_RNDN); mpfr_set_d(r22022, b, MPFR_RNDN); mpfr_mul(r22023, r22022, r22022, MPFR_RNDN); mpfr_fma(r22024, r22020, r22021, r22023, MPFR_RNDN); mpfr_sqrt(r22025, r22024, MPFR_RNDN); mpfr_sqrt(r22026, r22025, MPFR_RNDN); mpfr_fma(r22027, r22026, r22026, r22022, MPFR_RNDN); mpfr_div(r22028, r22019, r22027, MPFR_RNDN); ; mpfr_mul(r22030, r22029, r22015, MPFR_RNDN); mpfr_div(r22031, r22028, r22030, MPFR_RNDN); return mpfr_get_d(r22031, MPFR_RNDN); }