#include #include #include #include #include char *name = "NMSE problem 3.4.2"; double f_if(float a, float b, float eps) { float r15886 = eps; float r15887 = a; float r15888 = b; float r15889 = r15887 + r15888; float r15890 = r15889 * r15886; float r15891 = exp(r15890); float r15892 = 1.0f; float r15893 = r15891 - r15892; float r15894 = r15886 * r15893; float r15895 = r15887 * r15886; float r15896 = exp(r15895); float r15897 = r15896 - r15892; float r15898 = r15888 * r15886; float r15899 = exp(r15898); float r15900 = r15899 - r15892; float r15901 = r15897 * r15900; float r15902 = r15894 / r15901; return r15902; } double f_id(double a, double b, double eps) { double r15903 = eps; double r15904 = a; double r15905 = b; double r15906 = r15904 + r15905; double r15907 = r15906 * r15903; double r15908 = exp(r15907); double r15909 = 1.0; double r15910 = r15908 - r15909; double r15911 = r15903 * r15910; double r15912 = r15904 * r15903; double r15913 = exp(r15912); double r15914 = r15913 - r15909; double r15915 = r15905 * r15903; double r15916 = exp(r15915); double r15917 = r15916 - r15909; double r15918 = r15914 * r15917; double r15919 = r15911 / r15918; return r15919; } double f_of(float a, float b, float eps) { float r15920 = eps; float r15921 = a; float r15922 = b; float r15923 = r15921 + r15922; float r15924 = r15920 * r15923; float r15925 = expm1(r15924); float r15926 = r15922 * r15920; float r15927 = expm1(r15926); float r15928 = r15927 / r15920; float r15929 = r15925 / r15928; float r15930 = r15921 * r15920; float r15931 = expm1(r15930); float r15932 = cbrt(r15931); float r15933 = r15932 * (r15932 * r15932); float r15934 = r15929 / r15933; return r15934; } double f_od(double a, double b, double eps) { double r15935 = eps; double r15936 = a; double r15937 = b; double r15938 = r15936 + r15937; double r15939 = r15935 * r15938; double r15940 = expm1(r15939); double r15941 = r15937 * r15935; double r15942 = expm1(r15941); double r15943 = r15942 / r15935; double r15944 = r15940 / r15943; double r15945 = r15936 * r15935; double r15946 = expm1(r15945); double r15947 = cbrt(r15946); double r15948 = r15947 * (r15947 * r15947); double r15949 = r15944 / r15948; return r15949; } 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 r15950, r15951, r15952, r15953, r15954, r15955, r15956, r15957, r15958, r15959, r15960, r15961, r15962, r15963, r15964, r15965, r15966; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15950); mpfr_init(r15951); mpfr_init(r15952); mpfr_init(r15953); mpfr_init(r15954); mpfr_init(r15955); mpfr_init_set_str(r15956, "1", 10, MPFR_RNDN); mpfr_init(r15957); mpfr_init(r15958); mpfr_init(r15959); mpfr_init(r15960); mpfr_init(r15961); mpfr_init(r15962); mpfr_init(r15963); mpfr_init(r15964); mpfr_init(r15965); mpfr_init(r15966); } double f_im(double a, double b, double eps) { mpfr_set_d(r15950, eps, MPFR_RNDN); mpfr_set_d(r15951, a, MPFR_RNDN); mpfr_set_d(r15952, b, MPFR_RNDN); mpfr_add(r15953, r15951, r15952, MPFR_RNDN); mpfr_mul(r15954, r15953, r15950, MPFR_RNDN); mpfr_exp(r15955, r15954, MPFR_RNDN); ; mpfr_sub(r15957, r15955, r15956, MPFR_RNDN); mpfr_mul(r15958, r15950, r15957, MPFR_RNDN); mpfr_mul(r15959, r15951, r15950, MPFR_RNDN); mpfr_exp(r15960, r15959, MPFR_RNDN); mpfr_sub(r15961, r15960, r15956, MPFR_RNDN); mpfr_mul(r15962, r15952, r15950, MPFR_RNDN); mpfr_exp(r15963, r15962, MPFR_RNDN); mpfr_sub(r15964, r15963, r15956, MPFR_RNDN); mpfr_mul(r15965, r15961, r15964, MPFR_RNDN); mpfr_div(r15966, r15958, r15965, MPFR_RNDN); return mpfr_get_d(r15966, MPFR_RNDN); } static mpfr_t r15967, r15968, r15969, r15970, r15971, r15972, r15973, r15974, r15975, r15976, r15977, r15978, r15979, r15980, r15981; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15967); mpfr_init(r15968); mpfr_init(r15969); mpfr_init(r15970); mpfr_init(r15971); mpfr_init(r15972); mpfr_init(r15973); mpfr_init(r15974); mpfr_init(r15975); mpfr_init(r15976); mpfr_init(r15977); mpfr_init(r15978); mpfr_init(r15979); mpfr_init(r15980); mpfr_init(r15981); } double f_fm(double a, double b, double eps) { mpfr_set_d(r15967, eps, MPFR_RNDN); mpfr_set_d(r15968, a, MPFR_RNDN); mpfr_set_d(r15969, b, MPFR_RNDN); mpfr_add(r15970, r15968, r15969, MPFR_RNDN); mpfr_mul(r15971, r15967, r15970, MPFR_RNDN); mpfr_expm1(r15972, r15971, MPFR_RNDN); mpfr_mul(r15973, r15969, r15967, MPFR_RNDN); mpfr_expm1(r15974, r15973, MPFR_RNDN); mpfr_div(r15975, r15974, r15967, MPFR_RNDN); mpfr_div(r15976, r15972, r15975, MPFR_RNDN); mpfr_mul(r15977, r15968, r15967, MPFR_RNDN); mpfr_expm1(r15978, r15977, MPFR_RNDN); mpfr_cbrt(r15979, r15978, MPFR_RNDN); mpfr_mul(r15980, r15979, r15979, MPFR_RNDN); mpfr_mul(r15980, r15980, r15979, MPFR_RNDN); mpfr_div(r15981, r15976, r15980, MPFR_RNDN); return mpfr_get_d(r15981, MPFR_RNDN); } static mpfr_t r15982, r15983, r15984, r15985, r15986, r15987, r15988, r15989, r15990, r15991, r15992, r15993, r15994, r15995, r15996; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15982); mpfr_init(r15983); mpfr_init(r15984); mpfr_init(r15985); mpfr_init(r15986); mpfr_init(r15987); mpfr_init(r15988); mpfr_init(r15989); mpfr_init(r15990); mpfr_init(r15991); mpfr_init(r15992); mpfr_init(r15993); mpfr_init(r15994); mpfr_init(r15995); mpfr_init(r15996); } double f_dm(double a, double b, double eps) { mpfr_set_d(r15982, eps, MPFR_RNDN); mpfr_set_d(r15983, a, MPFR_RNDN); mpfr_set_d(r15984, b, MPFR_RNDN); mpfr_add(r15985, r15983, r15984, MPFR_RNDN); mpfr_mul(r15986, r15982, r15985, MPFR_RNDN); mpfr_expm1(r15987, r15986, MPFR_RNDN); mpfr_mul(r15988, r15984, r15982, MPFR_RNDN); mpfr_expm1(r15989, r15988, MPFR_RNDN); mpfr_div(r15990, r15989, r15982, MPFR_RNDN); mpfr_div(r15991, r15987, r15990, MPFR_RNDN); mpfr_mul(r15992, r15983, r15982, MPFR_RNDN); mpfr_expm1(r15993, r15992, MPFR_RNDN); mpfr_cbrt(r15994, r15993, MPFR_RNDN); mpfr_mul(r15995, r15994, r15994, MPFR_RNDN); mpfr_mul(r15995, r15995, r15994, MPFR_RNDN); mpfr_div(r15996, r15991, r15995, MPFR_RNDN); return mpfr_get_d(r15996, MPFR_RNDN); }