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

char *name = "FastMath test3";

double f_if(float d1, float d2, float d3) {
        float r26691 = d1;
        float r26692 = 3;
        float r26693 = r26691 * r26692;
        float r26694 = d2;
        float r26695 = r26691 * r26694;
        float r26696 = r26693 + r26695;
        float r26697 = d3;
        float r26698 = r26691 * r26697;
        float r26699 = r26696 + r26698;
        return r26699;
}

double f_id(double d1, double d2, double d3) {
        double r26700 = d1;
        double r26701 = 3;
        double r26702 = r26700 * r26701;
        double r26703 = d2;
        double r26704 = r26700 * r26703;
        double r26705 = r26702 + r26704;
        double r26706 = d3;
        double r26707 = r26700 * r26706;
        double r26708 = r26705 + r26707;
        return r26708;
}


double f_of(float d1, float d2, float d3) {
        float r26709 = d1;
        float r26710 = d2;
        float r26711 = 3;
        float r26712 = r26710 + r26711;
        float r26713 = d3;
        float r26714 = r26712 + r26713;
        float r26715 = r26709 * r26714;
        return r26715;
}

double f_od(double d1, double d2, double d3) {
        double r26716 = d1;
        double r26717 = d2;
        double r26718 = 3;
        double r26719 = r26717 + r26718;
        double r26720 = d3;
        double r26721 = r26719 + r26720;
        double r26722 = r26716 * r26721;
        return r26722;
}

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 r26723, r26724, r26725, r26726, r26727, r26728, r26729, r26730, r26731;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26723);
        mpfr_init_set_str(r26724, "3", 10, MPFR_RNDN);
        mpfr_init(r26725);
        mpfr_init(r26726);
        mpfr_init(r26727);
        mpfr_init(r26728);
        mpfr_init(r26729);
        mpfr_init(r26730);
        mpfr_init(r26731);
}

double f_im(double d1, double d2, double d3) {
        mpfr_set_d(r26723, d1, MPFR_RNDN);
        ;
        mpfr_mul(r26725, r26723, r26724, MPFR_RNDN);
        mpfr_set_d(r26726, d2, MPFR_RNDN);
        mpfr_mul(r26727, r26723, r26726, MPFR_RNDN);
        mpfr_add(r26728, r26725, r26727, MPFR_RNDN);
        mpfr_set_d(r26729, d3, MPFR_RNDN);
        mpfr_mul(r26730, r26723, r26729, MPFR_RNDN);
        mpfr_add(r26731, r26728, r26730, MPFR_RNDN);
        return mpfr_get_d(r26731, MPFR_RNDN);
}

static mpfr_t r26732, r26733, r26734, r26735, r26736, r26737, r26738;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26732);
        mpfr_init(r26733);
        mpfr_init_set_str(r26734, "3", 10, MPFR_RNDN);
        mpfr_init(r26735);
        mpfr_init(r26736);
        mpfr_init(r26737);
        mpfr_init(r26738);
}

double f_fm(double d1, double d2, double d3) {
        mpfr_set_d(r26732, d1, MPFR_RNDN);
        mpfr_set_d(r26733, d2, MPFR_RNDN);
        ;
        mpfr_add(r26735, r26733, r26734, MPFR_RNDN);
        mpfr_set_d(r26736, d3, MPFR_RNDN);
        mpfr_add(r26737, r26735, r26736, MPFR_RNDN);
        mpfr_mul(r26738, r26732, r26737, MPFR_RNDN);
        return mpfr_get_d(r26738, MPFR_RNDN);
}

static mpfr_t r26739, r26740, r26741, r26742, r26743, r26744, r26745;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26739);
        mpfr_init(r26740);
        mpfr_init_set_str(r26741, "3", 10, MPFR_RNDN);
        mpfr_init(r26742);
        mpfr_init(r26743);
        mpfr_init(r26744);
        mpfr_init(r26745);
}

double f_dm(double d1, double d2, double d3) {
        mpfr_set_d(r26739, d1, MPFR_RNDN);
        mpfr_set_d(r26740, d2, MPFR_RNDN);
        ;
        mpfr_add(r26742, r26740, r26741, MPFR_RNDN);
        mpfr_set_d(r26743, d3, MPFR_RNDN);
        mpfr_add(r26744, r26742, r26743, MPFR_RNDN);
        mpfr_mul(r26745, r26739, r26744, MPFR_RNDN);
        return mpfr_get_d(r26745, MPFR_RNDN);
}