#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 r17567 = x; float r17568 = y; float r17569 = z; float r17570 = r17568 - r17569; float r17571 = t; float r17572 = 1.0f; float r17573 = r17571 + r17572; float r17574 = r17573 - r17569; float r17575 = r17570 / r17574; float r17576 = a; float r17577 = r17576 - r17567; float r17578 = r17575 * r17577; float r17579 = r17567 + r17578; return r17579; } double f_id(double x, double y, double z, double t, double a) { double r17580 = x; double r17581 = y; double r17582 = z; double r17583 = r17581 - r17582; double r17584 = t; double r17585 = 1.0; double r17586 = r17584 + r17585; double r17587 = r17586 - r17582; double r17588 = r17583 / r17587; double r17589 = a; double r17590 = r17589 - r17580; double r17591 = r17588 * r17590; double r17592 = r17580 + r17591; return r17592; } double f_of(float x, float y, float z, float t, float a) { float r17593 = a; float r17594 = x; float r17595 = r17593 - r17594; float r17596 = y; float r17597 = z; float r17598 = r17596 - r17597; float r17599 = 1.0f; float r17600 = t; float r17601 = r17599 + r17600; float r17602 = r17601 - r17597; float r17603 = 1.0f; float r17604 = pow(r17602, r17603); float r17605 = r17598 / r17604; float r17606 = r17595 * r17605; float r17607 = r17606 + r17594; return r17607; } double f_od(double x, double y, double z, double t, double a) { double r17608 = a; double r17609 = x; double r17610 = r17608 - r17609; double r17611 = y; double r17612 = z; double r17613 = r17611 - r17612; double r17614 = 1.0; double r17615 = t; double r17616 = r17614 + r17615; double r17617 = r17616 - r17612; double r17618 = 1.0; double r17619 = pow(r17617, r17618); double r17620 = r17613 / r17619; double r17621 = r17610 * r17620; double r17622 = r17621 + r17609; return r17622; } 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 r17623, r17624, r17625, r17626, r17627, r17628, r17629, r17630, r17631, r17632, r17633, r17634, r17635; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17623); mpfr_init(r17624); mpfr_init(r17625); mpfr_init(r17626); mpfr_init(r17627); mpfr_init_set_str(r17628, "1.0", 10, MPFR_RNDN); mpfr_init(r17629); mpfr_init(r17630); mpfr_init(r17631); mpfr_init(r17632); mpfr_init(r17633); mpfr_init(r17634); mpfr_init(r17635); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r17623, x, MPFR_RNDN); mpfr_set_d(r17624, y, MPFR_RNDN); mpfr_set_d(r17625, z, MPFR_RNDN); mpfr_sub(r17626, r17624, r17625, MPFR_RNDN); mpfr_set_d(r17627, t, MPFR_RNDN); ; mpfr_add(r17629, r17627, r17628, MPFR_RNDN); mpfr_sub(r17630, r17629, r17625, MPFR_RNDN); mpfr_div(r17631, r17626, r17630, MPFR_RNDN); mpfr_set_d(r17632, a, MPFR_RNDN); mpfr_sub(r17633, r17632, r17623, MPFR_RNDN); mpfr_mul(r17634, r17631, r17633, MPFR_RNDN); mpfr_add(r17635, r17623, r17634, MPFR_RNDN); return mpfr_get_d(r17635, MPFR_RNDN); } static mpfr_t r17636, r17637, r17638, r17639, r17640, r17641, r17642, r17643, r17644, r17645, r17646, r17647, r17648, r17649, r17650; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17636); mpfr_init(r17637); mpfr_init(r17638); mpfr_init(r17639); mpfr_init(r17640); mpfr_init(r17641); mpfr_init_set_str(r17642, "1.0", 10, MPFR_RNDN); mpfr_init(r17643); mpfr_init(r17644); mpfr_init(r17645); mpfr_init_set_str(r17646, "1", 10, MPFR_RNDN); mpfr_init(r17647); mpfr_init(r17648); mpfr_init(r17649); mpfr_init(r17650); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r17636, a, MPFR_RNDN); mpfr_set_d(r17637, x, MPFR_RNDN); mpfr_sub(r17638, r17636, r17637, MPFR_RNDN); mpfr_set_d(r17639, y, MPFR_RNDN); mpfr_set_d(r17640, z, MPFR_RNDN); mpfr_sub(r17641, r17639, r17640, MPFR_RNDN); ; mpfr_set_d(r17643, t, MPFR_RNDN); mpfr_add(r17644, r17642, r17643, MPFR_RNDN); mpfr_sub(r17645, r17644, r17640, MPFR_RNDN); ; mpfr_pow(r17647, r17645, r17646, MPFR_RNDN); mpfr_div(r17648, r17641, r17647, MPFR_RNDN); mpfr_mul(r17649, r17638, r17648, MPFR_RNDN); mpfr_add(r17650, r17649, r17637, MPFR_RNDN); return mpfr_get_d(r17650, MPFR_RNDN); } static mpfr_t r17651, r17652, r17653, r17654, r17655, r17656, r17657, r17658, r17659, r17660, r17661, r17662, r17663, r17664, r17665; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17651); mpfr_init(r17652); mpfr_init(r17653); mpfr_init(r17654); mpfr_init(r17655); mpfr_init(r17656); mpfr_init_set_str(r17657, "1.0", 10, MPFR_RNDN); mpfr_init(r17658); mpfr_init(r17659); mpfr_init(r17660); mpfr_init_set_str(r17661, "1", 10, MPFR_RNDN); mpfr_init(r17662); mpfr_init(r17663); mpfr_init(r17664); mpfr_init(r17665); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r17651, a, MPFR_RNDN); mpfr_set_d(r17652, x, MPFR_RNDN); mpfr_sub(r17653, r17651, r17652, MPFR_RNDN); mpfr_set_d(r17654, y, MPFR_RNDN); mpfr_set_d(r17655, z, MPFR_RNDN); mpfr_sub(r17656, r17654, r17655, MPFR_RNDN); ; mpfr_set_d(r17658, t, MPFR_RNDN); mpfr_add(r17659, r17657, r17658, MPFR_RNDN); mpfr_sub(r17660, r17659, r17655, MPFR_RNDN); ; mpfr_pow(r17662, r17660, r17661, MPFR_RNDN); mpfr_div(r17663, r17656, r17662, MPFR_RNDN); mpfr_mul(r17664, r17653, r17663, MPFR_RNDN); mpfr_add(r17665, r17664, r17652, MPFR_RNDN); return mpfr_get_d(r17665, MPFR_RNDN); }