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