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