#include #include #include #include #include char *name = "NMSE example 3.6"; double f_if(float x) { float r16940 = 1.0f; float r16941 = x; float r16942 = sqrt(r16941); float r16943 = r16940 / r16942; float r16944 = r16941 + r16940; float r16945 = sqrt(r16944); float r16946 = r16940 / r16945; float r16947 = r16943 - r16946; return r16947; } double f_id(double x) { double r16948 = 1.0; double r16949 = x; double r16950 = sqrt(r16949); double r16951 = r16948 / r16950; double r16952 = r16949 + r16948; double r16953 = sqrt(r16952); double r16954 = r16948 / r16953; double r16955 = r16951 - r16954; return r16955; } double f_of(float x) { float r16956 = x; float r16957 = 3106055651328.0f; bool r16958 = r16956 <= r16957; float r16959 = 1.0f; float r16960 = fma(r16956, r16956, r16956); float r16961 = r16959 / r16960; float r16962 = sqrt(r16956); float r16963 = r16959 / r16962; float r16964 = r16956 + r16959; float r16965 = sqrt(r16964); float r16966 = r16959 / r16965; float r16967 = r16963 + r16966; float r16968 = r16961 / r16967; float r16969 = r16959 / r16956; float r16970 = r16969 / r16956; float r16971 = r16956 * (r16956 * r16956); float r16972 = r16959 / r16971; float r16973 = r16970 - r16972; float r16974 = r16959 + r16956; float r16975 = sqrt(r16974); float r16976 = r16959 / r16975; float r16977 = r16976 + r16963; float r16978 = r16973 / r16977; float r16979 = r16958 ? r16968 : r16978; return r16979; } double f_od(double x) { double r16980 = x; double r16981 = 3106055651328.0; bool r16982 = r16980 <= r16981; double r16983 = 1.0; double r16984 = fma(r16980, r16980, r16980); double r16985 = r16983 / r16984; double r16986 = sqrt(r16980); double r16987 = r16983 / r16986; double r16988 = r16980 + r16983; double r16989 = sqrt(r16988); double r16990 = r16983 / r16989; double r16991 = r16987 + r16990; double r16992 = r16985 / r16991; double r16993 = r16983 / r16980; double r16994 = r16993 / r16980; double r16995 = r16980 * (r16980 * r16980); double r16996 = r16983 / r16995; double r16997 = r16994 - r16996; double r16998 = r16983 + r16980; double r16999 = sqrt(r16998); double r17000 = r16983 / r16999; double r17001 = r17000 + r16987; double r17002 = r16997 / r17001; double r17003 = r16982 ? r16992 : r17002; return r17003; } 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 r17004, r17005, r17006, r17007, r17008, r17009, r17010, r17011; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r17004, "1", 10, MPFR_RNDN); mpfr_init(r17005); mpfr_init(r17006); mpfr_init(r17007); mpfr_init(r17008); mpfr_init(r17009); mpfr_init(r17010); mpfr_init(r17011); } double f_im(double x) { ; mpfr_set_d(r17005, x, MPFR_RNDN); mpfr_sqrt(r17006, r17005, MPFR_RNDN); mpfr_div(r17007, r17004, r17006, MPFR_RNDN); mpfr_add(r17008, r17005, r17004, MPFR_RNDN); mpfr_sqrt(r17009, r17008, MPFR_RNDN); mpfr_div(r17010, r17004, r17009, MPFR_RNDN); mpfr_sub(r17011, r17007, r17010, MPFR_RNDN); return mpfr_get_d(r17011, MPFR_RNDN); } static mpfr_t r17012, r17013, r17014, r17015, r17016, r17017, r17018, r17019, r17020, r17021, r17022, r17023, r17024, r17025, r17026, r17027, r17028, r17029, r17030, r17031, r17032, r17033, r17034, r17035; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17012); mpfr_init_set_str(r17013, "3.1060557f+12", 10, MPFR_RNDN); mpfr_init(r17014); mpfr_init_set_str(r17015, "1", 10, MPFR_RNDN); mpfr_init(r17016); mpfr_init(r17017); mpfr_init(r17018); mpfr_init(r17019); mpfr_init(r17020); mpfr_init(r17021); mpfr_init(r17022); mpfr_init(r17023); mpfr_init(r17024); mpfr_init(r17025); mpfr_init(r17026); mpfr_init(r17027); mpfr_init(r17028); mpfr_init(r17029); mpfr_init(r17030); mpfr_init(r17031); mpfr_init(r17032); mpfr_init(r17033); mpfr_init(r17034); mpfr_init(r17035); } double f_fm(double x) { mpfr_set_d(r17012, x, MPFR_RNDN); ; mpfr_set_si(r17014, mpfr_cmp(r17012, r17013) <= 0, MPFR_RNDN); ; mpfr_fma(r17016, r17012, r17012, r17012, MPFR_RNDN); mpfr_div(r17017, r17015, r17016, MPFR_RNDN); mpfr_sqrt(r17018, r17012, MPFR_RNDN); mpfr_div(r17019, r17015, r17018, MPFR_RNDN); mpfr_add(r17020, r17012, r17015, MPFR_RNDN); mpfr_sqrt(r17021, r17020, MPFR_RNDN); mpfr_div(r17022, r17015, r17021, MPFR_RNDN); mpfr_add(r17023, r17019, r17022, MPFR_RNDN); mpfr_div(r17024, r17017, r17023, MPFR_RNDN); mpfr_div(r17025, r17015, r17012, MPFR_RNDN); mpfr_div(r17026, r17025, r17012, MPFR_RNDN); mpfr_mul(r17027, r17012, r17012, MPFR_RNDN); mpfr_mul(r17027, r17027, r17012, MPFR_RNDN); mpfr_div(r17028, r17015, r17027, MPFR_RNDN); mpfr_sub(r17029, r17026, r17028, MPFR_RNDN); mpfr_add(r17030, r17015, r17012, MPFR_RNDN); mpfr_sqrt(r17031, r17030, MPFR_RNDN); mpfr_div(r17032, r17015, r17031, MPFR_RNDN); mpfr_add(r17033, r17032, r17019, MPFR_RNDN); mpfr_div(r17034, r17029, r17033, MPFR_RNDN); if (mpfr_get_si(r17014, MPFR_RNDN)) { mpfr_set(r17035, r17024, MPFR_RNDN); } else { mpfr_set(r17035, r17034, MPFR_RNDN); }; return mpfr_get_d(r17035, MPFR_RNDN); } static mpfr_t r17036, r17037, r17038, r17039, r17040, r17041, r17042, r17043, r17044, r17045, r17046, r17047, r17048, r17049, r17050, r17051, r17052, r17053, r17054, r17055, r17056, r17057, r17058, r17059; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17036); mpfr_init_set_str(r17037, "3.1060557f+12", 10, MPFR_RNDN); mpfr_init(r17038); mpfr_init_set_str(r17039, "1", 10, MPFR_RNDN); mpfr_init(r17040); mpfr_init(r17041); mpfr_init(r17042); mpfr_init(r17043); mpfr_init(r17044); mpfr_init(r17045); mpfr_init(r17046); mpfr_init(r17047); mpfr_init(r17048); mpfr_init(r17049); mpfr_init(r17050); mpfr_init(r17051); mpfr_init(r17052); mpfr_init(r17053); mpfr_init(r17054); mpfr_init(r17055); mpfr_init(r17056); mpfr_init(r17057); mpfr_init(r17058); mpfr_init(r17059); } double f_dm(double x) { mpfr_set_d(r17036, x, MPFR_RNDN); ; mpfr_set_si(r17038, mpfr_cmp(r17036, r17037) <= 0, MPFR_RNDN); ; mpfr_fma(r17040, r17036, r17036, r17036, MPFR_RNDN); mpfr_div(r17041, r17039, r17040, MPFR_RNDN); mpfr_sqrt(r17042, r17036, MPFR_RNDN); mpfr_div(r17043, r17039, r17042, MPFR_RNDN); mpfr_add(r17044, r17036, r17039, MPFR_RNDN); mpfr_sqrt(r17045, r17044, MPFR_RNDN); mpfr_div(r17046, r17039, r17045, MPFR_RNDN); mpfr_add(r17047, r17043, r17046, MPFR_RNDN); mpfr_div(r17048, r17041, r17047, MPFR_RNDN); mpfr_div(r17049, r17039, r17036, MPFR_RNDN); mpfr_div(r17050, r17049, r17036, MPFR_RNDN); mpfr_mul(r17051, r17036, r17036, MPFR_RNDN); mpfr_mul(r17051, r17051, r17036, MPFR_RNDN); mpfr_div(r17052, r17039, r17051, MPFR_RNDN); mpfr_sub(r17053, r17050, r17052, MPFR_RNDN); mpfr_add(r17054, r17039, r17036, MPFR_RNDN); mpfr_sqrt(r17055, r17054, MPFR_RNDN); mpfr_div(r17056, r17039, r17055, MPFR_RNDN); mpfr_add(r17057, r17056, r17043, MPFR_RNDN); mpfr_div(r17058, r17053, r17057, MPFR_RNDN); if (mpfr_get_si(r17038, MPFR_RNDN)) { mpfr_set(r17059, r17048, MPFR_RNDN); } else { mpfr_set(r17059, r17058, MPFR_RNDN); }; return mpfr_get_d(r17059, MPFR_RNDN); }