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