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

char *name = "Optimisation.CirclePacking:place from circle-packing-0.1.0.4, I";

double f_if(float x, float y, float z) {
        float r26098 = x;
        float r26099 = y;
        float r26100 = r26098 + r26099;
        float r26101 = z;
        float r26102 = r26100 + r26101;
        return r26102;
}

double f_id(double x, double y, double z) {
        double r26103 = x;
        double r26104 = y;
        double r26105 = r26103 + r26104;
        double r26106 = z;
        double r26107 = r26105 + r26106;
        return r26107;
}


double f_of(float x, float y, float z) {
        float r26108 = x;
        float r26109 = y;
        float r26110 = r26108 + r26109;
        float r26111 = z;
        float r26112 = r26110 + r26111;
        return r26112;
}

double f_od(double x, double y, double z) {
        double r26113 = x;
        double r26114 = y;
        double r26115 = r26113 + r26114;
        double r26116 = z;
        double r26117 = r26115 + r26116;
        return r26117;
}

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 r26118, r26119, r26120, r26121, r26122;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r26118);
        mpfr_init(r26119);
        mpfr_init(r26120);
        mpfr_init(r26121);
        mpfr_init(r26122);
}

double f_im(double x, double y, double z) {
        mpfr_set_d(r26118, x, MPFR_RNDN);
        mpfr_set_d(r26119, y, MPFR_RNDN);
        mpfr_add(r26120, r26118, r26119, MPFR_RNDN);
        mpfr_set_d(r26121, z, MPFR_RNDN);
        mpfr_add(r26122, r26120, r26121, MPFR_RNDN);
        return mpfr_get_d(r26122, MPFR_RNDN);
}

static mpfr_t r26123, r26124, r26125, r26126, r26127;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r26123);
        mpfr_init(r26124);
        mpfr_init(r26125);
        mpfr_init(r26126);
        mpfr_init(r26127);
}

double f_fm(double x, double y, double z) {
        mpfr_set_d(r26123, x, MPFR_RNDN);
        mpfr_set_d(r26124, y, MPFR_RNDN);
        mpfr_add(r26125, r26123, r26124, MPFR_RNDN);
        mpfr_set_d(r26126, z, MPFR_RNDN);
        mpfr_add(r26127, r26125, r26126, MPFR_RNDN);
        return mpfr_get_d(r26127, MPFR_RNDN);
}

static mpfr_t r26128, r26129, r26130, r26131, r26132;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r26128);
        mpfr_init(r26129);
        mpfr_init(r26130);
        mpfr_init(r26131);
        mpfr_init(r26132);
}

double f_dm(double x, double y, double z) {
        mpfr_set_d(r26128, x, MPFR_RNDN);
        mpfr_set_d(r26129, y, MPFR_RNDN);
        mpfr_add(r26130, r26128, r26129, MPFR_RNDN);
        mpfr_set_d(r26131, z, MPFR_RNDN);
        mpfr_add(r26132, r26130, r26131, MPFR_RNDN);
        return mpfr_get_d(r26132, MPFR_RNDN);
}