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

char *name = "FastMath dist";

double f_if(float d1, float d2, float d3) {
        float r27068 = d1;
        float r27069 = d2;
        float r27070 = r27068 * r27069;
        float r27071 = d3;
        float r27072 = r27068 * r27071;
        float r27073 = r27070 + r27072;
        return r27073;
}

double f_id(double d1, double d2, double d3) {
        double r27074 = d1;
        double r27075 = d2;
        double r27076 = r27074 * r27075;
        double r27077 = d3;
        double r27078 = r27074 * r27077;
        double r27079 = r27076 + r27078;
        return r27079;
}


double f_of(float d1, float d2, float d3) {
        float r27080 = d1;
        float r27081 = d2;
        float r27082 = r27080 * r27081;
        float r27083 = d3;
        float r27084 = r27080 * r27083;
        float r27085 = r27082 + r27084;
        return r27085;
}

double f_od(double d1, double d2, double d3) {
        double r27086 = d1;
        double r27087 = d2;
        double r27088 = r27086 * r27087;
        double r27089 = d3;
        double r27090 = r27086 * r27089;
        double r27091 = r27088 + r27090;
        return r27091;
}

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 r27092, r27093, r27094, r27095, r27096, r27097;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r27092);
        mpfr_init(r27093);
        mpfr_init(r27094);
        mpfr_init(r27095);
        mpfr_init(r27096);
        mpfr_init(r27097);
}

double f_im(double d1, double d2, double d3) {
        mpfr_set_d(r27092, d1, MPFR_RNDN);
        mpfr_set_d(r27093, d2, MPFR_RNDN);
        mpfr_mul(r27094, r27092, r27093, MPFR_RNDN);
        mpfr_set_d(r27095, d3, MPFR_RNDN);
        mpfr_mul(r27096, r27092, r27095, MPFR_RNDN);
        mpfr_add(r27097, r27094, r27096, MPFR_RNDN);
        return mpfr_get_d(r27097, MPFR_RNDN);
}

static mpfr_t r27098, r27099, r27100, r27101, r27102, r27103;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r27098);
        mpfr_init(r27099);
        mpfr_init(r27100);
        mpfr_init(r27101);
        mpfr_init(r27102);
        mpfr_init(r27103);
}

double f_fm(double d1, double d2, double d3) {
        mpfr_set_d(r27098, d1, MPFR_RNDN);
        mpfr_set_d(r27099, d2, MPFR_RNDN);
        mpfr_mul(r27100, r27098, r27099, MPFR_RNDN);
        mpfr_set_d(r27101, d3, MPFR_RNDN);
        mpfr_mul(r27102, r27098, r27101, MPFR_RNDN);
        mpfr_add(r27103, r27100, r27102, MPFR_RNDN);
        return mpfr_get_d(r27103, MPFR_RNDN);
}

static mpfr_t r27104, r27105, r27106, r27107, r27108, r27109;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r27104);
        mpfr_init(r27105);
        mpfr_init(r27106);
        mpfr_init(r27107);
        mpfr_init(r27108);
        mpfr_init(r27109);
}

double f_dm(double d1, double d2, double d3) {
        mpfr_set_d(r27104, d1, MPFR_RNDN);
        mpfr_set_d(r27105, d2, MPFR_RNDN);
        mpfr_mul(r27106, r27104, r27105, MPFR_RNDN);
        mpfr_set_d(r27107, d3, MPFR_RNDN);
        mpfr_mul(r27108, r27104, r27107, MPFR_RNDN);
        mpfr_add(r27109, r27106, r27108, MPFR_RNDN);
        return mpfr_get_d(r27109, MPFR_RNDN);
}