#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 r17641 = x;
        float r17642 = y;
        float r17643 = z;
        float r17644 = r17642 / r17643;
        float r17645 = t;
        float r17646 = r17644 * r17645;
        float r17647 = r17646 / r17645;
        float r17648 = r17641 * r17647;
        return r17648;
}

double f_id(double x, double y, double z, double t) {
        double r17649 = x;
        double r17650 = y;
        double r17651 = z;
        double r17652 = r17650 / r17651;
        double r17653 = t;
        double r17654 = r17652 * r17653;
        double r17655 = r17654 / r17653;
        double r17656 = r17649 * r17655;
        return r17656;
}


double f_of(float x, float y, float z, float t) {
        float r17657 = y;
        float r17658 = z;
        float r17659 = r17657 / r17658;
        float r17660 = t;
        float r17661 = r17659 * r17660;
        float r17662 = r17661 / r17660;
        float r17663 = -5.938455921460385e+294f;
        bool r17664 = r17662 <= r17663;
        float r17665 = x;
        float r17666 = r17657 * r17665;
        float r17667 = r17666 / r17658;
        float r17668 = -2.5246727556762883e-296f;
        bool r17669 = r17662 <= r17668;
        float r17670 = r17665 * r17659;
        float r17671 = -0.0f;
        bool r17672 = r17662 <= r17671;
        float r17673 = 1.0f;
        float r17674 = r17673 * (r17673 * r17673);
        float r17675 = r17665 / r17658;
        float r17676 = r17673 / r17657;
        float r17677 = r17675 / r17676;
        float r17678 = r17674 * r17677;
        float r17679 = 4.257365925514436e+145f;
        bool r17680 = r17662 <= r17679;
        float r17681 = r17680 ? r17670 : r17667;
        float r17682 = r17672 ? r17678 : r17681;
        float r17683 = r17669 ? r17670 : r17682;
        float r17684 = r17664 ? r17667 : r17683;
        return r17684;
}

double f_od(double x, double y, double z, double t) {
        double r17685 = y;
        double r17686 = z;
        double r17687 = r17685 / r17686;
        double r17688 = t;
        double r17689 = r17687 * r17688;
        double r17690 = r17689 / r17688;
        double r17691 = -5.938455921460385e+294;
        bool r17692 = r17690 <= r17691;
        double r17693 = x;
        double r17694 = r17685 * r17693;
        double r17695 = r17694 / r17686;
        double r17696 = -2.5246727556762883e-296;
        bool r17697 = r17690 <= r17696;
        double r17698 = r17693 * r17687;
        double r17699 = -0.0;
        bool r17700 = r17690 <= r17699;
        double r17701 = 1.0;
        double r17702 = r17701 * (r17701 * r17701);
        double r17703 = r17693 / r17686;
        double r17704 = r17701 / r17685;
        double r17705 = r17703 / r17704;
        double r17706 = r17702 * r17705;
        double r17707 = 4.257365925514436e+145;
        bool r17708 = r17690 <= r17707;
        double r17709 = r17708 ? r17698 : r17695;
        double r17710 = r17700 ? r17706 : r17709;
        double r17711 = r17697 ? r17698 : r17710;
        double r17712 = r17692 ? r17695 : r17711;
        return r17712;
}

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 r17713, r17714, r17715, r17716, r17717, r17718, r17719, r17720;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17713);
        mpfr_init(r17714);
        mpfr_init(r17715);
        mpfr_init(r17716);
        mpfr_init(r17717);
        mpfr_init(r17718);
        mpfr_init(r17719);
        mpfr_init(r17720);
}

double f_im(double x, double y, double z, double t) {
        mpfr_set_d(r17713, x, MPFR_RNDN);
        mpfr_set_d(r17714, y, MPFR_RNDN);
        mpfr_set_d(r17715, z, MPFR_RNDN);
        mpfr_div(r17716, r17714, r17715, MPFR_RNDN);
        mpfr_set_d(r17717, t, MPFR_RNDN);
        mpfr_mul(r17718, r17716, r17717, MPFR_RNDN);
        mpfr_div(r17719, r17718, r17717, MPFR_RNDN);
        mpfr_mul(r17720, r17713, r17719, MPFR_RNDN);
        return mpfr_get_d(r17720, MPFR_RNDN);
}

static mpfr_t r17721, r17722, r17723, r17724, r17725, r17726, r17727, r17728, r17729, r17730, r17731, r17732, r17733, r17734, r17735, r17736, r17737, r17738, r17739, r17740, r17741, r17742, r17743, r17744, r17745, r17746, r17747, r17748;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17721);
        mpfr_init(r17722);
        mpfr_init(r17723);
        mpfr_init(r17724);
        mpfr_init(r17725);
        mpfr_init(r17726);
        mpfr_init_set_str(r17727, "-5.938455921460385e+294", 10, MPFR_RNDN);
        mpfr_init(r17728);
        mpfr_init(r17729);
        mpfr_init(r17730);
        mpfr_init(r17731);
        mpfr_init_set_str(r17732, "-2.5246727556762883e-296", 10, MPFR_RNDN);
        mpfr_init(r17733);
        mpfr_init(r17734);
        mpfr_init_set_str(r17735, "-0.0", 10, MPFR_RNDN);
        mpfr_init(r17736);
        mpfr_init_set_str(r17737, "1", 10, MPFR_RNDN);
        mpfr_init(r17738);
        mpfr_init(r17739);
        mpfr_init(r17740);
        mpfr_init(r17741);
        mpfr_init(r17742);
        mpfr_init_set_str(r17743, "4.257365925514436e+145", 10, MPFR_RNDN);
        mpfr_init(r17744);
        mpfr_init(r17745);
        mpfr_init(r17746);
        mpfr_init(r17747);
        mpfr_init(r17748);
}

double f_fm(double x, double y, double z, double t) {
        mpfr_set_d(r17721, y, MPFR_RNDN);
        mpfr_set_d(r17722, z, MPFR_RNDN);
        mpfr_div(r17723, r17721, r17722, MPFR_RNDN);
        mpfr_set_d(r17724, t, MPFR_RNDN);
        mpfr_mul(r17725, r17723, r17724, MPFR_RNDN);
        mpfr_div(r17726, r17725, r17724, MPFR_RNDN);
        ;
        mpfr_set_si(r17728, mpfr_cmp(r17726, r17727) <= 0, MPFR_RNDN);
        mpfr_set_d(r17729, x, MPFR_RNDN);
        mpfr_mul(r17730, r17721, r17729, MPFR_RNDN);
        mpfr_div(r17731, r17730, r17722, MPFR_RNDN);
        ;
        mpfr_set_si(r17733, mpfr_cmp(r17726, r17732) <= 0, MPFR_RNDN);
        mpfr_mul(r17734, r17729, r17723, MPFR_RNDN);
        ;
        mpfr_set_si(r17736, mpfr_cmp(r17726, r17735) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r17738, r17737, r17737, MPFR_RNDN); mpfr_mul(r17738, r17738, r17737, MPFR_RNDN);
        mpfr_div(r17739, r17729, r17722, MPFR_RNDN);
        mpfr_div(r17740, r17737, r17721, MPFR_RNDN);
        mpfr_div(r17741, r17739, r17740, MPFR_RNDN);
        mpfr_mul(r17742, r17738, r17741, MPFR_RNDN);
        ;
        mpfr_set_si(r17744, mpfr_cmp(r17726, r17743) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r17744, MPFR_RNDN)) { mpfr_set(r17745, r17734, MPFR_RNDN); } else { mpfr_set(r17745, r17731, MPFR_RNDN); };
        if (mpfr_get_si(r17736, MPFR_RNDN)) { mpfr_set(r17746, r17742, MPFR_RNDN); } else { mpfr_set(r17746, r17745, MPFR_RNDN); };
        if (mpfr_get_si(r17733, MPFR_RNDN)) { mpfr_set(r17747, r17734, MPFR_RNDN); } else { mpfr_set(r17747, r17746, MPFR_RNDN); };
        if (mpfr_get_si(r17728, MPFR_RNDN)) { mpfr_set(r17748, r17731, MPFR_RNDN); } else { mpfr_set(r17748, r17747, MPFR_RNDN); };
        return mpfr_get_d(r17748, MPFR_RNDN);
}

static mpfr_t r17749, r17750, r17751, r17752, r17753, r17754, r17755, r17756, r17757, r17758, r17759, r17760, r17761, r17762, r17763, r17764, r17765, r17766, r17767, r17768, r17769, r17770, r17771, r17772, r17773, r17774, r17775, r17776;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17749);
        mpfr_init(r17750);
        mpfr_init(r17751);
        mpfr_init(r17752);
        mpfr_init(r17753);
        mpfr_init(r17754);
        mpfr_init_set_str(r17755, "-5.938455921460385e+294", 10, MPFR_RNDN);
        mpfr_init(r17756);
        mpfr_init(r17757);
        mpfr_init(r17758);
        mpfr_init(r17759);
        mpfr_init_set_str(r17760, "-2.5246727556762883e-296", 10, MPFR_RNDN);
        mpfr_init(r17761);
        mpfr_init(r17762);
        mpfr_init_set_str(r17763, "-0.0", 10, MPFR_RNDN);
        mpfr_init(r17764);
        mpfr_init_set_str(r17765, "1", 10, MPFR_RNDN);
        mpfr_init(r17766);
        mpfr_init(r17767);
        mpfr_init(r17768);
        mpfr_init(r17769);
        mpfr_init(r17770);
        mpfr_init_set_str(r17771, "4.257365925514436e+145", 10, MPFR_RNDN);
        mpfr_init(r17772);
        mpfr_init(r17773);
        mpfr_init(r17774);
        mpfr_init(r17775);
        mpfr_init(r17776);
}

double f_dm(double x, double y, double z, double t) {
        mpfr_set_d(r17749, y, MPFR_RNDN);
        mpfr_set_d(r17750, z, MPFR_RNDN);
        mpfr_div(r17751, r17749, r17750, MPFR_RNDN);
        mpfr_set_d(r17752, t, MPFR_RNDN);
        mpfr_mul(r17753, r17751, r17752, MPFR_RNDN);
        mpfr_div(r17754, r17753, r17752, MPFR_RNDN);
        ;
        mpfr_set_si(r17756, mpfr_cmp(r17754, r17755) <= 0, MPFR_RNDN);
        mpfr_set_d(r17757, x, MPFR_RNDN);
        mpfr_mul(r17758, r17749, r17757, MPFR_RNDN);
        mpfr_div(r17759, r17758, r17750, MPFR_RNDN);
        ;
        mpfr_set_si(r17761, mpfr_cmp(r17754, r17760) <= 0, MPFR_RNDN);
        mpfr_mul(r17762, r17757, r17751, MPFR_RNDN);
        ;
        mpfr_set_si(r17764, mpfr_cmp(r17754, r17763) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r17766, r17765, r17765, MPFR_RNDN); mpfr_mul(r17766, r17766, r17765, MPFR_RNDN);
        mpfr_div(r17767, r17757, r17750, MPFR_RNDN);
        mpfr_div(r17768, r17765, r17749, MPFR_RNDN);
        mpfr_div(r17769, r17767, r17768, MPFR_RNDN);
        mpfr_mul(r17770, r17766, r17769, MPFR_RNDN);
        ;
        mpfr_set_si(r17772, mpfr_cmp(r17754, r17771) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r17772, MPFR_RNDN)) { mpfr_set(r17773, r17762, MPFR_RNDN); } else { mpfr_set(r17773, r17759, MPFR_RNDN); };
        if (mpfr_get_si(r17764, MPFR_RNDN)) { mpfr_set(r17774, r17770, MPFR_RNDN); } else { mpfr_set(r17774, r17773, MPFR_RNDN); };
        if (mpfr_get_si(r17761, MPFR_RNDN)) { mpfr_set(r17775, r17762, MPFR_RNDN); } else { mpfr_set(r17775, r17774, MPFR_RNDN); };
        if (mpfr_get_si(r17756, MPFR_RNDN)) { mpfr_set(r17776, r17759, MPFR_RNDN); } else { mpfr_set(r17776, r17775, MPFR_RNDN); };
        return mpfr_get_d(r17776, MPFR_RNDN);
}

