#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 r17381 = x; float r17382 = y; float r17383 = z; float r17384 = r17382 - r17383; float r17385 = t; float r17386 = 1.0f; float r17387 = r17385 + r17386; float r17388 = r17387 - r17383; float r17389 = r17384 / r17388; float r17390 = a; float r17391 = r17390 - r17381; float r17392 = r17389 * r17391; float r17393 = r17381 + r17392; return r17393; } double f_id(double x, double y, double z, double t, double a) { double r17394 = x; double r17395 = y; double r17396 = z; double r17397 = r17395 - r17396; double r17398 = t; double r17399 = 1.0; double r17400 = r17398 + r17399; double r17401 = r17400 - r17396; double r17402 = r17397 / r17401; double r17403 = a; double r17404 = r17403 - r17394; double r17405 = r17402 * r17404; double r17406 = r17394 + r17405; return r17406; } double f_of(float x, float y, float z, float t, float a) { float r17407 = z; float r17408 = -3.643176247714988e+162f; bool r17409 = r17407 <= r17408; float r17410 = y; float r17411 = r17410 / r17407; float r17412 = x; float r17413 = a; float r17414 = fma(r17411, r17412, r17413); float r17415 = r17407 / r17413; float r17416 = r17410 / r17415; float r17417 = r17414 - r17416; float r17418 = 5.903305365345926e+148f; bool r17419 = r17407 <= r17418; float r17420 = r17413 - r17412; float r17421 = r17410 - r17407; float r17422 = 1.0f; float r17423 = t; float r17424 = r17423 - r17407; float r17425 = r17422 + r17424; float r17426 = r17421 / r17425; float r17427 = fma(r17420, r17426, r17412); float r17428 = r17419 ? r17427 : r17417; float r17429 = r17409 ? r17417 : r17428; return r17429; } double f_od(double x, double y, double z, double t, double a) { double r17430 = z; double r17431 = -3.643176247714988e+162; bool r17432 = r17430 <= r17431; double r17433 = y; double r17434 = r17433 / r17430; double r17435 = x; double r17436 = a; double r17437 = fma(r17434, r17435, r17436); double r17438 = r17430 / r17436; double r17439 = r17433 / r17438; double r17440 = r17437 - r17439; double r17441 = 5.903305365345926e+148; bool r17442 = r17430 <= r17441; double r17443 = r17436 - r17435; double r17444 = r17433 - r17430; double r17445 = 1.0; double r17446 = t; double r17447 = r17446 - r17430; double r17448 = r17445 + r17447; double r17449 = r17444 / r17448; double r17450 = fma(r17443, r17449, r17435); double r17451 = r17442 ? r17450 : r17440; double r17452 = r17432 ? r17440 : r17451; return r17452; } 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 r17453, r17454, r17455, r17456, r17457, r17458, r17459, r17460, r17461, r17462, r17463, r17464, r17465; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17453); mpfr_init(r17454); mpfr_init(r17455); mpfr_init(r17456); mpfr_init(r17457); mpfr_init_set_str(r17458, "1.0", 10, MPFR_RNDN); mpfr_init(r17459); mpfr_init(r17460); mpfr_init(r17461); mpfr_init(r17462); mpfr_init(r17463); mpfr_init(r17464); mpfr_init(r17465); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r17453, x, MPFR_RNDN); mpfr_set_d(r17454, y, MPFR_RNDN); mpfr_set_d(r17455, z, MPFR_RNDN); mpfr_sub(r17456, r17454, r17455, MPFR_RNDN); mpfr_set_d(r17457, t, MPFR_RNDN); ; mpfr_add(r17459, r17457, r17458, MPFR_RNDN); mpfr_sub(r17460, r17459, r17455, MPFR_RNDN); mpfr_div(r17461, r17456, r17460, MPFR_RNDN); mpfr_set_d(r17462, a, MPFR_RNDN); mpfr_sub(r17463, r17462, r17453, MPFR_RNDN); mpfr_mul(r17464, r17461, r17463, MPFR_RNDN); mpfr_add(r17465, r17453, r17464, MPFR_RNDN); return mpfr_get_d(r17465, MPFR_RNDN); } static mpfr_t r17466, r17467, r17468, r17469, r17470, r17471, r17472, r17473, r17474, r17475, r17476, r17477, r17478, r17479, r17480, r17481, r17482, r17483, r17484, r17485, r17486, r17487, r17488; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17466); mpfr_init_set_str(r17467, "-3.643176247714988e+162", 10, MPFR_RNDN); mpfr_init(r17468); mpfr_init(r17469); mpfr_init(r17470); mpfr_init(r17471); mpfr_init(r17472); mpfr_init(r17473); mpfr_init(r17474); mpfr_init(r17475); mpfr_init(r17476); mpfr_init_set_str(r17477, "5.903305365345926e+148", 10, MPFR_RNDN); mpfr_init(r17478); mpfr_init(r17479); mpfr_init(r17480); mpfr_init_set_str(r17481, "1.0", 10, MPFR_RNDN); mpfr_init(r17482); mpfr_init(r17483); mpfr_init(r17484); mpfr_init(r17485); mpfr_init(r17486); mpfr_init(r17487); mpfr_init(r17488); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r17466, z, MPFR_RNDN); ; mpfr_set_si(r17468, mpfr_cmp(r17466, r17467) <= 0, MPFR_RNDN); mpfr_set_d(r17469, y, MPFR_RNDN); mpfr_div(r17470, r17469, r17466, MPFR_RNDN); mpfr_set_d(r17471, x, MPFR_RNDN); mpfr_set_d(r17472, a, MPFR_RNDN); mpfr_fma(r17473, r17470, r17471, r17472, MPFR_RNDN); mpfr_div(r17474, r17466, r17472, MPFR_RNDN); mpfr_div(r17475, r17469, r17474, MPFR_RNDN); mpfr_sub(r17476, r17473, r17475, MPFR_RNDN); ; mpfr_set_si(r17478, mpfr_cmp(r17466, r17477) <= 0, MPFR_RNDN); mpfr_sub(r17479, r17472, r17471, MPFR_RNDN); mpfr_sub(r17480, r17469, r17466, MPFR_RNDN); ; mpfr_set_d(r17482, t, MPFR_RNDN); mpfr_sub(r17483, r17482, r17466, MPFR_RNDN); mpfr_add(r17484, r17481, r17483, MPFR_RNDN); mpfr_div(r17485, r17480, r17484, MPFR_RNDN); mpfr_fma(r17486, r17479, r17485, r17471, MPFR_RNDN); if (mpfr_get_si(r17478, MPFR_RNDN)) { mpfr_set(r17487, r17486, MPFR_RNDN); } else { mpfr_set(r17487, r17476, MPFR_RNDN); }; if (mpfr_get_si(r17468, MPFR_RNDN)) { mpfr_set(r17488, r17476, MPFR_RNDN); } else { mpfr_set(r17488, r17487, MPFR_RNDN); }; return mpfr_get_d(r17488, MPFR_RNDN); } static mpfr_t r17489, r17490, r17491, r17492, r17493, r17494, r17495, r17496, r17497, r17498, r17499, r17500, r17501, r17502, r17503, r17504, r17505, r17506, r17507, r17508, r17509, r17510, r17511; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17489); mpfr_init_set_str(r17490, "-3.643176247714988e+162", 10, MPFR_RNDN); mpfr_init(r17491); mpfr_init(r17492); mpfr_init(r17493); mpfr_init(r17494); mpfr_init(r17495); mpfr_init(r17496); mpfr_init(r17497); mpfr_init(r17498); mpfr_init(r17499); mpfr_init_set_str(r17500, "5.903305365345926e+148", 10, MPFR_RNDN); mpfr_init(r17501); mpfr_init(r17502); mpfr_init(r17503); mpfr_init_set_str(r17504, "1.0", 10, MPFR_RNDN); mpfr_init(r17505); mpfr_init(r17506); mpfr_init(r17507); mpfr_init(r17508); mpfr_init(r17509); mpfr_init(r17510); mpfr_init(r17511); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r17489, z, MPFR_RNDN); ; mpfr_set_si(r17491, mpfr_cmp(r17489, r17490) <= 0, MPFR_RNDN); mpfr_set_d(r17492, y, MPFR_RNDN); mpfr_div(r17493, r17492, r17489, MPFR_RNDN); mpfr_set_d(r17494, x, MPFR_RNDN); mpfr_set_d(r17495, a, MPFR_RNDN); mpfr_fma(r17496, r17493, r17494, r17495, MPFR_RNDN); mpfr_div(r17497, r17489, r17495, MPFR_RNDN); mpfr_div(r17498, r17492, r17497, MPFR_RNDN); mpfr_sub(r17499, r17496, r17498, MPFR_RNDN); ; mpfr_set_si(r17501, mpfr_cmp(r17489, r17500) <= 0, MPFR_RNDN); mpfr_sub(r17502, r17495, r17494, MPFR_RNDN); mpfr_sub(r17503, r17492, r17489, MPFR_RNDN); ; mpfr_set_d(r17505, t, MPFR_RNDN); mpfr_sub(r17506, r17505, r17489, MPFR_RNDN); mpfr_add(r17507, r17504, r17506, MPFR_RNDN); mpfr_div(r17508, r17503, r17507, MPFR_RNDN); mpfr_fma(r17509, r17502, r17508, r17494, MPFR_RNDN); if (mpfr_get_si(r17501, MPFR_RNDN)) { mpfr_set(r17510, r17509, MPFR_RNDN); } else { mpfr_set(r17510, r17499, MPFR_RNDN); }; if (mpfr_get_si(r17491, MPFR_RNDN)) { mpfr_set(r17511, r17499, MPFR_RNDN); } else { mpfr_set(r17511, r17510, MPFR_RNDN); }; return mpfr_get_d(r17511, MPFR_RNDN); }