#include #include #include #include #include char *name = "NMSE problem 3.3.3"; double f_if(float x) { float r16190 = 1.0f; float r16191 = x; float r16192 = r16191 + r16190; float r16193 = r16190 / r16192; float r16194 = 2.0f; float r16195 = r16194 / r16191; float r16196 = r16193 - r16195; float r16197 = r16191 - r16190; float r16198 = r16190 / r16197; float r16199 = r16196 + r16198; return r16199; } double f_id(double x) { double r16200 = 1.0; double r16201 = x; double r16202 = r16201 + r16200; double r16203 = r16200 / r16202; double r16204 = 2.0; double r16205 = r16204 / r16201; double r16206 = r16203 - r16205; double r16207 = r16201 - r16200; double r16208 = r16200 / r16207; double r16209 = r16206 + r16208; return r16209; } double f_of(float x) { float r16210 = x; float r16211 = -1.697502613067627f; bool r16212 = r16210 <= r16211; float r16213 = 2.0f; float r16214 = 5.0f; float r16215 = pow(r16210, r16214); float r16216 = r16213 / r16215; float r16217 = 7.0f; float r16218 = pow(r16210, r16217); float r16219 = r16213 / r16218; float r16220 = r16216 + r16219; float r16221 = r16213 / r16210; float r16222 = r16210 * r16210; float r16223 = r16221 / r16222; float r16224 = r16220 + r16223; float r16225 = 22.1597957611084f; bool r16226 = r16210 <= r16225; float r16227 = 1.0f; float r16228 = r16210 + r16227; float r16229 = r16227 / r16228; float r16230 = sqrt(r16229); float r16231 = r16230 * r16230; float r16232 = r16231 - r16221; float r16233 = r16210 - r16227; float r16234 = r16227 / r16233; float r16235 = r16232 + r16234; float r16236 = r16226 ? r16235 : r16224; float r16237 = r16212 ? r16224 : r16236; return r16237; } double f_od(double x) { double r16238 = x; double r16239 = -1.697502613067627; bool r16240 = r16238 <= r16239; double r16241 = 2.0; double r16242 = 5.0; double r16243 = pow(r16238, r16242); double r16244 = r16241 / r16243; double r16245 = 7.0; double r16246 = pow(r16238, r16245); double r16247 = r16241 / r16246; double r16248 = r16244 + r16247; double r16249 = r16241 / r16238; double r16250 = r16238 * r16238; double r16251 = r16249 / r16250; double r16252 = r16248 + r16251; double r16253 = 22.1597957611084; bool r16254 = r16238 <= r16253; double r16255 = 1.0; double r16256 = r16238 + r16255; double r16257 = r16255 / r16256; double r16258 = sqrt(r16257); double r16259 = r16258 * r16258; double r16260 = r16259 - r16249; double r16261 = r16238 - r16255; double r16262 = r16255 / r16261; double r16263 = r16260 + r16262; double r16264 = r16254 ? r16263 : r16252; double r16265 = r16240 ? r16252 : r16264; return r16265; } 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 r16266, r16267, r16268, r16269, r16270, r16271, r16272, r16273, r16274, r16275; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r16266, "1", 10, MPFR_RNDN); mpfr_init(r16267); mpfr_init(r16268); mpfr_init(r16269); mpfr_init_set_str(r16270, "2", 10, MPFR_RNDN); mpfr_init(r16271); mpfr_init(r16272); mpfr_init(r16273); mpfr_init(r16274); mpfr_init(r16275); } double f_im(double x) { ; mpfr_set_d(r16267, x, MPFR_RNDN); mpfr_add(r16268, r16267, r16266, MPFR_RNDN); mpfr_div(r16269, r16266, r16268, MPFR_RNDN); ; mpfr_div(r16271, r16270, r16267, MPFR_RNDN); mpfr_sub(r16272, r16269, r16271, MPFR_RNDN); mpfr_sub(r16273, r16267, r16266, MPFR_RNDN); mpfr_div(r16274, r16266, r16273, MPFR_RNDN); mpfr_add(r16275, r16272, r16274, MPFR_RNDN); return mpfr_get_d(r16275, MPFR_RNDN); } static mpfr_t r16276, r16277, r16278, r16279, r16280, r16281, r16282, r16283, r16284, r16285, r16286, r16287, r16288, r16289, r16290, r16291, r16292, r16293, r16294, r16295, r16296, r16297, r16298, r16299, r16300, r16301, r16302, r16303; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r16276); mpfr_init_set_str(r16277, "-1.6975026f0", 10, MPFR_RNDN); mpfr_init(r16278); mpfr_init_set_str(r16279, "2", 10, MPFR_RNDN); mpfr_init_set_str(r16280, "5", 10, MPFR_RNDN); mpfr_init(r16281); mpfr_init(r16282); mpfr_init_set_str(r16283, "7", 10, MPFR_RNDN); mpfr_init(r16284); mpfr_init(r16285); mpfr_init(r16286); mpfr_init(r16287); mpfr_init(r16288); mpfr_init(r16289); mpfr_init(r16290); mpfr_init_set_str(r16291, "22.159796f0", 10, MPFR_RNDN); mpfr_init(r16292); mpfr_init_set_str(r16293, "1", 10, MPFR_RNDN); mpfr_init(r16294); mpfr_init(r16295); mpfr_init(r16296); mpfr_init(r16297); mpfr_init(r16298); mpfr_init(r16299); mpfr_init(r16300); mpfr_init(r16301); mpfr_init(r16302); mpfr_init(r16303); } double f_fm(double x) { mpfr_set_d(r16276, x, MPFR_RNDN); ; mpfr_set_si(r16278, mpfr_cmp(r16276, r16277) <= 0, MPFR_RNDN); ; ; mpfr_pow(r16281, r16276, r16280, MPFR_RNDN); mpfr_div(r16282, r16279, r16281, MPFR_RNDN); ; mpfr_pow(r16284, r16276, r16283, MPFR_RNDN); mpfr_div(r16285, r16279, r16284, MPFR_RNDN); mpfr_add(r16286, r16282, r16285, MPFR_RNDN); mpfr_div(r16287, r16279, r16276, MPFR_RNDN); mpfr_mul(r16288, r16276, r16276, MPFR_RNDN); mpfr_div(r16289, r16287, r16288, MPFR_RNDN); mpfr_add(r16290, r16286, r16289, MPFR_RNDN); ; mpfr_set_si(r16292, mpfr_cmp(r16276, r16291) <= 0, MPFR_RNDN); ; mpfr_add(r16294, r16276, r16293, MPFR_RNDN); mpfr_div(r16295, r16293, r16294, MPFR_RNDN); mpfr_sqrt(r16296, r16295, MPFR_RNDN); mpfr_sqr(r16297, r16296, MPFR_RNDN); mpfr_sub(r16298, r16297, r16287, MPFR_RNDN); mpfr_sub(r16299, r16276, r16293, MPFR_RNDN); mpfr_div(r16300, r16293, r16299, MPFR_RNDN); mpfr_add(r16301, r16298, r16300, MPFR_RNDN); if (mpfr_get_si(r16292, MPFR_RNDN)) { mpfr_set(r16302, r16301, MPFR_RNDN); } else { mpfr_set(r16302, r16290, MPFR_RNDN); }; if (mpfr_get_si(r16278, MPFR_RNDN)) { mpfr_set(r16303, r16290, MPFR_RNDN); } else { mpfr_set(r16303, r16302, MPFR_RNDN); }; return mpfr_get_d(r16303, MPFR_RNDN); } static mpfr_t r16304, r16305, r16306, r16307, r16308, r16309, r16310, r16311, r16312, r16313, r16314, r16315, r16316, r16317, r16318, r16319, r16320, r16321, r16322, r16323, r16324, r16325, r16326, r16327, r16328, r16329, r16330, r16331; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r16304); mpfr_init_set_str(r16305, "-1.6975026f0", 10, MPFR_RNDN); mpfr_init(r16306); mpfr_init_set_str(r16307, "2", 10, MPFR_RNDN); mpfr_init_set_str(r16308, "5", 10, MPFR_RNDN); mpfr_init(r16309); mpfr_init(r16310); mpfr_init_set_str(r16311, "7", 10, MPFR_RNDN); mpfr_init(r16312); mpfr_init(r16313); mpfr_init(r16314); mpfr_init(r16315); mpfr_init(r16316); mpfr_init(r16317); mpfr_init(r16318); mpfr_init_set_str(r16319, "22.159796f0", 10, MPFR_RNDN); mpfr_init(r16320); mpfr_init_set_str(r16321, "1", 10, MPFR_RNDN); mpfr_init(r16322); mpfr_init(r16323); mpfr_init(r16324); mpfr_init(r16325); mpfr_init(r16326); mpfr_init(r16327); mpfr_init(r16328); mpfr_init(r16329); mpfr_init(r16330); mpfr_init(r16331); } double f_dm(double x) { mpfr_set_d(r16304, x, MPFR_RNDN); ; mpfr_set_si(r16306, mpfr_cmp(r16304, r16305) <= 0, MPFR_RNDN); ; ; mpfr_pow(r16309, r16304, r16308, MPFR_RNDN); mpfr_div(r16310, r16307, r16309, MPFR_RNDN); ; mpfr_pow(r16312, r16304, r16311, MPFR_RNDN); mpfr_div(r16313, r16307, r16312, MPFR_RNDN); mpfr_add(r16314, r16310, r16313, MPFR_RNDN); mpfr_div(r16315, r16307, r16304, MPFR_RNDN); mpfr_mul(r16316, r16304, r16304, MPFR_RNDN); mpfr_div(r16317, r16315, r16316, MPFR_RNDN); mpfr_add(r16318, r16314, r16317, MPFR_RNDN); ; mpfr_set_si(r16320, mpfr_cmp(r16304, r16319) <= 0, MPFR_RNDN); ; mpfr_add(r16322, r16304, r16321, MPFR_RNDN); mpfr_div(r16323, r16321, r16322, MPFR_RNDN); mpfr_sqrt(r16324, r16323, MPFR_RNDN); mpfr_sqr(r16325, r16324, MPFR_RNDN); mpfr_sub(r16326, r16325, r16315, MPFR_RNDN); mpfr_sub(r16327, r16304, r16321, MPFR_RNDN); mpfr_div(r16328, r16321, r16327, MPFR_RNDN); mpfr_add(r16329, r16326, r16328, MPFR_RNDN); if (mpfr_get_si(r16320, MPFR_RNDN)) { mpfr_set(r16330, r16329, MPFR_RNDN); } else { mpfr_set(r16330, r16318, MPFR_RNDN); }; if (mpfr_get_si(r16306, MPFR_RNDN)) { mpfr_set(r16331, r16318, MPFR_RNDN); } else { mpfr_set(r16331, r16330, MPFR_RNDN); }; return mpfr_get_d(r16331, MPFR_RNDN); }