#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 r17668 = x; float r17669 = y; float r17670 = z; float r17671 = r17669 - r17670; float r17672 = t; float r17673 = 1.0f; float r17674 = r17672 + r17673; float r17675 = r17674 - r17670; float r17676 = r17671 / r17675; float r17677 = a; float r17678 = r17677 - r17668; float r17679 = r17676 * r17678; float r17680 = r17668 + r17679; return r17680; } double f_id(double x, double y, double z, double t, double a) { double r17681 = x; double r17682 = y; double r17683 = z; double r17684 = r17682 - r17683; double r17685 = t; double r17686 = 1.0; double r17687 = r17685 + r17686; double r17688 = r17687 - r17683; double r17689 = r17684 / r17688; double r17690 = a; double r17691 = r17690 - r17681; double r17692 = r17689 * r17691; double r17693 = r17681 + r17692; return r17693; } double f_of(float x, float y, float z, float t, float a) { float r17694 = a; float r17695 = x; float r17696 = r17694 - r17695; float r17697 = y; float r17698 = 1.0f; float r17699 = t; float r17700 = r17698 + r17699; float r17701 = z; float r17702 = r17700 - r17701; float r17703 = r17697 / r17702; float r17704 = r17696 * r17703; float r17705 = -r17701; float r17706 = r17699 - r17701; float r17707 = r17698 + r17706; float r17708 = r17705 / r17707; float r17709 = fma(r17708, r17696, r17695); float r17710 = r17704 + r17709; return r17710; } double f_od(double x, double y, double z, double t, double a) { double r17711 = a; double r17712 = x; double r17713 = r17711 - r17712; double r17714 = y; double r17715 = 1.0; double r17716 = t; double r17717 = r17715 + r17716; double r17718 = z; double r17719 = r17717 - r17718; double r17720 = r17714 / r17719; double r17721 = r17713 * r17720; double r17722 = -r17718; double r17723 = r17716 - r17718; double r17724 = r17715 + r17723; double r17725 = r17722 / r17724; double r17726 = fma(r17725, r17713, r17712); double r17727 = r17721 + r17726; return r17727; } 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 r17728, r17729, r17730, r17731, r17732, r17733, r17734, r17735, r17736, r17737, r17738, r17739, r17740; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17728); mpfr_init(r17729); mpfr_init(r17730); mpfr_init(r17731); mpfr_init(r17732); mpfr_init_set_str(r17733, "1.0", 10, MPFR_RNDN); mpfr_init(r17734); mpfr_init(r17735); mpfr_init(r17736); mpfr_init(r17737); mpfr_init(r17738); mpfr_init(r17739); mpfr_init(r17740); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r17728, x, MPFR_RNDN); mpfr_set_d(r17729, y, MPFR_RNDN); mpfr_set_d(r17730, z, MPFR_RNDN); mpfr_sub(r17731, r17729, r17730, MPFR_RNDN); mpfr_set_d(r17732, t, MPFR_RNDN); ; mpfr_add(r17734, r17732, r17733, MPFR_RNDN); mpfr_sub(r17735, r17734, r17730, MPFR_RNDN); mpfr_div(r17736, r17731, r17735, MPFR_RNDN); mpfr_set_d(r17737, a, MPFR_RNDN); mpfr_sub(r17738, r17737, r17728, MPFR_RNDN); mpfr_mul(r17739, r17736, r17738, MPFR_RNDN); mpfr_add(r17740, r17728, 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; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17741); mpfr_init(r17742); mpfr_init(r17743); mpfr_init(r17744); mpfr_init_set_str(r17745, "1.0", 10, MPFR_RNDN); mpfr_init(r17746); mpfr_init(r17747); mpfr_init(r17748); mpfr_init(r17749); mpfr_init(r17750); mpfr_init(r17751); mpfr_init(r17752); mpfr_init(r17753); mpfr_init(r17754); mpfr_init(r17755); mpfr_init(r17756); mpfr_init(r17757); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r17741, a, MPFR_RNDN); mpfr_set_d(r17742, x, MPFR_RNDN); mpfr_sub(r17743, r17741, r17742, MPFR_RNDN); mpfr_set_d(r17744, y, MPFR_RNDN); ; mpfr_set_d(r17746, t, MPFR_RNDN); mpfr_add(r17747, r17745, r17746, MPFR_RNDN); mpfr_set_d(r17748, z, MPFR_RNDN); mpfr_sub(r17749, r17747, r17748, MPFR_RNDN); mpfr_div(r17750, r17744, r17749, MPFR_RNDN); mpfr_mul(r17751, r17743, r17750, MPFR_RNDN); mpfr_neg(r17752, r17748, MPFR_RNDN); mpfr_sub(r17753, r17746, r17748, MPFR_RNDN); mpfr_add(r17754, r17745, r17753, MPFR_RNDN); mpfr_div(r17755, r17752, r17754, MPFR_RNDN); mpfr_fma(r17756, r17755, r17743, r17742, MPFR_RNDN); mpfr_add(r17757, r17751, r17756, MPFR_RNDN); return mpfr_get_d(r17757, MPFR_RNDN); } static mpfr_t r17758, r17759, r17760, r17761, r17762, r17763, r17764, r17765, r17766, r17767, r17768, r17769, r17770, r17771, r17772, r17773, r17774; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17758); mpfr_init(r17759); mpfr_init(r17760); mpfr_init(r17761); mpfr_init_set_str(r17762, "1.0", 10, MPFR_RNDN); mpfr_init(r17763); mpfr_init(r17764); mpfr_init(r17765); mpfr_init(r17766); mpfr_init(r17767); mpfr_init(r17768); mpfr_init(r17769); mpfr_init(r17770); mpfr_init(r17771); mpfr_init(r17772); mpfr_init(r17773); mpfr_init(r17774); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r17758, a, MPFR_RNDN); mpfr_set_d(r17759, x, MPFR_RNDN); mpfr_sub(r17760, r17758, r17759, MPFR_RNDN); mpfr_set_d(r17761, y, MPFR_RNDN); ; mpfr_set_d(r17763, t, MPFR_RNDN); mpfr_add(r17764, r17762, r17763, MPFR_RNDN); mpfr_set_d(r17765, z, MPFR_RNDN); mpfr_sub(r17766, r17764, r17765, MPFR_RNDN); mpfr_div(r17767, r17761, r17766, MPFR_RNDN); mpfr_mul(r17768, r17760, r17767, MPFR_RNDN); mpfr_neg(r17769, r17765, MPFR_RNDN); mpfr_sub(r17770, r17763, r17765, MPFR_RNDN); mpfr_add(r17771, r17762, r17770, MPFR_RNDN); mpfr_div(r17772, r17769, r17771, MPFR_RNDN); mpfr_fma(r17773, r17772, r17760, r17759, MPFR_RNDN); mpfr_add(r17774, r17768, r17773, MPFR_RNDN); return mpfr_get_d(r17774, MPFR_RNDN); }