#include #include #include #include #include char *name = "Rosa's TurbineBenchmark"; double f_if(float v, float w, float r) { float r21291 = 3; float r21292 = 2; float r21293 = r; float r21294 = r21293 * r21293; float r21295 = r21292 / r21294; float r21296 = r21291 + r21295; float r21297 = 0.125; float r21298 = v; float r21299 = r21292 * r21298; float r21300 = r21291 - r21299; float r21301 = r21297 * r21300; float r21302 = w; float r21303 = r21302 * r21302; float r21304 = r21303 * r21293; float r21305 = r21304 * r21293; float r21306 = r21301 * r21305; float r21307 = 1; float r21308 = r21307 - r21298; float r21309 = r21306 / r21308; float r21310 = r21296 - r21309; float r21311 = 4.5; float r21312 = r21310 - r21311; return r21312; } double f_id(double v, double w, double r) { double r21313 = 3; double r21314 = 2; double r21315 = r; double r21316 = r21315 * r21315; double r21317 = r21314 / r21316; double r21318 = r21313 + r21317; double r21319 = 0.125; double r21320 = v; double r21321 = r21314 * r21320; double r21322 = r21313 - r21321; double r21323 = r21319 * r21322; double r21324 = w; double r21325 = r21324 * r21324; double r21326 = r21325 * r21315; double r21327 = r21326 * r21315; double r21328 = r21323 * r21327; double r21329 = 1; double r21330 = r21329 - r21320; double r21331 = r21328 / r21330; double r21332 = r21318 - r21331; double r21333 = 4.5; double r21334 = r21332 - r21333; return r21334; } double f_of(float v, float w, float r) { float r21335 = 3; float r21336 = 2; float r21337 = r; float r21338 = r21337 * r21337; float r21339 = r21336 / r21338; float r21340 = r21335 + r21339; float r21341 = 0.125; float r21342 = v; float r21343 = r21336 * r21342; float r21344 = r21335 - r21343; float r21345 = r21341 * r21344; float r21346 = 1; float r21347 = r21345 / r21346; float r21348 = w; float r21349 = r21348 * r21337; float r21350 = fabs(r21349); float r21351 = r21350 * r21350; float r21352 = r21346 - r21342; float r21353 = r21351 / r21352; float r21354 = r21347 * r21353; float r21355 = r21340 - r21354; float r21356 = 4.5; float r21357 = r21355 - r21356; return r21357; } double f_od(double v, double w, double r) { double r21358 = 3; double r21359 = 2; double r21360 = r; double r21361 = r21360 * r21360; double r21362 = r21359 / r21361; double r21363 = r21358 + r21362; double r21364 = 0.125; double r21365 = v; double r21366 = r21359 * r21365; double r21367 = r21358 - r21366; double r21368 = r21364 * r21367; double r21369 = 1; double r21370 = r21368 / r21369; double r21371 = w; double r21372 = r21371 * r21360; double r21373 = fabs(r21372); double r21374 = r21373 * r21373; double r21375 = r21369 - r21365; double r21376 = r21374 / r21375; double r21377 = r21370 * r21376; double r21378 = r21363 - r21377; double r21379 = 4.5; double r21380 = r21378 - r21379; return r21380; } 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 r21381, r21382, r21383, r21384, r21385, r21386, r21387, r21388, r21389, r21390, r21391, r21392, r21393, r21394, r21395, r21396, r21397, r21398, r21399, r21400, r21401, r21402; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init_set_str(r21381, "3", 10, MPFR_RNDN); mpfr_init_set_str(r21382, "2", 10, MPFR_RNDN); mpfr_init(r21383); mpfr_init(r21384); mpfr_init(r21385); mpfr_init(r21386); mpfr_init_set_str(r21387, "0.125", 10, MPFR_RNDN); mpfr_init(r21388); mpfr_init(r21389); mpfr_init(r21390); mpfr_init(r21391); mpfr_init(r21392); mpfr_init(r21393); mpfr_init(r21394); mpfr_init(r21395); mpfr_init(r21396); mpfr_init_set_str(r21397, "1", 10, MPFR_RNDN); mpfr_init(r21398); mpfr_init(r21399); mpfr_init(r21400); mpfr_init_set_str(r21401, "4.5", 10, MPFR_RNDN); mpfr_init(r21402); } double f_im(double v, double w, double r) { ; ; mpfr_set_d(r21383, r, MPFR_RNDN); mpfr_mul(r21384, r21383, r21383, MPFR_RNDN); mpfr_div(r21385, r21382, r21384, MPFR_RNDN); mpfr_add(r21386, r21381, r21385, MPFR_RNDN); ; mpfr_set_d(r21388, v, MPFR_RNDN); mpfr_mul(r21389, r21382, r21388, MPFR_RNDN); mpfr_sub(r21390, r21381, r21389, MPFR_RNDN); mpfr_mul(r21391, r21387, r21390, MPFR_RNDN); mpfr_set_d(r21392, w, MPFR_RNDN); mpfr_mul(r21393, r21392, r21392, MPFR_RNDN); mpfr_mul(r21394, r21393, r21383, MPFR_RNDN); mpfr_mul(r21395, r21394, r21383, MPFR_RNDN); mpfr_mul(r21396, r21391, r21395, MPFR_RNDN); ; mpfr_sub(r21398, r21397, r21388, MPFR_RNDN); mpfr_div(r21399, r21396, r21398, MPFR_RNDN); mpfr_sub(r21400, r21386, r21399, MPFR_RNDN); ; mpfr_sub(r21402, r21400, r21401, MPFR_RNDN); return mpfr_get_d(r21402, MPFR_RNDN); } static mpfr_t r21403, r21404, r21405, r21406, r21407, r21408, r21409, r21410, r21411, r21412, r21413, r21414, r21415, r21416, r21417, r21418, r21419, r21420, r21421, r21422, r21423, r21424, r21425; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init_set_str(r21403, "3", 10, MPFR_RNDN); mpfr_init_set_str(r21404, "2", 10, MPFR_RNDN); mpfr_init(r21405); mpfr_init(r21406); mpfr_init(r21407); mpfr_init(r21408); mpfr_init_set_str(r21409, "0.125", 10, MPFR_RNDN); mpfr_init(r21410); mpfr_init(r21411); mpfr_init(r21412); mpfr_init(r21413); mpfr_init_set_str(r21414, "1", 10, MPFR_RNDN); mpfr_init(r21415); mpfr_init(r21416); mpfr_init(r21417); mpfr_init(r21418); mpfr_init(r21419); mpfr_init(r21420); mpfr_init(r21421); mpfr_init(r21422); mpfr_init(r21423); mpfr_init_set_str(r21424, "4.5", 10, MPFR_RNDN); mpfr_init(r21425); } double f_fm(double v, double w, double r) { ; ; mpfr_set_d(r21405, r, MPFR_RNDN); mpfr_mul(r21406, r21405, r21405, MPFR_RNDN); mpfr_div(r21407, r21404, r21406, MPFR_RNDN); mpfr_add(r21408, r21403, r21407, MPFR_RNDN); ; mpfr_set_d(r21410, v, MPFR_RNDN); mpfr_mul(r21411, r21404, r21410, MPFR_RNDN); mpfr_sub(r21412, r21403, r21411, MPFR_RNDN); mpfr_mul(r21413, r21409, r21412, MPFR_RNDN); ; mpfr_div(r21415, r21413, r21414, MPFR_RNDN); mpfr_set_d(r21416, w, MPFR_RNDN); mpfr_mul(r21417, r21416, r21405, MPFR_RNDN); mpfr_abs(r21418, r21417, MPFR_RNDN); mpfr_mul(r21419, r21418, r21418, MPFR_RNDN); mpfr_sub(r21420, r21414, r21410, MPFR_RNDN); mpfr_div(r21421, r21419, r21420, MPFR_RNDN); mpfr_mul(r21422, r21415, r21421, MPFR_RNDN); mpfr_sub(r21423, r21408, r21422, MPFR_RNDN); ; mpfr_sub(r21425, r21423, r21424, MPFR_RNDN); return mpfr_get_d(r21425, MPFR_RNDN); } static mpfr_t r21426, r21427, r21428, r21429, r21430, r21431, r21432, r21433, r21434, r21435, r21436, r21437, r21438, r21439, r21440, r21441, r21442, r21443, r21444, r21445, r21446, r21447, r21448; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init_set_str(r21426, "3", 10, MPFR_RNDN); mpfr_init_set_str(r21427, "2", 10, MPFR_RNDN); mpfr_init(r21428); mpfr_init(r21429); mpfr_init(r21430); mpfr_init(r21431); mpfr_init_set_str(r21432, "0.125", 10, MPFR_RNDN); mpfr_init(r21433); mpfr_init(r21434); mpfr_init(r21435); mpfr_init(r21436); mpfr_init_set_str(r21437, "1", 10, MPFR_RNDN); mpfr_init(r21438); mpfr_init(r21439); mpfr_init(r21440); mpfr_init(r21441); mpfr_init(r21442); mpfr_init(r21443); mpfr_init(r21444); mpfr_init(r21445); mpfr_init(r21446); mpfr_init_set_str(r21447, "4.5", 10, MPFR_RNDN); mpfr_init(r21448); } double f_dm(double v, double w, double r) { ; ; mpfr_set_d(r21428, r, MPFR_RNDN); mpfr_mul(r21429, r21428, r21428, MPFR_RNDN); mpfr_div(r21430, r21427, r21429, MPFR_RNDN); mpfr_add(r21431, r21426, r21430, MPFR_RNDN); ; mpfr_set_d(r21433, v, MPFR_RNDN); mpfr_mul(r21434, r21427, r21433, MPFR_RNDN); mpfr_sub(r21435, r21426, r21434, MPFR_RNDN); mpfr_mul(r21436, r21432, r21435, MPFR_RNDN); ; mpfr_div(r21438, r21436, r21437, MPFR_RNDN); mpfr_set_d(r21439, w, MPFR_RNDN); mpfr_mul(r21440, r21439, r21428, MPFR_RNDN); mpfr_abs(r21441, r21440, MPFR_RNDN); mpfr_mul(r21442, r21441, r21441, MPFR_RNDN); mpfr_sub(r21443, r21437, r21433, MPFR_RNDN); mpfr_div(r21444, r21442, r21443, MPFR_RNDN); mpfr_mul(r21445, r21438, r21444, MPFR_RNDN); mpfr_sub(r21446, r21431, r21445, MPFR_RNDN); ; mpfr_sub(r21448, r21446, r21447, MPFR_RNDN); return mpfr_get_d(r21448, MPFR_RNDN); }