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

char *name = "Graphics.Rendering.Plot.Render.Plot.Legend:renderLegendOutside from plot-0.2.3.4, A";

double f_if(float x, float y) {
        float r48820 = x;
        float r48821 = y;
        float r48822 = r48820 + r48821;
        float r48823 = r48822 + r48820;
        return r48823;
}

double f_id(double x, double y) {
        double r48824 = x;
        double r48825 = y;
        double r48826 = r48824 + r48825;
        double r48827 = r48826 + r48824;
        return r48827;
}


double f_of(float x, float y) {
        float r48828 = x;
        float r48829 = y;
        float r48830 = r48828 + r48829;
        float r48831 = r48830 + r48828;
        return r48831;
}

double f_od(double x, double y) {
        double r48832 = x;
        double r48833 = y;
        double r48834 = r48832 + r48833;
        double r48835 = r48834 + r48832;
        return r48835;
}

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 r48836, r48837, r48838, r48839;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r48836);
        mpfr_init(r48837);
        mpfr_init(r48838);
        mpfr_init(r48839);
}

double f_im(double x, double y) {
        mpfr_set_d(r48836, x, MPFR_RNDN);
        mpfr_set_d(r48837, y, MPFR_RNDN);
        mpfr_add(r48838, r48836, r48837, MPFR_RNDN);
        mpfr_add(r48839, r48838, r48836, MPFR_RNDN);
        return mpfr_get_d(r48839, MPFR_RNDN);
}

static mpfr_t r48840, r48841, r48842, r48843;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r48840);
        mpfr_init(r48841);
        mpfr_init(r48842);
        mpfr_init(r48843);
}

double f_fm(double x, double y) {
        mpfr_set_d(r48840, x, MPFR_RNDN);
        mpfr_set_d(r48841, y, MPFR_RNDN);
        mpfr_add(r48842, r48840, r48841, MPFR_RNDN);
        mpfr_add(r48843, r48842, r48840, MPFR_RNDN);
        return mpfr_get_d(r48843, MPFR_RNDN);
}

static mpfr_t r48844, r48845, r48846, r48847;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r48844);
        mpfr_init(r48845);
        mpfr_init(r48846);
        mpfr_init(r48847);
}

double f_dm(double x, double y) {
        mpfr_set_d(r48844, x, MPFR_RNDN);
        mpfr_set_d(r48845, y, MPFR_RNDN);
        mpfr_add(r48846, r48844, r48845, MPFR_RNDN);
        mpfr_add(r48847, r48846, r48844, MPFR_RNDN);
        return mpfr_get_d(r48847, MPFR_RNDN);
}