#include #include #include #include #include char *name = "Rosa's TurbineBenchmark"; double f_if(float v, float w, float r) { float r20455 = 3; float r20456 = 2; float r20457 = r; float r20458 = r20457 * r20457; float r20459 = r20456 / r20458; float r20460 = r20455 + r20459; float r20461 = 0.125; float r20462 = v; float r20463 = r20456 * r20462; float r20464 = r20455 - r20463; float r20465 = r20461 * r20464; float r20466 = w; float r20467 = r20466 * r20466; float r20468 = r20467 * r20457; float r20469 = r20468 * r20457; float r20470 = r20465 * r20469; float r20471 = 1; float r20472 = r20471 - r20462; float r20473 = r20470 / r20472; float r20474 = r20460 - r20473; float r20475 = 4.5; float r20476 = r20474 - r20475; return r20476; } double f_id(double v, double w, double r) { double r20477 = 3; double r20478 = 2; double r20479 = r; double r20480 = r20479 * r20479; double r20481 = r20478 / r20480; double r20482 = r20477 + r20481; double r20483 = 0.125; double r20484 = v; double r20485 = r20478 * r20484; double r20486 = r20477 - r20485; double r20487 = r20483 * r20486; double r20488 = w; double r20489 = r20488 * r20488; double r20490 = r20489 * r20479; double r20491 = r20490 * r20479; double r20492 = r20487 * r20491; double r20493 = 1; double r20494 = r20493 - r20484; double r20495 = r20492 / r20494; double r20496 = r20482 - r20495; double r20497 = 4.5; double r20498 = r20496 - r20497; return r20498; } double f_of(float v, float w, float r) { float r20499 = 2; float r20500 = r; float r20501 = r20500 * r20500; float r20502 = r20499 / r20501; float r20503 = 3; float r20504 = r20502 + r20503; float r20505 = v; float r20506 = r20503 - r20505; float r20507 = r20506 - r20505; float r20508 = 0.125; float r20509 = 1; float r20510 = r20509 - r20505; float r20511 = r20508 / r20510; float r20512 = r20507 * r20511; float r20513 = pow(r20512, r20503); float r20514 = cbrt(r20513); float r20515 = w; float r20516 = r20515 * r20500; float r20517 = r20516 * r20516; float r20518 = 4.5; float r20519 = fma(r20514, r20517, r20518); float r20520 = r20504 - r20519; return r20520; } double f_od(double v, double w, double r) { double r20521 = 2; double r20522 = r; double r20523 = r20522 * r20522; double r20524 = r20521 / r20523; double r20525 = 3; double r20526 = r20524 + r20525; double r20527 = v; double r20528 = r20525 - r20527; double r20529 = r20528 - r20527; double r20530 = 0.125; double r20531 = 1; double r20532 = r20531 - r20527; double r20533 = r20530 / r20532; double r20534 = r20529 * r20533; double r20535 = pow(r20534, r20525); double r20536 = cbrt(r20535); double r20537 = w; double r20538 = r20537 * r20522; double r20539 = r20538 * r20538; double r20540 = 4.5; double r20541 = fma(r20536, r20539, r20540); double r20542 = r20526 - r20541; return r20542; } 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 r20543, r20544, r20545, r20546, r20547, r20548, r20549, r20550, r20551, r20552, r20553, r20554, r20555, r20556, r20557, r20558, r20559, r20560, r20561, r20562, r20563, r20564; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init_set_str(r20543, "3", 10, MPFR_RNDN); mpfr_init_set_str(r20544, "2", 10, MPFR_RNDN); mpfr_init(r20545); mpfr_init(r20546); mpfr_init(r20547); mpfr_init(r20548); mpfr_init_set_str(r20549, "0.125", 10, MPFR_RNDN); mpfr_init(r20550); mpfr_init(r20551); mpfr_init(r20552); mpfr_init(r20553); mpfr_init(r20554); mpfr_init(r20555); mpfr_init(r20556); mpfr_init(r20557); mpfr_init(r20558); mpfr_init_set_str(r20559, "1", 10, MPFR_RNDN); mpfr_init(r20560); mpfr_init(r20561); mpfr_init(r20562); mpfr_init_set_str(r20563, "4.5", 10, MPFR_RNDN); mpfr_init(r20564); } double f_im(double v, double w, double r) { ; ; mpfr_set_d(r20545, r, MPFR_RNDN); mpfr_mul(r20546, r20545, r20545, MPFR_RNDN); mpfr_div(r20547, r20544, r20546, MPFR_RNDN); mpfr_add(r20548, r20543, r20547, MPFR_RNDN); ; mpfr_set_d(r20550, v, MPFR_RNDN); mpfr_mul(r20551, r20544, r20550, MPFR_RNDN); mpfr_sub(r20552, r20543, r20551, MPFR_RNDN); mpfr_mul(r20553, r20549, r20552, MPFR_RNDN); mpfr_set_d(r20554, w, MPFR_RNDN); mpfr_mul(r20555, r20554, r20554, MPFR_RNDN); mpfr_mul(r20556, r20555, r20545, MPFR_RNDN); mpfr_mul(r20557, r20556, r20545, MPFR_RNDN); mpfr_mul(r20558, r20553, r20557, MPFR_RNDN); ; mpfr_sub(r20560, r20559, r20550, MPFR_RNDN); mpfr_div(r20561, r20558, r20560, MPFR_RNDN); mpfr_sub(r20562, r20548, r20561, MPFR_RNDN); ; mpfr_sub(r20564, r20562, r20563, MPFR_RNDN); return mpfr_get_d(r20564, MPFR_RNDN); } static mpfr_t r20565, r20566, r20567, r20568, r20569, r20570, r20571, r20572, r20573, r20574, r20575, r20576, r20577, r20578, r20579, r20580, r20581, r20582, r20583, r20584, r20585, r20586; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init_set_str(r20565, "2", 10, MPFR_RNDN); mpfr_init(r20566); mpfr_init(r20567); mpfr_init(r20568); mpfr_init_set_str(r20569, "3", 10, MPFR_RNDN); mpfr_init(r20570); mpfr_init(r20571); mpfr_init(r20572); mpfr_init(r20573); mpfr_init_set_str(r20574, "0.125", 10, MPFR_RNDN); mpfr_init_set_str(r20575, "1", 10, MPFR_RNDN); mpfr_init(r20576); mpfr_init(r20577); mpfr_init(r20578); mpfr_init(r20579); mpfr_init(r20580); mpfr_init(r20581); mpfr_init(r20582); mpfr_init(r20583); mpfr_init_set_str(r20584, "4.5", 10, MPFR_RNDN); mpfr_init(r20585); mpfr_init(r20586); } double f_fm(double v, double w, double r) { ; mpfr_set_d(r20566, r, MPFR_RNDN); mpfr_mul(r20567, r20566, r20566, MPFR_RNDN); mpfr_div(r20568, r20565, r20567, MPFR_RNDN); ; mpfr_add(r20570, r20568, r20569, MPFR_RNDN); mpfr_set_d(r20571, v, MPFR_RNDN); mpfr_sub(r20572, r20569, r20571, MPFR_RNDN); mpfr_sub(r20573, r20572, r20571, MPFR_RNDN); ; ; mpfr_sub(r20576, r20575, r20571, MPFR_RNDN); mpfr_div(r20577, r20574, r20576, MPFR_RNDN); mpfr_mul(r20578, r20573, r20577, MPFR_RNDN); mpfr_pow(r20579, r20578, r20569, MPFR_RNDN); mpfr_cbrt(r20580, r20579, MPFR_RNDN); mpfr_set_d(r20581, w, MPFR_RNDN); mpfr_mul(r20582, r20581, r20566, MPFR_RNDN); mpfr_mul(r20583, r20582, r20582, MPFR_RNDN); ; mpfr_fma(r20585, r20580, r20583, r20584, MPFR_RNDN); mpfr_sub(r20586, r20570, r20585, MPFR_RNDN); return mpfr_get_d(r20586, MPFR_RNDN); } static mpfr_t r20587, r20588, r20589, r20590, r20591, r20592, r20593, r20594, r20595, r20596, r20597, r20598, r20599, r20600, r20601, r20602, r20603, r20604, r20605, r20606, r20607, r20608; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init_set_str(r20587, "2", 10, MPFR_RNDN); mpfr_init(r20588); mpfr_init(r20589); mpfr_init(r20590); mpfr_init_set_str(r20591, "3", 10, MPFR_RNDN); mpfr_init(r20592); mpfr_init(r20593); mpfr_init(r20594); mpfr_init(r20595); mpfr_init_set_str(r20596, "0.125", 10, MPFR_RNDN); mpfr_init_set_str(r20597, "1", 10, MPFR_RNDN); mpfr_init(r20598); mpfr_init(r20599); mpfr_init(r20600); mpfr_init(r20601); mpfr_init(r20602); mpfr_init(r20603); mpfr_init(r20604); mpfr_init(r20605); mpfr_init_set_str(r20606, "4.5", 10, MPFR_RNDN); mpfr_init(r20607); mpfr_init(r20608); } double f_dm(double v, double w, double r) { ; mpfr_set_d(r20588, r, MPFR_RNDN); mpfr_mul(r20589, r20588, r20588, MPFR_RNDN); mpfr_div(r20590, r20587, r20589, MPFR_RNDN); ; mpfr_add(r20592, r20590, r20591, MPFR_RNDN); mpfr_set_d(r20593, v, MPFR_RNDN); mpfr_sub(r20594, r20591, r20593, MPFR_RNDN); mpfr_sub(r20595, r20594, r20593, MPFR_RNDN); ; ; mpfr_sub(r20598, r20597, r20593, MPFR_RNDN); mpfr_div(r20599, r20596, r20598, MPFR_RNDN); mpfr_mul(r20600, r20595, r20599, MPFR_RNDN); mpfr_pow(r20601, r20600, r20591, MPFR_RNDN); mpfr_cbrt(r20602, r20601, MPFR_RNDN); mpfr_set_d(r20603, w, MPFR_RNDN); mpfr_mul(r20604, r20603, r20588, MPFR_RNDN); mpfr_mul(r20605, r20604, r20604, MPFR_RNDN); ; mpfr_fma(r20607, r20602, r20605, r20606, MPFR_RNDN); mpfr_sub(r20608, r20592, r20607, MPFR_RNDN); return mpfr_get_d(r20608, MPFR_RNDN); }