#include #include #include #include #include char *name = "NMSE example 3.3"; double f_if(float x, float eps) { float r17304 = x; float r17305 = eps; float r17306 = r17304 + r17305; float r17307 = sin(r17306); float r17308 = sin(r17304); float r17309 = r17307 - r17308; return r17309; } double f_id(double x, double eps) { double r17310 = x; double r17311 = eps; double r17312 = r17310 + r17311; double r17313 = sin(r17312); double r17314 = sin(r17310); double r17315 = r17313 - r17314; return r17315; } double f_of(float x, float eps) { float r17316 = eps; float r17317 = -0.0036671459674835205f; bool r17318 = r17316 <= r17317; float r17319 = x; float r17320 = sin(r17319); float r17321 = cbrt(r17320); float r17322 = cos(r17316); float r17323 = cbrt(r17322); float r17324 = r17321 * r17323; float r17325 = r17324 * (r17324 * r17324); float r17326 = cos(r17319); float r17327 = sin(r17316); float r17328 = r17326 * r17327; float r17329 = r17328 - r17320; float r17330 = r17325 + r17329; float r17331 = 3.4589021424835664e-08f; bool r17332 = r17316 <= r17331; float r17333 = r17327 * r17326; float r17334 = 0.5f; float r17335 = r17334 * r17316; float r17336 = r17335 * r17320; float r17337 = r17316 * r17336; float r17338 = r17333 - r17337; float r17339 = r17320 * r17322; float r17340 = log1p(r17328); float r17341 = expm1(r17340); float r17342 = r17341 - r17320; float r17343 = r17339 + r17342; float r17344 = r17332 ? r17338 : r17343; float r17345 = r17318 ? r17330 : r17344; return r17345; } double f_od(double x, double eps) { double r17346 = eps; double r17347 = -0.0036671459674835205; bool r17348 = r17346 <= r17347; double r17349 = x; double r17350 = sin(r17349); double r17351 = cbrt(r17350); double r17352 = cos(r17346); double r17353 = cbrt(r17352); double r17354 = r17351 * r17353; double r17355 = r17354 * (r17354 * r17354); double r17356 = cos(r17349); double r17357 = sin(r17346); double r17358 = r17356 * r17357; double r17359 = r17358 - r17350; double r17360 = r17355 + r17359; double r17361 = 3.4589021424835664e-08; bool r17362 = r17346 <= r17361; double r17363 = r17357 * r17356; double r17364 = 0.5; double r17365 = r17364 * r17346; double r17366 = r17365 * r17350; double r17367 = r17346 * r17366; double r17368 = r17363 - r17367; double r17369 = r17350 * r17352; double r17370 = log1p(r17358); double r17371 = expm1(r17370); double r17372 = r17371 - r17350; double r17373 = r17369 + r17372; double r17374 = r17362 ? r17368 : r17373; double r17375 = r17348 ? r17360 : r17374; return r17375; } 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 r17376, r17377, r17378, r17379, r17380, r17381; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17376); mpfr_init(r17377); mpfr_init(r17378); mpfr_init(r17379); mpfr_init(r17380); mpfr_init(r17381); } double f_im(double x, double eps) { mpfr_set_d(r17376, x, MPFR_RNDN); mpfr_set_d(r17377, eps, MPFR_RNDN); mpfr_add(r17378, r17376, r17377, MPFR_RNDN); mpfr_sin(r17379, r17378, MPFR_RNDN); mpfr_sin(r17380, r17376, MPFR_RNDN); mpfr_sub(r17381, r17379, r17380, MPFR_RNDN); return mpfr_get_d(r17381, MPFR_RNDN); } static mpfr_t r17382, r17383, r17384, r17385, r17386, r17387, r17388, r17389, r17390, r17391, r17392, r17393, r17394, r17395, r17396, r17397, r17398, r17399, r17400, r17401, r17402, r17403, r17404, r17405, r17406, r17407, r17408, r17409, r17410, r17411; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17382); mpfr_init_set_str(r17383, "-0.003667146f0", 10, MPFR_RNDN); mpfr_init(r17384); mpfr_init(r17385); mpfr_init(r17386); mpfr_init(r17387); mpfr_init(r17388); mpfr_init(r17389); mpfr_init(r17390); mpfr_init(r17391); mpfr_init(r17392); mpfr_init(r17393); mpfr_init(r17394); mpfr_init(r17395); mpfr_init(r17396); mpfr_init_set_str(r17397, "3.458902f-08", 10, MPFR_RNDN); mpfr_init(r17398); mpfr_init(r17399); mpfr_init_set_str(r17400, "1/2", 10, MPFR_RNDN); mpfr_init(r17401); mpfr_init(r17402); mpfr_init(r17403); mpfr_init(r17404); mpfr_init(r17405); mpfr_init(r17406); mpfr_init(r17407); mpfr_init(r17408); mpfr_init(r17409); mpfr_init(r17410); mpfr_init(r17411); } double f_fm(double x, double eps) { mpfr_set_d(r17382, eps, MPFR_RNDN); ; mpfr_set_si(r17384, mpfr_cmp(r17382, r17383) <= 0, MPFR_RNDN); mpfr_set_d(r17385, x, MPFR_RNDN); mpfr_sin(r17386, r17385, MPFR_RNDN); mpfr_cbrt(r17387, r17386, MPFR_RNDN); mpfr_cos(r17388, r17382, MPFR_RNDN); mpfr_cbrt(r17389, r17388, MPFR_RNDN); mpfr_mul(r17390, r17387, r17389, MPFR_RNDN); mpfr_mul(r17391, r17390, r17390, MPFR_RNDN); mpfr_mul(r17391, r17391, r17390, MPFR_RNDN); mpfr_cos(r17392, r17385, MPFR_RNDN); mpfr_sin(r17393, r17382, MPFR_RNDN); mpfr_mul(r17394, r17392, r17393, MPFR_RNDN); mpfr_sub(r17395, r17394, r17386, MPFR_RNDN); mpfr_add(r17396, r17391, r17395, MPFR_RNDN); ; mpfr_set_si(r17398, mpfr_cmp(r17382, r17397) <= 0, MPFR_RNDN); mpfr_mul(r17399, r17393, r17392, MPFR_RNDN); ; mpfr_mul(r17401, r17400, r17382, MPFR_RNDN); mpfr_mul(r17402, r17401, r17386, MPFR_RNDN); mpfr_mul(r17403, r17382, r17402, MPFR_RNDN); mpfr_sub(r17404, r17399, r17403, MPFR_RNDN); mpfr_mul(r17405, r17386, r17388, MPFR_RNDN); mpfr_log1p(r17406, r17394, MPFR_RNDN); mpfr_expm1(r17407, r17406, MPFR_RNDN); mpfr_sub(r17408, r17407, r17386, MPFR_RNDN); mpfr_add(r17409, r17405, r17408, MPFR_RNDN); if (mpfr_get_si(r17398, MPFR_RNDN)) { mpfr_set(r17410, r17404, MPFR_RNDN); } else { mpfr_set(r17410, r17409, MPFR_RNDN); }; if (mpfr_get_si(r17384, MPFR_RNDN)) { mpfr_set(r17411, r17396, MPFR_RNDN); } else { mpfr_set(r17411, r17410, MPFR_RNDN); }; return mpfr_get_d(r17411, MPFR_RNDN); } static mpfr_t r17412, r17413, r17414, r17415, r17416, r17417, r17418, r17419, r17420, r17421, r17422, r17423, r17424, r17425, r17426, r17427, r17428, r17429, r17430, r17431, r17432, r17433, r17434, r17435, r17436, r17437, r17438, r17439, r17440, r17441; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17412); mpfr_init_set_str(r17413, "-0.003667146f0", 10, MPFR_RNDN); mpfr_init(r17414); mpfr_init(r17415); mpfr_init(r17416); mpfr_init(r17417); mpfr_init(r17418); mpfr_init(r17419); mpfr_init(r17420); mpfr_init(r17421); mpfr_init(r17422); mpfr_init(r17423); mpfr_init(r17424); mpfr_init(r17425); mpfr_init(r17426); mpfr_init_set_str(r17427, "3.458902f-08", 10, MPFR_RNDN); mpfr_init(r17428); mpfr_init(r17429); mpfr_init_set_str(r17430, "1/2", 10, MPFR_RNDN); mpfr_init(r17431); mpfr_init(r17432); mpfr_init(r17433); mpfr_init(r17434); mpfr_init(r17435); mpfr_init(r17436); mpfr_init(r17437); mpfr_init(r17438); mpfr_init(r17439); mpfr_init(r17440); mpfr_init(r17441); } double f_dm(double x, double eps) { mpfr_set_d(r17412, eps, MPFR_RNDN); ; mpfr_set_si(r17414, mpfr_cmp(r17412, r17413) <= 0, MPFR_RNDN); mpfr_set_d(r17415, x, MPFR_RNDN); mpfr_sin(r17416, r17415, MPFR_RNDN); mpfr_cbrt(r17417, r17416, MPFR_RNDN); mpfr_cos(r17418, r17412, MPFR_RNDN); mpfr_cbrt(r17419, r17418, MPFR_RNDN); mpfr_mul(r17420, r17417, r17419, MPFR_RNDN); mpfr_mul(r17421, r17420, r17420, MPFR_RNDN); mpfr_mul(r17421, r17421, r17420, MPFR_RNDN); mpfr_cos(r17422, r17415, MPFR_RNDN); mpfr_sin(r17423, r17412, MPFR_RNDN); mpfr_mul(r17424, r17422, r17423, MPFR_RNDN); mpfr_sub(r17425, r17424, r17416, MPFR_RNDN); mpfr_add(r17426, r17421, r17425, MPFR_RNDN); ; mpfr_set_si(r17428, mpfr_cmp(r17412, r17427) <= 0, MPFR_RNDN); mpfr_mul(r17429, r17423, r17422, MPFR_RNDN); ; mpfr_mul(r17431, r17430, r17412, MPFR_RNDN); mpfr_mul(r17432, r17431, r17416, MPFR_RNDN); mpfr_mul(r17433, r17412, r17432, MPFR_RNDN); mpfr_sub(r17434, r17429, r17433, MPFR_RNDN); mpfr_mul(r17435, r17416, r17418, MPFR_RNDN); mpfr_log1p(r17436, r17424, MPFR_RNDN); mpfr_expm1(r17437, r17436, MPFR_RNDN); mpfr_sub(r17438, r17437, r17416, MPFR_RNDN); mpfr_add(r17439, r17435, r17438, MPFR_RNDN); if (mpfr_get_si(r17428, MPFR_RNDN)) { mpfr_set(r17440, r17434, MPFR_RNDN); } else { mpfr_set(r17440, r17439, MPFR_RNDN); }; if (mpfr_get_si(r17414, MPFR_RNDN)) { mpfr_set(r17441, r17426, MPFR_RNDN); } else { mpfr_set(r17441, r17440, MPFR_RNDN); }; return mpfr_get_d(r17441, MPFR_RNDN); }