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