#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 r17726 = x;
        float r17727 = y;
        float r17728 = z;
        float r17729 = r17727 / r17728;
        float r17730 = t;
        float r17731 = r17729 * r17730;
        float r17732 = r17731 / r17730;
        float r17733 = r17726 * r17732;
        return r17733;
}

double f_id(double x, double y, double z, double t) {
        double r17734 = x;
        double r17735 = y;
        double r17736 = z;
        double r17737 = r17735 / r17736;
        double r17738 = t;
        double r17739 = r17737 * r17738;
        double r17740 = r17739 / r17738;
        double r17741 = r17734 * r17740;
        return r17741;
}


double f_of(float x, float y, float z, float t) {
        float r17742 = y;
        float r17743 = z;
        float r17744 = r17742 / r17743;
        float r17745 = t;
        float r17746 = r17744 * r17745;
        float r17747 = r17746 / r17745;
        float r17748 = 1.204092268264159e+24f;
        bool r17749 = r17747 <= r17748;
        float r17750 = x;
        float r17751 = r17750 * r17744;
        float r17752 = 1.0f;
        float r17753 = r17742 * r17750;
        float r17754 = r17743 / r17753;
        float r17755 = r17752 / r17754;
        float r17756 = r17749 ? r17751 : r17755;
        return r17756;
}

double f_od(double x, double y, double z, double t) {
        double r17757 = y;
        double r17758 = z;
        double r17759 = r17757 / r17758;
        double r17760 = t;
        double r17761 = r17759 * r17760;
        double r17762 = r17761 / r17760;
        double r17763 = 1.204092268264159e+24;
        bool r17764 = r17762 <= r17763;
        double r17765 = x;
        double r17766 = r17765 * r17759;
        double r17767 = 1.0;
        double r17768 = r17757 * r17765;
        double r17769 = r17758 / r17768;
        double r17770 = r17767 / r17769;
        double r17771 = r17764 ? r17766 : r17770;
        return r17771;
}

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 r17772, r17773, r17774, r17775, r17776, r17777, r17778, r17779;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17772);
        mpfr_init(r17773);
        mpfr_init(r17774);
        mpfr_init(r17775);
        mpfr_init(r17776);
        mpfr_init(r17777);
        mpfr_init(r17778);
        mpfr_init(r17779);
}

double f_im(double x, double y, double z, double t) {
        mpfr_set_d(r17772, x, MPFR_RNDN);
        mpfr_set_d(r17773, y, MPFR_RNDN);
        mpfr_set_d(r17774, z, MPFR_RNDN);
        mpfr_div(r17775, r17773, r17774, MPFR_RNDN);
        mpfr_set_d(r17776, t, MPFR_RNDN);
        mpfr_mul(r17777, r17775, r17776, MPFR_RNDN);
        mpfr_div(r17778, r17777, r17776, MPFR_RNDN);
        mpfr_mul(r17779, r17772, r17778, MPFR_RNDN);
        return mpfr_get_d(r17779, MPFR_RNDN);
}

static mpfr_t r17780, r17781, r17782, r17783, r17784, r17785, r17786, r17787, r17788, r17789, r17790, r17791, r17792, r17793, r17794;

void setup_mpfr_f_fm() {
        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_set_str(r17786, "1.2040923f+24", 10, MPFR_RNDN);
        mpfr_init(r17787);
        mpfr_init(r17788);
        mpfr_init(r17789);
        mpfr_init_set_str(r17790, "1", 10, MPFR_RNDN);
        mpfr_init(r17791);
        mpfr_init(r17792);
        mpfr_init(r17793);
        mpfr_init(r17794);
}

double f_fm(double x, double y, double z, double t) {
        mpfr_set_d(r17780, y, MPFR_RNDN);
        mpfr_set_d(r17781, z, MPFR_RNDN);
        mpfr_div(r17782, r17780, r17781, MPFR_RNDN);
        mpfr_set_d(r17783, t, MPFR_RNDN);
        mpfr_mul(r17784, r17782, r17783, MPFR_RNDN);
        mpfr_div(r17785, r17784, r17783, MPFR_RNDN);
        ;
        mpfr_set_si(r17787, mpfr_cmp(r17785, r17786) <= 0, MPFR_RNDN);
        mpfr_set_d(r17788, x, MPFR_RNDN);
        mpfr_mul(r17789, r17788, r17782, MPFR_RNDN);
        ;
        mpfr_mul(r17791, r17780, r17788, MPFR_RNDN);
        mpfr_div(r17792, r17781, r17791, MPFR_RNDN);
        mpfr_div(r17793, r17790, r17792, MPFR_RNDN);
        if (mpfr_get_si(r17787, MPFR_RNDN)) { mpfr_set(r17794, r17789, MPFR_RNDN); } else { mpfr_set(r17794, r17793, MPFR_RNDN); };
        return mpfr_get_d(r17794, MPFR_RNDN);
}

static mpfr_t r17795, r17796, r17797, r17798, r17799, r17800, r17801, r17802, r17803, r17804, r17805, r17806, r17807, r17808, r17809;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17795);
        mpfr_init(r17796);
        mpfr_init(r17797);
        mpfr_init(r17798);
        mpfr_init(r17799);
        mpfr_init(r17800);
        mpfr_init_set_str(r17801, "1.2040923f+24", 10, MPFR_RNDN);
        mpfr_init(r17802);
        mpfr_init(r17803);
        mpfr_init(r17804);
        mpfr_init_set_str(r17805, "1", 10, MPFR_RNDN);
        mpfr_init(r17806);
        mpfr_init(r17807);
        mpfr_init(r17808);
        mpfr_init(r17809);
}

double f_dm(double x, double y, double z, double t) {
        mpfr_set_d(r17795, y, MPFR_RNDN);
        mpfr_set_d(r17796, z, MPFR_RNDN);
        mpfr_div(r17797, r17795, r17796, MPFR_RNDN);
        mpfr_set_d(r17798, t, MPFR_RNDN);
        mpfr_mul(r17799, r17797, r17798, MPFR_RNDN);
        mpfr_div(r17800, r17799, r17798, MPFR_RNDN);
        ;
        mpfr_set_si(r17802, mpfr_cmp(r17800, r17801) <= 0, MPFR_RNDN);
        mpfr_set_d(r17803, x, MPFR_RNDN);
        mpfr_mul(r17804, r17803, r17797, MPFR_RNDN);
        ;
        mpfr_mul(r17806, r17795, r17803, MPFR_RNDN);
        mpfr_div(r17807, r17796, r17806, MPFR_RNDN);
        mpfr_div(r17808, r17805, r17807, MPFR_RNDN);
        if (mpfr_get_si(r17802, MPFR_RNDN)) { mpfr_set(r17809, r17804, MPFR_RNDN); } else { mpfr_set(r17809, r17808, MPFR_RNDN); };
        return mpfr_get_d(r17809, MPFR_RNDN);
}