#include #include #include #include #include char *name = "NMSE example 3.3"; double f_if(float x, float eps) { float r17156 = x; float r17157 = eps; float r17158 = r17156 + r17157; float r17159 = sin(r17158); float r17160 = sin(r17156); float r17161 = r17159 - r17160; return r17161; } double f_id(double x, double eps) { double r17162 = x; double r17163 = eps; double r17164 = r17162 + r17163; double r17165 = sin(r17164); double r17166 = sin(r17162); double r17167 = r17165 - r17166; return r17167; } double f_of(float x, float eps) { float r17168 = eps; float r17169 = -3.0221453117817987e-10f; bool r17170 = r17168 <= r17169; float r17171 = x; float r17172 = sin(r17171); float r17173 = cos(r17168); float r17174 = r17172 * r17173; float r17175 = r17174 * r17174; float r17176 = cos(r17171); float r17177 = sin(r17168); float r17178 = r17176 * r17177; float r17179 = r17178 - r17172; float r17180 = r17179 * r17179; float r17181 = r17175 - r17180; float r17182 = fma(r17173, r17172, r17172); float r17183 = r17177 * r17176; float r17184 = r17182 - r17183; float r17185 = r17181 / r17184; float r17186 = 6.204036176835775e-16f; bool r17187 = r17168 <= r17186; float r17188 = r17176 * r17168; float r17189 = 0.1666666716337204f; float r17190 = r17168 * (r17168 * r17168); float r17191 = r17189 * r17190; float r17192 = 0.5f; float r17193 = r17171 * r17192; float r17194 = r17168 * r17168; float r17195 = r17193 * r17194; float r17196 = fma(r17191, r17176, r17195); float r17197 = r17188 - r17196; float r17198 = r17187 ? r17197 : r17185; float r17199 = r17170 ? r17185 : r17198; return r17199; } double f_od(double x, double eps) { double r17200 = eps; double r17201 = -3.0221453117817987e-10; bool r17202 = r17200 <= r17201; double r17203 = x; double r17204 = sin(r17203); double r17205 = cos(r17200); double r17206 = r17204 * r17205; double r17207 = r17206 * r17206; double r17208 = cos(r17203); double r17209 = sin(r17200); double r17210 = r17208 * r17209; double r17211 = r17210 - r17204; double r17212 = r17211 * r17211; double r17213 = r17207 - r17212; double r17214 = fma(r17205, r17204, r17204); double r17215 = r17209 * r17208; double r17216 = r17214 - r17215; double r17217 = r17213 / r17216; double r17218 = 6.204036176835775e-16; bool r17219 = r17200 <= r17218; double r17220 = r17208 * r17200; double r17221 = 0.1666666716337204; double r17222 = r17200 * (r17200 * r17200); double r17223 = r17221 * r17222; double r17224 = 0.5; double r17225 = r17203 * r17224; double r17226 = r17200 * r17200; double r17227 = r17225 * r17226; double r17228 = fma(r17223, r17208, r17227); double r17229 = r17220 - r17228; double r17230 = r17219 ? r17229 : r17217; double r17231 = r17202 ? r17217 : r17230; return r17231; } 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 r17232, r17233, r17234, r17235, r17236, r17237; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17232); mpfr_init(r17233); mpfr_init(r17234); mpfr_init(r17235); mpfr_init(r17236); mpfr_init(r17237); } double f_im(double x, double eps) { mpfr_set_d(r17232, x, MPFR_RNDN); mpfr_set_d(r17233, eps, MPFR_RNDN); mpfr_add(r17234, r17232, r17233, MPFR_RNDN); mpfr_sin(r17235, r17234, MPFR_RNDN); mpfr_sin(r17236, r17232, MPFR_RNDN); mpfr_sub(r17237, r17235, r17236, MPFR_RNDN); return mpfr_get_d(r17237, MPFR_RNDN); } static mpfr_t r17238, r17239, r17240, r17241, r17242, r17243, r17244, r17245, r17246, r17247, r17248, r17249, r17250, r17251, r17252, r17253, r17254, r17255, r17256, r17257, r17258, r17259, r17260, r17261, r17262, r17263, r17264, r17265, r17266, r17267, r17268, r17269; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17238); mpfr_init_set_str(r17239, "-3.0221453f-10", 10, MPFR_RNDN); mpfr_init(r17240); mpfr_init(r17241); mpfr_init(r17242); mpfr_init(r17243); mpfr_init(r17244); mpfr_init(r17245); mpfr_init(r17246); mpfr_init(r17247); mpfr_init(r17248); mpfr_init(r17249); mpfr_init(r17250); mpfr_init(r17251); mpfr_init(r17252); mpfr_init(r17253); mpfr_init(r17254); mpfr_init(r17255); mpfr_init_set_str(r17256, "6.204036f-16", 10, MPFR_RNDN); mpfr_init(r17257); mpfr_init(r17258); mpfr_init_set_str(r17259, "1/6", 10, MPFR_RNDN); mpfr_init(r17260); mpfr_init(r17261); mpfr_init_set_str(r17262, "1/2", 10, MPFR_RNDN); mpfr_init(r17263); mpfr_init(r17264); mpfr_init(r17265); mpfr_init(r17266); mpfr_init(r17267); mpfr_init(r17268); mpfr_init(r17269); } double f_fm(double x, double eps) { mpfr_set_d(r17238, eps, MPFR_RNDN); ; mpfr_set_si(r17240, mpfr_cmp(r17238, r17239) <= 0, MPFR_RNDN); mpfr_set_d(r17241, x, MPFR_RNDN); mpfr_sin(r17242, r17241, MPFR_RNDN); mpfr_cos(r17243, r17238, MPFR_RNDN); mpfr_mul(r17244, r17242, r17243, MPFR_RNDN); mpfr_sqr(r17245, r17244, MPFR_RNDN); mpfr_cos(r17246, r17241, MPFR_RNDN); mpfr_sin(r17247, r17238, MPFR_RNDN); mpfr_mul(r17248, r17246, r17247, MPFR_RNDN); mpfr_sub(r17249, r17248, r17242, MPFR_RNDN); mpfr_sqr(r17250, r17249, MPFR_RNDN); mpfr_sub(r17251, r17245, r17250, MPFR_RNDN); mpfr_fma(r17252, r17243, r17242, r17242, MPFR_RNDN); mpfr_mul(r17253, r17247, r17246, MPFR_RNDN); mpfr_sub(r17254, r17252, r17253, MPFR_RNDN); mpfr_div(r17255, r17251, r17254, MPFR_RNDN); ; mpfr_set_si(r17257, mpfr_cmp(r17238, r17256) <= 0, MPFR_RNDN); mpfr_mul(r17258, r17246, r17238, MPFR_RNDN); ; mpfr_mul(r17260, r17238, r17238, MPFR_RNDN); mpfr_mul(r17260, r17260, r17238, MPFR_RNDN); mpfr_mul(r17261, r17259, r17260, MPFR_RNDN); ; mpfr_mul(r17263, r17241, r17262, MPFR_RNDN); mpfr_sqr(r17264, r17238, MPFR_RNDN); mpfr_mul(r17265, r17263, r17264, MPFR_RNDN); mpfr_fma(r17266, r17261, r17246, r17265, MPFR_RNDN); mpfr_sub(r17267, r17258, r17266, MPFR_RNDN); if (mpfr_get_si(r17257, MPFR_RNDN)) { mpfr_set(r17268, r17267, MPFR_RNDN); } else { mpfr_set(r17268, r17255, MPFR_RNDN); }; if (mpfr_get_si(r17240, MPFR_RNDN)) { mpfr_set(r17269, r17255, MPFR_RNDN); } else { mpfr_set(r17269, r17268, MPFR_RNDN); }; return mpfr_get_d(r17269, MPFR_RNDN); } static mpfr_t r17270, r17271, r17272, r17273, r17274, r17275, r17276, r17277, r17278, r17279, r17280, r17281, r17282, r17283, r17284, r17285, r17286, r17287, r17288, r17289, r17290, r17291, r17292, r17293, r17294, r17295, r17296, r17297, r17298, r17299, r17300, r17301; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17270); mpfr_init_set_str(r17271, "-3.0221453f-10", 10, MPFR_RNDN); mpfr_init(r17272); mpfr_init(r17273); mpfr_init(r17274); mpfr_init(r17275); mpfr_init(r17276); mpfr_init(r17277); mpfr_init(r17278); mpfr_init(r17279); mpfr_init(r17280); mpfr_init(r17281); mpfr_init(r17282); mpfr_init(r17283); mpfr_init(r17284); mpfr_init(r17285); mpfr_init(r17286); mpfr_init(r17287); mpfr_init_set_str(r17288, "6.204036f-16", 10, MPFR_RNDN); mpfr_init(r17289); mpfr_init(r17290); mpfr_init_set_str(r17291, "1/6", 10, MPFR_RNDN); mpfr_init(r17292); mpfr_init(r17293); mpfr_init_set_str(r17294, "1/2", 10, MPFR_RNDN); mpfr_init(r17295); mpfr_init(r17296); mpfr_init(r17297); mpfr_init(r17298); mpfr_init(r17299); mpfr_init(r17300); mpfr_init(r17301); } double f_dm(double x, double eps) { mpfr_set_d(r17270, eps, MPFR_RNDN); ; mpfr_set_si(r17272, mpfr_cmp(r17270, r17271) <= 0, MPFR_RNDN); mpfr_set_d(r17273, x, MPFR_RNDN); mpfr_sin(r17274, r17273, MPFR_RNDN); mpfr_cos(r17275, r17270, MPFR_RNDN); mpfr_mul(r17276, r17274, r17275, MPFR_RNDN); mpfr_sqr(r17277, r17276, MPFR_RNDN); mpfr_cos(r17278, r17273, MPFR_RNDN); mpfr_sin(r17279, r17270, MPFR_RNDN); mpfr_mul(r17280, r17278, r17279, MPFR_RNDN); mpfr_sub(r17281, r17280, r17274, MPFR_RNDN); mpfr_sqr(r17282, r17281, MPFR_RNDN); mpfr_sub(r17283, r17277, r17282, MPFR_RNDN); mpfr_fma(r17284, r17275, r17274, r17274, MPFR_RNDN); mpfr_mul(r17285, r17279, r17278, MPFR_RNDN); mpfr_sub(r17286, r17284, r17285, MPFR_RNDN); mpfr_div(r17287, r17283, r17286, MPFR_RNDN); ; mpfr_set_si(r17289, mpfr_cmp(r17270, r17288) <= 0, MPFR_RNDN); mpfr_mul(r17290, r17278, r17270, MPFR_RNDN); ; mpfr_mul(r17292, r17270, r17270, MPFR_RNDN); mpfr_mul(r17292, r17292, r17270, MPFR_RNDN); mpfr_mul(r17293, r17291, r17292, MPFR_RNDN); ; mpfr_mul(r17295, r17273, r17294, MPFR_RNDN); mpfr_sqr(r17296, r17270, MPFR_RNDN); mpfr_mul(r17297, r17295, r17296, MPFR_RNDN); mpfr_fma(r17298, r17293, r17278, r17297, MPFR_RNDN); mpfr_sub(r17299, r17290, r17298, MPFR_RNDN); if (mpfr_get_si(r17289, MPFR_RNDN)) { mpfr_set(r17300, r17299, MPFR_RNDN); } else { mpfr_set(r17300, r17287, MPFR_RNDN); }; if (mpfr_get_si(r17272, MPFR_RNDN)) { mpfr_set(r17301, r17287, MPFR_RNDN); } else { mpfr_set(r17301, r17300, MPFR_RNDN); }; return mpfr_get_d(r17301, MPFR_RNDN); }