#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 = a;
        float r17682 = x;
        float r17683 = r17681 - r17682;
        float r17684 = y;
        float r17685 = 1.0f;
        float r17686 = t;
        float r17687 = r17685 + r17686;
        float r17688 = z;
        float r17689 = r17687 - r17688;
        float r17690 = r17684 / r17689;
        float r17691 = r17688 / r17689;
        float r17692 = r17690 - r17691;
        float r17693 = fma(r17683, r17692, r17682);
        return r17693;
}

double f_od(double x, double y, double z, double t, double a) {
        double r17694 = a;
        double r17695 = x;
        double r17696 = r17694 - r17695;
        double r17697 = y;
        double r17698 = 1.0;
        double r17699 = t;
        double r17700 = r17698 + r17699;
        double r17701 = z;
        double r17702 = r17700 - r17701;
        double r17703 = r17697 / r17702;
        double r17704 = r17701 / r17702;
        double r17705 = r17703 - r17704;
        double r17706 = fma(r17696, r17705, r17695);
        return r17706;
}

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 r17707, r17708, r17709, r17710, r17711, r17712, r17713, r17714, r17715, r17716, r17717, r17718, r17719;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17707);
        mpfr_init(r17708);
        mpfr_init(r17709);
        mpfr_init(r17710);
        mpfr_init(r17711);
        mpfr_init_set_str(r17712, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17713);
        mpfr_init(r17714);
        mpfr_init(r17715);
        mpfr_init(r17716);
        mpfr_init(r17717);
        mpfr_init(r17718);
        mpfr_init(r17719);
}

double f_im(double x, double y, double z, double t, double a) {
        mpfr_set_d(r17707, x, MPFR_RNDN);
        mpfr_set_d(r17708, y, MPFR_RNDN);
        mpfr_set_d(r17709, z, MPFR_RNDN);
        mpfr_sub(r17710, r17708, r17709, MPFR_RNDN);
        mpfr_set_d(r17711, t, MPFR_RNDN);
        ;
        mpfr_add(r17713, r17711, r17712, MPFR_RNDN);
        mpfr_sub(r17714, r17713, r17709, MPFR_RNDN);
        mpfr_div(r17715, r17710, r17714, MPFR_RNDN);
        mpfr_set_d(r17716, a, MPFR_RNDN);
        mpfr_sub(r17717, r17716, r17707, MPFR_RNDN);
        mpfr_mul(r17718, r17715, r17717, MPFR_RNDN);
        mpfr_add(r17719, r17707, r17718, MPFR_RNDN);
        return mpfr_get_d(r17719, MPFR_RNDN);
}

static mpfr_t r17720, r17721, r17722, r17723, r17724, r17725, r17726, r17727, r17728, r17729, r17730, r17731, r17732;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17720);
        mpfr_init(r17721);
        mpfr_init(r17722);
        mpfr_init(r17723);
        mpfr_init_set_str(r17724, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17725);
        mpfr_init(r17726);
        mpfr_init(r17727);
        mpfr_init(r17728);
        mpfr_init(r17729);
        mpfr_init(r17730);
        mpfr_init(r17731);
        mpfr_init(r17732);
}

double f_fm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r17720, a, MPFR_RNDN);
        mpfr_set_d(r17721, x, MPFR_RNDN);
        mpfr_sub(r17722, r17720, r17721, MPFR_RNDN);
        mpfr_set_d(r17723, y, MPFR_RNDN);
        ;
        mpfr_set_d(r17725, t, MPFR_RNDN);
        mpfr_add(r17726, r17724, r17725, MPFR_RNDN);
        mpfr_set_d(r17727, z, MPFR_RNDN);
        mpfr_sub(r17728, r17726, r17727, MPFR_RNDN);
        mpfr_div(r17729, r17723, r17728, MPFR_RNDN);
        mpfr_div(r17730, r17727, r17728, MPFR_RNDN);
        mpfr_sub(r17731, r17729, r17730, MPFR_RNDN);
        mpfr_fma(r17732, r17722, r17731, r17721, MPFR_RNDN);
        return mpfr_get_d(r17732, MPFR_RNDN);
}

static mpfr_t r17733, r17734, r17735, r17736, r17737, r17738, r17739, r17740, r17741, r17742, r17743, r17744, r17745;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17733);
        mpfr_init(r17734);
        mpfr_init(r17735);
        mpfr_init(r17736);
        mpfr_init_set_str(r17737, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17738);
        mpfr_init(r17739);
        mpfr_init(r17740);
        mpfr_init(r17741);
        mpfr_init(r17742);
        mpfr_init(r17743);
        mpfr_init(r17744);
        mpfr_init(r17745);
}

double f_dm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r17733, a, MPFR_RNDN);
        mpfr_set_d(r17734, x, MPFR_RNDN);
        mpfr_sub(r17735, r17733, r17734, MPFR_RNDN);
        mpfr_set_d(r17736, y, MPFR_RNDN);
        ;
        mpfr_set_d(r17738, t, MPFR_RNDN);
        mpfr_add(r17739, r17737, r17738, MPFR_RNDN);
        mpfr_set_d(r17740, z, MPFR_RNDN);
        mpfr_sub(r17741, r17739, r17740, MPFR_RNDN);
        mpfr_div(r17742, r17736, r17741, MPFR_RNDN);
        mpfr_div(r17743, r17740, r17741, MPFR_RNDN);
        mpfr_sub(r17744, r17742, r17743, MPFR_RNDN);
        mpfr_fma(r17745, r17735, r17744, r17734, MPFR_RNDN);
        return mpfr_get_d(r17745, MPFR_RNDN);
}