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

char *name = "Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1";

double f_if(float x, float y, float z, float t) {
        float r17754 = x;
        float r17755 = y;
        float r17756 = z;
        float r17757 = r17755 / r17756;
        float r17758 = t;
        float r17759 = r17757 * r17758;
        float r17760 = r17759 / r17758;
        float r17761 = r17754 * r17760;
        return r17761;
}

double f_id(double x, double y, double z, double t) {
        double r17762 = x;
        double r17763 = y;
        double r17764 = z;
        double r17765 = r17763 / r17764;
        double r17766 = t;
        double r17767 = r17765 * r17766;
        double r17768 = r17767 / r17766;
        double r17769 = r17762 * r17768;
        return r17769;
}


double f_of(float x, float y, float z, float __attribute__((unused)) t) {
        float r17770 = y;
        float r17771 = z;
        float r17772 = x;
        float r17773 = r17771 / r17772;
        float r17774 = r17770 / r17773;
        return r17774;
}

double f_od(double x, double y, double z, double __attribute__((unused)) t) {
        double r17775 = y;
        double r17776 = z;
        double r17777 = x;
        double r17778 = r17776 / r17777;
        double r17779 = r17775 / r17778;
        return r17779;
}

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 r17780, r17781, r17782, r17783, r17784, r17785, r17786, r17787;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17780);
        mpfr_init(r17781);
        mpfr_init(r17782);
        mpfr_init(r17783);
        mpfr_init(r17784);
        mpfr_init(r17785);
        mpfr_init(r17786);
        mpfr_init(r17787);
}

double f_im(double x, double y, double z, double t) {
        mpfr_set_d(r17780, x, MPFR_RNDN);
        mpfr_set_d(r17781, y, MPFR_RNDN);
        mpfr_set_d(r17782, z, MPFR_RNDN);
        mpfr_div(r17783, r17781, r17782, MPFR_RNDN);
        mpfr_set_d(r17784, t, MPFR_RNDN);
        mpfr_mul(r17785, r17783, r17784, MPFR_RNDN);
        mpfr_div(r17786, r17785, r17784, MPFR_RNDN);
        mpfr_mul(r17787, r17780, r17786, MPFR_RNDN);
        return mpfr_get_d(r17787, MPFR_RNDN);
}

static mpfr_t r17788, r17789, r17790, r17791, r17792;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17788);
        mpfr_init(r17789);
        mpfr_init(r17790);
        mpfr_init(r17791);
        mpfr_init(r17792);
}

double f_fm(double x, double y, double z, double __attribute__((unused)) t) {
        mpfr_set_d(r17788, y, MPFR_RNDN);
        mpfr_set_d(r17789, z, MPFR_RNDN);
        mpfr_set_d(r17790, x, MPFR_RNDN);
        mpfr_div(r17791, r17789, r17790, MPFR_RNDN);
        mpfr_div(r17792, r17788, r17791, MPFR_RNDN);
        return mpfr_get_d(r17792, MPFR_RNDN);
}

static mpfr_t r17793, r17794, r17795, r17796, r17797;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17793);
        mpfr_init(r17794);
        mpfr_init(r17795);
        mpfr_init(r17796);
        mpfr_init(r17797);
}

double f_dm(double x, double y, double z, double __attribute__((unused)) t) {
        mpfr_set_d(r17793, y, MPFR_RNDN);
        mpfr_set_d(r17794, z, MPFR_RNDN);
        mpfr_set_d(r17795, x, MPFR_RNDN);
        mpfr_div(r17796, r17794, r17795, MPFR_RNDN);
        mpfr_div(r17797, r17793, r17796, MPFR_RNDN);
        return mpfr_get_d(r17797, MPFR_RNDN);
}