#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 r17446 = x;
        float r17447 = y;
        float r17448 = z;
        float r17449 = r17447 - r17448;
        float r17450 = t;
        float r17451 = 1.0f;
        float r17452 = r17450 + r17451;
        float r17453 = r17452 - r17448;
        float r17454 = r17449 / r17453;
        float r17455 = a;
        float r17456 = r17455 - r17446;
        float r17457 = r17454 * r17456;
        float r17458 = r17446 + r17457;
        return r17458;
}

double f_id(double x, double y, double z, double t, double a) {
        double r17459 = x;
        double r17460 = y;
        double r17461 = z;
        double r17462 = r17460 - r17461;
        double r17463 = t;
        double r17464 = 1.0;
        double r17465 = r17463 + r17464;
        double r17466 = r17465 - r17461;
        double r17467 = r17462 / r17466;
        double r17468 = a;
        double r17469 = r17468 - r17459;
        double r17470 = r17467 * r17469;
        double r17471 = r17459 + r17470;
        return r17471;
}


double f_of(float x, float y, float z, float t, float a) {
        float r17472 = z;
        float r17473 = -1.856694460156845e+172f;
        bool r17474 = r17472 <= r17473;
        float r17475 = a;
        float r17476 = y;
        float r17477 = r17476 / r17472;
        float r17478 = x;
        float r17479 = r17478 - r17475;
        float r17480 = r17477 * r17479;
        float r17481 = r17475 + r17480;
        float r17482 = 3.159981482367044e+186f;
        bool r17483 = r17472 <= r17482;
        float r17484 = r17476 - r17472;
        float r17485 = t;
        float r17486 = 1.0f;
        float r17487 = r17485 + r17486;
        float r17488 = r17487 - r17472;
        float r17489 = r17484 / r17488;
        float r17490 = r17489 * r17475;
        float r17491 = r17478 + r17490;
        float r17492 = -r17478;
        float r17493 = r17489 * r17492;
        float r17494 = r17491 + r17493;
        float r17495 = r17483 ? r17494 : r17481;
        float r17496 = r17474 ? r17481 : r17495;
        return r17496;
}

double f_od(double x, double y, double z, double t, double a) {
        double r17497 = z;
        double r17498 = -1.856694460156845e+172;
        bool r17499 = r17497 <= r17498;
        double r17500 = a;
        double r17501 = y;
        double r17502 = r17501 / r17497;
        double r17503 = x;
        double r17504 = r17503 - r17500;
        double r17505 = r17502 * r17504;
        double r17506 = r17500 + r17505;
        double r17507 = 3.159981482367044e+186;
        bool r17508 = r17497 <= r17507;
        double r17509 = r17501 - r17497;
        double r17510 = t;
        double r17511 = 1.0;
        double r17512 = r17510 + r17511;
        double r17513 = r17512 - r17497;
        double r17514 = r17509 / r17513;
        double r17515 = r17514 * r17500;
        double r17516 = r17503 + r17515;
        double r17517 = -r17503;
        double r17518 = r17514 * r17517;
        double r17519 = r17516 + r17518;
        double r17520 = r17508 ? r17519 : r17506;
        double r17521 = r17499 ? r17506 : r17520;
        return r17521;
}

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 r17522, r17523, r17524, r17525, r17526, r17527, r17528, r17529, r17530, r17531, r17532, r17533, r17534;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17522);
        mpfr_init(r17523);
        mpfr_init(r17524);
        mpfr_init(r17525);
        mpfr_init(r17526);
        mpfr_init_set_str(r17527, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17528);
        mpfr_init(r17529);
        mpfr_init(r17530);
        mpfr_init(r17531);
        mpfr_init(r17532);
        mpfr_init(r17533);
        mpfr_init(r17534);
}

double f_im(double x, double y, double z, double t, double a) {
        mpfr_set_d(r17522, x, MPFR_RNDN);
        mpfr_set_d(r17523, y, MPFR_RNDN);
        mpfr_set_d(r17524, z, MPFR_RNDN);
        mpfr_sub(r17525, r17523, r17524, MPFR_RNDN);
        mpfr_set_d(r17526, t, MPFR_RNDN);
        ;
        mpfr_add(r17528, r17526, r17527, MPFR_RNDN);
        mpfr_sub(r17529, r17528, r17524, MPFR_RNDN);
        mpfr_div(r17530, r17525, r17529, MPFR_RNDN);
        mpfr_set_d(r17531, a, MPFR_RNDN);
        mpfr_sub(r17532, r17531, r17522, MPFR_RNDN);
        mpfr_mul(r17533, r17530, r17532, MPFR_RNDN);
        mpfr_add(r17534, r17522, r17533, MPFR_RNDN);
        return mpfr_get_d(r17534, MPFR_RNDN);
}

static mpfr_t r17535, r17536, r17537, r17538, r17539, r17540, r17541, r17542, r17543, r17544, r17545, r17546, r17547, r17548, r17549, r17550, r17551, r17552, r17553, r17554, r17555, r17556, r17557, r17558, r17559;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17535);
        mpfr_init_set_str(r17536, "-1.856694460156845e+172", 10, MPFR_RNDN);
        mpfr_init(r17537);
        mpfr_init(r17538);
        mpfr_init(r17539);
        mpfr_init(r17540);
        mpfr_init(r17541);
        mpfr_init(r17542);
        mpfr_init(r17543);
        mpfr_init(r17544);
        mpfr_init_set_str(r17545, "3.159981482367044e+186", 10, MPFR_RNDN);
        mpfr_init(r17546);
        mpfr_init(r17547);
        mpfr_init(r17548);
        mpfr_init_set_str(r17549, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17550);
        mpfr_init(r17551);
        mpfr_init(r17552);
        mpfr_init(r17553);
        mpfr_init(r17554);
        mpfr_init(r17555);
        mpfr_init(r17556);
        mpfr_init(r17557);
        mpfr_init(r17558);
        mpfr_init(r17559);
}

double f_fm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r17535, z, MPFR_RNDN);
        ;
        mpfr_set_si(r17537, mpfr_cmp(r17535, r17536) <= 0, MPFR_RNDN);
        mpfr_set_d(r17538, a, MPFR_RNDN);
        mpfr_set_d(r17539, y, MPFR_RNDN);
        mpfr_div(r17540, r17539, r17535, MPFR_RNDN);
        mpfr_set_d(r17541, x, MPFR_RNDN);
        mpfr_sub(r17542, r17541, r17538, MPFR_RNDN);
        mpfr_mul(r17543, r17540, r17542, MPFR_RNDN);
        mpfr_add(r17544, r17538, r17543, MPFR_RNDN);
        ;
        mpfr_set_si(r17546, mpfr_cmp(r17535, r17545) <= 0, MPFR_RNDN);
        mpfr_sub(r17547, r17539, r17535, MPFR_RNDN);
        mpfr_set_d(r17548, t, MPFR_RNDN);
        ;
        mpfr_add(r17550, r17548, r17549, MPFR_RNDN);
        mpfr_sub(r17551, r17550, r17535, MPFR_RNDN);
        mpfr_div(r17552, r17547, r17551, MPFR_RNDN);
        mpfr_mul(r17553, r17552, r17538, MPFR_RNDN);
        mpfr_add(r17554, r17541, r17553, MPFR_RNDN);
        mpfr_neg(r17555, r17541, MPFR_RNDN);
        mpfr_mul(r17556, r17552, r17555, MPFR_RNDN);
        mpfr_add(r17557, r17554, r17556, MPFR_RNDN);
        if (mpfr_get_si(r17546, MPFR_RNDN)) { mpfr_set(r17558, r17557, MPFR_RNDN); } else { mpfr_set(r17558, r17544, MPFR_RNDN); };
        if (mpfr_get_si(r17537, MPFR_RNDN)) { mpfr_set(r17559, r17544, MPFR_RNDN); } else { mpfr_set(r17559, r17558, MPFR_RNDN); };
        return mpfr_get_d(r17559, MPFR_RNDN);
}

static mpfr_t r17560, r17561, r17562, r17563, r17564, r17565, r17566, r17567, r17568, r17569, r17570, r17571, r17572, r17573, r17574, r17575, r17576, r17577, r17578, r17579, r17580, r17581, r17582, r17583, r17584;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17560);
        mpfr_init_set_str(r17561, "-1.856694460156845e+172", 10, MPFR_RNDN);
        mpfr_init(r17562);
        mpfr_init(r17563);
        mpfr_init(r17564);
        mpfr_init(r17565);
        mpfr_init(r17566);
        mpfr_init(r17567);
        mpfr_init(r17568);
        mpfr_init(r17569);
        mpfr_init_set_str(r17570, "3.159981482367044e+186", 10, MPFR_RNDN);
        mpfr_init(r17571);
        mpfr_init(r17572);
        mpfr_init(r17573);
        mpfr_init_set_str(r17574, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17575);
        mpfr_init(r17576);
        mpfr_init(r17577);
        mpfr_init(r17578);
        mpfr_init(r17579);
        mpfr_init(r17580);
        mpfr_init(r17581);
        mpfr_init(r17582);
        mpfr_init(r17583);
        mpfr_init(r17584);
}

double f_dm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r17560, z, MPFR_RNDN);
        ;
        mpfr_set_si(r17562, mpfr_cmp(r17560, r17561) <= 0, MPFR_RNDN);
        mpfr_set_d(r17563, a, MPFR_RNDN);
        mpfr_set_d(r17564, y, MPFR_RNDN);
        mpfr_div(r17565, r17564, r17560, MPFR_RNDN);
        mpfr_set_d(r17566, x, MPFR_RNDN);
        mpfr_sub(r17567, r17566, r17563, MPFR_RNDN);
        mpfr_mul(r17568, r17565, r17567, MPFR_RNDN);
        mpfr_add(r17569, r17563, r17568, MPFR_RNDN);
        ;
        mpfr_set_si(r17571, mpfr_cmp(r17560, r17570) <= 0, MPFR_RNDN);
        mpfr_sub(r17572, r17564, r17560, MPFR_RNDN);
        mpfr_set_d(r17573, t, MPFR_RNDN);
        ;
        mpfr_add(r17575, r17573, r17574, MPFR_RNDN);
        mpfr_sub(r17576, r17575, r17560, MPFR_RNDN);
        mpfr_div(r17577, r17572, r17576, MPFR_RNDN);
        mpfr_mul(r17578, r17577, r17563, MPFR_RNDN);
        mpfr_add(r17579, r17566, r17578, MPFR_RNDN);
        mpfr_neg(r17580, r17566, MPFR_RNDN);
        mpfr_mul(r17581, r17577, r17580, MPFR_RNDN);
        mpfr_add(r17582, r17579, r17581, MPFR_RNDN);
        if (mpfr_get_si(r17571, MPFR_RNDN)) { mpfr_set(r17583, r17582, MPFR_RNDN); } else { mpfr_set(r17583, r17569, MPFR_RNDN); };
        if (mpfr_get_si(r17562, MPFR_RNDN)) { mpfr_set(r17584, r17569, MPFR_RNDN); } else { mpfr_set(r17584, r17583, MPFR_RNDN); };
        return mpfr_get_d(r17584, MPFR_RNDN);
}