#include #include #include #include #include char *name = "NMSE problem 3.3.5"; double f_if(float x, float eps) { float r15147 = x; float r15148 = eps; float r15149 = r15147 + r15148; float r15150 = cos(r15149); float r15151 = cos(r15147); float r15152 = r15150 - r15151; return r15152; } double f_id(double x, double eps) { double r15153 = x; double r15154 = eps; double r15155 = r15153 + r15154; double r15156 = cos(r15155); double r15157 = cos(r15153); double r15158 = r15156 - r15157; return r15158; } double f_of(float x, float eps) { float r15159 = eps; float r15160 = -2.66907261607547e-17f; bool r15161 = r15159 <= r15160; float r15162 = cos(r15159); float r15163 = x; float r15164 = cos(r15163); float r15165 = r15162 * r15164; float r15166 = sin(r15159); float r15167 = sin(r15163); float r15168 = r15166 * r15167; float r15169 = r15165 - r15168; float r15170 = r15169 * (r15169 * r15169); float r15171 = r15164 * (r15164 * r15164); float r15172 = r15170 - r15171; float r15173 = fma(r15162, r15164, r15164); float r15174 = r15173 - r15168; float r15175 = r15164 * r15164; float r15176 = fma(r15169, r15174, r15175); float r15177 = r15172 / r15176; float r15178 = 0.028850536793470383f; bool r15179 = r15159 <= r15178; float r15180 = 0.1666666716337204f; float r15181 = r15159 * r15180; float r15182 = r15163 * (r15163 * r15163); float r15183 = r15181 * r15182; float r15184 = 0.5f; float r15185 = fma(r15184, r15159, r15163); float r15186 = r15159 * r15185; float r15187 = r15183 - r15186; float r15188 = r15165 * (r15165 * r15165); float r15189 = r15167 * r15166; float r15190 = r15189 * (r15189 * r15189); float r15191 = r15188 - r15190; float r15192 = r15164 * r15162; float r15193 = r15192 * r15192; float r15194 = r15193 * (r15193 * r15193); float r15195 = cbrt(r15194); float r15196 = r15189 * r15189; float r15197 = r15192 * r15189; float r15198 = r15196 + r15197; float r15199 = r15195 + r15198; float r15200 = r15191 / r15199; float r15201 = r15200 - r15164; float r15202 = r15179 ? r15187 : r15201; float r15203 = r15161 ? r15177 : r15202; return r15203; } double f_od(double x, double eps) { double r15204 = eps; double r15205 = -2.66907261607547e-17; bool r15206 = r15204 <= r15205; double r15207 = cos(r15204); double r15208 = x; double r15209 = cos(r15208); double r15210 = r15207 * r15209; double r15211 = sin(r15204); double r15212 = sin(r15208); double r15213 = r15211 * r15212; double r15214 = r15210 - r15213; double r15215 = r15214 * (r15214 * r15214); double r15216 = r15209 * (r15209 * r15209); double r15217 = r15215 - r15216; double r15218 = fma(r15207, r15209, r15209); double r15219 = r15218 - r15213; double r15220 = r15209 * r15209; double r15221 = fma(r15214, r15219, r15220); double r15222 = r15217 / r15221; double r15223 = 0.028850536793470383; bool r15224 = r15204 <= r15223; double r15225 = 0.1666666716337204; double r15226 = r15204 * r15225; double r15227 = r15208 * (r15208 * r15208); double r15228 = r15226 * r15227; double r15229 = 0.5; double r15230 = fma(r15229, r15204, r15208); double r15231 = r15204 * r15230; double r15232 = r15228 - r15231; double r15233 = r15210 * (r15210 * r15210); double r15234 = r15212 * r15211; double r15235 = r15234 * (r15234 * r15234); double r15236 = r15233 - r15235; double r15237 = r15209 * r15207; double r15238 = r15237 * r15237; double r15239 = r15238 * (r15238 * r15238); double r15240 = cbrt(r15239); double r15241 = r15234 * r15234; double r15242 = r15237 * r15234; double r15243 = r15241 + r15242; double r15244 = r15240 + r15243; double r15245 = r15236 / r15244; double r15246 = r15245 - r15209; double r15247 = r15224 ? r15232 : r15246; double r15248 = r15206 ? r15222 : r15247; return r15248; } 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 r15249, r15250, r15251, r15252, r15253, r15254; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15249); mpfr_init(r15250); mpfr_init(r15251); mpfr_init(r15252); mpfr_init(r15253); mpfr_init(r15254); } double f_im(double x, double eps) { mpfr_set_d(r15249, x, MPFR_RNDN); mpfr_set_d(r15250, eps, MPFR_RNDN); mpfr_add(r15251, r15249, r15250, MPFR_RNDN); mpfr_cos(r15252, r15251, MPFR_RNDN); mpfr_cos(r15253, r15249, MPFR_RNDN); mpfr_sub(r15254, r15252, r15253, MPFR_RNDN); return mpfr_get_d(r15254, MPFR_RNDN); } static mpfr_t r15255, r15256, r15257, r15258, r15259, r15260, r15261, r15262, r15263, r15264, r15265, r15266, r15267, r15268, r15269, r15270, r15271, r15272, r15273, r15274, r15275, r15276, r15277, r15278, r15279, r15280, r15281, r15282, r15283, r15284, r15285, r15286, r15287, r15288, r15289, r15290, r15291, r15292, r15293, r15294, r15295, r15296, r15297, r15298, r15299; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15255); mpfr_init_set_str(r15256, "-2.6690726f-17", 10, MPFR_RNDN); mpfr_init(r15257); mpfr_init(r15258); mpfr_init(r15259); mpfr_init(r15260); mpfr_init(r15261); mpfr_init(r15262); mpfr_init(r15263); mpfr_init(r15264); mpfr_init(r15265); mpfr_init(r15266); mpfr_init(r15267); mpfr_init(r15268); mpfr_init(r15269); mpfr_init(r15270); mpfr_init(r15271); mpfr_init(r15272); mpfr_init(r15273); mpfr_init_set_str(r15274, "0.028850537f0", 10, MPFR_RNDN); mpfr_init(r15275); mpfr_init_set_str(r15276, "1/6", 10, MPFR_RNDN); mpfr_init(r15277); mpfr_init(r15278); mpfr_init(r15279); mpfr_init_set_str(r15280, "1/2", 10, MPFR_RNDN); mpfr_init(r15281); mpfr_init(r15282); mpfr_init(r15283); mpfr_init(r15284); mpfr_init(r15285); mpfr_init(r15286); mpfr_init(r15287); mpfr_init(r15288); mpfr_init(r15289); mpfr_init(r15290); mpfr_init(r15291); mpfr_init(r15292); mpfr_init(r15293); mpfr_init(r15294); mpfr_init(r15295); mpfr_init(r15296); mpfr_init(r15297); mpfr_init(r15298); mpfr_init(r15299); } double f_fm(double x, double eps) { mpfr_set_d(r15255, eps, MPFR_RNDN); ; mpfr_set_si(r15257, mpfr_cmp(r15255, r15256) <= 0, MPFR_RNDN); mpfr_cos(r15258, r15255, MPFR_RNDN); mpfr_set_d(r15259, x, MPFR_RNDN); mpfr_cos(r15260, r15259, MPFR_RNDN); mpfr_mul(r15261, r15258, r15260, MPFR_RNDN); mpfr_sin(r15262, r15255, MPFR_RNDN); mpfr_sin(r15263, r15259, MPFR_RNDN); mpfr_mul(r15264, r15262, r15263, MPFR_RNDN); mpfr_sub(r15265, r15261, r15264, MPFR_RNDN); mpfr_mul(r15266, r15265, r15265, MPFR_RNDN); mpfr_mul(r15266, r15266, r15265, MPFR_RNDN); mpfr_mul(r15267, r15260, r15260, MPFR_RNDN); mpfr_mul(r15267, r15267, r15260, MPFR_RNDN); mpfr_sub(r15268, r15266, r15267, MPFR_RNDN); mpfr_fma(r15269, r15258, r15260, r15260, MPFR_RNDN); mpfr_sub(r15270, r15269, r15264, MPFR_RNDN); mpfr_mul(r15271, r15260, r15260, MPFR_RNDN); mpfr_fma(r15272, r15265, r15270, r15271, MPFR_RNDN); mpfr_div(r15273, r15268, r15272, MPFR_RNDN); ; mpfr_set_si(r15275, mpfr_cmp(r15255, r15274) <= 0, MPFR_RNDN); ; mpfr_mul(r15277, r15255, r15276, MPFR_RNDN); mpfr_mul(r15278, r15259, r15259, MPFR_RNDN); mpfr_mul(r15278, r15278, r15259, MPFR_RNDN); mpfr_mul(r15279, r15277, r15278, MPFR_RNDN); ; mpfr_fma(r15281, r15280, r15255, r15259, MPFR_RNDN); mpfr_mul(r15282, r15255, r15281, MPFR_RNDN); mpfr_sub(r15283, r15279, r15282, MPFR_RNDN); mpfr_mul(r15284, r15261, r15261, MPFR_RNDN); mpfr_mul(r15284, r15284, r15261, MPFR_RNDN); mpfr_mul(r15285, r15263, r15262, MPFR_RNDN); mpfr_mul(r15286, r15285, r15285, MPFR_RNDN); mpfr_mul(r15286, r15286, r15285, MPFR_RNDN); mpfr_sub(r15287, r15284, r15286, MPFR_RNDN); mpfr_mul(r15288, r15260, r15258, MPFR_RNDN); mpfr_sqr(r15289, r15288, MPFR_RNDN); mpfr_mul(r15290, r15289, r15289, MPFR_RNDN); mpfr_mul(r15290, r15290, r15289, MPFR_RNDN); mpfr_cbrt(r15291, r15290, MPFR_RNDN); mpfr_sqr(r15292, r15285, MPFR_RNDN); mpfr_mul(r15293, r15288, r15285, MPFR_RNDN); mpfr_add(r15294, r15292, r15293, MPFR_RNDN); mpfr_add(r15295, r15291, r15294, MPFR_RNDN); mpfr_div(r15296, r15287, r15295, MPFR_RNDN); mpfr_sub(r15297, r15296, r15260, MPFR_RNDN); if (mpfr_get_si(r15275, MPFR_RNDN)) { mpfr_set(r15298, r15283, MPFR_RNDN); } else { mpfr_set(r15298, r15297, MPFR_RNDN); }; if (mpfr_get_si(r15257, MPFR_RNDN)) { mpfr_set(r15299, r15273, MPFR_RNDN); } else { mpfr_set(r15299, r15298, MPFR_RNDN); }; return mpfr_get_d(r15299, MPFR_RNDN); } static mpfr_t r15300, r15301, r15302, r15303, r15304, r15305, r15306, r15307, r15308, r15309, r15310, r15311, r15312, r15313, r15314, r15315, r15316, r15317, r15318, r15319, r15320, r15321, r15322, r15323, r15324, r15325, r15326, r15327, r15328, r15329, r15330, r15331, r15332, r15333, r15334, r15335, r15336, r15337, r15338, r15339, r15340, r15341, r15342, r15343, r15344; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15300); mpfr_init_set_str(r15301, "-2.6690726f-17", 10, MPFR_RNDN); mpfr_init(r15302); mpfr_init(r15303); mpfr_init(r15304); mpfr_init(r15305); mpfr_init(r15306); mpfr_init(r15307); mpfr_init(r15308); mpfr_init(r15309); mpfr_init(r15310); mpfr_init(r15311); mpfr_init(r15312); mpfr_init(r15313); mpfr_init(r15314); mpfr_init(r15315); mpfr_init(r15316); mpfr_init(r15317); mpfr_init(r15318); mpfr_init_set_str(r15319, "0.028850537f0", 10, MPFR_RNDN); mpfr_init(r15320); mpfr_init_set_str(r15321, "1/6", 10, MPFR_RNDN); mpfr_init(r15322); mpfr_init(r15323); mpfr_init(r15324); mpfr_init_set_str(r15325, "1/2", 10, MPFR_RNDN); mpfr_init(r15326); mpfr_init(r15327); mpfr_init(r15328); mpfr_init(r15329); mpfr_init(r15330); mpfr_init(r15331); mpfr_init(r15332); mpfr_init(r15333); mpfr_init(r15334); mpfr_init(r15335); mpfr_init(r15336); mpfr_init(r15337); mpfr_init(r15338); mpfr_init(r15339); mpfr_init(r15340); mpfr_init(r15341); mpfr_init(r15342); mpfr_init(r15343); mpfr_init(r15344); } double f_dm(double x, double eps) { mpfr_set_d(r15300, eps, MPFR_RNDN); ; mpfr_set_si(r15302, mpfr_cmp(r15300, r15301) <= 0, MPFR_RNDN); mpfr_cos(r15303, r15300, MPFR_RNDN); mpfr_set_d(r15304, x, MPFR_RNDN); mpfr_cos(r15305, r15304, MPFR_RNDN); mpfr_mul(r15306, r15303, r15305, MPFR_RNDN); mpfr_sin(r15307, r15300, MPFR_RNDN); mpfr_sin(r15308, r15304, MPFR_RNDN); mpfr_mul(r15309, r15307, r15308, MPFR_RNDN); mpfr_sub(r15310, r15306, r15309, MPFR_RNDN); mpfr_mul(r15311, r15310, r15310, MPFR_RNDN); mpfr_mul(r15311, r15311, r15310, MPFR_RNDN); mpfr_mul(r15312, r15305, r15305, MPFR_RNDN); mpfr_mul(r15312, r15312, r15305, MPFR_RNDN); mpfr_sub(r15313, r15311, r15312, MPFR_RNDN); mpfr_fma(r15314, r15303, r15305, r15305, MPFR_RNDN); mpfr_sub(r15315, r15314, r15309, MPFR_RNDN); mpfr_mul(r15316, r15305, r15305, MPFR_RNDN); mpfr_fma(r15317, r15310, r15315, r15316, MPFR_RNDN); mpfr_div(r15318, r15313, r15317, MPFR_RNDN); ; mpfr_set_si(r15320, mpfr_cmp(r15300, r15319) <= 0, MPFR_RNDN); ; mpfr_mul(r15322, r15300, r15321, MPFR_RNDN); mpfr_mul(r15323, r15304, r15304, MPFR_RNDN); mpfr_mul(r15323, r15323, r15304, MPFR_RNDN); mpfr_mul(r15324, r15322, r15323, MPFR_RNDN); ; mpfr_fma(r15326, r15325, r15300, r15304, MPFR_RNDN); mpfr_mul(r15327, r15300, r15326, MPFR_RNDN); mpfr_sub(r15328, r15324, r15327, MPFR_RNDN); mpfr_mul(r15329, r15306, r15306, MPFR_RNDN); mpfr_mul(r15329, r15329, r15306, MPFR_RNDN); mpfr_mul(r15330, r15308, r15307, MPFR_RNDN); mpfr_mul(r15331, r15330, r15330, MPFR_RNDN); mpfr_mul(r15331, r15331, r15330, MPFR_RNDN); mpfr_sub(r15332, r15329, r15331, MPFR_RNDN); mpfr_mul(r15333, r15305, r15303, MPFR_RNDN); mpfr_sqr(r15334, r15333, MPFR_RNDN); mpfr_mul(r15335, r15334, r15334, MPFR_RNDN); mpfr_mul(r15335, r15335, r15334, MPFR_RNDN); mpfr_cbrt(r15336, r15335, MPFR_RNDN); mpfr_sqr(r15337, r15330, MPFR_RNDN); mpfr_mul(r15338, r15333, r15330, MPFR_RNDN); mpfr_add(r15339, r15337, r15338, MPFR_RNDN); mpfr_add(r15340, r15336, r15339, MPFR_RNDN); mpfr_div(r15341, r15332, r15340, MPFR_RNDN); mpfr_sub(r15342, r15341, r15305, MPFR_RNDN); if (mpfr_get_si(r15320, MPFR_RNDN)) { mpfr_set(r15343, r15328, MPFR_RNDN); } else { mpfr_set(r15343, r15342, MPFR_RNDN); }; if (mpfr_get_si(r15302, MPFR_RNDN)) { mpfr_set(r15344, r15318, MPFR_RNDN); } else { mpfr_set(r15344, r15343, MPFR_RNDN); }; return mpfr_get_d(r15344, MPFR_RNDN); }