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