#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 r46082 = x;
        float r46083 = y;
        float r46084 = z;
        float r46085 = r46083 - r46084;
        float r46086 = t;
        float r46087 = 1.0f;
        float r46088 = r46086 + r46087;
        float r46089 = r46088 - r46084;
        float r46090 = r46085 / r46089;
        float r46091 = a;
        float r46092 = r46091 - r46082;
        float r46093 = r46090 * r46092;
        float r46094 = r46082 + r46093;
        return r46094;
}

double f_id(double x, double y, double z, double t, double a) {
        double r46095 = x;
        double r46096 = y;
        double r46097 = z;
        double r46098 = r46096 - r46097;
        double r46099 = t;
        double r46100 = 1.0;
        double r46101 = r46099 + r46100;
        double r46102 = r46101 - r46097;
        double r46103 = r46098 / r46102;
        double r46104 = a;
        double r46105 = r46104 - r46095;
        double r46106 = r46103 * r46105;
        double r46107 = r46095 + r46106;
        return r46107;
}


double f_of(float x, float y, float z, float t, float a) {
        float r46108 = z;
        float r46109 = -3.526581914863459e+226f;
        bool r46110 = r46108 <= r46109;
        float r46111 = a;
        float r46112 = y;
        float r46113 = r46112 / r46108;
        float r46114 = x;
        float r46115 = r46111 - r46114;
        float r46116 = r46113 * r46115;
        float r46117 = r46111 - r46116;
        float r46118 = 2.8945875003433984e+181f;
        bool r46119 = r46108 <= r46118;
        float r46120 = r46112 - r46108;
        float r46121 = 1.0f;
        float r46122 = t;
        float r46123 = r46121 + r46122;
        float r46124 = r46123 - r46108;
        float r46125 = r46115 / r46124;
        float r46126 = r46120 * r46125;
        float r46127 = r46114 + r46126;
        float r46128 = r46119 ? r46127 : r46117;
        float r46129 = r46110 ? r46117 : r46128;
        return r46129;
}

double f_od(double x, double y, double z, double t, double a) {
        double r46130 = z;
        double r46131 = -3.526581914863459e+226;
        bool r46132 = r46130 <= r46131;
        double r46133 = a;
        double r46134 = y;
        double r46135 = r46134 / r46130;
        double r46136 = x;
        double r46137 = r46133 - r46136;
        double r46138 = r46135 * r46137;
        double r46139 = r46133 - r46138;
        double r46140 = 2.8945875003433984e+181;
        bool r46141 = r46130 <= r46140;
        double r46142 = r46134 - r46130;
        double r46143 = 1.0;
        double r46144 = t;
        double r46145 = r46143 + r46144;
        double r46146 = r46145 - r46130;
        double r46147 = r46137 / r46146;
        double r46148 = r46142 * r46147;
        double r46149 = r46136 + r46148;
        double r46150 = r46141 ? r46149 : r46139;
        double r46151 = r46132 ? r46139 : r46150;
        return r46151;
}

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 r46152, r46153, r46154, r46155, r46156, r46157, r46158, r46159, r46160, r46161, r46162, r46163, r46164;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r46152);
        mpfr_init(r46153);
        mpfr_init(r46154);
        mpfr_init(r46155);
        mpfr_init(r46156);
        mpfr_init_set_str(r46157, "1.0", 10, MPFR_RNDN);
        mpfr_init(r46158);
        mpfr_init(r46159);
        mpfr_init(r46160);
        mpfr_init(r46161);
        mpfr_init(r46162);
        mpfr_init(r46163);
        mpfr_init(r46164);
}

double f_im(double x, double y, double z, double t, double a) {
        mpfr_set_d(r46152, x, MPFR_RNDN);
        mpfr_set_d(r46153, y, MPFR_RNDN);
        mpfr_set_d(r46154, z, MPFR_RNDN);
        mpfr_sub(r46155, r46153, r46154, MPFR_RNDN);
        mpfr_set_d(r46156, t, MPFR_RNDN);
        ;
        mpfr_add(r46158, r46156, r46157, MPFR_RNDN);
        mpfr_sub(r46159, r46158, r46154, MPFR_RNDN);
        mpfr_div(r46160, r46155, r46159, MPFR_RNDN);
        mpfr_set_d(r46161, a, MPFR_RNDN);
        mpfr_sub(r46162, r46161, r46152, MPFR_RNDN);
        mpfr_mul(r46163, r46160, r46162, MPFR_RNDN);
        mpfr_add(r46164, r46152, r46163, MPFR_RNDN);
        return mpfr_get_d(r46164, MPFR_RNDN);
}

static mpfr_t r46165, r46166, r46167, r46168, r46169, r46170, r46171, r46172, r46173, r46174, r46175, r46176, r46177, r46178, r46179, r46180, r46181, r46182, r46183, r46184, r46185, r46186;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r46165);
        mpfr_init_set_str(r46166, "-3.526581914863459e+226", 10, MPFR_RNDN);
        mpfr_init(r46167);
        mpfr_init(r46168);
        mpfr_init(r46169);
        mpfr_init(r46170);
        mpfr_init(r46171);
        mpfr_init(r46172);
        mpfr_init(r46173);
        mpfr_init(r46174);
        mpfr_init_set_str(r46175, "2.8945875003433984e+181", 10, MPFR_RNDN);
        mpfr_init(r46176);
        mpfr_init(r46177);
        mpfr_init_set_str(r46178, "1.0", 10, MPFR_RNDN);
        mpfr_init(r46179);
        mpfr_init(r46180);
        mpfr_init(r46181);
        mpfr_init(r46182);
        mpfr_init(r46183);
        mpfr_init(r46184);
        mpfr_init(r46185);
        mpfr_init(r46186);
}

double f_fm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r46165, z, MPFR_RNDN);
        ;
        mpfr_set_si(r46167, mpfr_cmp(r46165, r46166) <= 0, MPFR_RNDN);
        mpfr_set_d(r46168, a, MPFR_RNDN);
        mpfr_set_d(r46169, y, MPFR_RNDN);
        mpfr_div(r46170, r46169, r46165, MPFR_RNDN);
        mpfr_set_d(r46171, x, MPFR_RNDN);
        mpfr_sub(r46172, r46168, r46171, MPFR_RNDN);
        mpfr_mul(r46173, r46170, r46172, MPFR_RNDN);
        mpfr_sub(r46174, r46168, r46173, MPFR_RNDN);
        ;
        mpfr_set_si(r46176, mpfr_cmp(r46165, r46175) <= 0, MPFR_RNDN);
        mpfr_sub(r46177, r46169, r46165, MPFR_RNDN);
        ;
        mpfr_set_d(r46179, t, MPFR_RNDN);
        mpfr_add(r46180, r46178, r46179, MPFR_RNDN);
        mpfr_sub(r46181, r46180, r46165, MPFR_RNDN);
        mpfr_div(r46182, r46172, r46181, MPFR_RNDN);
        mpfr_mul(r46183, r46177, r46182, MPFR_RNDN);
        mpfr_add(r46184, r46171, r46183, MPFR_RNDN);
        if (mpfr_get_si(r46176, MPFR_RNDN)) { mpfr_set(r46185, r46184, MPFR_RNDN); } else { mpfr_set(r46185, r46174, MPFR_RNDN); };
        if (mpfr_get_si(r46167, MPFR_RNDN)) { mpfr_set(r46186, r46174, MPFR_RNDN); } else { mpfr_set(r46186, r46185, MPFR_RNDN); };
        return mpfr_get_d(r46186, MPFR_RNDN);
}

static mpfr_t r46187, r46188, r46189, r46190, r46191, r46192, r46193, r46194, r46195, r46196, r46197, r46198, r46199, r46200, r46201, r46202, r46203, r46204, r46205, r46206, r46207, r46208;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r46187);
        mpfr_init_set_str(r46188, "-3.526581914863459e+226", 10, MPFR_RNDN);
        mpfr_init(r46189);
        mpfr_init(r46190);
        mpfr_init(r46191);
        mpfr_init(r46192);
        mpfr_init(r46193);
        mpfr_init(r46194);
        mpfr_init(r46195);
        mpfr_init(r46196);
        mpfr_init_set_str(r46197, "2.8945875003433984e+181", 10, MPFR_RNDN);
        mpfr_init(r46198);
        mpfr_init(r46199);
        mpfr_init_set_str(r46200, "1.0", 10, MPFR_RNDN);
        mpfr_init(r46201);
        mpfr_init(r46202);
        mpfr_init(r46203);
        mpfr_init(r46204);
        mpfr_init(r46205);
        mpfr_init(r46206);
        mpfr_init(r46207);
        mpfr_init(r46208);
}

double f_dm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r46187, z, MPFR_RNDN);
        ;
        mpfr_set_si(r46189, mpfr_cmp(r46187, r46188) <= 0, MPFR_RNDN);
        mpfr_set_d(r46190, a, MPFR_RNDN);
        mpfr_set_d(r46191, y, MPFR_RNDN);
        mpfr_div(r46192, r46191, r46187, MPFR_RNDN);
        mpfr_set_d(r46193, x, MPFR_RNDN);
        mpfr_sub(r46194, r46190, r46193, MPFR_RNDN);
        mpfr_mul(r46195, r46192, r46194, MPFR_RNDN);
        mpfr_sub(r46196, r46190, r46195, MPFR_RNDN);
        ;
        mpfr_set_si(r46198, mpfr_cmp(r46187, r46197) <= 0, MPFR_RNDN);
        mpfr_sub(r46199, r46191, r46187, MPFR_RNDN);
        ;
        mpfr_set_d(r46201, t, MPFR_RNDN);
        mpfr_add(r46202, r46200, r46201, MPFR_RNDN);
        mpfr_sub(r46203, r46202, r46187, MPFR_RNDN);
        mpfr_div(r46204, r46194, r46203, MPFR_RNDN);
        mpfr_mul(r46205, r46199, r46204, MPFR_RNDN);
        mpfr_add(r46206, r46193, r46205, MPFR_RNDN);
        if (mpfr_get_si(r46198, MPFR_RNDN)) { mpfr_set(r46207, r46206, MPFR_RNDN); } else { mpfr_set(r46207, r46196, MPFR_RNDN); };
        if (mpfr_get_si(r46189, MPFR_RNDN)) { mpfr_set(r46208, r46196, MPFR_RNDN); } else { mpfr_set(r46208, r46207, MPFR_RNDN); };
        return mpfr_get_d(r46208, MPFR_RNDN);
}