#include #include #include #include #include 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 r17607 = x; float r17608 = y; float r17609 = z; float r17610 = r17608 - r17609; float r17611 = t; float r17612 = 1.0f; float r17613 = r17611 + r17612; float r17614 = r17613 - r17609; float r17615 = r17610 / r17614; float r17616 = a; float r17617 = r17616 - r17607; float r17618 = r17615 * r17617; float r17619 = r17607 + r17618; return r17619; } double f_id(double x, double y, double z, double t, double a) { double r17620 = x; double r17621 = y; double r17622 = z; double r17623 = r17621 - r17622; double r17624 = t; double r17625 = 1.0; double r17626 = r17624 + r17625; double r17627 = r17626 - r17622; double r17628 = r17623 / r17627; double r17629 = a; double r17630 = r17629 - r17620; double r17631 = r17628 * r17630; double r17632 = r17620 + r17631; return r17632; } double f_of(float x, float y, float z, float t, float a) { float r17633 = a; float r17634 = x; float r17635 = r17633 - r17634; float r17636 = y; float r17637 = z; float r17638 = r17636 - r17637; float r17639 = 1.0f; float r17640 = t; float r17641 = r17639 + r17640; float r17642 = r17641 - r17637; float r17643 = 1.0f; float r17644 = pow(r17642, r17643); float r17645 = r17638 / r17644; float r17646 = r17635 * r17645; float r17647 = r17646 + r17634; return r17647; } double f_od(double x, double y, double z, double t, double a) { double r17648 = a; double r17649 = x; double r17650 = r17648 - r17649; double r17651 = y; double r17652 = z; double r17653 = r17651 - r17652; double r17654 = 1.0; double r17655 = t; double r17656 = r17654 + r17655; double r17657 = r17656 - r17652; double r17658 = 1.0; double r17659 = pow(r17657, r17658); double r17660 = r17653 / r17659; double r17661 = r17650 * r17660; double r17662 = r17661 + r17649; return r17662; } 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 r17663, r17664, r17665, r17666, r17667, r17668, r17669, r17670, r17671, r17672, r17673, r17674, r17675; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17663); mpfr_init(r17664); mpfr_init(r17665); mpfr_init(r17666); mpfr_init(r17667); mpfr_init_set_str(r17668, "1.0", 10, MPFR_RNDN); mpfr_init(r17669); mpfr_init(r17670); mpfr_init(r17671); mpfr_init(r17672); mpfr_init(r17673); mpfr_init(r17674); mpfr_init(r17675); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r17663, x, MPFR_RNDN); mpfr_set_d(r17664, y, MPFR_RNDN); mpfr_set_d(r17665, z, MPFR_RNDN); mpfr_sub(r17666, r17664, r17665, MPFR_RNDN); mpfr_set_d(r17667, t, MPFR_RNDN); ; mpfr_add(r17669, r17667, r17668, MPFR_RNDN); mpfr_sub(r17670, r17669, r17665, MPFR_RNDN); mpfr_div(r17671, r17666, r17670, MPFR_RNDN); mpfr_set_d(r17672, a, MPFR_RNDN); mpfr_sub(r17673, r17672, r17663, MPFR_RNDN); mpfr_mul(r17674, r17671, r17673, MPFR_RNDN); mpfr_add(r17675, r17663, r17674, MPFR_RNDN); return mpfr_get_d(r17675, MPFR_RNDN); } static mpfr_t r17676, r17677, r17678, r17679, r17680, r17681, r17682, r17683, r17684, r17685, r17686, r17687, r17688, r17689, r17690; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17676); mpfr_init(r17677); mpfr_init(r17678); mpfr_init(r17679); mpfr_init(r17680); mpfr_init(r17681); mpfr_init_set_str(r17682, "1.0", 10, MPFR_RNDN); mpfr_init(r17683); mpfr_init(r17684); mpfr_init(r17685); mpfr_init_set_str(r17686, "1", 10, MPFR_RNDN); mpfr_init(r17687); mpfr_init(r17688); mpfr_init(r17689); mpfr_init(r17690); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r17676, a, MPFR_RNDN); mpfr_set_d(r17677, x, MPFR_RNDN); mpfr_sub(r17678, r17676, r17677, MPFR_RNDN); mpfr_set_d(r17679, y, MPFR_RNDN); mpfr_set_d(r17680, z, MPFR_RNDN); mpfr_sub(r17681, r17679, r17680, MPFR_RNDN); ; mpfr_set_d(r17683, t, MPFR_RNDN); mpfr_add(r17684, r17682, r17683, MPFR_RNDN); mpfr_sub(r17685, r17684, r17680, MPFR_RNDN); ; mpfr_pow(r17687, r17685, r17686, MPFR_RNDN); mpfr_div(r17688, r17681, r17687, MPFR_RNDN); mpfr_mul(r17689, r17678, r17688, MPFR_RNDN); mpfr_add(r17690, r17689, r17677, MPFR_RNDN); return mpfr_get_d(r17690, MPFR_RNDN); } static mpfr_t r17691, r17692, r17693, r17694, r17695, r17696, r17697, r17698, r17699, r17700, r17701, r17702, r17703, r17704, r17705; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17691); mpfr_init(r17692); mpfr_init(r17693); mpfr_init(r17694); mpfr_init(r17695); mpfr_init(r17696); mpfr_init_set_str(r17697, "1.0", 10, MPFR_RNDN); mpfr_init(r17698); mpfr_init(r17699); mpfr_init(r17700); mpfr_init_set_str(r17701, "1", 10, MPFR_RNDN); mpfr_init(r17702); mpfr_init(r17703); mpfr_init(r17704); mpfr_init(r17705); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r17691, a, MPFR_RNDN); mpfr_set_d(r17692, x, MPFR_RNDN); mpfr_sub(r17693, r17691, r17692, MPFR_RNDN); mpfr_set_d(r17694, y, MPFR_RNDN); mpfr_set_d(r17695, z, MPFR_RNDN); mpfr_sub(r17696, r17694, r17695, MPFR_RNDN); ; mpfr_set_d(r17698, t, MPFR_RNDN); mpfr_add(r17699, r17697, r17698, MPFR_RNDN); mpfr_sub(r17700, r17699, r17695, MPFR_RNDN); ; mpfr_pow(r17702, r17700, r17701, MPFR_RNDN); mpfr_div(r17703, r17696, r17702, MPFR_RNDN); mpfr_mul(r17704, r17693, r17703, MPFR_RNDN); mpfr_add(r17705, r17704, r17692, MPFR_RNDN); return mpfr_get_d(r17705, MPFR_RNDN); }