#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 r26099 = d1;
        float r26100 = d2;
        float r26101 = r26099 * r26100;
        float r26102 = d3;
        float r26103 = 5;
        float r26104 = r26102 + r26103;
        float r26105 = r26104 * r26099;
        float r26106 = r26101 + r26105;
        float r26107 = 32;
        float r26108 = r26099 * r26107;
        float r26109 = r26106 + r26108;
        return r26109;
}

double f_id(double d1, double d2, double d3) {
        double r26110 = d1;
        double r26111 = d2;
        double r26112 = r26110 * r26111;
        double r26113 = d3;
        double r26114 = 5;
        double r26115 = r26113 + r26114;
        double r26116 = r26115 * r26110;
        double r26117 = r26112 + r26116;
        double r26118 = 32;
        double r26119 = r26110 * r26118;
        double r26120 = r26117 + r26119;
        return r26120;
}


double f_of(float d1, float d2, float d3) {
        float r26121 = 37;
        float r26122 = d3;
        float r26123 = r26121 + r26122;
        float r26124 = d1;
        float r26125 = d2;
        float r26126 = r26125 * r26124;
        float r26127 = fma(r26123, r26124, r26126);
        return r26127;
}

double f_od(double d1, double d2, double d3) {
        double r26128 = 37;
        double r26129 = d3;
        double r26130 = r26128 + r26129;
        double r26131 = d1;
        double r26132 = d2;
        double r26133 = r26132 * r26131;
        double r26134 = fma(r26130, r26131, r26133);
        return r26134;
}

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 r26135, r26136, r26137, r26138, r26139, r26140, r26141, r26142, r26143, r26144, r26145;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26135);
        mpfr_init(r26136);
        mpfr_init(r26137);
        mpfr_init(r26138);
        mpfr_init_set_str(r26139, "5", 10, MPFR_RNDN);
        mpfr_init(r26140);
        mpfr_init(r26141);
        mpfr_init(r26142);
        mpfr_init_set_str(r26143, "32", 10, MPFR_RNDN);
        mpfr_init(r26144);
        mpfr_init(r26145);
}

double f_im(double d1, double d2, double d3) {
        mpfr_set_d(r26135, d1, MPFR_RNDN);
        mpfr_set_d(r26136, d2, MPFR_RNDN);
        mpfr_mul(r26137, r26135, r26136, MPFR_RNDN);
        mpfr_set_d(r26138, d3, MPFR_RNDN);
        ;
        mpfr_add(r26140, r26138, r26139, MPFR_RNDN);
        mpfr_mul(r26141, r26140, r26135, MPFR_RNDN);
        mpfr_add(r26142, r26137, r26141, MPFR_RNDN);
        ;
        mpfr_mul(r26144, r26135, r26143, MPFR_RNDN);
        mpfr_add(r26145, r26142, r26144, MPFR_RNDN);
        return mpfr_get_d(r26145, MPFR_RNDN);
}

static mpfr_t r26146, r26147, r26148, r26149, r26150, r26151, r26152;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r26146, "37", 10, MPFR_RNDN);
        mpfr_init(r26147);
        mpfr_init(r26148);
        mpfr_init(r26149);
        mpfr_init(r26150);
        mpfr_init(r26151);
        mpfr_init(r26152);
}

double f_fm(double d1, double d2, double d3) {
        ;
        mpfr_set_d(r26147, d3, MPFR_RNDN);
        mpfr_add(r26148, r26146, r26147, MPFR_RNDN);
        mpfr_set_d(r26149, d1, MPFR_RNDN);
        mpfr_set_d(r26150, d2, MPFR_RNDN);
        mpfr_mul(r26151, r26150, r26149, MPFR_RNDN);
        mpfr_fma(r26152, r26148, r26149, r26151, MPFR_RNDN);
        return mpfr_get_d(r26152, MPFR_RNDN);
}

static mpfr_t r26153, r26154, r26155, r26156, r26157, r26158, r26159;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r26153, "37", 10, MPFR_RNDN);
        mpfr_init(r26154);
        mpfr_init(r26155);
        mpfr_init(r26156);
        mpfr_init(r26157);
        mpfr_init(r26158);
        mpfr_init(r26159);
}

double f_dm(double d1, double d2, double d3) {
        ;
        mpfr_set_d(r26154, d3, MPFR_RNDN);
        mpfr_add(r26155, r26153, r26154, MPFR_RNDN);
        mpfr_set_d(r26156, d1, MPFR_RNDN);
        mpfr_set_d(r26157, d2, MPFR_RNDN);
        mpfr_mul(r26158, r26157, r26156, MPFR_RNDN);
        mpfr_fma(r26159, r26155, r26156, r26158, MPFR_RNDN);
        return mpfr_get_d(r26159, MPFR_RNDN);
}