#include #include #include #include #include char *name = "Rosa's TurbineBenchmark"; double f_if(float v, float w, float r) { float r21607 = 3; float r21608 = 2; float r21609 = r; float r21610 = r21609 * r21609; float r21611 = r21608 / r21610; float r21612 = r21607 + r21611; float r21613 = 0.125; float r21614 = v; float r21615 = r21608 * r21614; float r21616 = r21607 - r21615; float r21617 = r21613 * r21616; float r21618 = w; float r21619 = r21618 * r21618; float r21620 = r21619 * r21609; float r21621 = r21620 * r21609; float r21622 = r21617 * r21621; float r21623 = 1; float r21624 = r21623 - r21614; float r21625 = r21622 / r21624; float r21626 = r21612 - r21625; float r21627 = 4.5; float r21628 = r21626 - r21627; return r21628; } double f_id(double v, double w, double r) { double r21629 = 3; double r21630 = 2; double r21631 = r; double r21632 = r21631 * r21631; double r21633 = r21630 / r21632; double r21634 = r21629 + r21633; double r21635 = 0.125; double r21636 = v; double r21637 = r21630 * r21636; double r21638 = r21629 - r21637; double r21639 = r21635 * r21638; double r21640 = w; double r21641 = r21640 * r21640; double r21642 = r21641 * r21631; double r21643 = r21642 * r21631; double r21644 = r21639 * r21643; double r21645 = 1; double r21646 = r21645 - r21636; double r21647 = r21644 / r21646; double r21648 = r21634 - r21647; double r21649 = 4.5; double r21650 = r21648 - r21649; return r21650; } double f_of(float v, float w, float r) { float r21651 = 2; float r21652 = r; float r21653 = r21651 / r21652; float r21654 = r21653 / r21652; float r21655 = 3; float r21656 = r21654 + r21655; float r21657 = v; float r21658 = r21657 * r21651; float r21659 = r21655 - r21658; float r21660 = 1; float r21661 = r21660 - r21657; float r21662 = 0.125; float r21663 = r21661 / r21662; float r21664 = r21659 / r21663; float r21665 = w; float r21666 = r21665 * r21652; float r21667 = r21664 * r21666; float r21668 = r21667 * r21666; float r21669 = 4.5; float r21670 = r21668 + r21669; float r21671 = r21656 - r21670; return r21671; } double f_od(double v, double w, double r) { double r21672 = 2; double r21673 = r; double r21674 = r21672 / r21673; double r21675 = r21674 / r21673; double r21676 = 3; double r21677 = r21675 + r21676; double r21678 = v; double r21679 = r21678 * r21672; double r21680 = r21676 - r21679; double r21681 = 1; double r21682 = r21681 - r21678; double r21683 = 0.125; double r21684 = r21682 / r21683; double r21685 = r21680 / r21684; double r21686 = w; double r21687 = r21686 * r21673; double r21688 = r21685 * r21687; double r21689 = r21688 * r21687; double r21690 = 4.5; double r21691 = r21689 + r21690; double r21692 = r21677 - r21691; return r21692; } 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 r21693, r21694, r21695, r21696, r21697, r21698, r21699, r21700, r21701, r21702, r21703, r21704, r21705, r21706, r21707, r21708, r21709, r21710, r21711, r21712, r21713, r21714; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init_set_str(r21693, "3", 10, MPFR_RNDN); mpfr_init_set_str(r21694, "2", 10, MPFR_RNDN); mpfr_init(r21695); mpfr_init(r21696); mpfr_init(r21697); mpfr_init(r21698); mpfr_init_set_str(r21699, "0.125", 10, MPFR_RNDN); mpfr_init(r21700); mpfr_init(r21701); mpfr_init(r21702); mpfr_init(r21703); mpfr_init(r21704); mpfr_init(r21705); mpfr_init(r21706); mpfr_init(r21707); mpfr_init(r21708); mpfr_init_set_str(r21709, "1", 10, MPFR_RNDN); mpfr_init(r21710); mpfr_init(r21711); mpfr_init(r21712); mpfr_init_set_str(r21713, "4.5", 10, MPFR_RNDN); mpfr_init(r21714); } double f_im(double v, double w, double r) { ; ; mpfr_set_d(r21695, r, MPFR_RNDN); mpfr_mul(r21696, r21695, r21695, MPFR_RNDN); mpfr_div(r21697, r21694, r21696, MPFR_RNDN); mpfr_add(r21698, r21693, r21697, MPFR_RNDN); ; mpfr_set_d(r21700, v, MPFR_RNDN); mpfr_mul(r21701, r21694, r21700, MPFR_RNDN); mpfr_sub(r21702, r21693, r21701, MPFR_RNDN); mpfr_mul(r21703, r21699, r21702, MPFR_RNDN); mpfr_set_d(r21704, w, MPFR_RNDN); mpfr_mul(r21705, r21704, r21704, MPFR_RNDN); mpfr_mul(r21706, r21705, r21695, MPFR_RNDN); mpfr_mul(r21707, r21706, r21695, MPFR_RNDN); mpfr_mul(r21708, r21703, r21707, MPFR_RNDN); ; mpfr_sub(r21710, r21709, r21700, MPFR_RNDN); mpfr_div(r21711, r21708, r21710, MPFR_RNDN); mpfr_sub(r21712, r21698, r21711, MPFR_RNDN); ; mpfr_sub(r21714, r21712, r21713, MPFR_RNDN); return mpfr_get_d(r21714, MPFR_RNDN); } static mpfr_t r21715, r21716, r21717, r21718, r21719, r21720, r21721, r21722, r21723, r21724, r21725, r21726, r21727, r21728, r21729, r21730, r21731, r21732, r21733, r21734, r21735; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init_set_str(r21715, "2", 10, MPFR_RNDN); mpfr_init(r21716); mpfr_init(r21717); mpfr_init(r21718); mpfr_init_set_str(r21719, "3", 10, MPFR_RNDN); mpfr_init(r21720); mpfr_init(r21721); mpfr_init(r21722); mpfr_init(r21723); mpfr_init_set_str(r21724, "1", 10, MPFR_RNDN); mpfr_init(r21725); mpfr_init_set_str(r21726, "0.125", 10, MPFR_RNDN); mpfr_init(r21727); mpfr_init(r21728); mpfr_init(r21729); mpfr_init(r21730); mpfr_init(r21731); mpfr_init(r21732); mpfr_init_set_str(r21733, "4.5", 10, MPFR_RNDN); mpfr_init(r21734); mpfr_init(r21735); } double f_fm(double v, double w, double r) { ; mpfr_set_d(r21716, r, MPFR_RNDN); mpfr_div(r21717, r21715, r21716, MPFR_RNDN); mpfr_div(r21718, r21717, r21716, MPFR_RNDN); ; mpfr_add(r21720, r21718, r21719, MPFR_RNDN); mpfr_set_d(r21721, v, MPFR_RNDN); mpfr_mul(r21722, r21721, r21715, MPFR_RNDN); mpfr_sub(r21723, r21719, r21722, MPFR_RNDN); ; mpfr_sub(r21725, r21724, r21721, MPFR_RNDN); ; mpfr_div(r21727, r21725, r21726, MPFR_RNDN); mpfr_div(r21728, r21723, r21727, MPFR_RNDN); mpfr_set_d(r21729, w, MPFR_RNDN); mpfr_mul(r21730, r21729, r21716, MPFR_RNDN); mpfr_mul(r21731, r21728, r21730, MPFR_RNDN); mpfr_mul(r21732, r21731, r21730, MPFR_RNDN); ; mpfr_add(r21734, r21732, r21733, MPFR_RNDN); mpfr_sub(r21735, r21720, r21734, MPFR_RNDN); return mpfr_get_d(r21735, MPFR_RNDN); } static mpfr_t r21736, r21737, r21738, r21739, r21740, r21741, r21742, r21743, r21744, r21745, r21746, r21747, r21748, r21749, r21750, r21751, r21752, r21753, r21754, r21755, r21756; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init_set_str(r21736, "2", 10, MPFR_RNDN); mpfr_init(r21737); mpfr_init(r21738); mpfr_init(r21739); mpfr_init_set_str(r21740, "3", 10, MPFR_RNDN); mpfr_init(r21741); mpfr_init(r21742); mpfr_init(r21743); mpfr_init(r21744); mpfr_init_set_str(r21745, "1", 10, MPFR_RNDN); mpfr_init(r21746); mpfr_init_set_str(r21747, "0.125", 10, MPFR_RNDN); mpfr_init(r21748); mpfr_init(r21749); mpfr_init(r21750); mpfr_init(r21751); mpfr_init(r21752); mpfr_init(r21753); mpfr_init_set_str(r21754, "4.5", 10, MPFR_RNDN); mpfr_init(r21755); mpfr_init(r21756); } double f_dm(double v, double w, double r) { ; mpfr_set_d(r21737, r, MPFR_RNDN); mpfr_div(r21738, r21736, r21737, MPFR_RNDN); mpfr_div(r21739, r21738, r21737, MPFR_RNDN); ; mpfr_add(r21741, r21739, r21740, MPFR_RNDN); mpfr_set_d(r21742, v, MPFR_RNDN); mpfr_mul(r21743, r21742, r21736, MPFR_RNDN); mpfr_sub(r21744, r21740, r21743, MPFR_RNDN); ; mpfr_sub(r21746, r21745, r21742, MPFR_RNDN); ; mpfr_div(r21748, r21746, r21747, MPFR_RNDN); mpfr_div(r21749, r21744, r21748, MPFR_RNDN); mpfr_set_d(r21750, w, MPFR_RNDN); mpfr_mul(r21751, r21750, r21737, MPFR_RNDN); mpfr_mul(r21752, r21749, r21751, MPFR_RNDN); mpfr_mul(r21753, r21752, r21751, MPFR_RNDN); ; mpfr_add(r21755, r21753, r21754, MPFR_RNDN); mpfr_sub(r21756, r21741, r21755, MPFR_RNDN); return mpfr_get_d(r21756, MPFR_RNDN); }