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

char *name = "FastMath dist4";

double f_if(float d1, float d2, float d3, float d4) {
        float r26890 = d1;
        float r26891 = d2;
        float r26892 = r26890 * r26891;
        float r26893 = d3;
        float r26894 = r26890 * r26893;
        float r26895 = r26892 - r26894;
        float r26896 = d4;
        float r26897 = r26896 * r26890;
        float r26898 = r26895 + r26897;
        float r26899 = r26890 * r26890;
        float r26900 = r26898 - r26899;
        return r26900;
}

double f_id(double d1, double d2, double d3, double d4) {
        double r26901 = d1;
        double r26902 = d2;
        double r26903 = r26901 * r26902;
        double r26904 = d3;
        double r26905 = r26901 * r26904;
        double r26906 = r26903 - r26905;
        double r26907 = d4;
        double r26908 = r26907 * r26901;
        double r26909 = r26906 + r26908;
        double r26910 = r26901 * r26901;
        double r26911 = r26909 - r26910;
        return r26911;
}


double f_of(float d1, float d2, float d3, float d4) {
        float r26912 = d1;
        float r26913 = d2;
        float r26914 = r26912 * r26913;
        float r26915 = d3;
        float r26916 = r26912 * r26915;
        float r26917 = r26914 - r26916;
        float r26918 = d4;
        float r26919 = r26918 * r26912;
        float r26920 = r26917 + r26919;
        float r26921 = r26912 * r26912;
        float r26922 = r26920 - r26921;
        return r26922;
}

double f_od(double d1, double d2, double d3, double d4) {
        double r26923 = d1;
        double r26924 = d2;
        double r26925 = r26923 * r26924;
        double r26926 = d3;
        double r26927 = r26923 * r26926;
        double r26928 = r26925 - r26927;
        double r26929 = d4;
        double r26930 = r26929 * r26923;
        double r26931 = r26928 + r26930;
        double r26932 = r26923 * r26923;
        double r26933 = r26931 - r26932;
        return r26933;
}

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 r26934, r26935, r26936, r26937, r26938, r26939, r26940, r26941, r26942, r26943, r26944;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r26934);
        mpfr_init(r26935);
        mpfr_init(r26936);
        mpfr_init(r26937);
        mpfr_init(r26938);
        mpfr_init(r26939);
        mpfr_init(r26940);
        mpfr_init(r26941);
        mpfr_init(r26942);
        mpfr_init(r26943);
        mpfr_init(r26944);
}

double f_im(double d1, double d2, double d3, double d4) {
        mpfr_set_d(r26934, d1, MPFR_RNDN);
        mpfr_set_d(r26935, d2, MPFR_RNDN);
        mpfr_mul(r26936, r26934, r26935, MPFR_RNDN);
        mpfr_set_d(r26937, d3, MPFR_RNDN);
        mpfr_mul(r26938, r26934, r26937, MPFR_RNDN);
        mpfr_sub(r26939, r26936, r26938, MPFR_RNDN);
        mpfr_set_d(r26940, d4, MPFR_RNDN);
        mpfr_mul(r26941, r26940, r26934, MPFR_RNDN);
        mpfr_add(r26942, r26939, r26941, MPFR_RNDN);
        mpfr_mul(r26943, r26934, r26934, MPFR_RNDN);
        mpfr_sub(r26944, r26942, r26943, MPFR_RNDN);
        return mpfr_get_d(r26944, MPFR_RNDN);
}

static mpfr_t r26945, r26946, r26947, r26948, r26949, r26950, r26951, r26952, r26953, r26954, r26955;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r26945);
        mpfr_init(r26946);
        mpfr_init(r26947);
        mpfr_init(r26948);
        mpfr_init(r26949);
        mpfr_init(r26950);
        mpfr_init(r26951);
        mpfr_init(r26952);
        mpfr_init(r26953);
        mpfr_init(r26954);
        mpfr_init(r26955);
}

double f_fm(double d1, double d2, double d3, double d4) {
        mpfr_set_d(r26945, d1, MPFR_RNDN);
        mpfr_set_d(r26946, d2, MPFR_RNDN);
        mpfr_mul(r26947, r26945, r26946, MPFR_RNDN);
        mpfr_set_d(r26948, d3, MPFR_RNDN);
        mpfr_mul(r26949, r26945, r26948, MPFR_RNDN);
        mpfr_sub(r26950, r26947, r26949, MPFR_RNDN);
        mpfr_set_d(r26951, d4, MPFR_RNDN);
        mpfr_mul(r26952, r26951, r26945, MPFR_RNDN);
        mpfr_add(r26953, r26950, r26952, MPFR_RNDN);
        mpfr_mul(r26954, r26945, r26945, MPFR_RNDN);
        mpfr_sub(r26955, r26953, r26954, MPFR_RNDN);
        return mpfr_get_d(r26955, MPFR_RNDN);
}

static mpfr_t r26956, r26957, r26958, r26959, r26960, r26961, r26962, r26963, r26964, r26965, r26966;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r26956);
        mpfr_init(r26957);
        mpfr_init(r26958);
        mpfr_init(r26959);
        mpfr_init(r26960);
        mpfr_init(r26961);
        mpfr_init(r26962);
        mpfr_init(r26963);
        mpfr_init(r26964);
        mpfr_init(r26965);
        mpfr_init(r26966);
}

double f_dm(double d1, double d2, double d3, double d4) {
        mpfr_set_d(r26956, d1, MPFR_RNDN);
        mpfr_set_d(r26957, d2, MPFR_RNDN);
        mpfr_mul(r26958, r26956, r26957, MPFR_RNDN);
        mpfr_set_d(r26959, d3, MPFR_RNDN);
        mpfr_mul(r26960, r26956, r26959, MPFR_RNDN);
        mpfr_sub(r26961, r26958, r26960, MPFR_RNDN);
        mpfr_set_d(r26962, d4, MPFR_RNDN);
        mpfr_mul(r26963, r26962, r26956, MPFR_RNDN);
        mpfr_add(r26964, r26961, r26963, MPFR_RNDN);
        mpfr_mul(r26965, r26956, r26956, MPFR_RNDN);
        mpfr_sub(r26966, r26964, r26965, MPFR_RNDN);
        return mpfr_get_d(r26966, MPFR_RNDN);
}