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