#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 r17935 = x;
        float r17936 = y;
        float r17937 = z;
        float r17938 = r17936 - r17937;
        float r17939 = t;
        float r17940 = 1.0f;
        float r17941 = r17939 + r17940;
        float r17942 = r17941 - r17937;
        float r17943 = r17938 / r17942;
        float r17944 = a;
        float r17945 = r17944 - r17935;
        float r17946 = r17943 * r17945;
        float r17947 = r17935 + r17946;
        return r17947;
}

double f_id(double x, double y, double z, double t, double a) {
        double r17948 = x;
        double r17949 = y;
        double r17950 = z;
        double r17951 = r17949 - r17950;
        double r17952 = t;
        double r17953 = 1.0;
        double r17954 = r17952 + r17953;
        double r17955 = r17954 - r17950;
        double r17956 = r17951 / r17955;
        double r17957 = a;
        double r17958 = r17957 - r17948;
        double r17959 = r17956 * r17958;
        double r17960 = r17948 + r17959;
        return r17960;
}


double f_of(float x, float y, float z, float t, float a) {
        float r17961 = z;
        float r17962 = -3.643176247714988e+162f;
        bool r17963 = r17961 <= r17962;
        float r17964 = x;
        float r17965 = a;
        float r17966 = r17964 - r17965;
        float r17967 = y;
        float r17968 = r17967 / r17961;
        float r17969 = fma(r17966, r17968, r17965);
        float r17970 = 5.903305365345926e+148f;
        bool r17971 = r17961 <= r17970;
        float r17972 = r17965 - r17964;
        float r17973 = 1.0f;
        float r17974 = 1.0f;
        float r17975 = t;
        float r17976 = r17974 + r17975;
        float r17977 = r17976 - r17961;
        float r17978 = r17967 - r17961;
        float r17979 = r17977 / r17978;
        float r17980 = r17973 / r17979;
        float r17981 = fma(r17972, r17980, r17964);
        float r17982 = r17971 ? r17981 : r17969;
        float r17983 = r17963 ? r17969 : r17982;
        return r17983;
}

double f_od(double x, double y, double z, double t, double a) {
        double r17984 = z;
        double r17985 = -3.643176247714988e+162;
        bool r17986 = r17984 <= r17985;
        double r17987 = x;
        double r17988 = a;
        double r17989 = r17987 - r17988;
        double r17990 = y;
        double r17991 = r17990 / r17984;
        double r17992 = fma(r17989, r17991, r17988);
        double r17993 = 5.903305365345926e+148;
        bool r17994 = r17984 <= r17993;
        double r17995 = r17988 - r17987;
        double r17996 = 1.0;
        double r17997 = 1.0;
        double r17998 = t;
        double r17999 = r17997 + r17998;
        double r18000 = r17999 - r17984;
        double r18001 = r17990 - r17984;
        double r18002 = r18000 / r18001;
        double r18003 = r17996 / r18002;
        double r18004 = fma(r17995, r18003, r17987);
        double r18005 = r17994 ? r18004 : r17992;
        double r18006 = r17986 ? r17992 : r18005;
        return r18006;
}

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 r18007, r18008, r18009, r18010, r18011, r18012, r18013, r18014, r18015, r18016, r18017, r18018, r18019;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r18007);
        mpfr_init(r18008);
        mpfr_init(r18009);
        mpfr_init(r18010);
        mpfr_init(r18011);
        mpfr_init_set_str(r18012, "1.0", 10, MPFR_RNDN);
        mpfr_init(r18013);
        mpfr_init(r18014);
        mpfr_init(r18015);
        mpfr_init(r18016);
        mpfr_init(r18017);
        mpfr_init(r18018);
        mpfr_init(r18019);
}

double f_im(double x, double y, double z, double t, double a) {
        mpfr_set_d(r18007, x, MPFR_RNDN);
        mpfr_set_d(r18008, y, MPFR_RNDN);
        mpfr_set_d(r18009, z, MPFR_RNDN);
        mpfr_sub(r18010, r18008, r18009, MPFR_RNDN);
        mpfr_set_d(r18011, t, MPFR_RNDN);
        ;
        mpfr_add(r18013, r18011, r18012, MPFR_RNDN);
        mpfr_sub(r18014, r18013, r18009, MPFR_RNDN);
        mpfr_div(r18015, r18010, r18014, MPFR_RNDN);
        mpfr_set_d(r18016, a, MPFR_RNDN);
        mpfr_sub(r18017, r18016, r18007, MPFR_RNDN);
        mpfr_mul(r18018, r18015, r18017, MPFR_RNDN);
        mpfr_add(r18019, r18007, r18018, MPFR_RNDN);
        return mpfr_get_d(r18019, MPFR_RNDN);
}

static mpfr_t r18020, r18021, r18022, r18023, r18024, r18025, r18026, r18027, r18028, r18029, r18030, r18031, r18032, r18033, r18034, r18035, r18036, r18037, r18038, r18039, r18040, r18041, r18042;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r18020);
        mpfr_init_set_str(r18021, "-3.643176247714988e+162", 10, MPFR_RNDN);
        mpfr_init(r18022);
        mpfr_init(r18023);
        mpfr_init(r18024);
        mpfr_init(r18025);
        mpfr_init(r18026);
        mpfr_init(r18027);
        mpfr_init(r18028);
        mpfr_init_set_str(r18029, "5.903305365345926e+148", 10, MPFR_RNDN);
        mpfr_init(r18030);
        mpfr_init(r18031);
        mpfr_init_set_str(r18032, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r18033, "1.0", 10, MPFR_RNDN);
        mpfr_init(r18034);
        mpfr_init(r18035);
        mpfr_init(r18036);
        mpfr_init(r18037);
        mpfr_init(r18038);
        mpfr_init(r18039);
        mpfr_init(r18040);
        mpfr_init(r18041);
        mpfr_init(r18042);
}

double f_fm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r18020, z, MPFR_RNDN);
        ;
        mpfr_set_si(r18022, mpfr_cmp(r18020, r18021) <= 0, MPFR_RNDN);
        mpfr_set_d(r18023, x, MPFR_RNDN);
        mpfr_set_d(r18024, a, MPFR_RNDN);
        mpfr_sub(r18025, r18023, r18024, MPFR_RNDN);
        mpfr_set_d(r18026, y, MPFR_RNDN);
        mpfr_div(r18027, r18026, r18020, MPFR_RNDN);
        mpfr_fma(r18028, r18025, r18027, r18024, MPFR_RNDN);
        ;
        mpfr_set_si(r18030, mpfr_cmp(r18020, r18029) <= 0, MPFR_RNDN);
        mpfr_sub(r18031, r18024, r18023, MPFR_RNDN);
        ;
        ;
        mpfr_set_d(r18034, t, MPFR_RNDN);
        mpfr_add(r18035, r18033, r18034, MPFR_RNDN);
        mpfr_sub(r18036, r18035, r18020, MPFR_RNDN);
        mpfr_sub(r18037, r18026, r18020, MPFR_RNDN);
        mpfr_div(r18038, r18036, r18037, MPFR_RNDN);
        mpfr_div(r18039, r18032, r18038, MPFR_RNDN);
        mpfr_fma(r18040, r18031, r18039, r18023, MPFR_RNDN);
        if (mpfr_get_si(r18030, MPFR_RNDN)) { mpfr_set(r18041, r18040, MPFR_RNDN); } else { mpfr_set(r18041, r18028, MPFR_RNDN); };
        if (mpfr_get_si(r18022, MPFR_RNDN)) { mpfr_set(r18042, r18028, MPFR_RNDN); } else { mpfr_set(r18042, r18041, MPFR_RNDN); };
        return mpfr_get_d(r18042, MPFR_RNDN);
}

static mpfr_t r18043, r18044, r18045, r18046, r18047, r18048, r18049, r18050, r18051, r18052, r18053, r18054, r18055, r18056, r18057, r18058, r18059, r18060, r18061, r18062, r18063, r18064, r18065;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r18043);
        mpfr_init_set_str(r18044, "-3.643176247714988e+162", 10, MPFR_RNDN);
        mpfr_init(r18045);
        mpfr_init(r18046);
        mpfr_init(r18047);
        mpfr_init(r18048);
        mpfr_init(r18049);
        mpfr_init(r18050);
        mpfr_init(r18051);
        mpfr_init_set_str(r18052, "5.903305365345926e+148", 10, MPFR_RNDN);
        mpfr_init(r18053);
        mpfr_init(r18054);
        mpfr_init_set_str(r18055, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r18056, "1.0", 10, MPFR_RNDN);
        mpfr_init(r18057);
        mpfr_init(r18058);
        mpfr_init(r18059);
        mpfr_init(r18060);
        mpfr_init(r18061);
        mpfr_init(r18062);
        mpfr_init(r18063);
        mpfr_init(r18064);
        mpfr_init(r18065);
}

double f_dm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r18043, z, MPFR_RNDN);
        ;
        mpfr_set_si(r18045, mpfr_cmp(r18043, r18044) <= 0, MPFR_RNDN);
        mpfr_set_d(r18046, x, MPFR_RNDN);
        mpfr_set_d(r18047, a, MPFR_RNDN);
        mpfr_sub(r18048, r18046, r18047, MPFR_RNDN);
        mpfr_set_d(r18049, y, MPFR_RNDN);
        mpfr_div(r18050, r18049, r18043, MPFR_RNDN);
        mpfr_fma(r18051, r18048, r18050, r18047, MPFR_RNDN);
        ;
        mpfr_set_si(r18053, mpfr_cmp(r18043, r18052) <= 0, MPFR_RNDN);
        mpfr_sub(r18054, r18047, r18046, MPFR_RNDN);
        ;
        ;
        mpfr_set_d(r18057, t, MPFR_RNDN);
        mpfr_add(r18058, r18056, r18057, MPFR_RNDN);
        mpfr_sub(r18059, r18058, r18043, MPFR_RNDN);
        mpfr_sub(r18060, r18049, r18043, MPFR_RNDN);
        mpfr_div(r18061, r18059, r18060, MPFR_RNDN);
        mpfr_div(r18062, r18055, r18061, MPFR_RNDN);
        mpfr_fma(r18063, r18054, r18062, r18046, MPFR_RNDN);
        if (mpfr_get_si(r18053, MPFR_RNDN)) { mpfr_set(r18064, r18063, MPFR_RNDN); } else { mpfr_set(r18064, r18051, MPFR_RNDN); };
        if (mpfr_get_si(r18045, MPFR_RNDN)) { mpfr_set(r18065, r18051, MPFR_RNDN); } else { mpfr_set(r18065, r18064, MPFR_RNDN); };
        return mpfr_get_d(r18065, MPFR_RNDN);
}