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

char *name = "AI.Clustering.Hierarchical.Internal:average from clustering-0.2.1, B";

double f_if(float x, float y) {
        float r58519 = x;
        float r58520 = y;
        float r58521 = r58520 + r58519;
        float r58522 = r58519 / r58521;
        return r58522;
}

double f_id(double x, double y) {
        double r58523 = x;
        double r58524 = y;
        double r58525 = r58524 + r58523;
        double r58526 = r58523 / r58525;
        return r58526;
}


double f_of(float x, float y) {
        float r58527 = x;
        float r58528 = y;
        float r58529 = r58528 + r58527;
        float r58530 = r58527 / r58529;
        return r58530;
}

double f_od(double x, double y) {
        double r58531 = x;
        double r58532 = y;
        double r58533 = r58532 + r58531;
        double r58534 = r58531 / r58533;
        return r58534;
}

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 r58535, r58536, r58537, r58538;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r58535);
        mpfr_init(r58536);
        mpfr_init(r58537);
        mpfr_init(r58538);
}

double f_im(double x, double y) {
        mpfr_set_d(r58535, x, MPFR_RNDN);
        mpfr_set_d(r58536, y, MPFR_RNDN);
        mpfr_add(r58537, r58536, r58535, MPFR_RNDN);
        mpfr_div(r58538, r58535, r58537, MPFR_RNDN);
        return mpfr_get_d(r58538, MPFR_RNDN);
}

static mpfr_t r58539, r58540, r58541, r58542;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r58539);
        mpfr_init(r58540);
        mpfr_init(r58541);
        mpfr_init(r58542);
}

double f_fm(double x, double y) {
        mpfr_set_d(r58539, x, MPFR_RNDN);
        mpfr_set_d(r58540, y, MPFR_RNDN);
        mpfr_add(r58541, r58540, r58539, MPFR_RNDN);
        mpfr_div(r58542, r58539, r58541, MPFR_RNDN);
        return mpfr_get_d(r58542, MPFR_RNDN);
}

static mpfr_t r58543, r58544, r58545, r58546;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r58543);
        mpfr_init(r58544);
        mpfr_init(r58545);
        mpfr_init(r58546);
}

double f_dm(double x, double y) {
        mpfr_set_d(r58543, x, MPFR_RNDN);
        mpfr_set_d(r58544, y, MPFR_RNDN);
        mpfr_add(r58545, r58544, r58543, MPFR_RNDN);
        mpfr_div(r58546, r58543, r58545, MPFR_RNDN);
        return mpfr_get_d(r58546, MPFR_RNDN);
}

