#include #include #include #include #include char *name = "Rosa's TurbineBenchmark"; double f_if(float v, float w, float r) { float r20498 = 3; float r20499 = 2; float r20500 = r; float r20501 = r20500 * r20500; float r20502 = r20499 / r20501; float r20503 = r20498 + r20502; float r20504 = 0.125; float r20505 = v; float r20506 = r20499 * r20505; float r20507 = r20498 - r20506; float r20508 = r20504 * r20507; float r20509 = w; float r20510 = r20509 * r20509; float r20511 = r20510 * r20500; float r20512 = r20511 * r20500; float r20513 = r20508 * r20512; float r20514 = 1; float r20515 = r20514 - r20505; float r20516 = r20513 / r20515; float r20517 = r20503 - r20516; float r20518 = 4.5; float r20519 = r20517 - r20518; return r20519; } double f_id(double v, double w, double r) { double r20520 = 3; double r20521 = 2; double r20522 = r; double r20523 = r20522 * r20522; double r20524 = r20521 / r20523; double r20525 = r20520 + r20524; double r20526 = 0.125; double r20527 = v; double r20528 = r20521 * r20527; double r20529 = r20520 - r20528; double r20530 = r20526 * r20529; double r20531 = w; double r20532 = r20531 * r20531; double r20533 = r20532 * r20522; double r20534 = r20533 * r20522; double r20535 = r20530 * r20534; double r20536 = 1; double r20537 = r20536 - r20527; double r20538 = r20535 / r20537; double r20539 = r20525 - r20538; double r20540 = 4.5; double r20541 = r20539 - r20540; return r20541; } double f_of(float v, float w, float r) { float r20542 = 2; float r20543 = r; float r20544 = r20543 * r20543; float r20545 = r20542 / r20544; float r20546 = 3; float r20547 = r20545 + r20546; float r20548 = 0.125; float r20549 = 1; float r20550 = v; float r20551 = r20549 - r20550; float r20552 = r20548 / r20551; float r20553 = r20546 - r20550; float r20554 = r20553 - r20550; float r20555 = r20552 * r20554; float r20556 = log1p(r20555); float r20557 = expm1(r20556); float r20558 = w; float r20559 = r20558 * r20543; float r20560 = r20559 * r20559; float r20561 = 4.5; float r20562 = fma(r20557, r20560, r20561); float r20563 = r20547 - r20562; return r20563; } double f_od(double v, double w, double r) { double r20564 = 2; double r20565 = r; double r20566 = r20565 * r20565; double r20567 = r20564 / r20566; double r20568 = 3; double r20569 = r20567 + r20568; double r20570 = 0.125; double r20571 = 1; double r20572 = v; double r20573 = r20571 - r20572; double r20574 = r20570 / r20573; double r20575 = r20568 - r20572; double r20576 = r20575 - r20572; double r20577 = r20574 * r20576; double r20578 = log1p(r20577); double r20579 = expm1(r20578); double r20580 = w; double r20581 = r20580 * r20565; double r20582 = r20581 * r20581; double r20583 = 4.5; double r20584 = fma(r20579, r20582, r20583); double r20585 = r20569 - r20584; return r20585; } 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 r20586, r20587, r20588, r20589, r20590, r20591, r20592, r20593, r20594, r20595, r20596, r20597, r20598, r20599, r20600, r20601, r20602, r20603, r20604, r20605, r20606, r20607; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init_set_str(r20586, "3", 10, MPFR_RNDN); mpfr_init_set_str(r20587, "2", 10, MPFR_RNDN); mpfr_init(r20588); mpfr_init(r20589); mpfr_init(r20590); mpfr_init(r20591); mpfr_init_set_str(r20592, "0.125", 10, MPFR_RNDN); mpfr_init(r20593); mpfr_init(r20594); mpfr_init(r20595); mpfr_init(r20596); mpfr_init(r20597); mpfr_init(r20598); mpfr_init(r20599); mpfr_init(r20600); mpfr_init(r20601); mpfr_init_set_str(r20602, "1", 10, MPFR_RNDN); mpfr_init(r20603); mpfr_init(r20604); mpfr_init(r20605); mpfr_init_set_str(r20606, "4.5", 10, MPFR_RNDN); mpfr_init(r20607); } double f_im(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(r20591, r20586, r20590, MPFR_RNDN); ; mpfr_set_d(r20593, v, MPFR_RNDN); mpfr_mul(r20594, r20587, r20593, MPFR_RNDN); mpfr_sub(r20595, r20586, r20594, MPFR_RNDN); mpfr_mul(r20596, r20592, r20595, MPFR_RNDN); mpfr_set_d(r20597, w, MPFR_RNDN); mpfr_mul(r20598, r20597, r20597, MPFR_RNDN); mpfr_mul(r20599, r20598, r20588, MPFR_RNDN); mpfr_mul(r20600, r20599, r20588, MPFR_RNDN); mpfr_mul(r20601, r20596, r20600, MPFR_RNDN); ; mpfr_sub(r20603, r20602, r20593, MPFR_RNDN); mpfr_div(r20604, r20601, r20603, MPFR_RNDN); mpfr_sub(r20605, r20591, r20604, MPFR_RNDN); ; mpfr_sub(r20607, r20605, r20606, MPFR_RNDN); return mpfr_get_d(r20607, MPFR_RNDN); } static mpfr_t r20608, r20609, r20610, r20611, r20612, r20613, r20614, r20615, r20616, r20617, r20618, r20619, r20620, r20621, r20622, r20623, r20624, r20625, r20626, r20627, r20628, r20629; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init_set_str(r20608, "2", 10, MPFR_RNDN); mpfr_init(r20609); mpfr_init(r20610); mpfr_init(r20611); mpfr_init_set_str(r20612, "3", 10, MPFR_RNDN); mpfr_init(r20613); mpfr_init_set_str(r20614, "0.125", 10, MPFR_RNDN); mpfr_init_set_str(r20615, "1", 10, MPFR_RNDN); mpfr_init(r20616); mpfr_init(r20617); mpfr_init(r20618); mpfr_init(r20619); mpfr_init(r20620); mpfr_init(r20621); mpfr_init(r20622); mpfr_init(r20623); mpfr_init(r20624); mpfr_init(r20625); mpfr_init(r20626); mpfr_init_set_str(r20627, "4.5", 10, MPFR_RNDN); mpfr_init(r20628); mpfr_init(r20629); } double f_fm(double v, double w, double r) { ; mpfr_set_d(r20609, r, MPFR_RNDN); mpfr_mul(r20610, r20609, r20609, MPFR_RNDN); mpfr_div(r20611, r20608, r20610, MPFR_RNDN); ; mpfr_add(r20613, r20611, r20612, MPFR_RNDN); ; ; mpfr_set_d(r20616, v, MPFR_RNDN); mpfr_sub(r20617, r20615, r20616, MPFR_RNDN); mpfr_div(r20618, r20614, r20617, MPFR_RNDN); mpfr_sub(r20619, r20612, r20616, MPFR_RNDN); mpfr_sub(r20620, r20619, r20616, MPFR_RNDN); mpfr_mul(r20621, r20618, r20620, MPFR_RNDN); mpfr_log1p(r20622, r20621, MPFR_RNDN); mpfr_expm1(r20623, r20622, MPFR_RNDN); mpfr_set_d(r20624, w, MPFR_RNDN); mpfr_mul(r20625, r20624, r20609, MPFR_RNDN); mpfr_mul(r20626, r20625, r20625, MPFR_RNDN); ; mpfr_fma(r20628, r20623, r20626, r20627, MPFR_RNDN); mpfr_sub(r20629, r20613, r20628, MPFR_RNDN); return mpfr_get_d(r20629, MPFR_RNDN); } static mpfr_t r20630, r20631, r20632, r20633, r20634, r20635, r20636, r20637, r20638, r20639, r20640, r20641, r20642, r20643, r20644, r20645, r20646, r20647, r20648, r20649, r20650, r20651; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init_set_str(r20630, "2", 10, MPFR_RNDN); mpfr_init(r20631); mpfr_init(r20632); mpfr_init(r20633); mpfr_init_set_str(r20634, "3", 10, MPFR_RNDN); mpfr_init(r20635); mpfr_init_set_str(r20636, "0.125", 10, MPFR_RNDN); mpfr_init_set_str(r20637, "1", 10, MPFR_RNDN); mpfr_init(r20638); mpfr_init(r20639); mpfr_init(r20640); mpfr_init(r20641); mpfr_init(r20642); mpfr_init(r20643); mpfr_init(r20644); mpfr_init(r20645); mpfr_init(r20646); mpfr_init(r20647); mpfr_init(r20648); mpfr_init_set_str(r20649, "4.5", 10, MPFR_RNDN); mpfr_init(r20650); mpfr_init(r20651); } double f_dm(double v, double w, double r) { ; mpfr_set_d(r20631, r, MPFR_RNDN); mpfr_mul(r20632, r20631, r20631, MPFR_RNDN); mpfr_div(r20633, r20630, r20632, MPFR_RNDN); ; mpfr_add(r20635, r20633, r20634, MPFR_RNDN); ; ; mpfr_set_d(r20638, v, MPFR_RNDN); mpfr_sub(r20639, r20637, r20638, MPFR_RNDN); mpfr_div(r20640, r20636, r20639, MPFR_RNDN); mpfr_sub(r20641, r20634, r20638, MPFR_RNDN); mpfr_sub(r20642, r20641, r20638, MPFR_RNDN); mpfr_mul(r20643, r20640, r20642, MPFR_RNDN); mpfr_log1p(r20644, r20643, MPFR_RNDN); mpfr_expm1(r20645, r20644, MPFR_RNDN); mpfr_set_d(r20646, w, MPFR_RNDN); mpfr_mul(r20647, r20646, r20631, MPFR_RNDN); mpfr_mul(r20648, r20647, r20647, MPFR_RNDN); ; mpfr_fma(r20650, r20645, r20648, r20649, MPFR_RNDN); mpfr_sub(r20651, r20635, r20650, MPFR_RNDN); return mpfr_get_d(r20651, MPFR_RNDN); }