#include <tgmath.h>
#include <gmp.h>
#include <mpfr.h>
#include <stdio.h>
#include <stdbool.h>

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 = r20499 / r20500;
        float r20502 = r20501 / r20500;
        float r20503 = 3;
        float r20504 = 4.5;
        float r20505 = r20503 - r20504;
        float r20506 = r20502 + r20505;
        float r20507 = w;
        float r20508 = r20500 * r20507;
        float r20509 = fabs(r20508);
        float r20510 = 1;
        float r20511 = r20509 / r20510;
        float r20512 = r20507 * r20500;
        float r20513 = fabs(r20512);
        float r20514 = v;
        float r20515 = r20510 - r20514;
        float r20516 = 0.375;
        float r20517 = 0.25;
        float r20518 = r20514 * r20517;
        float r20519 = r20516 - r20518;
        float r20520 = r20515 / r20519;
        float r20521 = r20513 / r20520;
        float r20522 = r20511 * r20521;
        float r20523 = r20506 - r20522;
        return r20523;
}

double f_od(double v, double w, double r) {
        double r20524 = 2;
        double r20525 = r;
        double r20526 = r20524 / r20525;
        double r20527 = r20526 / r20525;
        double r20528 = 3;
        double r20529 = 4.5;
        double r20530 = r20528 - r20529;
        double r20531 = r20527 + r20530;
        double r20532 = w;
        double r20533 = r20525 * r20532;
        double r20534 = fabs(r20533);
        double r20535 = 1;
        double r20536 = r20534 / r20535;
        double r20537 = r20532 * r20525;
        double r20538 = fabs(r20537);
        double r20539 = v;
        double r20540 = r20535 - r20539;
        double r20541 = 0.375;
        double r20542 = 0.25;
        double r20543 = r20539 * r20542;
        double r20544 = r20541 - r20543;
        double r20545 = r20540 / r20544;
        double r20546 = r20538 / r20545;
        double r20547 = r20536 * r20546;
        double r20548 = r20531 - r20547;
        return r20548;
}

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 r20549, r20550, r20551, r20552, r20553, r20554, r20555, r20556, r20557, r20558, r20559, r20560, r20561, r20562, r20563, r20564, r20565, r20566, r20567, r20568, r20569, r20570;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r20549, "3", 10, MPFR_RNDN);
        mpfr_init_set_str(r20550, "2", 10, MPFR_RNDN);
        mpfr_init(r20551);
        mpfr_init(r20552);
        mpfr_init(r20553);
        mpfr_init(r20554);
        mpfr_init_set_str(r20555, "0.125", 10, MPFR_RNDN);
        mpfr_init(r20556);
        mpfr_init(r20557);
        mpfr_init(r20558);
        mpfr_init(r20559);
        mpfr_init(r20560);
        mpfr_init(r20561);
        mpfr_init(r20562);
        mpfr_init(r20563);
        mpfr_init(r20564);
        mpfr_init_set_str(r20565, "1", 10, MPFR_RNDN);
        mpfr_init(r20566);
        mpfr_init(r20567);
        mpfr_init(r20568);
        mpfr_init_set_str(r20569, "4.5", 10, MPFR_RNDN);
        mpfr_init(r20570);
}

double f_im(double v, double w, double r) {
        ;
        ;
        mpfr_set_d(r20551, r, MPFR_RNDN);
        mpfr_mul(r20552, r20551, r20551, MPFR_RNDN);
        mpfr_div(r20553, r20550, r20552, MPFR_RNDN);
        mpfr_add(r20554, r20549, r20553, MPFR_RNDN);
        ;
        mpfr_set_d(r20556, v, MPFR_RNDN);
        mpfr_mul(r20557, r20550, r20556, MPFR_RNDN);
        mpfr_sub(r20558, r20549, r20557, MPFR_RNDN);
        mpfr_mul(r20559, r20555, r20558, MPFR_RNDN);
        mpfr_set_d(r20560, w, MPFR_RNDN);
        mpfr_mul(r20561, r20560, r20560, MPFR_RNDN);
        mpfr_mul(r20562, r20561, r20551, MPFR_RNDN);
        mpfr_mul(r20563, r20562, r20551, MPFR_RNDN);
        mpfr_mul(r20564, r20559, r20563, MPFR_RNDN);
        ;
        mpfr_sub(r20566, r20565, r20556, MPFR_RNDN);
        mpfr_div(r20567, r20564, r20566, MPFR_RNDN);
        mpfr_sub(r20568, r20554, r20567, MPFR_RNDN);
        ;
        mpfr_sub(r20570, r20568, r20569, MPFR_RNDN);
        return mpfr_get_d(r20570, MPFR_RNDN);
}

static mpfr_t r20571, r20572, r20573, r20574, r20575, r20576, r20577, r20578, r20579, r20580, r20581, r20582, r20583, r20584, r20585, r20586, r20587, r20588, r20589, r20590, r20591, r20592, r20593, r20594, r20595;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r20571, "2", 10, MPFR_RNDN);
        mpfr_init(r20572);
        mpfr_init(r20573);
        mpfr_init(r20574);
        mpfr_init_set_str(r20575, "3", 10, MPFR_RNDN);
        mpfr_init_set_str(r20576, "4.5", 10, MPFR_RNDN);
        mpfr_init(r20577);
        mpfr_init(r20578);
        mpfr_init(r20579);
        mpfr_init(r20580);
        mpfr_init(r20581);
        mpfr_init_set_str(r20582, "1", 10, MPFR_RNDN);
        mpfr_init(r20583);
        mpfr_init(r20584);
        mpfr_init(r20585);
        mpfr_init(r20586);
        mpfr_init(r20587);
        mpfr_init_set_str(r20588, "0.375", 10, MPFR_RNDN);
        mpfr_init_set_str(r20589, "0.25", 10, MPFR_RNDN);
        mpfr_init(r20590);
        mpfr_init(r20591);
        mpfr_init(r20592);
        mpfr_init(r20593);
        mpfr_init(r20594);
        mpfr_init(r20595);
}

double f_fm(double v, double w, double r) {
        ;
        mpfr_set_d(r20572, r, MPFR_RNDN);
        mpfr_div(r20573, r20571, r20572, MPFR_RNDN);
        mpfr_div(r20574, r20573, r20572, MPFR_RNDN);
        ;
        ;
        mpfr_sub(r20577, r20575, r20576, MPFR_RNDN);
        mpfr_add(r20578, r20574, r20577, MPFR_RNDN);
        mpfr_set_d(r20579, w, MPFR_RNDN);
        mpfr_mul(r20580, r20572, r20579, MPFR_RNDN);
        mpfr_abs(r20581, r20580, MPFR_RNDN);
        ;
        mpfr_div(r20583, r20581, r20582, MPFR_RNDN);
        mpfr_mul(r20584, r20579, r20572, MPFR_RNDN);
        mpfr_abs(r20585, r20584, MPFR_RNDN);
        mpfr_set_d(r20586, v, MPFR_RNDN);
        mpfr_sub(r20587, r20582, r20586, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r20590, r20586, r20589, MPFR_RNDN);
        mpfr_sub(r20591, r20588, r20590, MPFR_RNDN);
        mpfr_div(r20592, r20587, r20591, MPFR_RNDN);
        mpfr_div(r20593, r20585, r20592, MPFR_RNDN);
        mpfr_mul(r20594, r20583, r20593, MPFR_RNDN);
        mpfr_sub(r20595, r20578, r20594, MPFR_RNDN);
        return mpfr_get_d(r20595, MPFR_RNDN);
}

static mpfr_t r20596, r20597, r20598, r20599, r20600, r20601, r20602, r20603, r20604, r20605, r20606, r20607, r20608, r20609, r20610, r20611, r20612, r20613, r20614, r20615, r20616, r20617, r20618, r20619, r20620;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r20596, "2", 10, MPFR_RNDN);
        mpfr_init(r20597);
        mpfr_init(r20598);
        mpfr_init(r20599);
        mpfr_init_set_str(r20600, "3", 10, MPFR_RNDN);
        mpfr_init_set_str(r20601, "4.5", 10, MPFR_RNDN);
        mpfr_init(r20602);
        mpfr_init(r20603);
        mpfr_init(r20604);
        mpfr_init(r20605);
        mpfr_init(r20606);
        mpfr_init_set_str(r20607, "1", 10, MPFR_RNDN);
        mpfr_init(r20608);
        mpfr_init(r20609);
        mpfr_init(r20610);
        mpfr_init(r20611);
        mpfr_init(r20612);
        mpfr_init_set_str(r20613, "0.375", 10, MPFR_RNDN);
        mpfr_init_set_str(r20614, "0.25", 10, MPFR_RNDN);
        mpfr_init(r20615);
        mpfr_init(r20616);
        mpfr_init(r20617);
        mpfr_init(r20618);
        mpfr_init(r20619);
        mpfr_init(r20620);
}

double f_dm(double v, double w, double r) {
        ;
        mpfr_set_d(r20597, r, MPFR_RNDN);
        mpfr_div(r20598, r20596, r20597, MPFR_RNDN);
        mpfr_div(r20599, r20598, r20597, MPFR_RNDN);
        ;
        ;
        mpfr_sub(r20602, r20600, r20601, MPFR_RNDN);
        mpfr_add(r20603, r20599, r20602, MPFR_RNDN);
        mpfr_set_d(r20604, w, MPFR_RNDN);
        mpfr_mul(r20605, r20597, r20604, MPFR_RNDN);
        mpfr_abs(r20606, r20605, MPFR_RNDN);
        ;
        mpfr_div(r20608, r20606, r20607, MPFR_RNDN);
        mpfr_mul(r20609, r20604, r20597, MPFR_RNDN);
        mpfr_abs(r20610, r20609, MPFR_RNDN);
        mpfr_set_d(r20611, v, MPFR_RNDN);
        mpfr_sub(r20612, r20607, r20611, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r20615, r20611, r20614, MPFR_RNDN);
        mpfr_sub(r20616, r20613, r20615, MPFR_RNDN);
        mpfr_div(r20617, r20612, r20616, MPFR_RNDN);
        mpfr_div(r20618, r20610, r20617, MPFR_RNDN);
        mpfr_mul(r20619, r20608, r20618, MPFR_RNDN);
        mpfr_sub(r20620, r20603, r20619, MPFR_RNDN);
        return mpfr_get_d(r20620, MPFR_RNDN);
}