#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 r26931 = d1;
        float r26932 = d2;
        float r26933 = r26931 * r26932;
        float r26934 = d3;
        float r26935 = r26931 * r26934;
        float r26936 = r26933 + r26935;
        return r26936;
}

double f_id(double d1, double d2, double d3) {
        double r26937 = d1;
        double r26938 = d2;
        double r26939 = r26937 * r26938;
        double r26940 = d3;
        double r26941 = r26937 * r26940;
        double r26942 = r26939 + r26941;
        return r26942;
}


double f_of(float d1, float d2, float d3) {
        float r26943 = d1;
        float r26944 = d2;
        float r26945 = r26943 * r26944;
        float r26946 = d3;
        float r26947 = r26943 * r26946;
        float r26948 = r26945 + r26947;
        return r26948;
}

double f_od(double d1, double d2, double d3) {
        double r26949 = d1;
        double r26950 = d2;
        double r26951 = r26949 * r26950;
        double r26952 = d3;
        double r26953 = r26949 * r26952;
        double r26954 = r26951 + r26953;
        return r26954;
}

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 r26955, r26956, r26957, r26958, r26959, r26960;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r26955);
        mpfr_init(r26956);
        mpfr_init(r26957);
        mpfr_init(r26958);
        mpfr_init(r26959);
        mpfr_init(r26960);
}

double f_im(double d1, double d2, double d3) {
        mpfr_set_d(r26955, d1, MPFR_RNDN);
        mpfr_set_d(r26956, d2, MPFR_RNDN);
        mpfr_mul(r26957, r26955, r26956, MPFR_RNDN);
        mpfr_set_d(r26958, d3, MPFR_RNDN);
        mpfr_mul(r26959, r26955, r26958, MPFR_RNDN);
        mpfr_add(r26960, r26957, r26959, MPFR_RNDN);
        return mpfr_get_d(r26960, MPFR_RNDN);
}

static mpfr_t r26961, r26962, r26963, r26964, r26965, r26966;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r26961);
        mpfr_init(r26962);
        mpfr_init(r26963);
        mpfr_init(r26964);
        mpfr_init(r26965);
        mpfr_init(r26966);
}

double f_fm(double d1, double d2, double d3) {
        mpfr_set_d(r26961, d1, MPFR_RNDN);
        mpfr_set_d(r26962, d2, MPFR_RNDN);
        mpfr_mul(r26963, r26961, r26962, MPFR_RNDN);
        mpfr_set_d(r26964, d3, MPFR_RNDN);
        mpfr_mul(r26965, r26961, r26964, MPFR_RNDN);
        mpfr_add(r26966, r26963, r26965, MPFR_RNDN);
        return mpfr_get_d(r26966, MPFR_RNDN);
}

static mpfr_t r26967, r26968, r26969, r26970, r26971, r26972;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r26967);
        mpfr_init(r26968);
        mpfr_init(r26969);
        mpfr_init(r26970);
        mpfr_init(r26971);
        mpfr_init(r26972);
}

double f_dm(double d1, double d2, double d3) {
        mpfr_set_d(r26967, d1, MPFR_RNDN);
        mpfr_set_d(r26968, d2, MPFR_RNDN);
        mpfr_mul(r26969, r26967, r26968, MPFR_RNDN);
        mpfr_set_d(r26970, d3, MPFR_RNDN);
        mpfr_mul(r26971, r26967, r26970, MPFR_RNDN);
        mpfr_add(r26972, r26969, r26971, MPFR_RNDN);
        return mpfr_get_d(r26972, MPFR_RNDN);
}