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

char *name = "Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3";

double f_if(float x, float y, float z, float t, float a) {
        float r17655 = x;
        float r17656 = y;
        float r17657 = z;
        float r17658 = r17656 - r17657;
        float r17659 = t;
        float r17660 = 1.0f;
        float r17661 = r17659 + r17660;
        float r17662 = r17661 - r17657;
        float r17663 = r17658 / r17662;
        float r17664 = a;
        float r17665 = r17664 - r17655;
        float r17666 = r17663 * r17665;
        float r17667 = r17655 + r17666;
        return r17667;
}

double f_id(double x, double y, double z, double t, double a) {
        double r17668 = x;
        double r17669 = y;
        double r17670 = z;
        double r17671 = r17669 - r17670;
        double r17672 = t;
        double r17673 = 1.0;
        double r17674 = r17672 + r17673;
        double r17675 = r17674 - r17670;
        double r17676 = r17671 / r17675;
        double r17677 = a;
        double r17678 = r17677 - r17668;
        double r17679 = r17676 * r17678;
        double r17680 = r17668 + r17679;
        return r17680;
}


double f_of(float x, float y, float z, float t, float a) {
        float r17681 = z;
        float r17682 = -5.1325224070800066e+179f;
        bool r17683 = r17681 <= r17682;
        float r17684 = x;
        float r17685 = a;
        float r17686 = r17684 - r17685;
        float r17687 = y;
        float r17688 = r17687 / r17681;
        float r17689 = fma(r17686, r17688, r17685);
        float r17690 = 2.0992353763185187e+175f;
        bool r17691 = r17681 <= r17690;
        float r17692 = r17685 - r17684;
        float r17693 = r17687 - r17681;
        float r17694 = 1.0f;
        float r17695 = t;
        float r17696 = r17694 + r17695;
        float r17697 = r17696 - r17681;
        float r17698 = r17693 / r17697;
        float r17699 = r17692 * r17698;
        float r17700 = r17699 + r17684;
        float r17701 = r17691 ? r17700 : r17689;
        float r17702 = r17683 ? r17689 : r17701;
        return r17702;
}

double f_od(double x, double y, double z, double t, double a) {
        double r17703 = z;
        double r17704 = -5.1325224070800066e+179;
        bool r17705 = r17703 <= r17704;
        double r17706 = x;
        double r17707 = a;
        double r17708 = r17706 - r17707;
        double r17709 = y;
        double r17710 = r17709 / r17703;
        double r17711 = fma(r17708, r17710, r17707);
        double r17712 = 2.0992353763185187e+175;
        bool r17713 = r17703 <= r17712;
        double r17714 = r17707 - r17706;
        double r17715 = r17709 - r17703;
        double r17716 = 1.0;
        double r17717 = t;
        double r17718 = r17716 + r17717;
        double r17719 = r17718 - r17703;
        double r17720 = r17715 / r17719;
        double r17721 = r17714 * r17720;
        double r17722 = r17721 + r17706;
        double r17723 = r17713 ? r17722 : r17711;
        double r17724 = r17705 ? r17711 : r17723;
        return r17724;
}

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 r17725, r17726, r17727, r17728, r17729, r17730, r17731, r17732, r17733, r17734, r17735, r17736, r17737;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17725);
        mpfr_init(r17726);
        mpfr_init(r17727);
        mpfr_init(r17728);
        mpfr_init(r17729);
        mpfr_init_set_str(r17730, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17731);
        mpfr_init(r17732);
        mpfr_init(r17733);
        mpfr_init(r17734);
        mpfr_init(r17735);
        mpfr_init(r17736);
        mpfr_init(r17737);
}

double f_im(double x, double y, double z, double t, double a) {
        mpfr_set_d(r17725, x, MPFR_RNDN);
        mpfr_set_d(r17726, y, MPFR_RNDN);
        mpfr_set_d(r17727, z, MPFR_RNDN);
        mpfr_sub(r17728, r17726, r17727, MPFR_RNDN);
        mpfr_set_d(r17729, t, MPFR_RNDN);
        ;
        mpfr_add(r17731, r17729, r17730, MPFR_RNDN);
        mpfr_sub(r17732, r17731, r17727, MPFR_RNDN);
        mpfr_div(r17733, r17728, r17732, MPFR_RNDN);
        mpfr_set_d(r17734, a, MPFR_RNDN);
        mpfr_sub(r17735, r17734, r17725, MPFR_RNDN);
        mpfr_mul(r17736, r17733, r17735, MPFR_RNDN);
        mpfr_add(r17737, r17725, r17736, MPFR_RNDN);
        return mpfr_get_d(r17737, MPFR_RNDN);
}

static mpfr_t r17738, r17739, r17740, r17741, r17742, r17743, r17744, r17745, r17746, r17747, r17748, r17749, r17750, r17751, r17752, r17753, r17754, r17755, r17756, r17757, r17758, r17759;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17738);
        mpfr_init_set_str(r17739, "-5.1325224070800066e+179", 10, MPFR_RNDN);
        mpfr_init(r17740);
        mpfr_init(r17741);
        mpfr_init(r17742);
        mpfr_init(r17743);
        mpfr_init(r17744);
        mpfr_init(r17745);
        mpfr_init(r17746);
        mpfr_init_set_str(r17747, "2.0992353763185187e+175", 10, MPFR_RNDN);
        mpfr_init(r17748);
        mpfr_init(r17749);
        mpfr_init(r17750);
        mpfr_init_set_str(r17751, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17752);
        mpfr_init(r17753);
        mpfr_init(r17754);
        mpfr_init(r17755);
        mpfr_init(r17756);
        mpfr_init(r17757);
        mpfr_init(r17758);
        mpfr_init(r17759);
}

double f_fm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r17738, z, MPFR_RNDN);
        ;
        mpfr_set_si(r17740, mpfr_cmp(r17738, r17739) <= 0, MPFR_RNDN);
        mpfr_set_d(r17741, x, MPFR_RNDN);
        mpfr_set_d(r17742, a, MPFR_RNDN);
        mpfr_sub(r17743, r17741, r17742, MPFR_RNDN);
        mpfr_set_d(r17744, y, MPFR_RNDN);
        mpfr_div(r17745, r17744, r17738, MPFR_RNDN);
        mpfr_fma(r17746, r17743, r17745, r17742, MPFR_RNDN);
        ;
        mpfr_set_si(r17748, mpfr_cmp(r17738, r17747) <= 0, MPFR_RNDN);
        mpfr_sub(r17749, r17742, r17741, MPFR_RNDN);
        mpfr_sub(r17750, r17744, r17738, MPFR_RNDN);
        ;
        mpfr_set_d(r17752, t, MPFR_RNDN);
        mpfr_add(r17753, r17751, r17752, MPFR_RNDN);
        mpfr_sub(r17754, r17753, r17738, MPFR_RNDN);
        mpfr_div(r17755, r17750, r17754, MPFR_RNDN);
        mpfr_mul(r17756, r17749, r17755, MPFR_RNDN);
        mpfr_add(r17757, r17756, r17741, MPFR_RNDN);
        if (mpfr_get_si(r17748, MPFR_RNDN)) { mpfr_set(r17758, r17757, MPFR_RNDN); } else { mpfr_set(r17758, r17746, MPFR_RNDN); };
        if (mpfr_get_si(r17740, MPFR_RNDN)) { mpfr_set(r17759, r17746, MPFR_RNDN); } else { mpfr_set(r17759, r17758, MPFR_RNDN); };
        return mpfr_get_d(r17759, MPFR_RNDN);
}

static mpfr_t r17760, r17761, r17762, r17763, r17764, r17765, r17766, r17767, r17768, r17769, r17770, r17771, r17772, r17773, r17774, r17775, r17776, r17777, r17778, r17779, r17780, r17781;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17760);
        mpfr_init_set_str(r17761, "-5.1325224070800066e+179", 10, MPFR_RNDN);
        mpfr_init(r17762);
        mpfr_init(r17763);
        mpfr_init(r17764);
        mpfr_init(r17765);
        mpfr_init(r17766);
        mpfr_init(r17767);
        mpfr_init(r17768);
        mpfr_init_set_str(r17769, "2.0992353763185187e+175", 10, MPFR_RNDN);
        mpfr_init(r17770);
        mpfr_init(r17771);
        mpfr_init(r17772);
        mpfr_init_set_str(r17773, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17774);
        mpfr_init(r17775);
        mpfr_init(r17776);
        mpfr_init(r17777);
        mpfr_init(r17778);
        mpfr_init(r17779);
        mpfr_init(r17780);
        mpfr_init(r17781);
}

double f_dm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r17760, z, MPFR_RNDN);
        ;
        mpfr_set_si(r17762, mpfr_cmp(r17760, r17761) <= 0, MPFR_RNDN);
        mpfr_set_d(r17763, x, MPFR_RNDN);
        mpfr_set_d(r17764, a, MPFR_RNDN);
        mpfr_sub(r17765, r17763, r17764, MPFR_RNDN);
        mpfr_set_d(r17766, y, MPFR_RNDN);
        mpfr_div(r17767, r17766, r17760, MPFR_RNDN);
        mpfr_fma(r17768, r17765, r17767, r17764, MPFR_RNDN);
        ;
        mpfr_set_si(r17770, mpfr_cmp(r17760, r17769) <= 0, MPFR_RNDN);
        mpfr_sub(r17771, r17764, r17763, MPFR_RNDN);
        mpfr_sub(r17772, r17766, r17760, MPFR_RNDN);
        ;
        mpfr_set_d(r17774, t, MPFR_RNDN);
        mpfr_add(r17775, r17773, r17774, MPFR_RNDN);
        mpfr_sub(r17776, r17775, r17760, MPFR_RNDN);
        mpfr_div(r17777, r17772, r17776, MPFR_RNDN);
        mpfr_mul(r17778, r17771, r17777, MPFR_RNDN);
        mpfr_add(r17779, r17778, r17763, MPFR_RNDN);
        if (mpfr_get_si(r17770, MPFR_RNDN)) { mpfr_set(r17780, r17779, MPFR_RNDN); } else { mpfr_set(r17780, r17768, MPFR_RNDN); };
        if (mpfr_get_si(r17762, MPFR_RNDN)) { mpfr_set(r17781, r17768, MPFR_RNDN); } else { mpfr_set(r17781, r17780, MPFR_RNDN); };
        return mpfr_get_d(r17781, MPFR_RNDN);
}