#include #include #include #include #include char *name = "NMSE problem 3.4.4"; double f_if(float x) { float r14985 = 2.0f; float r14986 = x; float r14987 = r14985 * r14986; float r14988 = exp(r14987); float r14989 = 1.0f; float r14990 = r14988 - r14989; float r14991 = exp(r14986); float r14992 = r14991 - r14989; float r14993 = r14990 / r14992; float r14994 = sqrt(r14993); return r14994; } double f_id(double x) { double r14995 = 2.0; double r14996 = x; double r14997 = r14995 * r14996; double r14998 = exp(r14997); double r14999 = 1.0; double r15000 = r14998 - r14999; double r15001 = exp(r14996); double r15002 = r15001 - r14999; double r15003 = r15000 / r15002; double r15004 = sqrt(r15003); return r15004; } double f_of(float x) { float r15005 = x; float r15006 = -6.025113626725801e-15f; bool r15007 = r15005 <= r15006; float r15008 = 2.0f; float r15009 = r15008 * r15005; float r15010 = exp(r15009); float r15011 = 1.0f; float r15012 = r15010 - r15011; float r15013 = exp(r15005); float r15014 = r15013 * r15013; float r15015 = r15011 * r15011; float r15016 = r15014 - r15015; float r15017 = r15013 + r15011; float r15018 = r15016 / r15017; float r15019 = r15012 / r15018; float r15020 = sqrt(r15019); float r15021 = 0.5f; float r15022 = r15005 * r15021; float r15023 = sqrt(r15008); float r15024 = r15022 / r15023; float r15025 = r15024 + r15023; float r15026 = 0.25f; float r15027 = 0.125f; float r15028 = r15027 / r15008; float r15029 = r15026 - r15028; float r15030 = r15005 * r15005; float r15031 = r15030 / r15023; float r15032 = r15029 * r15031; float r15033 = r15025 + r15032; float r15034 = r15007 ? r15020 : r15033; return r15034; } double f_od(double x) { double r15035 = x; double r15036 = -6.025113626725801e-15; bool r15037 = r15035 <= r15036; double r15038 = 2.0; double r15039 = r15038 * r15035; double r15040 = exp(r15039); double r15041 = 1.0; double r15042 = r15040 - r15041; double r15043 = exp(r15035); double r15044 = r15043 * r15043; double r15045 = r15041 * r15041; double r15046 = r15044 - r15045; double r15047 = r15043 + r15041; double r15048 = r15046 / r15047; double r15049 = r15042 / r15048; double r15050 = sqrt(r15049); double r15051 = 0.5; double r15052 = r15035 * r15051; double r15053 = sqrt(r15038); double r15054 = r15052 / r15053; double r15055 = r15054 + r15053; double r15056 = 0.25; double r15057 = 0.125; double r15058 = r15057 / r15038; double r15059 = r15056 - r15058; double r15060 = r15035 * r15035; double r15061 = r15060 / r15053; double r15062 = r15059 * r15061; double r15063 = r15055 + r15062; double r15064 = r15037 ? r15050 : r15063; return r15064; } 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 r15065, r15066, r15067, r15068, r15069, r15070, r15071, r15072, r15073, r15074; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r15065, "2", 10, MPFR_RNDN); mpfr_init(r15066); mpfr_init(r15067); mpfr_init(r15068); mpfr_init_set_str(r15069, "1", 10, MPFR_RNDN); mpfr_init(r15070); mpfr_init(r15071); mpfr_init(r15072); mpfr_init(r15073); mpfr_init(r15074); } double f_im(double x) { ; mpfr_set_d(r15066, x, MPFR_RNDN); mpfr_mul(r15067, r15065, r15066, MPFR_RNDN); mpfr_exp(r15068, r15067, MPFR_RNDN); ; mpfr_sub(r15070, r15068, r15069, MPFR_RNDN); mpfr_exp(r15071, r15066, MPFR_RNDN); mpfr_sub(r15072, r15071, r15069, MPFR_RNDN); mpfr_div(r15073, r15070, r15072, MPFR_RNDN); mpfr_sqrt(r15074, r15073, MPFR_RNDN); return mpfr_get_d(r15074, MPFR_RNDN); } static mpfr_t r15075, r15076, r15077, r15078, r15079, r15080, r15081, r15082, r15083, r15084, r15085, r15086, r15087, r15088, r15089, r15090, r15091, r15092, r15093, r15094, r15095, r15096, r15097, r15098, r15099, r15100, r15101, r15102, r15103, r15104; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15075); mpfr_init_set_str(r15076, "-6.025113626725801e-15", 10, MPFR_RNDN); mpfr_init(r15077); mpfr_init_set_str(r15078, "2", 10, MPFR_RNDN); mpfr_init(r15079); mpfr_init(r15080); mpfr_init_set_str(r15081, "1", 10, MPFR_RNDN); mpfr_init(r15082); mpfr_init(r15083); mpfr_init(r15084); mpfr_init(r15085); mpfr_init(r15086); mpfr_init(r15087); mpfr_init(r15088); mpfr_init(r15089); mpfr_init(r15090); mpfr_init_set_str(r15091, "1/2", 10, MPFR_RNDN); mpfr_init(r15092); mpfr_init(r15093); mpfr_init(r15094); mpfr_init(r15095); mpfr_init_set_str(r15096, "1/4", 10, MPFR_RNDN); mpfr_init_set_str(r15097, "1/8", 10, MPFR_RNDN); mpfr_init(r15098); mpfr_init(r15099); mpfr_init(r15100); mpfr_init(r15101); mpfr_init(r15102); mpfr_init(r15103); mpfr_init(r15104); } double f_fm(double x) { mpfr_set_d(r15075, x, MPFR_RNDN); ; mpfr_set_si(r15077, mpfr_cmp(r15075, r15076) <= 0, MPFR_RNDN); ; mpfr_mul(r15079, r15078, r15075, MPFR_RNDN); mpfr_exp(r15080, r15079, MPFR_RNDN); ; mpfr_sub(r15082, r15080, r15081, MPFR_RNDN); mpfr_exp(r15083, r15075, MPFR_RNDN); mpfr_sqr(r15084, r15083, MPFR_RNDN); mpfr_sqr(r15085, r15081, MPFR_RNDN); mpfr_sub(r15086, r15084, r15085, MPFR_RNDN); mpfr_add(r15087, r15083, r15081, MPFR_RNDN); mpfr_div(r15088, r15086, r15087, MPFR_RNDN); mpfr_div(r15089, r15082, r15088, MPFR_RNDN); mpfr_sqrt(r15090, r15089, MPFR_RNDN); ; mpfr_mul(r15092, r15075, r15091, MPFR_RNDN); mpfr_sqrt(r15093, r15078, MPFR_RNDN); mpfr_div(r15094, r15092, r15093, MPFR_RNDN); mpfr_add(r15095, r15094, r15093, MPFR_RNDN); ; ; mpfr_div(r15098, r15097, r15078, MPFR_RNDN); mpfr_sub(r15099, r15096, r15098, MPFR_RNDN); mpfr_sqr(r15100, r15075, MPFR_RNDN); mpfr_div(r15101, r15100, r15093, MPFR_RNDN); mpfr_mul(r15102, r15099, r15101, MPFR_RNDN); mpfr_add(r15103, r15095, r15102, MPFR_RNDN); if (mpfr_get_si(r15077, MPFR_RNDN)) { mpfr_set(r15104, r15090, MPFR_RNDN); } else { mpfr_set(r15104, r15103, MPFR_RNDN); }; return mpfr_get_d(r15104, MPFR_RNDN); } static mpfr_t r15105, r15106, r15107, r15108, r15109, r15110, r15111, r15112, r15113, r15114, r15115, r15116, r15117, r15118, r15119, r15120, r15121, r15122, r15123, r15124, r15125, r15126, r15127, r15128, r15129, r15130, r15131, r15132, r15133, r15134; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15105); mpfr_init_set_str(r15106, "-6.025113626725801e-15", 10, MPFR_RNDN); mpfr_init(r15107); mpfr_init_set_str(r15108, "2", 10, MPFR_RNDN); mpfr_init(r15109); mpfr_init(r15110); mpfr_init_set_str(r15111, "1", 10, MPFR_RNDN); mpfr_init(r15112); mpfr_init(r15113); mpfr_init(r15114); mpfr_init(r15115); mpfr_init(r15116); mpfr_init(r15117); mpfr_init(r15118); mpfr_init(r15119); mpfr_init(r15120); mpfr_init_set_str(r15121, "1/2", 10, MPFR_RNDN); mpfr_init(r15122); mpfr_init(r15123); mpfr_init(r15124); mpfr_init(r15125); mpfr_init_set_str(r15126, "1/4", 10, MPFR_RNDN); mpfr_init_set_str(r15127, "1/8", 10, MPFR_RNDN); mpfr_init(r15128); mpfr_init(r15129); mpfr_init(r15130); mpfr_init(r15131); mpfr_init(r15132); mpfr_init(r15133); mpfr_init(r15134); } double f_dm(double x) { mpfr_set_d(r15105, x, MPFR_RNDN); ; mpfr_set_si(r15107, mpfr_cmp(r15105, r15106) <= 0, MPFR_RNDN); ; mpfr_mul(r15109, r15108, r15105, MPFR_RNDN); mpfr_exp(r15110, r15109, MPFR_RNDN); ; mpfr_sub(r15112, r15110, r15111, MPFR_RNDN); mpfr_exp(r15113, r15105, MPFR_RNDN); mpfr_sqr(r15114, r15113, MPFR_RNDN); mpfr_sqr(r15115, r15111, MPFR_RNDN); mpfr_sub(r15116, r15114, r15115, MPFR_RNDN); mpfr_add(r15117, r15113, r15111, MPFR_RNDN); mpfr_div(r15118, r15116, r15117, MPFR_RNDN); mpfr_div(r15119, r15112, r15118, MPFR_RNDN); mpfr_sqrt(r15120, r15119, MPFR_RNDN); ; mpfr_mul(r15122, r15105, r15121, MPFR_RNDN); mpfr_sqrt(r15123, r15108, MPFR_RNDN); mpfr_div(r15124, r15122, r15123, MPFR_RNDN); mpfr_add(r15125, r15124, r15123, MPFR_RNDN); ; ; mpfr_div(r15128, r15127, r15108, MPFR_RNDN); mpfr_sub(r15129, r15126, r15128, MPFR_RNDN); mpfr_sqr(r15130, r15105, MPFR_RNDN); mpfr_div(r15131, r15130, r15123, MPFR_RNDN); mpfr_mul(r15132, r15129, r15131, MPFR_RNDN); mpfr_add(r15133, r15125, r15132, MPFR_RNDN); if (mpfr_get_si(r15107, MPFR_RNDN)) { mpfr_set(r15134, r15120, MPFR_RNDN); } else { mpfr_set(r15134, r15133, MPFR_RNDN); }; return mpfr_get_d(r15134, MPFR_RNDN); }