#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 r17106 = x; float r17107 = y; float r17108 = z; float r17109 = r17107 - r17108; float r17110 = t; float r17111 = 1.0f; float r17112 = r17110 + r17111; float r17113 = r17112 - r17108; float r17114 = r17109 / r17113; float r17115 = a; float r17116 = r17115 - r17106; float r17117 = r17114 * r17116; float r17118 = r17106 + r17117; return r17118; } double f_id(double x, double y, double z, double t, double a) { double r17119 = x; double r17120 = y; double r17121 = z; double r17122 = r17120 - r17121; double r17123 = t; double r17124 = 1.0; double r17125 = r17123 + r17124; double r17126 = r17125 - r17121; double r17127 = r17122 / r17126; double r17128 = a; double r17129 = r17128 - r17119; double r17130 = r17127 * r17129; double r17131 = r17119 + r17130; return r17131; } double f_of(float x, float y, float z, float t, float a) { float r17132 = a; float r17133 = x; float r17134 = r17132 - r17133; float r17135 = y; float r17136 = z; float r17137 = r17135 - r17136; float r17138 = 1.0f; float r17139 = t; float r17140 = r17138 + r17139; float r17141 = r17140 - r17136; float r17142 = 1.0f; float r17143 = pow(r17141, r17142); float r17144 = r17137 / r17143; float r17145 = r17134 * r17144; float r17146 = r17145 + r17133; return r17146; } double f_od(double x, double y, double z, double t, double a) { double r17147 = a; double r17148 = x; double r17149 = r17147 - r17148; double r17150 = y; double r17151 = z; double r17152 = r17150 - r17151; double r17153 = 1.0; double r17154 = t; double r17155 = r17153 + r17154; double r17156 = r17155 - r17151; double r17157 = 1.0; double r17158 = pow(r17156, r17157); double r17159 = r17152 / r17158; double r17160 = r17149 * r17159; double r17161 = r17160 + r17148; return r17161; } 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 r17162, r17163, r17164, r17165, r17166, r17167, r17168, r17169, r17170, r17171, r17172, r17173, r17174; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17162); mpfr_init(r17163); mpfr_init(r17164); mpfr_init(r17165); mpfr_init(r17166); mpfr_init_set_str(r17167, "1.0", 10, MPFR_RNDN); mpfr_init(r17168); mpfr_init(r17169); mpfr_init(r17170); mpfr_init(r17171); mpfr_init(r17172); mpfr_init(r17173); mpfr_init(r17174); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r17162, x, MPFR_RNDN); mpfr_set_d(r17163, y, MPFR_RNDN); mpfr_set_d(r17164, z, MPFR_RNDN); mpfr_sub(r17165, r17163, r17164, MPFR_RNDN); mpfr_set_d(r17166, t, MPFR_RNDN); ; mpfr_add(r17168, r17166, r17167, MPFR_RNDN); mpfr_sub(r17169, r17168, r17164, MPFR_RNDN); mpfr_div(r17170, r17165, r17169, MPFR_RNDN); mpfr_set_d(r17171, a, MPFR_RNDN); mpfr_sub(r17172, r17171, r17162, MPFR_RNDN); mpfr_mul(r17173, r17170, r17172, MPFR_RNDN); mpfr_add(r17174, r17162, r17173, MPFR_RNDN); return mpfr_get_d(r17174, MPFR_RNDN); } static mpfr_t r17175, r17176, r17177, r17178, r17179, r17180, r17181, r17182, r17183, r17184, r17185, r17186, r17187, r17188, r17189; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17175); mpfr_init(r17176); mpfr_init(r17177); mpfr_init(r17178); mpfr_init(r17179); mpfr_init(r17180); mpfr_init_set_str(r17181, "1.0", 10, MPFR_RNDN); mpfr_init(r17182); mpfr_init(r17183); mpfr_init(r17184); mpfr_init_set_str(r17185, "1", 10, MPFR_RNDN); mpfr_init(r17186); mpfr_init(r17187); mpfr_init(r17188); mpfr_init(r17189); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r17175, a, MPFR_RNDN); mpfr_set_d(r17176, x, MPFR_RNDN); mpfr_sub(r17177, r17175, r17176, MPFR_RNDN); mpfr_set_d(r17178, y, MPFR_RNDN); mpfr_set_d(r17179, z, MPFR_RNDN); mpfr_sub(r17180, r17178, r17179, MPFR_RNDN); ; mpfr_set_d(r17182, t, MPFR_RNDN); mpfr_add(r17183, r17181, r17182, MPFR_RNDN); mpfr_sub(r17184, r17183, r17179, MPFR_RNDN); ; mpfr_pow(r17186, r17184, r17185, MPFR_RNDN); mpfr_div(r17187, r17180, r17186, MPFR_RNDN); mpfr_mul(r17188, r17177, r17187, MPFR_RNDN); mpfr_add(r17189, r17188, r17176, MPFR_RNDN); return mpfr_get_d(r17189, MPFR_RNDN); } static mpfr_t r17190, r17191, r17192, r17193, r17194, r17195, r17196, r17197, r17198, r17199, r17200, r17201, r17202, r17203, r17204; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17190); mpfr_init(r17191); mpfr_init(r17192); mpfr_init(r17193); mpfr_init(r17194); mpfr_init(r17195); mpfr_init_set_str(r17196, "1.0", 10, MPFR_RNDN); mpfr_init(r17197); mpfr_init(r17198); mpfr_init(r17199); mpfr_init_set_str(r17200, "1", 10, MPFR_RNDN); mpfr_init(r17201); mpfr_init(r17202); mpfr_init(r17203); mpfr_init(r17204); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r17190, a, MPFR_RNDN); mpfr_set_d(r17191, x, MPFR_RNDN); mpfr_sub(r17192, r17190, r17191, MPFR_RNDN); mpfr_set_d(r17193, y, MPFR_RNDN); mpfr_set_d(r17194, z, MPFR_RNDN); mpfr_sub(r17195, r17193, r17194, MPFR_RNDN); ; mpfr_set_d(r17197, t, MPFR_RNDN); mpfr_add(r17198, r17196, r17197, MPFR_RNDN); mpfr_sub(r17199, r17198, r17194, MPFR_RNDN); ; mpfr_pow(r17201, r17199, r17200, MPFR_RNDN); mpfr_div(r17202, r17195, r17201, MPFR_RNDN); mpfr_mul(r17203, r17192, r17202, MPFR_RNDN); mpfr_add(r17204, r17203, r17191, MPFR_RNDN); return mpfr_get_d(r17204, MPFR_RNDN); }