#include #include #include #include #include char *name = "NMSE example 3.4"; double f_if(float x) { float r17130 = 1.0f; float r17131 = x; float r17132 = cos(r17131); float r17133 = r17130 - r17132; float r17134 = sin(r17131); float r17135 = r17133 / r17134; return r17135; } double f_id(double x) { double r17136 = 1.0; double r17137 = x; double r17138 = cos(r17137); double r17139 = r17136 - r17138; double r17140 = sin(r17137); double r17141 = r17139 / r17140; return r17141; } double f_of(float x) { float r17142 = x; float r17143 = -5.084423344895139e-11f; bool r17144 = r17142 <= r17143; float r17145 = sin(r17142); float r17146 = r17145 * r17145; float r17147 = 1.0f; float r17148 = cos(r17142); float r17149 = r17147 + r17148; float r17150 = r17146 / r17149; float r17151 = r17150 / r17145; float r17152 = 0.9995081705491148f; bool r17153 = r17142 <= r17152; float r17154 = 0.5f; float r17155 = r17142 * r17154; float r17156 = 0.004166666666666667f; float r17157 = 5.0f; float r17158 = pow(r17142, r17157); float r17159 = r17156 * r17158; float r17160 = r17142 * (r17142 * r17142); float r17161 = 0.041666666666666664f; float r17162 = r17160 * r17161; float r17163 = r17159 + r17162; float r17164 = r17155 + r17163; float r17165 = r17153 ? r17164 : r17151; float r17166 = r17144 ? r17151 : r17165; return r17166; } double f_od(double x) { double r17167 = x; double r17168 = -5.084423344895139e-11; bool r17169 = r17167 <= r17168; double r17170 = sin(r17167); double r17171 = r17170 * r17170; double r17172 = 1.0; double r17173 = cos(r17167); double r17174 = r17172 + r17173; double r17175 = r17171 / r17174; double r17176 = r17175 / r17170; double r17177 = 0.9995081705491148; bool r17178 = r17167 <= r17177; double r17179 = 0.5; double r17180 = r17167 * r17179; double r17181 = 0.004166666666666667; double r17182 = 5.0; double r17183 = pow(r17167, r17182); double r17184 = r17181 * r17183; double r17185 = r17167 * (r17167 * r17167); double r17186 = 0.041666666666666664; double r17187 = r17185 * r17186; double r17188 = r17184 + r17187; double r17189 = r17180 + r17188; double r17190 = r17178 ? r17189 : r17176; double r17191 = r17169 ? r17176 : r17190; return r17191; } 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 r17192, r17193, r17194, r17195, r17196, r17197; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r17192, "1", 10, MPFR_RNDN); mpfr_init(r17193); mpfr_init(r17194); mpfr_init(r17195); mpfr_init(r17196); mpfr_init(r17197); } double f_im(double x) { ; mpfr_set_d(r17193, x, MPFR_RNDN); mpfr_cos(r17194, r17193, MPFR_RNDN); mpfr_sub(r17195, r17192, r17194, MPFR_RNDN); mpfr_sin(r17196, r17193, MPFR_RNDN); mpfr_div(r17197, r17195, r17196, MPFR_RNDN); return mpfr_get_d(r17197, MPFR_RNDN); } static mpfr_t r17198, r17199, r17200, r17201, r17202, r17203, r17204, r17205, r17206, r17207, r17208, r17209, r17210, r17211, r17212, r17213, r17214, r17215, r17216, r17217, r17218, r17219, r17220, r17221, r17222; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17198); mpfr_init_set_str(r17199, "-5.084423344895139e-11", 10, MPFR_RNDN); mpfr_init(r17200); mpfr_init(r17201); mpfr_init(r17202); mpfr_init_set_str(r17203, "1", 10, MPFR_RNDN); mpfr_init(r17204); mpfr_init(r17205); mpfr_init(r17206); mpfr_init(r17207); mpfr_init_set_str(r17208, "0.9995081705491148", 10, MPFR_RNDN); mpfr_init(r17209); mpfr_init_set_str(r17210, "1/2", 10, MPFR_RNDN); mpfr_init(r17211); mpfr_init_set_str(r17212, "1/240", 10, MPFR_RNDN); mpfr_init_set_str(r17213, "5", 10, MPFR_RNDN); mpfr_init(r17214); mpfr_init(r17215); mpfr_init(r17216); mpfr_init_set_str(r17217, "1/24", 10, MPFR_RNDN); mpfr_init(r17218); mpfr_init(r17219); mpfr_init(r17220); mpfr_init(r17221); mpfr_init(r17222); } double f_fm(double x) { mpfr_set_d(r17198, x, MPFR_RNDN); ; mpfr_set_si(r17200, mpfr_cmp(r17198, r17199) <= 0, MPFR_RNDN); mpfr_sin(r17201, r17198, MPFR_RNDN); mpfr_sqr(r17202, r17201, MPFR_RNDN); ; mpfr_cos(r17204, r17198, MPFR_RNDN); mpfr_add(r17205, r17203, r17204, MPFR_RNDN); mpfr_div(r17206, r17202, r17205, MPFR_RNDN); mpfr_div(r17207, r17206, r17201, MPFR_RNDN); ; mpfr_set_si(r17209, mpfr_cmp(r17198, r17208) <= 0, MPFR_RNDN); ; mpfr_mul(r17211, r17198, r17210, MPFR_RNDN); ; ; mpfr_pow(r17214, r17198, r17213, MPFR_RNDN); mpfr_mul(r17215, r17212, r17214, MPFR_RNDN); mpfr_mul(r17216, r17198, r17198, MPFR_RNDN); mpfr_mul(r17216, r17216, r17198, MPFR_RNDN); ; mpfr_mul(r17218, r17216, r17217, MPFR_RNDN); mpfr_add(r17219, r17215, r17218, MPFR_RNDN); mpfr_add(r17220, r17211, r17219, MPFR_RNDN); if (mpfr_get_si(r17209, MPFR_RNDN)) { mpfr_set(r17221, r17220, MPFR_RNDN); } else { mpfr_set(r17221, r17207, MPFR_RNDN); }; if (mpfr_get_si(r17200, MPFR_RNDN)) { mpfr_set(r17222, r17207, MPFR_RNDN); } else { mpfr_set(r17222, r17221, MPFR_RNDN); }; return mpfr_get_d(r17222, MPFR_RNDN); } static mpfr_t r17223, r17224, r17225, r17226, r17227, r17228, r17229, r17230, r17231, r17232, r17233, r17234, r17235, r17236, r17237, r17238, r17239, r17240, r17241, r17242, r17243, r17244, r17245, r17246, r17247; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17223); mpfr_init_set_str(r17224, "-5.084423344895139e-11", 10, MPFR_RNDN); mpfr_init(r17225); mpfr_init(r17226); mpfr_init(r17227); mpfr_init_set_str(r17228, "1", 10, MPFR_RNDN); mpfr_init(r17229); mpfr_init(r17230); mpfr_init(r17231); mpfr_init(r17232); mpfr_init_set_str(r17233, "0.9995081705491148", 10, MPFR_RNDN); mpfr_init(r17234); mpfr_init_set_str(r17235, "1/2", 10, MPFR_RNDN); mpfr_init(r17236); mpfr_init_set_str(r17237, "1/240", 10, MPFR_RNDN); mpfr_init_set_str(r17238, "5", 10, MPFR_RNDN); mpfr_init(r17239); mpfr_init(r17240); mpfr_init(r17241); mpfr_init_set_str(r17242, "1/24", 10, MPFR_RNDN); mpfr_init(r17243); mpfr_init(r17244); mpfr_init(r17245); mpfr_init(r17246); mpfr_init(r17247); } double f_dm(double x) { mpfr_set_d(r17223, x, MPFR_RNDN); ; mpfr_set_si(r17225, mpfr_cmp(r17223, r17224) <= 0, MPFR_RNDN); mpfr_sin(r17226, r17223, MPFR_RNDN); mpfr_sqr(r17227, r17226, MPFR_RNDN); ; mpfr_cos(r17229, r17223, MPFR_RNDN); mpfr_add(r17230, r17228, r17229, MPFR_RNDN); mpfr_div(r17231, r17227, r17230, MPFR_RNDN); mpfr_div(r17232, r17231, r17226, MPFR_RNDN); ; mpfr_set_si(r17234, mpfr_cmp(r17223, r17233) <= 0, MPFR_RNDN); ; mpfr_mul(r17236, r17223, r17235, MPFR_RNDN); ; ; mpfr_pow(r17239, r17223, r17238, MPFR_RNDN); mpfr_mul(r17240, r17237, r17239, MPFR_RNDN); mpfr_mul(r17241, r17223, r17223, MPFR_RNDN); mpfr_mul(r17241, r17241, r17223, MPFR_RNDN); ; mpfr_mul(r17243, r17241, r17242, MPFR_RNDN); mpfr_add(r17244, r17240, r17243, MPFR_RNDN); mpfr_add(r17245, r17236, r17244, MPFR_RNDN); if (mpfr_get_si(r17234, MPFR_RNDN)) { mpfr_set(r17246, r17245, MPFR_RNDN); } else { mpfr_set(r17246, r17232, MPFR_RNDN); }; if (mpfr_get_si(r17225, MPFR_RNDN)) { mpfr_set(r17247, r17232, MPFR_RNDN); } else { mpfr_set(r17247, r17246, MPFR_RNDN); }; return mpfr_get_d(r17247, MPFR_RNDN); }