#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 r17655 = x; float r17656 = y; float r17657 = z; float r17658 = r17656 - r17657; float r17659 = t; float r17660 = 1.0f; float r17661 = r17659 + r17660; float r17662 = r17661 - r17657; float r17663 = r17658 / r17662; float r17664 = a; float r17665 = r17664 - r17655; float r17666 = r17663 * r17665; float r17667 = r17655 + r17666; return r17667; } double f_id(double x, double y, double z, double t, double a) { double r17668 = x; double r17669 = y; double r17670 = z; double r17671 = r17669 - r17670; double r17672 = t; double r17673 = 1.0; double r17674 = r17672 + r17673; double r17675 = r17674 - r17670; double r17676 = r17671 / r17675; double r17677 = a; double r17678 = r17677 - r17668; double r17679 = r17676 * r17678; double r17680 = r17668 + r17679; return r17680; } double f_of(float x, float y, float z, float t, float a) { float r17681 = x; float r17682 = y; float r17683 = z; float r17684 = r17682 - r17683; float r17685 = t; float r17686 = 1.0f; float r17687 = r17685 + r17686; float r17688 = r17687 - r17683; float r17689 = 1.0f; float r17690 = pow(r17688, r17689); float r17691 = r17684 / r17690; float r17692 = a; float r17693 = r17692 - r17681; float r17694 = r17691 * r17693; float r17695 = r17681 + r17694; return r17695; } double f_od(double x, double y, double z, double t, double a) { double r17696 = x; double r17697 = y; double r17698 = z; double r17699 = r17697 - r17698; double r17700 = t; double r17701 = 1.0; double r17702 = r17700 + r17701; double r17703 = r17702 - r17698; double r17704 = 1.0; double r17705 = pow(r17703, r17704); double r17706 = r17699 / r17705; double r17707 = a; double r17708 = r17707 - r17696; double r17709 = r17706 * r17708; double r17710 = r17696 + 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; 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_set_str(r17732, "1", 10, MPFR_RNDN); mpfr_init(r17733); mpfr_init(r17734); mpfr_init(r17735); mpfr_init(r17736); mpfr_init(r17737); mpfr_init(r17738); } 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_pow(r17733, r17731, r17732, MPFR_RNDN); mpfr_div(r17734, r17727, r17733, MPFR_RNDN); mpfr_set_d(r17735, a, MPFR_RNDN); mpfr_sub(r17736, r17735, r17724, MPFR_RNDN); mpfr_mul(r17737, r17734, r17736, MPFR_RNDN); mpfr_add(r17738, r17724, r17737, MPFR_RNDN); return mpfr_get_d(r17738, MPFR_RNDN); } static mpfr_t r17739, r17740, r17741, r17742, r17743, r17744, r17745, r17746, r17747, r17748, r17749, r17750, r17751, r17752, r17753; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17739); mpfr_init(r17740); mpfr_init(r17741); mpfr_init(r17742); mpfr_init(r17743); mpfr_init_set_str(r17744, "1.0", 10, MPFR_RNDN); mpfr_init(r17745); mpfr_init(r17746); mpfr_init_set_str(r17747, "1", 10, MPFR_RNDN); mpfr_init(r17748); mpfr_init(r17749); mpfr_init(r17750); mpfr_init(r17751); mpfr_init(r17752); mpfr_init(r17753); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r17739, x, MPFR_RNDN); mpfr_set_d(r17740, y, MPFR_RNDN); mpfr_set_d(r17741, z, MPFR_RNDN); mpfr_sub(r17742, r17740, r17741, MPFR_RNDN); mpfr_set_d(r17743, t, MPFR_RNDN); ; mpfr_add(r17745, r17743, r17744, MPFR_RNDN); mpfr_sub(r17746, r17745, r17741, MPFR_RNDN); ; mpfr_pow(r17748, r17746, r17747, MPFR_RNDN); mpfr_div(r17749, r17742, r17748, MPFR_RNDN); mpfr_set_d(r17750, a, MPFR_RNDN); mpfr_sub(r17751, r17750, r17739, MPFR_RNDN); mpfr_mul(r17752, r17749, r17751, MPFR_RNDN); mpfr_add(r17753, r17739, r17752, MPFR_RNDN); return mpfr_get_d(r17753, MPFR_RNDN); }