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

char *name = "FastMath dist3";

double f_if(float d1, float d2, float d3) {
        float r26698 = d1;
        float r26699 = d2;
        float r26700 = r26698 * r26699;
        float r26701 = d3;
        float r26702 = 5;
        float r26703 = r26701 + r26702;
        float r26704 = r26703 * r26698;
        float r26705 = r26700 + r26704;
        float r26706 = 32;
        float r26707 = r26698 * r26706;
        float r26708 = r26705 + r26707;
        return r26708;
}

double f_id(double d1, double d2, double d3) {
        double r26709 = d1;
        double r26710 = d2;
        double r26711 = r26709 * r26710;
        double r26712 = d3;
        double r26713 = 5;
        double r26714 = r26712 + r26713;
        double r26715 = r26714 * r26709;
        double r26716 = r26711 + r26715;
        double r26717 = 32;
        double r26718 = r26709 * r26717;
        double r26719 = r26716 + r26718;
        return r26719;
}


double f_of(float d1, float d2, float d3) {
        float r26720 = d1;
        float r26721 = 32;
        float r26722 = d2;
        float r26723 = r26721 + r26722;
        float r26724 = d3;
        float r26725 = 5;
        float r26726 = r26724 + r26725;
        float r26727 = r26723 + r26726;
        float r26728 = r26720 * r26727;
        return r26728;
}

double f_od(double d1, double d2, double d3) {
        double r26729 = d1;
        double r26730 = 32;
        double r26731 = d2;
        double r26732 = r26730 + r26731;
        double r26733 = d3;
        double r26734 = 5;
        double r26735 = r26733 + r26734;
        double r26736 = r26732 + r26735;
        double r26737 = r26729 * r26736;
        return r26737;
}

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 r26738, r26739, r26740, r26741, r26742, r26743, r26744, r26745, r26746, r26747, r26748;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1168);
        mpfr_init(r26738);
        mpfr_init(r26739);
        mpfr_init(r26740);
        mpfr_init(r26741);
        mpfr_init_set_str(r26742, "5", 10, MPFR_RNDN);
        mpfr_init(r26743);
        mpfr_init(r26744);
        mpfr_init(r26745);
        mpfr_init_set_str(r26746, "32", 10, MPFR_RNDN);
        mpfr_init(r26747);
        mpfr_init(r26748);
}

double f_im(double d1, double d2, double d3) {
        mpfr_set_d(r26738, d1, MPFR_RNDN);
        mpfr_set_d(r26739, d2, MPFR_RNDN);
        mpfr_mul(r26740, r26738, r26739, MPFR_RNDN);
        mpfr_set_d(r26741, d3, MPFR_RNDN);
        ;
        mpfr_add(r26743, r26741, r26742, MPFR_RNDN);
        mpfr_mul(r26744, r26743, r26738, MPFR_RNDN);
        mpfr_add(r26745, r26740, r26744, MPFR_RNDN);
        ;
        mpfr_mul(r26747, r26738, r26746, MPFR_RNDN);
        mpfr_add(r26748, r26745, r26747, MPFR_RNDN);
        return mpfr_get_d(r26748, MPFR_RNDN);
}

static mpfr_t r26749, r26750, r26751, r26752, r26753, r26754, r26755, r26756, r26757;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1168);
        mpfr_init(r26749);
        mpfr_init_set_str(r26750, "32", 10, MPFR_RNDN);
        mpfr_init(r26751);
        mpfr_init(r26752);
        mpfr_init(r26753);
        mpfr_init_set_str(r26754, "5", 10, MPFR_RNDN);
        mpfr_init(r26755);
        mpfr_init(r26756);
        mpfr_init(r26757);
}

double f_fm(double d1, double d2, double d3) {
        mpfr_set_d(r26749, d1, MPFR_RNDN);
        ;
        mpfr_set_d(r26751, d2, MPFR_RNDN);
        mpfr_add(r26752, r26750, r26751, MPFR_RNDN);
        mpfr_set_d(r26753, d3, MPFR_RNDN);
        ;
        mpfr_add(r26755, r26753, r26754, MPFR_RNDN);
        mpfr_add(r26756, r26752, r26755, MPFR_RNDN);
        mpfr_mul(r26757, r26749, r26756, MPFR_RNDN);
        return mpfr_get_d(r26757, MPFR_RNDN);
}

static mpfr_t r26758, r26759, r26760, r26761, r26762, r26763, r26764, r26765, r26766;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1168);
        mpfr_init(r26758);
        mpfr_init_set_str(r26759, "32", 10, MPFR_RNDN);
        mpfr_init(r26760);
        mpfr_init(r26761);
        mpfr_init(r26762);
        mpfr_init_set_str(r26763, "5", 10, MPFR_RNDN);
        mpfr_init(r26764);
        mpfr_init(r26765);
        mpfr_init(r26766);
}

double f_dm(double d1, double d2, double d3) {
        mpfr_set_d(r26758, d1, MPFR_RNDN);
        ;
        mpfr_set_d(r26760, d2, MPFR_RNDN);
        mpfr_add(r26761, r26759, r26760, MPFR_RNDN);
        mpfr_set_d(r26762, d3, MPFR_RNDN);
        ;
        mpfr_add(r26764, r26762, r26763, MPFR_RNDN);
        mpfr_add(r26765, r26761, r26764, MPFR_RNDN);
        mpfr_mul(r26766, r26758, r26765, MPFR_RNDN);
        return mpfr_get_d(r26766, MPFR_RNDN);
}