#include #include #include #include #include char *name = "NMSE problem 3.3.6"; double f_if(float N) { float r15217 = N; float r15218 = 1.0f; float r15219 = r15217 + r15218; float r15220 = log(r15219); float r15221 = log(r15217); float r15222 = r15220 - r15221; return r15222; } double f_id(double N) { double r15223 = N; double r15224 = 1.0; double r15225 = r15223 + r15224; double r15226 = log(r15225); double r15227 = log(r15223); double r15228 = r15226 - r15227; return r15228; } double f_of(float N) { float r15229 = N; float r15230 = 55.888526916503906f; bool r15231 = r15229 <= r15230; float r15232 = 1.0f; float r15233 = r15229 + r15232; float r15234 = r15233 / r15229; float r15235 = sqrt(r15234); float r15236 = r15235 * r15235; float r15237 = log(r15236); float r15238 = r15232 / r15229; float r15239 = 0.3333333432674408f; float r15240 = r15229 * (r15229 * r15229); float r15241 = r15239 / r15240; float r15242 = 0.5f; float r15243 = r15229 * r15229; float r15244 = r15242 / r15243; float r15245 = r15241 - r15244; float r15246 = r15238 + r15245; float r15247 = r15231 ? r15237 : r15246; return r15247; } double f_od(double N) { double r15248 = N; double r15249 = 55.888526916503906; bool r15250 = r15248 <= r15249; double r15251 = 1.0; double r15252 = r15248 + r15251; double r15253 = r15252 / r15248; double r15254 = sqrt(r15253); double r15255 = r15254 * r15254; double r15256 = log(r15255); double r15257 = r15251 / r15248; double r15258 = 0.3333333432674408; double r15259 = r15248 * (r15248 * r15248); double r15260 = r15258 / r15259; double r15261 = 0.5; double r15262 = r15248 * r15248; double r15263 = r15261 / r15262; double r15264 = r15260 - r15263; double r15265 = r15257 + r15264; double r15266 = r15250 ? r15256 : r15265; return r15266; } 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 r15267, r15268, r15269, r15270, r15271, r15272; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15267); mpfr_init_set_str(r15268, "1", 10, MPFR_RNDN); mpfr_init(r15269); mpfr_init(r15270); mpfr_init(r15271); mpfr_init(r15272); } double f_im(double N) { mpfr_set_d(r15267, N, MPFR_RNDN); ; mpfr_add(r15269, r15267, r15268, MPFR_RNDN); mpfr_log(r15270, r15269, MPFR_RNDN); mpfr_log(r15271, r15267, MPFR_RNDN); mpfr_sub(r15272, r15270, r15271, MPFR_RNDN); return mpfr_get_d(r15272, MPFR_RNDN); } static mpfr_t r15273, r15274, r15275, r15276, r15277, r15278, r15279, r15280, r15281, r15282, r15283, r15284, r15285, r15286, r15287, r15288, r15289, r15290, r15291; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15273); mpfr_init_set_str(r15274, "55.888527f0", 10, MPFR_RNDN); mpfr_init(r15275); mpfr_init_set_str(r15276, "1", 10, MPFR_RNDN); mpfr_init(r15277); mpfr_init(r15278); mpfr_init(r15279); mpfr_init(r15280); mpfr_init(r15281); mpfr_init(r15282); mpfr_init_set_str(r15283, "1/3", 10, MPFR_RNDN); mpfr_init(r15284); mpfr_init(r15285); mpfr_init_set_str(r15286, "1/2", 10, MPFR_RNDN); mpfr_init(r15287); mpfr_init(r15288); mpfr_init(r15289); mpfr_init(r15290); mpfr_init(r15291); } double f_fm(double N) { mpfr_set_d(r15273, N, MPFR_RNDN); ; mpfr_set_si(r15275, mpfr_cmp(r15273, r15274) <= 0, MPFR_RNDN); ; mpfr_add(r15277, r15273, r15276, MPFR_RNDN); mpfr_div(r15278, r15277, r15273, MPFR_RNDN); mpfr_sqrt(r15279, r15278, MPFR_RNDN); mpfr_sqr(r15280, r15279, MPFR_RNDN); mpfr_log(r15281, r15280, MPFR_RNDN); mpfr_div(r15282, r15276, r15273, MPFR_RNDN); ; mpfr_mul(r15284, r15273, r15273, MPFR_RNDN); mpfr_mul(r15284, r15284, r15273, MPFR_RNDN); mpfr_div(r15285, r15283, r15284, MPFR_RNDN); ; mpfr_mul(r15287, r15273, r15273, MPFR_RNDN); mpfr_div(r15288, r15286, r15287, MPFR_RNDN); mpfr_sub(r15289, r15285, r15288, MPFR_RNDN); mpfr_add(r15290, r15282, r15289, MPFR_RNDN); if (mpfr_get_si(r15275, MPFR_RNDN)) { mpfr_set(r15291, r15281, MPFR_RNDN); } else { mpfr_set(r15291, r15290, MPFR_RNDN); }; return mpfr_get_d(r15291, MPFR_RNDN); } static mpfr_t r15292, r15293, r15294, r15295, r15296, r15297, r15298, r15299, r15300, r15301, r15302, r15303, r15304, r15305, r15306, r15307, r15308, r15309, r15310; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15292); mpfr_init_set_str(r15293, "55.888527f0", 10, MPFR_RNDN); mpfr_init(r15294); mpfr_init_set_str(r15295, "1", 10, MPFR_RNDN); mpfr_init(r15296); mpfr_init(r15297); mpfr_init(r15298); mpfr_init(r15299); mpfr_init(r15300); mpfr_init(r15301); mpfr_init_set_str(r15302, "1/3", 10, MPFR_RNDN); mpfr_init(r15303); mpfr_init(r15304); mpfr_init_set_str(r15305, "1/2", 10, MPFR_RNDN); mpfr_init(r15306); mpfr_init(r15307); mpfr_init(r15308); mpfr_init(r15309); mpfr_init(r15310); } double f_dm(double N) { mpfr_set_d(r15292, N, MPFR_RNDN); ; mpfr_set_si(r15294, mpfr_cmp(r15292, r15293) <= 0, MPFR_RNDN); ; mpfr_add(r15296, r15292, r15295, MPFR_RNDN); mpfr_div(r15297, r15296, r15292, MPFR_RNDN); mpfr_sqrt(r15298, r15297, MPFR_RNDN); mpfr_sqr(r15299, r15298, MPFR_RNDN); mpfr_log(r15300, r15299, MPFR_RNDN); mpfr_div(r15301, r15295, r15292, MPFR_RNDN); ; mpfr_mul(r15303, r15292, r15292, MPFR_RNDN); mpfr_mul(r15303, r15303, r15292, MPFR_RNDN); mpfr_div(r15304, r15302, r15303, MPFR_RNDN); ; mpfr_mul(r15306, r15292, r15292, MPFR_RNDN); mpfr_div(r15307, r15305, r15306, MPFR_RNDN); mpfr_sub(r15308, r15304, r15307, MPFR_RNDN); mpfr_add(r15309, r15301, r15308, MPFR_RNDN); if (mpfr_get_si(r15294, MPFR_RNDN)) { mpfr_set(r15310, r15300, MPFR_RNDN); } else { mpfr_set(r15310, r15309, MPFR_RNDN); }; return mpfr_get_d(r15310, MPFR_RNDN); }