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