#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 r58518 = x;
        float r58519 = y;
        float r58520 = r58519 + r58518;
        float r58521 = r58518 / r58520;
        return r58521;
}

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


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

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

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

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

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

static mpfr_t r58538, r58539, r58540, r58541;

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

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

static mpfr_t r58542, r58543, r58544, r58545;

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

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