#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 r18243 = x; float r18244 = y; float r18245 = z; float r18246 = r18244 - r18245; float r18247 = t; float r18248 = 1.0f; float r18249 = r18247 + r18248; float r18250 = r18249 - r18245; float r18251 = r18246 / r18250; float r18252 = a; float r18253 = r18252 - r18243; float r18254 = r18251 * r18253; float r18255 = r18243 + r18254; return r18255; } double f_id(double x, double y, double z, double t, double a) { double r18256 = x; double r18257 = y; double r18258 = z; double r18259 = r18257 - r18258; double r18260 = t; double r18261 = 1.0; double r18262 = r18260 + r18261; double r18263 = r18262 - r18258; double r18264 = r18259 / r18263; double r18265 = a; double r18266 = r18265 - r18256; double r18267 = r18264 * r18266; double r18268 = r18256 + r18267; return r18268; } double f_of(float x, float y, float z, float t, float a) { float r18269 = z; float r18270 = -3.643176247714988e+162f; bool r18271 = r18269 <= r18270; float r18272 = a; float r18273 = y; float r18274 = r18273 / r18269; float r18275 = x; float r18276 = r18275 - r18272; float r18277 = r18274 * r18276; float r18278 = r18272 + r18277; float r18279 = 5.903305365345926e+148f; bool r18280 = r18269 <= r18279; float r18281 = r18273 - r18269; float r18282 = r18272 - r18275; float r18283 = 1.0f; float r18284 = t; float r18285 = r18269 - r18284; float r18286 = r18283 - r18285; float r18287 = r18282 / r18286; float r18288 = r18281 * r18287; float r18289 = r18275 + r18288; float r18290 = r18280 ? r18289 : r18278; float r18291 = r18271 ? r18278 : r18290; return r18291; } double f_od(double x, double y, double z, double t, double a) { double r18292 = z; double r18293 = -3.643176247714988e+162; bool r18294 = r18292 <= r18293; double r18295 = a; double r18296 = y; double r18297 = r18296 / r18292; double r18298 = x; double r18299 = r18298 - r18295; double r18300 = r18297 * r18299; double r18301 = r18295 + r18300; double r18302 = 5.903305365345926e+148; bool r18303 = r18292 <= r18302; double r18304 = r18296 - r18292; double r18305 = r18295 - r18298; double r18306 = 1.0; double r18307 = t; double r18308 = r18292 - r18307; double r18309 = r18306 - r18308; double r18310 = r18305 / r18309; double r18311 = r18304 * r18310; double r18312 = r18298 + r18311; double r18313 = r18303 ? r18312 : r18301; double r18314 = r18294 ? r18301 : r18313; return r18314; } 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 r18315, r18316, r18317, r18318, r18319, r18320, r18321, r18322, r18323, r18324, r18325, r18326, r18327; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r18315); mpfr_init(r18316); mpfr_init(r18317); mpfr_init(r18318); mpfr_init(r18319); mpfr_init_set_str(r18320, "1.0", 10, MPFR_RNDN); mpfr_init(r18321); mpfr_init(r18322); mpfr_init(r18323); mpfr_init(r18324); mpfr_init(r18325); mpfr_init(r18326); mpfr_init(r18327); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r18315, x, MPFR_RNDN); mpfr_set_d(r18316, y, MPFR_RNDN); mpfr_set_d(r18317, z, MPFR_RNDN); mpfr_sub(r18318, r18316, r18317, MPFR_RNDN); mpfr_set_d(r18319, t, MPFR_RNDN); ; mpfr_add(r18321, r18319, r18320, MPFR_RNDN); mpfr_sub(r18322, r18321, r18317, MPFR_RNDN); mpfr_div(r18323, r18318, r18322, MPFR_RNDN); mpfr_set_d(r18324, a, MPFR_RNDN); mpfr_sub(r18325, r18324, r18315, MPFR_RNDN); mpfr_mul(r18326, r18323, r18325, MPFR_RNDN); mpfr_add(r18327, r18315, r18326, MPFR_RNDN); return mpfr_get_d(r18327, MPFR_RNDN); } static mpfr_t r18328, r18329, r18330, r18331, r18332, r18333, r18334, r18335, r18336, r18337, r18338, r18339, r18340, r18341, r18342, r18343, r18344, r18345, r18346, r18347, r18348, r18349, r18350; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r18328); mpfr_init_set_str(r18329, "-3.643176247714988e+162", 10, MPFR_RNDN); mpfr_init(r18330); mpfr_init(r18331); mpfr_init(r18332); mpfr_init(r18333); mpfr_init(r18334); mpfr_init(r18335); mpfr_init(r18336); mpfr_init(r18337); mpfr_init_set_str(r18338, "5.903305365345926e+148", 10, MPFR_RNDN); mpfr_init(r18339); mpfr_init(r18340); mpfr_init(r18341); mpfr_init_set_str(r18342, "1.0", 10, MPFR_RNDN); mpfr_init(r18343); mpfr_init(r18344); mpfr_init(r18345); mpfr_init(r18346); mpfr_init(r18347); mpfr_init(r18348); mpfr_init(r18349); mpfr_init(r18350); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r18328, z, MPFR_RNDN); ; mpfr_set_si(r18330, mpfr_cmp(r18328, r18329) <= 0, MPFR_RNDN); mpfr_set_d(r18331, a, MPFR_RNDN); mpfr_set_d(r18332, y, MPFR_RNDN); mpfr_div(r18333, r18332, r18328, MPFR_RNDN); mpfr_set_d(r18334, x, MPFR_RNDN); mpfr_sub(r18335, r18334, r18331, MPFR_RNDN); mpfr_mul(r18336, r18333, r18335, MPFR_RNDN); mpfr_add(r18337, r18331, r18336, MPFR_RNDN); ; mpfr_set_si(r18339, mpfr_cmp(r18328, r18338) <= 0, MPFR_RNDN); mpfr_sub(r18340, r18332, r18328, MPFR_RNDN); mpfr_sub(r18341, r18331, r18334, MPFR_RNDN); ; mpfr_set_d(r18343, t, MPFR_RNDN); mpfr_sub(r18344, r18328, r18343, MPFR_RNDN); mpfr_sub(r18345, r18342, r18344, MPFR_RNDN); mpfr_div(r18346, r18341, r18345, MPFR_RNDN); mpfr_mul(r18347, r18340, r18346, MPFR_RNDN); mpfr_add(r18348, r18334, r18347, MPFR_RNDN); if (mpfr_get_si(r18339, MPFR_RNDN)) { mpfr_set(r18349, r18348, MPFR_RNDN); } else { mpfr_set(r18349, r18337, MPFR_RNDN); }; if (mpfr_get_si(r18330, MPFR_RNDN)) { mpfr_set(r18350, r18337, MPFR_RNDN); } else { mpfr_set(r18350, r18349, MPFR_RNDN); }; return mpfr_get_d(r18350, MPFR_RNDN); } static mpfr_t r18351, r18352, r18353, r18354, r18355, r18356, r18357, r18358, r18359, r18360, r18361, r18362, r18363, r18364, r18365, r18366, r18367, r18368, r18369, r18370, r18371, r18372, r18373; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r18351); mpfr_init_set_str(r18352, "-3.643176247714988e+162", 10, MPFR_RNDN); mpfr_init(r18353); mpfr_init(r18354); mpfr_init(r18355); mpfr_init(r18356); mpfr_init(r18357); mpfr_init(r18358); mpfr_init(r18359); mpfr_init(r18360); mpfr_init_set_str(r18361, "5.903305365345926e+148", 10, MPFR_RNDN); mpfr_init(r18362); mpfr_init(r18363); mpfr_init(r18364); mpfr_init_set_str(r18365, "1.0", 10, MPFR_RNDN); mpfr_init(r18366); mpfr_init(r18367); mpfr_init(r18368); mpfr_init(r18369); mpfr_init(r18370); mpfr_init(r18371); mpfr_init(r18372); mpfr_init(r18373); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r18351, z, MPFR_RNDN); ; mpfr_set_si(r18353, mpfr_cmp(r18351, r18352) <= 0, MPFR_RNDN); mpfr_set_d(r18354, a, MPFR_RNDN); mpfr_set_d(r18355, y, MPFR_RNDN); mpfr_div(r18356, r18355, r18351, MPFR_RNDN); mpfr_set_d(r18357, x, MPFR_RNDN); mpfr_sub(r18358, r18357, r18354, MPFR_RNDN); mpfr_mul(r18359, r18356, r18358, MPFR_RNDN); mpfr_add(r18360, r18354, r18359, MPFR_RNDN); ; mpfr_set_si(r18362, mpfr_cmp(r18351, r18361) <= 0, MPFR_RNDN); mpfr_sub(r18363, r18355, r18351, MPFR_RNDN); mpfr_sub(r18364, r18354, r18357, MPFR_RNDN); ; mpfr_set_d(r18366, t, MPFR_RNDN); mpfr_sub(r18367, r18351, r18366, MPFR_RNDN); mpfr_sub(r18368, r18365, r18367, MPFR_RNDN); mpfr_div(r18369, r18364, r18368, MPFR_RNDN); mpfr_mul(r18370, r18363, r18369, MPFR_RNDN); mpfr_add(r18371, r18357, r18370, MPFR_RNDN); if (mpfr_get_si(r18362, MPFR_RNDN)) { mpfr_set(r18372, r18371, MPFR_RNDN); } else { mpfr_set(r18372, r18360, MPFR_RNDN); }; if (mpfr_get_si(r18353, MPFR_RNDN)) { mpfr_set(r18373, r18360, MPFR_RNDN); } else { mpfr_set(r18373, r18372, MPFR_RNDN); }; return mpfr_get_d(r18373, MPFR_RNDN); }