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

char *name = "simple fma test";

double f_if(float x, float y, float z) {
        float r15652 = x;
        float r15653 = y;
        float r15654 = z;
        float r15655 = fma(r15652, r15653, r15654);
        float r15656 = 1.0f;
        float r15657 = r15652 * r15653;
        float r15658 = r15657 + r15654;
        float r15659 = r15656 + r15658;
        float r15660 = r15655 - r15659;
        return r15660;
}

double f_id(double x, double y, double z) {
        double r15661 = x;
        double r15662 = y;
        double r15663 = z;
        double r15664 = fma(r15661, r15662, r15663);
        double r15665 = 1.0;
        double r15666 = r15661 * r15662;
        double r15667 = r15666 + r15663;
        double r15668 = r15665 + r15667;
        double r15669 = r15664 - r15668;
        return r15669;
}


double f_of(float x, float y, float z) {
        float r15670 = z;
        float r15671 = -76168393706.3139f;
        bool r15672 = r15670 <= r15671;
        float r15673 = 1.0f;
        float r15674 = x;
        float r15675 = r15673 / r15674;
        float r15676 = y;
        float r15677 = r15673 / r15676;
        float r15678 = r15673 / r15670;
        float r15679 = fma(r15675, r15677, r15678);
        float r15680 = r15679 - r15673;
        float r15681 = 3.1224846592363346e+28f;
        bool r15682 = r15670 <= r15681;
        float r15683 = fma(r15674, r15676, r15670);
        float r15684 = r15674 * r15676;
        float r15685 = r15683 - r15684;
        float r15686 = r15673 + r15670;
        float r15687 = r15685 - r15686;
        float r15688 = r15682 ? r15687 : r15680;
        float r15689 = r15672 ? r15680 : r15688;
        return r15689;
}

double f_od(double x, double y, double z) {
        double r15690 = z;
        double r15691 = -76168393706.3139;
        bool r15692 = r15690 <= r15691;
        double r15693 = 1.0;
        double r15694 = x;
        double r15695 = r15693 / r15694;
        double r15696 = y;
        double r15697 = r15693 / r15696;
        double r15698 = r15693 / r15690;
        double r15699 = fma(r15695, r15697, r15698);
        double r15700 = r15699 - r15693;
        double r15701 = 3.1224846592363346e+28;
        bool r15702 = r15690 <= r15701;
        double r15703 = fma(r15694, r15696, r15690);
        double r15704 = r15694 * r15696;
        double r15705 = r15703 - r15704;
        double r15706 = r15693 + r15690;
        double r15707 = r15705 - r15706;
        double r15708 = r15702 ? r15707 : r15700;
        double r15709 = r15692 ? r15700 : r15708;
        return r15709;
}

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 r15710, r15711, r15712, r15713, r15714, r15715, r15716, r15717, r15718;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r15710);
        mpfr_init(r15711);
        mpfr_init(r15712);
        mpfr_init(r15713);
        mpfr_init_set_str(r15714, "1", 10, MPFR_RNDN);
        mpfr_init(r15715);
        mpfr_init(r15716);
        mpfr_init(r15717);
        mpfr_init(r15718);
}

double f_im(double x, double y, double z) {
        mpfr_set_d(r15710, x, MPFR_RNDN);
        mpfr_set_d(r15711, y, MPFR_RNDN);
        mpfr_set_d(r15712, z, MPFR_RNDN);
        mpfr_fma(r15713, r15710, r15711, r15712, MPFR_RNDN);
        ;
        mpfr_mul(r15715, r15710, r15711, MPFR_RNDN);
        mpfr_add(r15716, r15715, r15712, MPFR_RNDN);
        mpfr_add(r15717, r15714, r15716, MPFR_RNDN);
        mpfr_sub(r15718, r15713, r15717, MPFR_RNDN);
        return mpfr_get_d(r15718, MPFR_RNDN);
}

static mpfr_t r15719, r15720, r15721, r15722, r15723, r15724, r15725, r15726, r15727, r15728, r15729, r15730, r15731, r15732, r15733, r15734, r15735, r15736, r15737, r15738;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15719);
        mpfr_init_set_str(r15720, "-76168393706.3139", 10, MPFR_RNDN);
        mpfr_init(r15721);
        mpfr_init_set_str(r15722, "1", 10, MPFR_RNDN);
        mpfr_init(r15723);
        mpfr_init(r15724);
        mpfr_init(r15725);
        mpfr_init(r15726);
        mpfr_init(r15727);
        mpfr_init(r15728);
        mpfr_init(r15729);
        mpfr_init_set_str(r15730, "3.1224846592363346e+28", 10, MPFR_RNDN);
        mpfr_init(r15731);
        mpfr_init(r15732);
        mpfr_init(r15733);
        mpfr_init(r15734);
        mpfr_init(r15735);
        mpfr_init(r15736);
        mpfr_init(r15737);
        mpfr_init(r15738);
}

double f_fm(double x, double y, double z) {
        mpfr_set_d(r15719, z, MPFR_RNDN);
        ;
        mpfr_set_si(r15721, mpfr_cmp(r15719, r15720) <= 0, MPFR_RNDN);
        ;
        mpfr_set_d(r15723, x, MPFR_RNDN);
        mpfr_div(r15724, r15722, r15723, MPFR_RNDN);
        mpfr_set_d(r15725, y, MPFR_RNDN);
        mpfr_div(r15726, r15722, r15725, MPFR_RNDN);
        mpfr_div(r15727, r15722, r15719, MPFR_RNDN);
        mpfr_fma(r15728, r15724, r15726, r15727, MPFR_RNDN);
        mpfr_sub(r15729, r15728, r15722, MPFR_RNDN);
        ;
        mpfr_set_si(r15731, mpfr_cmp(r15719, r15730) <= 0, MPFR_RNDN);
        mpfr_fma(r15732, r15723, r15725, r15719, MPFR_RNDN);
        mpfr_mul(r15733, r15723, r15725, MPFR_RNDN);
        mpfr_sub(r15734, r15732, r15733, MPFR_RNDN);
        mpfr_add(r15735, r15722, r15719, MPFR_RNDN);
        mpfr_sub(r15736, r15734, r15735, MPFR_RNDN);
        if (mpfr_get_si(r15731, MPFR_RNDN)) { mpfr_set(r15737, r15736, MPFR_RNDN); } else { mpfr_set(r15737, r15729, MPFR_RNDN); };
        if (mpfr_get_si(r15721, MPFR_RNDN)) { mpfr_set(r15738, r15729, MPFR_RNDN); } else { mpfr_set(r15738, r15737, MPFR_RNDN); };
        return mpfr_get_d(r15738, MPFR_RNDN);
}

static mpfr_t r15739, r15740, r15741, r15742, r15743, r15744, r15745, r15746, r15747, r15748, r15749, r15750, r15751, r15752, r15753, r15754, r15755, r15756, r15757, r15758;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15739);
        mpfr_init_set_str(r15740, "-76168393706.3139", 10, MPFR_RNDN);
        mpfr_init(r15741);
        mpfr_init_set_str(r15742, "1", 10, MPFR_RNDN);
        mpfr_init(r15743);
        mpfr_init(r15744);
        mpfr_init(r15745);
        mpfr_init(r15746);
        mpfr_init(r15747);
        mpfr_init(r15748);
        mpfr_init(r15749);
        mpfr_init_set_str(r15750, "3.1224846592363346e+28", 10, MPFR_RNDN);
        mpfr_init(r15751);
        mpfr_init(r15752);
        mpfr_init(r15753);
        mpfr_init(r15754);
        mpfr_init(r15755);
        mpfr_init(r15756);
        mpfr_init(r15757);
        mpfr_init(r15758);
}

double f_dm(double x, double y, double z) {
        mpfr_set_d(r15739, z, MPFR_RNDN);
        ;
        mpfr_set_si(r15741, mpfr_cmp(r15739, r15740) <= 0, MPFR_RNDN);
        ;
        mpfr_set_d(r15743, x, MPFR_RNDN);
        mpfr_div(r15744, r15742, r15743, MPFR_RNDN);
        mpfr_set_d(r15745, y, MPFR_RNDN);
        mpfr_div(r15746, r15742, r15745, MPFR_RNDN);
        mpfr_div(r15747, r15742, r15739, MPFR_RNDN);
        mpfr_fma(r15748, r15744, r15746, r15747, MPFR_RNDN);
        mpfr_sub(r15749, r15748, r15742, MPFR_RNDN);
        ;
        mpfr_set_si(r15751, mpfr_cmp(r15739, r15750) <= 0, MPFR_RNDN);
        mpfr_fma(r15752, r15743, r15745, r15739, MPFR_RNDN);
        mpfr_mul(r15753, r15743, r15745, MPFR_RNDN);
        mpfr_sub(r15754, r15752, r15753, MPFR_RNDN);
        mpfr_add(r15755, r15742, r15739, MPFR_RNDN);
        mpfr_sub(r15756, r15754, r15755, MPFR_RNDN);
        if (mpfr_get_si(r15751, MPFR_RNDN)) { mpfr_set(r15757, r15756, MPFR_RNDN); } else { mpfr_set(r15757, r15749, MPFR_RNDN); };
        if (mpfr_get_si(r15741, MPFR_RNDN)) { mpfr_set(r15758, r15749, MPFR_RNDN); } else { mpfr_set(r15758, r15757, MPFR_RNDN); };
        return mpfr_get_d(r15758, MPFR_RNDN);
}