#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 r17170 = x; float r17171 = y; float r17172 = z; float r17173 = r17171 - r17172; float r17174 = t; float r17175 = 1.0f; float r17176 = r17174 + r17175; float r17177 = r17176 - r17172; float r17178 = r17173 / r17177; float r17179 = a; float r17180 = r17179 - r17170; float r17181 = r17178 * r17180; float r17182 = r17170 + r17181; return r17182; } double f_id(double x, double y, double z, double t, double a) { double r17183 = x; double r17184 = y; double r17185 = z; double r17186 = r17184 - r17185; double r17187 = t; double r17188 = 1.0; double r17189 = r17187 + r17188; double r17190 = r17189 - r17185; double r17191 = r17186 / r17190; double r17192 = a; double r17193 = r17192 - r17183; double r17194 = r17191 * r17193; double r17195 = r17183 + r17194; return r17195; } double f_of(float x, float y, float z, float t, float a) { float r17196 = x; float r17197 = y; float r17198 = z; float r17199 = r17197 - r17198; float r17200 = t; float r17201 = 1.0f; float r17202 = r17200 + r17201; float r17203 = r17202 - r17198; float r17204 = r17199 / r17203; float r17205 = 1.0f; float r17206 = pow(r17204, r17205); float r17207 = a; float r17208 = r17207 - r17196; float r17209 = r17206 * r17208; float r17210 = r17196 + r17209; return r17210; } double f_od(double x, double y, double z, double t, double a) { double r17211 = x; double r17212 = y; double r17213 = z; double r17214 = r17212 - r17213; double r17215 = t; double r17216 = 1.0; double r17217 = r17215 + r17216; double r17218 = r17217 - r17213; double r17219 = r17214 / r17218; double r17220 = 1.0; double r17221 = pow(r17219, r17220); double r17222 = a; double r17223 = r17222 - r17211; double r17224 = r17221 * r17223; double r17225 = r17211 + r17224; return r17225; } 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 r17226, r17227, r17228, r17229, r17230, r17231, r17232, r17233, r17234, r17235, r17236, r17237, r17238; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17226); mpfr_init(r17227); mpfr_init(r17228); mpfr_init(r17229); mpfr_init(r17230); mpfr_init_set_str(r17231, "1.0", 10, MPFR_RNDN); mpfr_init(r17232); mpfr_init(r17233); mpfr_init(r17234); mpfr_init(r17235); mpfr_init(r17236); mpfr_init(r17237); mpfr_init(r17238); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r17226, x, MPFR_RNDN); mpfr_set_d(r17227, y, MPFR_RNDN); mpfr_set_d(r17228, z, MPFR_RNDN); mpfr_sub(r17229, r17227, r17228, MPFR_RNDN); mpfr_set_d(r17230, t, MPFR_RNDN); ; mpfr_add(r17232, r17230, r17231, MPFR_RNDN); mpfr_sub(r17233, r17232, r17228, MPFR_RNDN); mpfr_div(r17234, r17229, r17233, MPFR_RNDN); mpfr_set_d(r17235, a, MPFR_RNDN); mpfr_sub(r17236, r17235, r17226, MPFR_RNDN); mpfr_mul(r17237, r17234, r17236, MPFR_RNDN); mpfr_add(r17238, r17226, r17237, MPFR_RNDN); return mpfr_get_d(r17238, MPFR_RNDN); } static mpfr_t r17239, r17240, r17241, r17242, r17243, r17244, r17245, r17246, r17247, r17248, r17249, r17250, r17251, r17252, r17253; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17239); mpfr_init(r17240); mpfr_init(r17241); mpfr_init(r17242); mpfr_init(r17243); mpfr_init_set_str(r17244, "1.0", 10, MPFR_RNDN); mpfr_init(r17245); mpfr_init(r17246); mpfr_init(r17247); mpfr_init_set_str(r17248, "1", 10, MPFR_RNDN); mpfr_init(r17249); mpfr_init(r17250); mpfr_init(r17251); mpfr_init(r17252); mpfr_init(r17253); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r17239, x, MPFR_RNDN); mpfr_set_d(r17240, y, MPFR_RNDN); mpfr_set_d(r17241, z, MPFR_RNDN); mpfr_sub(r17242, r17240, r17241, MPFR_RNDN); mpfr_set_d(r17243, t, MPFR_RNDN); ; mpfr_add(r17245, r17243, r17244, MPFR_RNDN); mpfr_sub(r17246, r17245, r17241, MPFR_RNDN); mpfr_div(r17247, r17242, r17246, MPFR_RNDN); ; mpfr_pow(r17249, r17247, r17248, MPFR_RNDN); mpfr_set_d(r17250, a, MPFR_RNDN); mpfr_sub(r17251, r17250, r17239, MPFR_RNDN); mpfr_mul(r17252, r17249, r17251, MPFR_RNDN); mpfr_add(r17253, r17239, r17252, MPFR_RNDN); return mpfr_get_d(r17253, MPFR_RNDN); } static mpfr_t r17254, r17255, r17256, r17257, r17258, r17259, r17260, r17261, r17262, r17263, r17264, r17265, r17266, r17267, r17268; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17254); mpfr_init(r17255); mpfr_init(r17256); mpfr_init(r17257); mpfr_init(r17258); mpfr_init_set_str(r17259, "1.0", 10, MPFR_RNDN); mpfr_init(r17260); mpfr_init(r17261); mpfr_init(r17262); mpfr_init_set_str(r17263, "1", 10, MPFR_RNDN); mpfr_init(r17264); mpfr_init(r17265); mpfr_init(r17266); mpfr_init(r17267); mpfr_init(r17268); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r17254, x, MPFR_RNDN); mpfr_set_d(r17255, y, MPFR_RNDN); mpfr_set_d(r17256, z, MPFR_RNDN); mpfr_sub(r17257, r17255, r17256, MPFR_RNDN); mpfr_set_d(r17258, t, MPFR_RNDN); ; mpfr_add(r17260, r17258, r17259, MPFR_RNDN); mpfr_sub(r17261, r17260, r17256, MPFR_RNDN); mpfr_div(r17262, r17257, r17261, MPFR_RNDN); ; mpfr_pow(r17264, r17262, r17263, MPFR_RNDN); mpfr_set_d(r17265, a, MPFR_RNDN); mpfr_sub(r17266, r17265, r17254, MPFR_RNDN); mpfr_mul(r17267, r17264, r17266, MPFR_RNDN); mpfr_add(r17268, r17254, r17267, MPFR_RNDN); return mpfr_get_d(r17268, MPFR_RNDN); }