#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 r30161 = x;
        float r30162 = y;
        float r30163 = z;
        float r30164 = r30162 - r30163;
        float r30165 = t;
        float r30166 = 1.0f;
        float r30167 = r30165 + r30166;
        float r30168 = r30167 - r30163;
        float r30169 = r30164 / r30168;
        float r30170 = a;
        float r30171 = r30170 - r30161;
        float r30172 = r30169 * r30171;
        float r30173 = r30161 + r30172;
        return r30173;
}

double f_id(double x, double y, double z, double t, double a) {
        double r30174 = x;
        double r30175 = y;
        double r30176 = z;
        double r30177 = r30175 - r30176;
        double r30178 = t;
        double r30179 = 1.0;
        double r30180 = r30178 + r30179;
        double r30181 = r30180 - r30176;
        double r30182 = r30177 / r30181;
        double r30183 = a;
        double r30184 = r30183 - r30174;
        double r30185 = r30182 * r30184;
        double r30186 = r30174 + r30185;
        return r30186;
}


double f_of(float x, float y, float z, float t, float a) {
        float r30187 = z;
        float r30188 = -3.526581914863459e+226f;
        bool r30189 = r30187 <= r30188;
        float r30190 = a;
        float r30191 = y;
        float r30192 = r30191 / r30187;
        float r30193 = x;
        float r30194 = r30190 - r30193;
        float r30195 = r30192 * r30194;
        float r30196 = r30190 - r30195;
        float r30197 = 2.8945875003433984e+181f;
        bool r30198 = r30187 <= r30197;
        float r30199 = r30191 - r30187;
        float r30200 = 1.0f;
        float r30201 = t;
        float r30202 = r30200 + r30201;
        float r30203 = r30202 - r30187;
        float r30204 = r30194 / r30203;
        float r30205 = r30199 * r30204;
        float r30206 = r30193 + r30205;
        float r30207 = r30198 ? r30206 : r30196;
        float r30208 = r30189 ? r30196 : r30207;
        return r30208;
}

double f_od(double x, double y, double z, double t, double a) {
        double r30209 = z;
        double r30210 = -3.526581914863459e+226;
        bool r30211 = r30209 <= r30210;
        double r30212 = a;
        double r30213 = y;
        double r30214 = r30213 / r30209;
        double r30215 = x;
        double r30216 = r30212 - r30215;
        double r30217 = r30214 * r30216;
        double r30218 = r30212 - r30217;
        double r30219 = 2.8945875003433984e+181;
        bool r30220 = r30209 <= r30219;
        double r30221 = r30213 - r30209;
        double r30222 = 1.0;
        double r30223 = t;
        double r30224 = r30222 + r30223;
        double r30225 = r30224 - r30209;
        double r30226 = r30216 / r30225;
        double r30227 = r30221 * r30226;
        double r30228 = r30215 + r30227;
        double r30229 = r30220 ? r30228 : r30218;
        double r30230 = r30211 ? r30218 : r30229;
        return r30230;
}

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 r30231, r30232, r30233, r30234, r30235, r30236, r30237, r30238, r30239, r30240, r30241, r30242, r30243;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r30231);
        mpfr_init(r30232);
        mpfr_init(r30233);
        mpfr_init(r30234);
        mpfr_init(r30235);
        mpfr_init_set_str(r30236, "1.0", 10, MPFR_RNDN);
        mpfr_init(r30237);
        mpfr_init(r30238);
        mpfr_init(r30239);
        mpfr_init(r30240);
        mpfr_init(r30241);
        mpfr_init(r30242);
        mpfr_init(r30243);
}

double f_im(double x, double y, double z, double t, double a) {
        mpfr_set_d(r30231, x, MPFR_RNDN);
        mpfr_set_d(r30232, y, MPFR_RNDN);
        mpfr_set_d(r30233, z, MPFR_RNDN);
        mpfr_sub(r30234, r30232, r30233, MPFR_RNDN);
        mpfr_set_d(r30235, t, MPFR_RNDN);
        ;
        mpfr_add(r30237, r30235, r30236, MPFR_RNDN);
        mpfr_sub(r30238, r30237, r30233, MPFR_RNDN);
        mpfr_div(r30239, r30234, r30238, MPFR_RNDN);
        mpfr_set_d(r30240, a, MPFR_RNDN);
        mpfr_sub(r30241, r30240, r30231, MPFR_RNDN);
        mpfr_mul(r30242, r30239, r30241, MPFR_RNDN);
        mpfr_add(r30243, r30231, r30242, MPFR_RNDN);
        return mpfr_get_d(r30243, MPFR_RNDN);
}

static mpfr_t r30244, r30245, r30246, r30247, r30248, r30249, r30250, r30251, r30252, r30253, r30254, r30255, r30256, r30257, r30258, r30259, r30260, r30261, r30262, r30263, r30264, r30265;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r30244);
        mpfr_init_set_str(r30245, "-3.526581914863459e+226", 10, MPFR_RNDN);
        mpfr_init(r30246);
        mpfr_init(r30247);
        mpfr_init(r30248);
        mpfr_init(r30249);
        mpfr_init(r30250);
        mpfr_init(r30251);
        mpfr_init(r30252);
        mpfr_init(r30253);
        mpfr_init_set_str(r30254, "2.8945875003433984e+181", 10, MPFR_RNDN);
        mpfr_init(r30255);
        mpfr_init(r30256);
        mpfr_init_set_str(r30257, "1.0", 10, MPFR_RNDN);
        mpfr_init(r30258);
        mpfr_init(r30259);
        mpfr_init(r30260);
        mpfr_init(r30261);
        mpfr_init(r30262);
        mpfr_init(r30263);
        mpfr_init(r30264);
        mpfr_init(r30265);
}

double f_fm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r30244, z, MPFR_RNDN);
        ;
        mpfr_set_si(r30246, mpfr_cmp(r30244, r30245) <= 0, MPFR_RNDN);
        mpfr_set_d(r30247, a, MPFR_RNDN);
        mpfr_set_d(r30248, y, MPFR_RNDN);
        mpfr_div(r30249, r30248, r30244, MPFR_RNDN);
        mpfr_set_d(r30250, x, MPFR_RNDN);
        mpfr_sub(r30251, r30247, r30250, MPFR_RNDN);
        mpfr_mul(r30252, r30249, r30251, MPFR_RNDN);
        mpfr_sub(r30253, r30247, r30252, MPFR_RNDN);
        ;
        mpfr_set_si(r30255, mpfr_cmp(r30244, r30254) <= 0, MPFR_RNDN);
        mpfr_sub(r30256, r30248, r30244, MPFR_RNDN);
        ;
        mpfr_set_d(r30258, t, MPFR_RNDN);
        mpfr_add(r30259, r30257, r30258, MPFR_RNDN);
        mpfr_sub(r30260, r30259, r30244, MPFR_RNDN);
        mpfr_div(r30261, r30251, r30260, MPFR_RNDN);
        mpfr_mul(r30262, r30256, r30261, MPFR_RNDN);
        mpfr_add(r30263, r30250, r30262, MPFR_RNDN);
        if (mpfr_get_si(r30255, MPFR_RNDN)) { mpfr_set(r30264, r30263, MPFR_RNDN); } else { mpfr_set(r30264, r30253, MPFR_RNDN); };
        if (mpfr_get_si(r30246, MPFR_RNDN)) { mpfr_set(r30265, r30253, MPFR_RNDN); } else { mpfr_set(r30265, r30264, MPFR_RNDN); };
        return mpfr_get_d(r30265, MPFR_RNDN);
}

static mpfr_t r30266, r30267, r30268, r30269, r30270, r30271, r30272, r30273, r30274, r30275, r30276, r30277, r30278, r30279, r30280, r30281, r30282, r30283, r30284, r30285, r30286, r30287;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r30266);
        mpfr_init_set_str(r30267, "-3.526581914863459e+226", 10, MPFR_RNDN);
        mpfr_init(r30268);
        mpfr_init(r30269);
        mpfr_init(r30270);
        mpfr_init(r30271);
        mpfr_init(r30272);
        mpfr_init(r30273);
        mpfr_init(r30274);
        mpfr_init(r30275);
        mpfr_init_set_str(r30276, "2.8945875003433984e+181", 10, MPFR_RNDN);
        mpfr_init(r30277);
        mpfr_init(r30278);
        mpfr_init_set_str(r30279, "1.0", 10, MPFR_RNDN);
        mpfr_init(r30280);
        mpfr_init(r30281);
        mpfr_init(r30282);
        mpfr_init(r30283);
        mpfr_init(r30284);
        mpfr_init(r30285);
        mpfr_init(r30286);
        mpfr_init(r30287);
}

double f_dm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r30266, z, MPFR_RNDN);
        ;
        mpfr_set_si(r30268, mpfr_cmp(r30266, r30267) <= 0, MPFR_RNDN);
        mpfr_set_d(r30269, a, MPFR_RNDN);
        mpfr_set_d(r30270, y, MPFR_RNDN);
        mpfr_div(r30271, r30270, r30266, MPFR_RNDN);
        mpfr_set_d(r30272, x, MPFR_RNDN);
        mpfr_sub(r30273, r30269, r30272, MPFR_RNDN);
        mpfr_mul(r30274, r30271, r30273, MPFR_RNDN);
        mpfr_sub(r30275, r30269, r30274, MPFR_RNDN);
        ;
        mpfr_set_si(r30277, mpfr_cmp(r30266, r30276) <= 0, MPFR_RNDN);
        mpfr_sub(r30278, r30270, r30266, MPFR_RNDN);
        ;
        mpfr_set_d(r30280, t, MPFR_RNDN);
        mpfr_add(r30281, r30279, r30280, MPFR_RNDN);
        mpfr_sub(r30282, r30281, r30266, MPFR_RNDN);
        mpfr_div(r30283, r30273, r30282, MPFR_RNDN);
        mpfr_mul(r30284, r30278, r30283, MPFR_RNDN);
        mpfr_add(r30285, r30272, r30284, MPFR_RNDN);
        if (mpfr_get_si(r30277, MPFR_RNDN)) { mpfr_set(r30286, r30285, MPFR_RNDN); } else { mpfr_set(r30286, r30275, MPFR_RNDN); };
        if (mpfr_get_si(r30268, MPFR_RNDN)) { mpfr_set(r30287, r30275, MPFR_RNDN); } else { mpfr_set(r30287, r30286, MPFR_RNDN); };
        return mpfr_get_d(r30287, MPFR_RNDN);
}