#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 r17615 = x; float r17616 = y; float r17617 = z; float r17618 = r17616 - r17617; float r17619 = t; float r17620 = 1.0f; float r17621 = r17619 + r17620; float r17622 = r17621 - r17617; float r17623 = r17618 / r17622; float r17624 = a; float r17625 = r17624 - r17615; float r17626 = r17623 * r17625; float r17627 = r17615 + r17626; return r17627; } double f_id(double x, double y, double z, double t, double a) { double r17628 = x; double r17629 = y; double r17630 = z; double r17631 = r17629 - r17630; double r17632 = t; double r17633 = 1.0; double r17634 = r17632 + r17633; double r17635 = r17634 - r17630; double r17636 = r17631 / r17635; double r17637 = a; double r17638 = r17637 - r17628; double r17639 = r17636 * r17638; double r17640 = r17628 + r17639; return r17640; } double f_of(float x, float y, float z, float t, float a) { float r17641 = x; float r17642 = y; float r17643 = z; float r17644 = r17642 - r17643; float r17645 = t; float r17646 = 1.0f; float r17647 = r17645 + r17646; float r17648 = r17647 - r17643; float r17649 = r17644 / r17648; float r17650 = a; float r17651 = r17650 - r17641; float r17652 = r17649 * r17651; float r17653 = r17641 + r17652; float r17654 = -9.801559457053578e-37f; bool r17655 = r17653 <= r17654; float r17656 = r17646 + r17645; float r17657 = r17656 - r17643; float r17658 = 1.0f; float r17659 = pow(r17657, r17658); float r17660 = r17644 / r17659; float r17661 = r17651 * r17660; float r17662 = r17661 + r17641; float r17663 = 2.1036341591890405e-38f; bool r17664 = r17653 <= r17663; float r17665 = r17641 - r17650; float r17666 = r17642 / r17643; float r17667 = fma(r17665, r17666, r17650); float r17668 = r17664 ? r17667 : r17662; float r17669 = r17655 ? r17662 : r17668; return r17669; } double f_od(double x, double y, double z, double t, double a) { double r17670 = x; double r17671 = y; double r17672 = z; double r17673 = r17671 - r17672; double r17674 = t; double r17675 = 1.0; double r17676 = r17674 + r17675; double r17677 = r17676 - r17672; double r17678 = r17673 / r17677; double r17679 = a; double r17680 = r17679 - r17670; double r17681 = r17678 * r17680; double r17682 = r17670 + r17681; double r17683 = -9.801559457053578e-37; bool r17684 = r17682 <= r17683; double r17685 = r17675 + r17674; double r17686 = r17685 - r17672; double r17687 = 1.0; double r17688 = pow(r17686, r17687); double r17689 = r17673 / r17688; double r17690 = r17680 * r17689; double r17691 = r17690 + r17670; double r17692 = 2.1036341591890405e-38; bool r17693 = r17682 <= r17692; double r17694 = r17670 - r17679; double r17695 = r17671 / r17672; double r17696 = fma(r17694, r17695, r17679); double r17697 = r17693 ? r17696 : r17691; double r17698 = r17684 ? r17691 : r17697; return r17698; } 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 r17699, r17700, r17701, r17702, r17703, r17704, r17705, r17706, r17707, r17708, r17709, r17710, r17711; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17699); mpfr_init(r17700); mpfr_init(r17701); mpfr_init(r17702); mpfr_init(r17703); mpfr_init_set_str(r17704, "1.0", 10, MPFR_RNDN); mpfr_init(r17705); mpfr_init(r17706); mpfr_init(r17707); mpfr_init(r17708); mpfr_init(r17709); mpfr_init(r17710); mpfr_init(r17711); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r17699, x, MPFR_RNDN); mpfr_set_d(r17700, y, MPFR_RNDN); mpfr_set_d(r17701, z, MPFR_RNDN); mpfr_sub(r17702, r17700, r17701, MPFR_RNDN); mpfr_set_d(r17703, t, MPFR_RNDN); ; mpfr_add(r17705, r17703, r17704, MPFR_RNDN); mpfr_sub(r17706, r17705, r17701, MPFR_RNDN); mpfr_div(r17707, r17702, r17706, MPFR_RNDN); mpfr_set_d(r17708, a, MPFR_RNDN); mpfr_sub(r17709, r17708, r17699, MPFR_RNDN); mpfr_mul(r17710, r17707, r17709, MPFR_RNDN); mpfr_add(r17711, r17699, r17710, MPFR_RNDN); return mpfr_get_d(r17711, MPFR_RNDN); } static mpfr_t r17712, 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; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17712); mpfr_init(r17713); mpfr_init(r17714); mpfr_init(r17715); mpfr_init(r17716); mpfr_init_set_str(r17717, "1.0", 10, MPFR_RNDN); mpfr_init(r17718); mpfr_init(r17719); mpfr_init(r17720); mpfr_init(r17721); mpfr_init(r17722); mpfr_init(r17723); mpfr_init(r17724); mpfr_init_set_str(r17725, "-9.8015595f-37", 10, MPFR_RNDN); mpfr_init(r17726); mpfr_init(r17727); mpfr_init(r17728); mpfr_init_set_str(r17729, "1", 10, MPFR_RNDN); mpfr_init(r17730); mpfr_init(r17731); mpfr_init(r17732); mpfr_init(r17733); mpfr_init_set_str(r17734, "2.1036342f-38", 10, MPFR_RNDN); mpfr_init(r17735); mpfr_init(r17736); mpfr_init(r17737); mpfr_init(r17738); mpfr_init(r17739); mpfr_init(r17740); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r17712, x, MPFR_RNDN); mpfr_set_d(r17713, y, MPFR_RNDN); mpfr_set_d(r17714, z, MPFR_RNDN); mpfr_sub(r17715, r17713, r17714, MPFR_RNDN); mpfr_set_d(r17716, t, MPFR_RNDN); ; mpfr_add(r17718, r17716, r17717, MPFR_RNDN); mpfr_sub(r17719, r17718, r17714, MPFR_RNDN); mpfr_div(r17720, r17715, r17719, MPFR_RNDN); mpfr_set_d(r17721, a, MPFR_RNDN); mpfr_sub(r17722, r17721, r17712, MPFR_RNDN); mpfr_mul(r17723, r17720, r17722, MPFR_RNDN); mpfr_add(r17724, r17712, r17723, MPFR_RNDN); ; mpfr_set_si(r17726, mpfr_cmp(r17724, r17725) <= 0, MPFR_RNDN); mpfr_add(r17727, r17717, r17716, MPFR_RNDN); mpfr_sub(r17728, r17727, r17714, MPFR_RNDN); ; mpfr_pow(r17730, r17728, r17729, MPFR_RNDN); mpfr_div(r17731, r17715, r17730, MPFR_RNDN); mpfr_mul(r17732, r17722, r17731, MPFR_RNDN); mpfr_add(r17733, r17732, r17712, MPFR_RNDN); ; mpfr_set_si(r17735, mpfr_cmp(r17724, r17734) <= 0, MPFR_RNDN); mpfr_sub(r17736, r17712, r17721, MPFR_RNDN); mpfr_div(r17737, r17713, r17714, MPFR_RNDN); mpfr_fma(r17738, r17736, r17737, r17721, MPFR_RNDN); if (mpfr_get_si(r17735, MPFR_RNDN)) { mpfr_set(r17739, r17738, MPFR_RNDN); } else { mpfr_set(r17739, r17733, MPFR_RNDN); }; if (mpfr_get_si(r17726, MPFR_RNDN)) { mpfr_set(r17740, r17733, MPFR_RNDN); } else { mpfr_set(r17740, r17739, MPFR_RNDN); }; return mpfr_get_d(r17740, MPFR_RNDN); } static mpfr_t r17741, r17742, r17743, r17744, r17745, r17746, r17747, r17748, r17749, r17750, r17751, r17752, r17753, r17754, r17755, r17756, r17757, r17758, r17759, r17760, r17761, r17762, r17763, r17764, r17765, r17766, r17767, r17768, r17769; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17741); mpfr_init(r17742); mpfr_init(r17743); mpfr_init(r17744); mpfr_init(r17745); mpfr_init_set_str(r17746, "1.0", 10, MPFR_RNDN); mpfr_init(r17747); mpfr_init(r17748); mpfr_init(r17749); mpfr_init(r17750); mpfr_init(r17751); mpfr_init(r17752); mpfr_init(r17753); mpfr_init_set_str(r17754, "-9.8015595f-37", 10, MPFR_RNDN); mpfr_init(r17755); mpfr_init(r17756); mpfr_init(r17757); mpfr_init_set_str(r17758, "1", 10, MPFR_RNDN); mpfr_init(r17759); mpfr_init(r17760); mpfr_init(r17761); mpfr_init(r17762); mpfr_init_set_str(r17763, "2.1036342f-38", 10, MPFR_RNDN); mpfr_init(r17764); mpfr_init(r17765); mpfr_init(r17766); mpfr_init(r17767); mpfr_init(r17768); mpfr_init(r17769); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r17741, x, MPFR_RNDN); mpfr_set_d(r17742, y, MPFR_RNDN); mpfr_set_d(r17743, z, MPFR_RNDN); mpfr_sub(r17744, r17742, r17743, MPFR_RNDN); mpfr_set_d(r17745, t, MPFR_RNDN); ; mpfr_add(r17747, r17745, r17746, MPFR_RNDN); mpfr_sub(r17748, r17747, r17743, MPFR_RNDN); mpfr_div(r17749, r17744, r17748, MPFR_RNDN); mpfr_set_d(r17750, a, MPFR_RNDN); mpfr_sub(r17751, r17750, r17741, MPFR_RNDN); mpfr_mul(r17752, r17749, r17751, MPFR_RNDN); mpfr_add(r17753, r17741, r17752, MPFR_RNDN); ; mpfr_set_si(r17755, mpfr_cmp(r17753, r17754) <= 0, MPFR_RNDN); mpfr_add(r17756, r17746, r17745, MPFR_RNDN); mpfr_sub(r17757, r17756, r17743, MPFR_RNDN); ; mpfr_pow(r17759, r17757, r17758, MPFR_RNDN); mpfr_div(r17760, r17744, r17759, MPFR_RNDN); mpfr_mul(r17761, r17751, r17760, MPFR_RNDN); mpfr_add(r17762, r17761, r17741, MPFR_RNDN); ; mpfr_set_si(r17764, mpfr_cmp(r17753, r17763) <= 0, MPFR_RNDN); mpfr_sub(r17765, r17741, r17750, MPFR_RNDN); mpfr_div(r17766, r17742, r17743, MPFR_RNDN); mpfr_fma(r17767, r17765, r17766, r17750, MPFR_RNDN); if (mpfr_get_si(r17764, MPFR_RNDN)) { mpfr_set(r17768, r17767, MPFR_RNDN); } else { mpfr_set(r17768, r17762, MPFR_RNDN); }; if (mpfr_get_si(r17755, MPFR_RNDN)) { mpfr_set(r17769, r17762, MPFR_RNDN); } else { mpfr_set(r17769, r17768, MPFR_RNDN); }; return mpfr_get_d(r17769, MPFR_RNDN); }