#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 r17623 = x; float r17624 = y; float r17625 = z; float r17626 = r17624 - r17625; float r17627 = t; float r17628 = 1.0f; float r17629 = r17627 + r17628; float r17630 = r17629 - r17625; float r17631 = r17626 / r17630; float r17632 = a; float r17633 = r17632 - r17623; float r17634 = r17631 * r17633; float r17635 = r17623 + r17634; return r17635; } double f_id(double x, double y, double z, double t, double a) { double r17636 = x; double r17637 = y; double r17638 = z; double r17639 = r17637 - r17638; double r17640 = t; double r17641 = 1.0; double r17642 = r17640 + r17641; double r17643 = r17642 - r17638; double r17644 = r17639 / r17643; double r17645 = a; double r17646 = r17645 - r17636; double r17647 = r17644 * r17646; double r17648 = r17636 + r17647; return r17648; } double f_of(float x, float y, float z, float t, float a) { float r17649 = x; float r17650 = y; float r17651 = z; float r17652 = r17650 - r17651; float r17653 = t; float r17654 = 1.0f; float r17655 = r17653 + r17654; float r17656 = r17655 - r17651; float r17657 = 1.0f; float r17658 = pow(r17656, r17657); float r17659 = r17652 / r17658; float r17660 = a; float r17661 = r17660 - r17649; float r17662 = r17659 * r17661; float r17663 = r17649 + r17662; return r17663; } double f_od(double x, double y, double z, double t, double a) { double r17664 = x; double r17665 = y; double r17666 = z; double r17667 = r17665 - r17666; double r17668 = t; double r17669 = 1.0; double r17670 = r17668 + r17669; double r17671 = r17670 - r17666; double r17672 = 1.0; double r17673 = pow(r17671, r17672); double r17674 = r17667 / r17673; double r17675 = a; double r17676 = r17675 - r17664; double r17677 = r17674 * r17676; double r17678 = r17664 + r17677; return r17678; } 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 r17679, r17680, r17681, r17682, r17683, r17684, r17685, r17686, r17687, r17688, r17689, r17690, r17691; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17679); mpfr_init(r17680); mpfr_init(r17681); mpfr_init(r17682); mpfr_init(r17683); mpfr_init_set_str(r17684, "1.0", 10, MPFR_RNDN); mpfr_init(r17685); mpfr_init(r17686); mpfr_init(r17687); mpfr_init(r17688); mpfr_init(r17689); mpfr_init(r17690); mpfr_init(r17691); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r17679, x, MPFR_RNDN); mpfr_set_d(r17680, y, MPFR_RNDN); mpfr_set_d(r17681, z, MPFR_RNDN); mpfr_sub(r17682, r17680, r17681, MPFR_RNDN); mpfr_set_d(r17683, t, MPFR_RNDN); ; mpfr_add(r17685, r17683, r17684, MPFR_RNDN); mpfr_sub(r17686, r17685, r17681, MPFR_RNDN); mpfr_div(r17687, r17682, r17686, MPFR_RNDN); mpfr_set_d(r17688, a, MPFR_RNDN); mpfr_sub(r17689, r17688, r17679, MPFR_RNDN); mpfr_mul(r17690, r17687, r17689, MPFR_RNDN); mpfr_add(r17691, r17679, r17690, MPFR_RNDN); return mpfr_get_d(r17691, MPFR_RNDN); } static mpfr_t r17692, r17693, r17694, r17695, r17696, r17697, r17698, r17699, r17700, r17701, r17702, r17703, r17704, r17705, r17706; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17692); mpfr_init(r17693); mpfr_init(r17694); mpfr_init(r17695); mpfr_init(r17696); mpfr_init_set_str(r17697, "1.0", 10, MPFR_RNDN); mpfr_init(r17698); mpfr_init(r17699); mpfr_init_set_str(r17700, "1", 10, MPFR_RNDN); mpfr_init(r17701); mpfr_init(r17702); mpfr_init(r17703); mpfr_init(r17704); mpfr_init(r17705); mpfr_init(r17706); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r17692, x, MPFR_RNDN); mpfr_set_d(r17693, y, MPFR_RNDN); mpfr_set_d(r17694, z, MPFR_RNDN); mpfr_sub(r17695, r17693, r17694, MPFR_RNDN); mpfr_set_d(r17696, t, MPFR_RNDN); ; mpfr_add(r17698, r17696, r17697, MPFR_RNDN); mpfr_sub(r17699, r17698, r17694, MPFR_RNDN); ; mpfr_pow(r17701, r17699, r17700, MPFR_RNDN); mpfr_div(r17702, r17695, r17701, MPFR_RNDN); mpfr_set_d(r17703, a, MPFR_RNDN); mpfr_sub(r17704, r17703, r17692, MPFR_RNDN); mpfr_mul(r17705, r17702, r17704, MPFR_RNDN); mpfr_add(r17706, r17692, r17705, MPFR_RNDN); return mpfr_get_d(r17706, MPFR_RNDN); } static mpfr_t r17707, r17708, r17709, r17710, r17711, r17712, r17713, r17714, r17715, r17716, r17717, r17718, r17719, r17720, r17721; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17707); mpfr_init(r17708); mpfr_init(r17709); mpfr_init(r17710); mpfr_init(r17711); mpfr_init_set_str(r17712, "1.0", 10, MPFR_RNDN); mpfr_init(r17713); mpfr_init(r17714); mpfr_init_set_str(r17715, "1", 10, MPFR_RNDN); mpfr_init(r17716); mpfr_init(r17717); mpfr_init(r17718); mpfr_init(r17719); mpfr_init(r17720); mpfr_init(r17721); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r17707, x, MPFR_RNDN); mpfr_set_d(r17708, y, MPFR_RNDN); mpfr_set_d(r17709, z, MPFR_RNDN); mpfr_sub(r17710, r17708, r17709, MPFR_RNDN); mpfr_set_d(r17711, t, MPFR_RNDN); ; mpfr_add(r17713, r17711, r17712, MPFR_RNDN); mpfr_sub(r17714, r17713, r17709, MPFR_RNDN); ; mpfr_pow(r17716, r17714, r17715, MPFR_RNDN); mpfr_div(r17717, r17710, r17716, MPFR_RNDN); mpfr_set_d(r17718, a, MPFR_RNDN); mpfr_sub(r17719, r17718, r17707, MPFR_RNDN); mpfr_mul(r17720, r17717, r17719, MPFR_RNDN); mpfr_add(r17721, r17707, r17720, MPFR_RNDN); return mpfr_get_d(r17721, MPFR_RNDN); }