#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 r17587 = x; float r17588 = y; float r17589 = z; float r17590 = r17588 - r17589; float r17591 = t; float r17592 = 1.0f; float r17593 = r17591 + r17592; float r17594 = r17593 - r17589; float r17595 = r17590 / r17594; float r17596 = a; float r17597 = r17596 - r17587; float r17598 = r17595 * r17597; float r17599 = r17587 + r17598; return r17599; } double f_id(double x, double y, double z, double t, double a) { double r17600 = x; double r17601 = y; double r17602 = z; double r17603 = r17601 - r17602; double r17604 = t; double r17605 = 1.0; double r17606 = r17604 + r17605; double r17607 = r17606 - r17602; double r17608 = r17603 / r17607; double r17609 = a; double r17610 = r17609 - r17600; double r17611 = r17608 * r17610; double r17612 = r17600 + r17611; return r17612; } double f_of(float x, float y, float z, float t, float a) { float r17613 = x; float r17614 = y; float r17615 = z; float r17616 = r17614 - r17615; float r17617 = t; float r17618 = 1.0f; float r17619 = r17617 + r17618; float r17620 = r17619 - r17615; float r17621 = r17616 / r17620; float r17622 = a; float r17623 = r17622 - r17613; float r17624 = r17621 * r17623; float r17625 = r17613 + r17624; float r17626 = -9.801559457053578e-37f; bool r17627 = r17625 <= r17626; float r17628 = r17618 + r17617; float r17629 = r17628 - r17615; float r17630 = 1.0f; float r17631 = pow(r17629, r17630); float r17632 = r17616 / r17631; float r17633 = r17623 * r17632; float r17634 = r17633 + r17613; float r17635 = 2.1036341591890405e-38f; bool r17636 = r17625 <= r17635; float r17637 = r17613 - r17622; float r17638 = r17614 / r17615; float r17639 = fma(r17637, r17638, r17622); float r17640 = r17636 ? r17639 : r17634; float r17641 = r17627 ? r17634 : r17640; return r17641; } double f_od(double x, double y, double z, double t, double a) { double r17642 = x; double r17643 = y; double r17644 = z; double r17645 = r17643 - r17644; double r17646 = t; double r17647 = 1.0; double r17648 = r17646 + r17647; double r17649 = r17648 - r17644; double r17650 = r17645 / r17649; double r17651 = a; double r17652 = r17651 - r17642; double r17653 = r17650 * r17652; double r17654 = r17642 + r17653; double r17655 = -9.801559457053578e-37; bool r17656 = r17654 <= r17655; double r17657 = r17647 + r17646; double r17658 = r17657 - r17644; double r17659 = 1.0; double r17660 = pow(r17658, r17659); double r17661 = r17645 / r17660; double r17662 = r17652 * r17661; double r17663 = r17662 + r17642; double r17664 = 2.1036341591890405e-38; bool r17665 = r17654 <= r17664; double r17666 = r17642 - r17651; double r17667 = r17643 / r17644; double r17668 = fma(r17666, r17667, r17651); double r17669 = r17665 ? r17668 : r17663; double r17670 = r17656 ? r17663 : r17669; return r17670; } 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 r17671, r17672, r17673, r17674, r17675, r17676, r17677, r17678, r17679, r17680, r17681, r17682, r17683; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17671); mpfr_init(r17672); mpfr_init(r17673); mpfr_init(r17674); mpfr_init(r17675); mpfr_init_set_str(r17676, "1.0", 10, MPFR_RNDN); mpfr_init(r17677); mpfr_init(r17678); mpfr_init(r17679); mpfr_init(r17680); mpfr_init(r17681); mpfr_init(r17682); mpfr_init(r17683); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r17671, x, MPFR_RNDN); mpfr_set_d(r17672, y, MPFR_RNDN); mpfr_set_d(r17673, z, MPFR_RNDN); mpfr_sub(r17674, r17672, r17673, MPFR_RNDN); mpfr_set_d(r17675, t, MPFR_RNDN); ; mpfr_add(r17677, r17675, r17676, MPFR_RNDN); mpfr_sub(r17678, r17677, r17673, MPFR_RNDN); mpfr_div(r17679, r17674, r17678, MPFR_RNDN); mpfr_set_d(r17680, a, MPFR_RNDN); mpfr_sub(r17681, r17680, r17671, MPFR_RNDN); mpfr_mul(r17682, r17679, r17681, MPFR_RNDN); mpfr_add(r17683, r17671, r17682, MPFR_RNDN); return mpfr_get_d(r17683, MPFR_RNDN); } static mpfr_t r17684, r17685, r17686, r17687, r17688, r17689, r17690, r17691, r17692, r17693, r17694, r17695, r17696, r17697, r17698, r17699, r17700, r17701, r17702, r17703, r17704, r17705, r17706, r17707, r17708, r17709, r17710, r17711, r17712; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17684); mpfr_init(r17685); mpfr_init(r17686); mpfr_init(r17687); mpfr_init(r17688); mpfr_init_set_str(r17689, "1.0", 10, MPFR_RNDN); mpfr_init(r17690); mpfr_init(r17691); mpfr_init(r17692); mpfr_init(r17693); mpfr_init(r17694); mpfr_init(r17695); mpfr_init(r17696); mpfr_init_set_str(r17697, "-9.8015595f-37", 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); mpfr_init_set_str(r17706, "2.1036342f-38", 10, MPFR_RNDN); mpfr_init(r17707); mpfr_init(r17708); mpfr_init(r17709); mpfr_init(r17710); mpfr_init(r17711); mpfr_init(r17712); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r17684, x, MPFR_RNDN); mpfr_set_d(r17685, y, MPFR_RNDN); mpfr_set_d(r17686, z, MPFR_RNDN); mpfr_sub(r17687, r17685, r17686, MPFR_RNDN); mpfr_set_d(r17688, t, MPFR_RNDN); ; mpfr_add(r17690, r17688, r17689, MPFR_RNDN); mpfr_sub(r17691, r17690, r17686, MPFR_RNDN); mpfr_div(r17692, r17687, r17691, MPFR_RNDN); mpfr_set_d(r17693, a, MPFR_RNDN); mpfr_sub(r17694, r17693, r17684, MPFR_RNDN); mpfr_mul(r17695, r17692, r17694, MPFR_RNDN); mpfr_add(r17696, r17684, r17695, MPFR_RNDN); ; mpfr_set_si(r17698, mpfr_cmp(r17696, r17697) <= 0, MPFR_RNDN); mpfr_add(r17699, r17689, r17688, MPFR_RNDN); mpfr_sub(r17700, r17699, r17686, MPFR_RNDN); ; mpfr_pow(r17702, r17700, r17701, MPFR_RNDN); mpfr_div(r17703, r17687, r17702, MPFR_RNDN); mpfr_mul(r17704, r17694, r17703, MPFR_RNDN); mpfr_add(r17705, r17704, r17684, MPFR_RNDN); ; mpfr_set_si(r17707, mpfr_cmp(r17696, r17706) <= 0, MPFR_RNDN); mpfr_sub(r17708, r17684, r17693, MPFR_RNDN); mpfr_div(r17709, r17685, r17686, MPFR_RNDN); mpfr_fma(r17710, r17708, r17709, r17693, MPFR_RNDN); if (mpfr_get_si(r17707, MPFR_RNDN)) { mpfr_set(r17711, r17710, MPFR_RNDN); } else { mpfr_set(r17711, r17705, MPFR_RNDN); }; if (mpfr_get_si(r17698, MPFR_RNDN)) { mpfr_set(r17712, r17705, MPFR_RNDN); } else { mpfr_set(r17712, r17711, MPFR_RNDN); }; return mpfr_get_d(r17712, MPFR_RNDN); } static mpfr_t r17713, r17714, r17715, r17716, r17717, r17718, r17719, r17720, r17721, r17722, r17723, r17724, r17725, r17726, r17727, r17728, r17729, r17730, r17731, r17732, r17733, r17734, r17735, r17736, r17737, r17738, r17739, r17740, r17741; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17713); mpfr_init(r17714); mpfr_init(r17715); mpfr_init(r17716); mpfr_init(r17717); mpfr_init_set_str(r17718, "1.0", 10, MPFR_RNDN); mpfr_init(r17719); mpfr_init(r17720); mpfr_init(r17721); mpfr_init(r17722); mpfr_init(r17723); mpfr_init(r17724); mpfr_init(r17725); mpfr_init_set_str(r17726, "-9.8015595f-37", 10, MPFR_RNDN); mpfr_init(r17727); mpfr_init(r17728); mpfr_init(r17729); mpfr_init_set_str(r17730, "1", 10, MPFR_RNDN); mpfr_init(r17731); mpfr_init(r17732); mpfr_init(r17733); mpfr_init(r17734); mpfr_init_set_str(r17735, "2.1036342f-38", 10, MPFR_RNDN); mpfr_init(r17736); mpfr_init(r17737); mpfr_init(r17738); mpfr_init(r17739); mpfr_init(r17740); mpfr_init(r17741); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r17713, x, MPFR_RNDN); mpfr_set_d(r17714, y, MPFR_RNDN); mpfr_set_d(r17715, z, MPFR_RNDN); mpfr_sub(r17716, r17714, r17715, MPFR_RNDN); mpfr_set_d(r17717, t, MPFR_RNDN); ; mpfr_add(r17719, r17717, r17718, MPFR_RNDN); mpfr_sub(r17720, r17719, r17715, MPFR_RNDN); mpfr_div(r17721, r17716, r17720, MPFR_RNDN); mpfr_set_d(r17722, a, MPFR_RNDN); mpfr_sub(r17723, r17722, r17713, MPFR_RNDN); mpfr_mul(r17724, r17721, r17723, MPFR_RNDN); mpfr_add(r17725, r17713, r17724, MPFR_RNDN); ; mpfr_set_si(r17727, mpfr_cmp(r17725, r17726) <= 0, MPFR_RNDN); mpfr_add(r17728, r17718, r17717, MPFR_RNDN); mpfr_sub(r17729, r17728, r17715, MPFR_RNDN); ; mpfr_pow(r17731, r17729, r17730, MPFR_RNDN); mpfr_div(r17732, r17716, r17731, MPFR_RNDN); mpfr_mul(r17733, r17723, r17732, MPFR_RNDN); mpfr_add(r17734, r17733, r17713, MPFR_RNDN); ; mpfr_set_si(r17736, mpfr_cmp(r17725, r17735) <= 0, MPFR_RNDN); mpfr_sub(r17737, r17713, r17722, MPFR_RNDN); mpfr_div(r17738, r17714, r17715, MPFR_RNDN); mpfr_fma(r17739, r17737, r17738, r17722, MPFR_RNDN); if (mpfr_get_si(r17736, MPFR_RNDN)) { mpfr_set(r17740, r17739, MPFR_RNDN); } else { mpfr_set(r17740, r17734, MPFR_RNDN); }; if (mpfr_get_si(r17727, MPFR_RNDN)) { mpfr_set(r17741, r17734, MPFR_RNDN); } else { mpfr_set(r17741, r17740, MPFR_RNDN); }; return mpfr_get_d(r17741, MPFR_RNDN); }