#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 r17650 = x; float r17651 = y; float r17652 = z; float r17653 = r17651 - r17652; float r17654 = t; float r17655 = 1.0f; float r17656 = r17654 + r17655; float r17657 = r17656 - r17652; float r17658 = r17653 / r17657; float r17659 = a; float r17660 = r17659 - r17650; float r17661 = r17658 * r17660; float r17662 = r17650 + r17661; return r17662; } double f_id(double x, double y, double z, double t, double a) { double r17663 = x; double r17664 = y; double r17665 = z; double r17666 = r17664 - r17665; double r17667 = t; double r17668 = 1.0; double r17669 = r17667 + r17668; double r17670 = r17669 - r17665; double r17671 = r17666 / r17670; double r17672 = a; double r17673 = r17672 - r17663; double r17674 = r17671 * r17673; double r17675 = r17663 + r17674; return r17675; } double f_of(float x, float y, float z, float t, float a) { float r17676 = a; float r17677 = x; float r17678 = r17676 - r17677; float r17679 = 1.0f; float r17680 = 1.0f; float r17681 = t; float r17682 = r17680 + r17681; float r17683 = z; float r17684 = r17682 - r17683; float r17685 = y; float r17686 = r17685 - r17683; float r17687 = r17679 / r17686; float r17688 = r17684 * r17687; float r17689 = r17679 / r17688; float r17690 = fma(r17678, r17689, r17677); return r17690; } double f_od(double x, double y, double z, double t, double a) { double r17691 = a; double r17692 = x; double r17693 = r17691 - r17692; double r17694 = 1.0; double r17695 = 1.0; double r17696 = t; double r17697 = r17695 + r17696; double r17698 = z; double r17699 = r17697 - r17698; double r17700 = y; double r17701 = r17700 - r17698; double r17702 = r17694 / r17701; double r17703 = r17699 * r17702; double r17704 = r17694 / r17703; double r17705 = fma(r17693, r17704, r17692); return r17705; } 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 r17706, r17707, r17708, r17709, r17710, r17711, r17712, r17713, r17714, r17715, r17716, r17717, r17718; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17706); mpfr_init(r17707); mpfr_init(r17708); mpfr_init(r17709); mpfr_init(r17710); mpfr_init_set_str(r17711, "1.0", 10, MPFR_RNDN); mpfr_init(r17712); mpfr_init(r17713); mpfr_init(r17714); mpfr_init(r17715); mpfr_init(r17716); mpfr_init(r17717); mpfr_init(r17718); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r17706, x, MPFR_RNDN); mpfr_set_d(r17707, y, MPFR_RNDN); mpfr_set_d(r17708, z, MPFR_RNDN); mpfr_sub(r17709, r17707, r17708, MPFR_RNDN); mpfr_set_d(r17710, t, MPFR_RNDN); ; mpfr_add(r17712, r17710, r17711, MPFR_RNDN); mpfr_sub(r17713, r17712, r17708, MPFR_RNDN); mpfr_div(r17714, r17709, r17713, MPFR_RNDN); mpfr_set_d(r17715, a, MPFR_RNDN); mpfr_sub(r17716, r17715, r17706, MPFR_RNDN); mpfr_mul(r17717, r17714, r17716, MPFR_RNDN); mpfr_add(r17718, r17706, r17717, MPFR_RNDN); return mpfr_get_d(r17718, MPFR_RNDN); } static mpfr_t r17719, r17720, r17721, r17722, r17723, r17724, r17725, r17726, r17727, r17728, r17729, r17730, r17731, r17732, r17733; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17719); mpfr_init(r17720); mpfr_init(r17721); mpfr_init_set_str(r17722, "1", 10, MPFR_RNDN); mpfr_init_set_str(r17723, "1.0", 10, MPFR_RNDN); mpfr_init(r17724); mpfr_init(r17725); mpfr_init(r17726); mpfr_init(r17727); mpfr_init(r17728); mpfr_init(r17729); mpfr_init(r17730); mpfr_init(r17731); mpfr_init(r17732); mpfr_init(r17733); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r17719, a, MPFR_RNDN); mpfr_set_d(r17720, x, MPFR_RNDN); mpfr_sub(r17721, r17719, r17720, MPFR_RNDN); ; ; mpfr_set_d(r17724, t, MPFR_RNDN); mpfr_add(r17725, r17723, r17724, MPFR_RNDN); mpfr_set_d(r17726, z, MPFR_RNDN); mpfr_sub(r17727, r17725, r17726, MPFR_RNDN); mpfr_set_d(r17728, y, MPFR_RNDN); mpfr_sub(r17729, r17728, r17726, MPFR_RNDN); mpfr_div(r17730, r17722, r17729, MPFR_RNDN); mpfr_mul(r17731, r17727, r17730, MPFR_RNDN); mpfr_div(r17732, r17722, r17731, MPFR_RNDN); mpfr_fma(r17733, r17721, r17732, r17720, MPFR_RNDN); return mpfr_get_d(r17733, MPFR_RNDN); } static mpfr_t r17734, r17735, r17736, r17737, r17738, r17739, r17740, r17741, r17742, r17743, r17744, r17745, r17746, r17747, r17748; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17734); mpfr_init(r17735); mpfr_init(r17736); mpfr_init_set_str(r17737, "1", 10, MPFR_RNDN); mpfr_init_set_str(r17738, "1.0", 10, MPFR_RNDN); mpfr_init(r17739); mpfr_init(r17740); mpfr_init(r17741); mpfr_init(r17742); mpfr_init(r17743); mpfr_init(r17744); mpfr_init(r17745); mpfr_init(r17746); mpfr_init(r17747); mpfr_init(r17748); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r17734, a, MPFR_RNDN); mpfr_set_d(r17735, x, MPFR_RNDN); mpfr_sub(r17736, r17734, r17735, MPFR_RNDN); ; ; mpfr_set_d(r17739, t, MPFR_RNDN); mpfr_add(r17740, r17738, r17739, MPFR_RNDN); mpfr_set_d(r17741, z, MPFR_RNDN); mpfr_sub(r17742, r17740, r17741, MPFR_RNDN); mpfr_set_d(r17743, y, MPFR_RNDN); mpfr_sub(r17744, r17743, r17741, MPFR_RNDN); mpfr_div(r17745, r17737, r17744, MPFR_RNDN); mpfr_mul(r17746, r17742, r17745, MPFR_RNDN); mpfr_div(r17747, r17737, r17746, MPFR_RNDN); mpfr_fma(r17748, r17736, r17747, r17735, MPFR_RNDN); return mpfr_get_d(r17748, MPFR_RNDN); }