#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 r48569 = x; float r48570 = y; float r48571 = z; float r48572 = r48570 - r48571; float r48573 = t; float r48574 = 1.0; float r48575 = r48573 + r48574; float r48576 = r48575 - r48571; float r48577 = r48572 / r48576; float r48578 = a; float r48579 = r48578 - r48569; float r48580 = r48577 * r48579; float r48581 = r48569 + r48580; return r48581; } double f_id(double x, double y, double z, double t, double a) { double r48582 = x; double r48583 = y; double r48584 = z; double r48585 = r48583 - r48584; double r48586 = t; double r48587 = 1.0; double r48588 = r48586 + r48587; double r48589 = r48588 - r48584; double r48590 = r48585 / r48589; double r48591 = a; double r48592 = r48591 - r48582; double r48593 = r48590 * r48592; double r48594 = r48582 + r48593; return r48594; } double f_of(float x, float y, float z, float t, float a) { float r48595 = x; float r48596 = 1; float r48597 = t; float r48598 = 1.0; float r48599 = r48597 + r48598; float r48600 = z; float r48601 = r48599 - r48600; float r48602 = cbrt(r48601); float r48603 = r48602 * r48602; float r48604 = r48596 / r48603; float r48605 = y; float r48606 = r48605 - r48600; float r48607 = r48606 / r48602; float r48608 = r48604 * r48607; float r48609 = a; float r48610 = r48609 - r48595; float r48611 = r48608 * r48610; float r48612 = r48595 + r48611; return r48612; } double f_od(double x, double y, double z, double t, double a) { double r48613 = x; double r48614 = 1; double r48615 = t; double r48616 = 1.0; double r48617 = r48615 + r48616; double r48618 = z; double r48619 = r48617 - r48618; double r48620 = cbrt(r48619); double r48621 = r48620 * r48620; double r48622 = r48614 / r48621; double r48623 = y; double r48624 = r48623 - r48618; double r48625 = r48624 / r48620; double r48626 = r48622 * r48625; double r48627 = a; double r48628 = r48627 - r48613; double r48629 = r48626 * r48628; double r48630 = r48613 + r48629; return r48630; } 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 r48631, r48632, r48633, r48634, r48635, r48636, r48637, r48638, r48639, r48640, r48641, r48642, r48643; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init(r48631); mpfr_init(r48632); mpfr_init(r48633); mpfr_init(r48634); mpfr_init(r48635); mpfr_init_set_str(r48636, "1.0", 10, MPFR_RNDN); mpfr_init(r48637); mpfr_init(r48638); mpfr_init(r48639); mpfr_init(r48640); mpfr_init(r48641); mpfr_init(r48642); mpfr_init(r48643); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r48631, x, MPFR_RNDN); mpfr_set_d(r48632, y, MPFR_RNDN); mpfr_set_d(r48633, z, MPFR_RNDN); mpfr_sub(r48634, r48632, r48633, MPFR_RNDN); mpfr_set_d(r48635, t, MPFR_RNDN); ; mpfr_add(r48637, r48635, r48636, MPFR_RNDN); mpfr_sub(r48638, r48637, r48633, MPFR_RNDN); mpfr_div(r48639, r48634, r48638, MPFR_RNDN); mpfr_set_d(r48640, a, MPFR_RNDN); mpfr_sub(r48641, r48640, r48631, MPFR_RNDN); mpfr_mul(r48642, r48639, r48641, MPFR_RNDN); mpfr_add(r48643, r48631, r48642, MPFR_RNDN); return mpfr_get_d(r48643, MPFR_RNDN); } static mpfr_t r48644, r48645, r48646, r48647, r48648, r48649, r48650, r48651, r48652, r48653, r48654, r48655, r48656, r48657, r48658, r48659, r48660, r48661; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init(r48644); mpfr_init_set_str(r48645, "1", 10, MPFR_RNDN); mpfr_init(r48646); mpfr_init_set_str(r48647, "1.0", 10, MPFR_RNDN); mpfr_init(r48648); mpfr_init(r48649); mpfr_init(r48650); mpfr_init(r48651); mpfr_init(r48652); mpfr_init(r48653); mpfr_init(r48654); mpfr_init(r48655); mpfr_init(r48656); mpfr_init(r48657); mpfr_init(r48658); mpfr_init(r48659); mpfr_init(r48660); mpfr_init(r48661); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r48644, x, MPFR_RNDN); ; mpfr_set_d(r48646, t, MPFR_RNDN); ; mpfr_add(r48648, r48646, r48647, MPFR_RNDN); mpfr_set_d(r48649, z, MPFR_RNDN); mpfr_sub(r48650, r48648, r48649, MPFR_RNDN); mpfr_cbrt(r48651, r48650, MPFR_RNDN); mpfr_mul(r48652, r48651, r48651, MPFR_RNDN); mpfr_div(r48653, r48645, r48652, MPFR_RNDN); mpfr_set_d(r48654, y, MPFR_RNDN); mpfr_sub(r48655, r48654, r48649, MPFR_RNDN); mpfr_div(r48656, r48655, r48651, MPFR_RNDN); mpfr_mul(r48657, r48653, r48656, MPFR_RNDN); mpfr_set_d(r48658, a, MPFR_RNDN); mpfr_sub(r48659, r48658, r48644, MPFR_RNDN); mpfr_mul(r48660, r48657, r48659, MPFR_RNDN); mpfr_add(r48661, r48644, r48660, MPFR_RNDN); return mpfr_get_d(r48661, MPFR_RNDN); } static mpfr_t r48662, r48663, r48664, r48665, r48666, r48667, r48668, r48669, r48670, r48671, r48672, r48673, r48674, r48675, r48676, r48677, r48678, r48679; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init(r48662); mpfr_init_set_str(r48663, "1", 10, MPFR_RNDN); mpfr_init(r48664); mpfr_init_set_str(r48665, "1.0", 10, MPFR_RNDN); mpfr_init(r48666); mpfr_init(r48667); mpfr_init(r48668); mpfr_init(r48669); mpfr_init(r48670); mpfr_init(r48671); mpfr_init(r48672); mpfr_init(r48673); mpfr_init(r48674); mpfr_init(r48675); mpfr_init(r48676); mpfr_init(r48677); mpfr_init(r48678); mpfr_init(r48679); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r48662, x, MPFR_RNDN); ; mpfr_set_d(r48664, t, MPFR_RNDN); ; mpfr_add(r48666, r48664, r48665, MPFR_RNDN); mpfr_set_d(r48667, z, MPFR_RNDN); mpfr_sub(r48668, r48666, r48667, MPFR_RNDN); mpfr_cbrt(r48669, r48668, MPFR_RNDN); mpfr_mul(r48670, r48669, r48669, MPFR_RNDN); mpfr_div(r48671, r48663, r48670, MPFR_RNDN); mpfr_set_d(r48672, y, MPFR_RNDN); mpfr_sub(r48673, r48672, r48667, MPFR_RNDN); mpfr_div(r48674, r48673, r48669, MPFR_RNDN); mpfr_mul(r48675, r48671, r48674, MPFR_RNDN); mpfr_set_d(r48676, a, MPFR_RNDN); mpfr_sub(r48677, r48676, r48662, MPFR_RNDN); mpfr_mul(r48678, r48675, r48677, MPFR_RNDN); mpfr_add(r48679, r48662, r48678, MPFR_RNDN); return mpfr_get_d(r48679, MPFR_RNDN); }