#include #include #include #include #include char *name = "NMSE example 3.4"; double f_if(float x) { float r17158 = 1.0f; float r17159 = x; float r17160 = cos(r17159); float r17161 = r17158 - r17160; float r17162 = sin(r17159); float r17163 = r17161 / r17162; return r17163; } double f_id(double x) { double r17164 = 1.0; double r17165 = x; double r17166 = cos(r17165); double r17167 = r17164 - r17166; double r17168 = sin(r17165); double r17169 = r17167 / r17168; return r17169; } double f_of(float x) { float r17170 = x; float r17171 = -1.6832923238537353e-08f; bool r17172 = r17170 <= r17171; float r17173 = sin(r17170); float r17174 = r17173 * r17173; float r17175 = 1.0f; float r17176 = cos(r17170); float r17177 = r17175 + r17176; float r17178 = r17174 / r17177; float r17179 = r17178 / r17173; float r17180 = 5.881545813624529e-20f; bool r17181 = r17170 <= r17180; float r17182 = 0.5f; float r17183 = r17170 * r17182; float r17184 = 0.004166666666666667f; float r17185 = 5.0f; float r17186 = pow(r17170, r17185); float r17187 = r17184 * r17186; float r17188 = r17170 * (r17170 * r17170); float r17189 = 0.041666666666666664f; float r17190 = r17188 * r17189; float r17191 = r17187 + r17190; float r17192 = r17183 + r17191; float r17193 = r17181 ? r17192 : r17179; float r17194 = r17172 ? r17179 : r17193; return r17194; } double f_od(double x) { double r17195 = x; double r17196 = -1.6832923238537353e-08; bool r17197 = r17195 <= r17196; double r17198 = sin(r17195); double r17199 = r17198 * r17198; double r17200 = 1.0; double r17201 = cos(r17195); double r17202 = r17200 + r17201; double r17203 = r17199 / r17202; double r17204 = r17203 / r17198; double r17205 = 5.881545813624529e-20; bool r17206 = r17195 <= r17205; double r17207 = 0.5; double r17208 = r17195 * r17207; double r17209 = 0.004166666666666667; double r17210 = 5.0; double r17211 = pow(r17195, r17210); double r17212 = r17209 * r17211; double r17213 = r17195 * (r17195 * r17195); double r17214 = 0.041666666666666664; double r17215 = r17213 * r17214; double r17216 = r17212 + r17215; double r17217 = r17208 + r17216; double r17218 = r17206 ? r17217 : r17204; double r17219 = r17197 ? r17204 : r17218; return r17219; } 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 r17220, r17221, r17222, r17223, r17224, r17225; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r17220, "1", 10, MPFR_RNDN); mpfr_init(r17221); mpfr_init(r17222); mpfr_init(r17223); mpfr_init(r17224); mpfr_init(r17225); } double f_im(double x) { ; mpfr_set_d(r17221, x, MPFR_RNDN); mpfr_cos(r17222, r17221, MPFR_RNDN); mpfr_sub(r17223, r17220, r17222, MPFR_RNDN); mpfr_sin(r17224, r17221, MPFR_RNDN); mpfr_div(r17225, r17223, r17224, MPFR_RNDN); return mpfr_get_d(r17225, MPFR_RNDN); } static mpfr_t r17226, r17227, r17228, r17229, r17230, r17231, r17232, r17233, r17234, r17235, r17236, r17237, r17238, r17239, r17240, r17241, r17242, r17243, r17244, r17245, r17246, r17247, r17248, r17249, r17250; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17226); mpfr_init_set_str(r17227, "-1.6832923238537353e-08", 10, MPFR_RNDN); mpfr_init(r17228); mpfr_init(r17229); mpfr_init(r17230); mpfr_init_set_str(r17231, "1", 10, MPFR_RNDN); mpfr_init(r17232); mpfr_init(r17233); mpfr_init(r17234); mpfr_init(r17235); mpfr_init_set_str(r17236, "5.881545813624529e-20", 10, MPFR_RNDN); mpfr_init(r17237); mpfr_init_set_str(r17238, "1/2", 10, MPFR_RNDN); mpfr_init(r17239); mpfr_init_set_str(r17240, "1/240", 10, MPFR_RNDN); mpfr_init_set_str(r17241, "5", 10, MPFR_RNDN); mpfr_init(r17242); mpfr_init(r17243); mpfr_init(r17244); mpfr_init_set_str(r17245, "1/24", 10, MPFR_RNDN); mpfr_init(r17246); mpfr_init(r17247); mpfr_init(r17248); mpfr_init(r17249); mpfr_init(r17250); } double f_fm(double x) { mpfr_set_d(r17226, x, MPFR_RNDN); ; mpfr_set_si(r17228, mpfr_cmp(r17226, r17227) <= 0, MPFR_RNDN); mpfr_sin(r17229, r17226, MPFR_RNDN); mpfr_sqr(r17230, r17229, MPFR_RNDN); ; mpfr_cos(r17232, r17226, MPFR_RNDN); mpfr_add(r17233, r17231, r17232, MPFR_RNDN); mpfr_div(r17234, r17230, r17233, MPFR_RNDN); mpfr_div(r17235, r17234, r17229, MPFR_RNDN); ; mpfr_set_si(r17237, mpfr_cmp(r17226, r17236) <= 0, MPFR_RNDN); ; mpfr_mul(r17239, r17226, r17238, MPFR_RNDN); ; ; mpfr_pow(r17242, r17226, r17241, MPFR_RNDN); mpfr_mul(r17243, r17240, r17242, MPFR_RNDN); mpfr_mul(r17244, r17226, r17226, MPFR_RNDN); mpfr_mul(r17244, r17244, r17226, MPFR_RNDN); ; mpfr_mul(r17246, r17244, r17245, MPFR_RNDN); mpfr_add(r17247, r17243, r17246, MPFR_RNDN); mpfr_add(r17248, r17239, r17247, MPFR_RNDN); if (mpfr_get_si(r17237, MPFR_RNDN)) { mpfr_set(r17249, r17248, MPFR_RNDN); } else { mpfr_set(r17249, r17235, MPFR_RNDN); }; if (mpfr_get_si(r17228, MPFR_RNDN)) { mpfr_set(r17250, r17235, MPFR_RNDN); } else { mpfr_set(r17250, r17249, MPFR_RNDN); }; return mpfr_get_d(r17250, MPFR_RNDN); } static mpfr_t r17251, r17252, r17253, r17254, r17255, r17256, r17257, r17258, r17259, r17260, r17261, r17262, r17263, r17264, r17265, r17266, r17267, r17268, r17269, r17270, r17271, r17272, r17273, r17274, r17275; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17251); mpfr_init_set_str(r17252, "-1.6832923238537353e-08", 10, MPFR_RNDN); mpfr_init(r17253); mpfr_init(r17254); mpfr_init(r17255); mpfr_init_set_str(r17256, "1", 10, MPFR_RNDN); mpfr_init(r17257); mpfr_init(r17258); mpfr_init(r17259); mpfr_init(r17260); mpfr_init_set_str(r17261, "5.881545813624529e-20", 10, MPFR_RNDN); mpfr_init(r17262); mpfr_init_set_str(r17263, "1/2", 10, MPFR_RNDN); mpfr_init(r17264); mpfr_init_set_str(r17265, "1/240", 10, MPFR_RNDN); mpfr_init_set_str(r17266, "5", 10, MPFR_RNDN); mpfr_init(r17267); mpfr_init(r17268); mpfr_init(r17269); mpfr_init_set_str(r17270, "1/24", 10, MPFR_RNDN); mpfr_init(r17271); mpfr_init(r17272); mpfr_init(r17273); mpfr_init(r17274); mpfr_init(r17275); } double f_dm(double x) { mpfr_set_d(r17251, x, MPFR_RNDN); ; mpfr_set_si(r17253, mpfr_cmp(r17251, r17252) <= 0, MPFR_RNDN); mpfr_sin(r17254, r17251, MPFR_RNDN); mpfr_sqr(r17255, r17254, MPFR_RNDN); ; mpfr_cos(r17257, r17251, MPFR_RNDN); mpfr_add(r17258, r17256, r17257, MPFR_RNDN); mpfr_div(r17259, r17255, r17258, MPFR_RNDN); mpfr_div(r17260, r17259, r17254, MPFR_RNDN); ; mpfr_set_si(r17262, mpfr_cmp(r17251, r17261) <= 0, MPFR_RNDN); ; mpfr_mul(r17264, r17251, r17263, MPFR_RNDN); ; ; mpfr_pow(r17267, r17251, r17266, MPFR_RNDN); mpfr_mul(r17268, r17265, r17267, MPFR_RNDN); mpfr_mul(r17269, r17251, r17251, MPFR_RNDN); mpfr_mul(r17269, r17269, r17251, MPFR_RNDN); ; mpfr_mul(r17271, r17269, r17270, MPFR_RNDN); mpfr_add(r17272, r17268, r17271, MPFR_RNDN); mpfr_add(r17273, r17264, r17272, MPFR_RNDN); if (mpfr_get_si(r17262, MPFR_RNDN)) { mpfr_set(r17274, r17273, MPFR_RNDN); } else { mpfr_set(r17274, r17260, MPFR_RNDN); }; if (mpfr_get_si(r17253, MPFR_RNDN)) { mpfr_set(r17275, r17260, MPFR_RNDN); } else { mpfr_set(r17275, r17274, MPFR_RNDN); }; return mpfr_get_d(r17275, MPFR_RNDN); }