#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 r26194 = x;
        float r26195 = y;
        float r26196 = r26194 + r26195;
        float r26197 = z;
        float r26198 = r26196 + r26197;
        return r26198;
}

double f_id(double x, double y, double z) {
        double r26199 = x;
        double r26200 = y;
        double r26201 = r26199 + r26200;
        double r26202 = z;
        double r26203 = r26201 + r26202;
        return r26203;
}


double f_of(float x, float y, float z) {
        float r26204 = x;
        float r26205 = y;
        float r26206 = r26204 + r26205;
        float r26207 = z;
        float r26208 = r26206 + r26207;
        return r26208;
}

double f_od(double x, double y, double z) {
        double r26209 = x;
        double r26210 = y;
        double r26211 = r26209 + r26210;
        double r26212 = z;
        double r26213 = r26211 + r26212;
        return r26213;
}

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 r26214, r26215, r26216, r26217, r26218;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r26214);
        mpfr_init(r26215);
        mpfr_init(r26216);
        mpfr_init(r26217);
        mpfr_init(r26218);
}

double f_im(double x, double y, double z) {
        mpfr_set_d(r26214, x, MPFR_RNDN);
        mpfr_set_d(r26215, y, MPFR_RNDN);
        mpfr_add(r26216, r26214, r26215, MPFR_RNDN);
        mpfr_set_d(r26217, z, MPFR_RNDN);
        mpfr_add(r26218, r26216, r26217, MPFR_RNDN);
        return mpfr_get_d(r26218, MPFR_RNDN);
}

static mpfr_t r26219, r26220, r26221, r26222, r26223;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r26219);
        mpfr_init(r26220);
        mpfr_init(r26221);
        mpfr_init(r26222);
        mpfr_init(r26223);
}

double f_fm(double x, double y, double z) {
        mpfr_set_d(r26219, x, MPFR_RNDN);
        mpfr_set_d(r26220, y, MPFR_RNDN);
        mpfr_add(r26221, r26219, r26220, MPFR_RNDN);
        mpfr_set_d(r26222, z, MPFR_RNDN);
        mpfr_add(r26223, r26221, r26222, MPFR_RNDN);
        return mpfr_get_d(r26223, MPFR_RNDN);
}

static mpfr_t r26224, r26225, r26226, r26227, r26228;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r26224);
        mpfr_init(r26225);
        mpfr_init(r26226);
        mpfr_init(r26227);
        mpfr_init(r26228);
}

double f_dm(double x, double y, double z) {
        mpfr_set_d(r26224, x, MPFR_RNDN);
        mpfr_set_d(r26225, y, MPFR_RNDN);
        mpfr_add(r26226, r26224, r26225, MPFR_RNDN);
        mpfr_set_d(r26227, z, MPFR_RNDN);
        mpfr_add(r26228, r26226, r26227, MPFR_RNDN);
        return mpfr_get_d(r26228, MPFR_RNDN);
}