#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 r27070 = d1;
        float r27071 = d2;
        float r27072 = r27070 * r27071;
        float r27073 = d3;
        float r27074 = 5;
        float r27075 = r27073 + r27074;
        float r27076 = r27075 * r27070;
        float r27077 = r27072 + r27076;
        float r27078 = 32;
        float r27079 = r27070 * r27078;
        float r27080 = r27077 + r27079;
        return r27080;
}

double f_id(double d1, double d2, double d3) {
        double r27081 = d1;
        double r27082 = d2;
        double r27083 = r27081 * r27082;
        double r27084 = d3;
        double r27085 = 5;
        double r27086 = r27084 + r27085;
        double r27087 = r27086 * r27081;
        double r27088 = r27083 + r27087;
        double r27089 = 32;
        double r27090 = r27081 * r27089;
        double r27091 = r27088 + r27090;
        return r27091;
}


double f_of(float d1, float d2, float d3) {
        float r27092 = d1;
        float r27093 = d2;
        float r27094 = 5;
        float r27095 = r27093 + r27094;
        float r27096 = 32;
        float r27097 = d3;
        float r27098 = r27096 + r27097;
        float r27099 = r27095 + r27098;
        float r27100 = r27092 * r27099;
        return r27100;
}

double f_od(double d1, double d2, double d3) {
        double r27101 = d1;
        double r27102 = d2;
        double r27103 = 5;
        double r27104 = r27102 + r27103;
        double r27105 = 32;
        double r27106 = d3;
        double r27107 = r27105 + r27106;
        double r27108 = r27104 + r27107;
        double r27109 = r27101 * r27108;
        return r27109;
}

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 r27110, r27111, r27112, r27113, r27114, r27115, r27116, r27117, r27118, r27119, r27120;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init(r27110);
        mpfr_init(r27111);
        mpfr_init(r27112);
        mpfr_init(r27113);
        mpfr_init_set_str(r27114, "5", 10, MPFR_RNDN);
        mpfr_init(r27115);
        mpfr_init(r27116);
        mpfr_init(r27117);
        mpfr_init_set_str(r27118, "32", 10, MPFR_RNDN);
        mpfr_init(r27119);
        mpfr_init(r27120);
}

double f_im(double d1, double d2, double d3) {
        mpfr_set_d(r27110, d1, MPFR_RNDN);
        mpfr_set_d(r27111, d2, MPFR_RNDN);
        mpfr_mul(r27112, r27110, r27111, MPFR_RNDN);
        mpfr_set_d(r27113, d3, MPFR_RNDN);
        ;
        mpfr_add(r27115, r27113, r27114, MPFR_RNDN);
        mpfr_mul(r27116, r27115, r27110, MPFR_RNDN);
        mpfr_add(r27117, r27112, r27116, MPFR_RNDN);
        ;
        mpfr_mul(r27119, r27110, r27118, MPFR_RNDN);
        mpfr_add(r27120, r27117, r27119, MPFR_RNDN);
        return mpfr_get_d(r27120, MPFR_RNDN);
}

static mpfr_t r27121, r27122, r27123, r27124, r27125, r27126, r27127, r27128, r27129;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init(r27121);
        mpfr_init(r27122);
        mpfr_init_set_str(r27123, "5", 10, MPFR_RNDN);
        mpfr_init(r27124);
        mpfr_init_set_str(r27125, "32", 10, MPFR_RNDN);
        mpfr_init(r27126);
        mpfr_init(r27127);
        mpfr_init(r27128);
        mpfr_init(r27129);
}

double f_fm(double d1, double d2, double d3) {
        mpfr_set_d(r27121, d1, MPFR_RNDN);
        mpfr_set_d(r27122, d2, MPFR_RNDN);
        ;
        mpfr_add(r27124, r27122, r27123, MPFR_RNDN);
        ;
        mpfr_set_d(r27126, d3, MPFR_RNDN);
        mpfr_add(r27127, r27125, r27126, MPFR_RNDN);
        mpfr_add(r27128, r27124, r27127, MPFR_RNDN);
        mpfr_mul(r27129, r27121, r27128, MPFR_RNDN);
        return mpfr_get_d(r27129, MPFR_RNDN);
}

static mpfr_t r27130, r27131, r27132, r27133, r27134, r27135, r27136, r27137, r27138;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init(r27130);
        mpfr_init(r27131);
        mpfr_init_set_str(r27132, "5", 10, MPFR_RNDN);
        mpfr_init(r27133);
        mpfr_init_set_str(r27134, "32", 10, MPFR_RNDN);
        mpfr_init(r27135);
        mpfr_init(r27136);
        mpfr_init(r27137);
        mpfr_init(r27138);
}

double f_dm(double d1, double d2, double d3) {
        mpfr_set_d(r27130, d1, MPFR_RNDN);
        mpfr_set_d(r27131, d2, MPFR_RNDN);
        ;
        mpfr_add(r27133, r27131, r27132, MPFR_RNDN);
        ;
        mpfr_set_d(r27135, d3, MPFR_RNDN);
        mpfr_add(r27136, r27134, r27135, MPFR_RNDN);
        mpfr_add(r27137, r27133, r27136, MPFR_RNDN);
        mpfr_mul(r27138, r27130, r27137, MPFR_RNDN);
        return mpfr_get_d(r27138, MPFR_RNDN);
}