#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 r17404 = x; float r17405 = y; float r17406 = z; float r17407 = r17405 - r17406; float r17408 = t; float r17409 = 1.0f; float r17410 = r17408 + r17409; float r17411 = r17410 - r17406; float r17412 = r17407 / r17411; float r17413 = a; float r17414 = r17413 - r17404; float r17415 = r17412 * r17414; float r17416 = r17404 + r17415; return r17416; } double f_id(double x, double y, double z, double t, double a) { double r17417 = x; double r17418 = y; double r17419 = z; double r17420 = r17418 - r17419; double r17421 = t; double r17422 = 1.0; double r17423 = r17421 + r17422; double r17424 = r17423 - r17419; double r17425 = r17420 / r17424; double r17426 = a; double r17427 = r17426 - r17417; double r17428 = r17425 * r17427; double r17429 = r17417 + r17428; return r17429; } double f_of(float x, float y, float z, float t, float a) { float r17430 = x; float r17431 = y; float r17432 = z; float r17433 = r17431 - r17432; float r17434 = t; float r17435 = 1.0f; float r17436 = r17434 + r17435; float r17437 = r17436 - r17432; float r17438 = r17433 / r17437; float r17439 = a; float r17440 = r17439 - r17430; float r17441 = r17438 * r17440; float r17442 = r17430 + r17441; float r17443 = -3.7653877407573615e-29f; bool r17444 = r17442 <= r17443; float r17445 = r17435 + r17434; float r17446 = r17445 - r17432; float r17447 = 1.0f; float r17448 = pow(r17446, r17447); float r17449 = r17433 / r17448; float r17450 = r17440 * r17449; float r17451 = r17450 + r17430; float r17452 = 7.739958075382534e-28f; bool r17453 = r17442 <= r17452; float r17454 = r17430 - r17439; float r17455 = r17431 / r17432; float r17456 = fma(r17454, r17455, r17439); float r17457 = r17453 ? r17456 : r17451; float r17458 = r17444 ? r17451 : r17457; return r17458; } double f_od(double x, double y, double z, double t, double a) { double r17459 = x; double r17460 = y; double r17461 = z; double r17462 = r17460 - r17461; double r17463 = t; double r17464 = 1.0; double r17465 = r17463 + r17464; double r17466 = r17465 - r17461; double r17467 = r17462 / r17466; double r17468 = a; double r17469 = r17468 - r17459; double r17470 = r17467 * r17469; double r17471 = r17459 + r17470; double r17472 = -3.7653877407573615e-29; bool r17473 = r17471 <= r17472; double r17474 = r17464 + r17463; double r17475 = r17474 - r17461; double r17476 = 1.0; double r17477 = pow(r17475, r17476); double r17478 = r17462 / r17477; double r17479 = r17469 * r17478; double r17480 = r17479 + r17459; double r17481 = 7.739958075382534e-28; bool r17482 = r17471 <= r17481; double r17483 = r17459 - r17468; double r17484 = r17460 / r17461; double r17485 = fma(r17483, r17484, r17468); double r17486 = r17482 ? r17485 : r17480; double r17487 = r17473 ? r17480 : r17486; return r17487; } 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 r17488, r17489, r17490, r17491, r17492, r17493, r17494, r17495, r17496, r17497, r17498, r17499, r17500; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17488); mpfr_init(r17489); mpfr_init(r17490); mpfr_init(r17491); mpfr_init(r17492); mpfr_init_set_str(r17493, "1.0", 10, MPFR_RNDN); mpfr_init(r17494); mpfr_init(r17495); mpfr_init(r17496); mpfr_init(r17497); mpfr_init(r17498); mpfr_init(r17499); mpfr_init(r17500); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r17488, x, MPFR_RNDN); mpfr_set_d(r17489, y, MPFR_RNDN); mpfr_set_d(r17490, z, MPFR_RNDN); mpfr_sub(r17491, r17489, r17490, MPFR_RNDN); mpfr_set_d(r17492, t, MPFR_RNDN); ; mpfr_add(r17494, r17492, r17493, MPFR_RNDN); mpfr_sub(r17495, r17494, r17490, MPFR_RNDN); mpfr_div(r17496, r17491, r17495, MPFR_RNDN); mpfr_set_d(r17497, a, MPFR_RNDN); mpfr_sub(r17498, r17497, r17488, MPFR_RNDN); mpfr_mul(r17499, r17496, r17498, MPFR_RNDN); mpfr_add(r17500, r17488, r17499, MPFR_RNDN); return mpfr_get_d(r17500, MPFR_RNDN); } static mpfr_t r17501, r17502, r17503, r17504, r17505, r17506, r17507, r17508, r17509, r17510, r17511, r17512, r17513, r17514, r17515, r17516, r17517, r17518, r17519, r17520, r17521, r17522, r17523, r17524, r17525, r17526, r17527, r17528, r17529; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17501); mpfr_init(r17502); mpfr_init(r17503); mpfr_init(r17504); mpfr_init(r17505); mpfr_init_set_str(r17506, "1.0", 10, MPFR_RNDN); mpfr_init(r17507); mpfr_init(r17508); mpfr_init(r17509); mpfr_init(r17510); mpfr_init(r17511); mpfr_init(r17512); mpfr_init(r17513); mpfr_init_set_str(r17514, "-3.7653877f-29", 10, MPFR_RNDN); mpfr_init(r17515); mpfr_init(r17516); mpfr_init(r17517); mpfr_init_set_str(r17518, "1", 10, MPFR_RNDN); mpfr_init(r17519); mpfr_init(r17520); mpfr_init(r17521); mpfr_init(r17522); mpfr_init_set_str(r17523, "7.739958f-28", 10, MPFR_RNDN); mpfr_init(r17524); mpfr_init(r17525); mpfr_init(r17526); mpfr_init(r17527); mpfr_init(r17528); mpfr_init(r17529); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r17501, x, MPFR_RNDN); mpfr_set_d(r17502, y, MPFR_RNDN); mpfr_set_d(r17503, z, MPFR_RNDN); mpfr_sub(r17504, r17502, r17503, MPFR_RNDN); mpfr_set_d(r17505, t, MPFR_RNDN); ; mpfr_add(r17507, r17505, r17506, MPFR_RNDN); mpfr_sub(r17508, r17507, r17503, MPFR_RNDN); mpfr_div(r17509, r17504, r17508, MPFR_RNDN); mpfr_set_d(r17510, a, MPFR_RNDN); mpfr_sub(r17511, r17510, r17501, MPFR_RNDN); mpfr_mul(r17512, r17509, r17511, MPFR_RNDN); mpfr_add(r17513, r17501, r17512, MPFR_RNDN); ; mpfr_set_si(r17515, mpfr_cmp(r17513, r17514) <= 0, MPFR_RNDN); mpfr_add(r17516, r17506, r17505, MPFR_RNDN); mpfr_sub(r17517, r17516, r17503, MPFR_RNDN); ; mpfr_pow(r17519, r17517, r17518, MPFR_RNDN); mpfr_div(r17520, r17504, r17519, MPFR_RNDN); mpfr_mul(r17521, r17511, r17520, MPFR_RNDN); mpfr_add(r17522, r17521, r17501, MPFR_RNDN); ; mpfr_set_si(r17524, mpfr_cmp(r17513, r17523) <= 0, MPFR_RNDN); mpfr_sub(r17525, r17501, r17510, MPFR_RNDN); mpfr_div(r17526, r17502, r17503, MPFR_RNDN); mpfr_fma(r17527, r17525, r17526, r17510, MPFR_RNDN); if (mpfr_get_si(r17524, MPFR_RNDN)) { mpfr_set(r17528, r17527, MPFR_RNDN); } else { mpfr_set(r17528, r17522, MPFR_RNDN); }; if (mpfr_get_si(r17515, MPFR_RNDN)) { mpfr_set(r17529, r17522, MPFR_RNDN); } else { mpfr_set(r17529, r17528, MPFR_RNDN); }; return mpfr_get_d(r17529, MPFR_RNDN); } static mpfr_t r17530, r17531, r17532, r17533, r17534, r17535, r17536, r17537, r17538, r17539, r17540, r17541, r17542, r17543, r17544, r17545, r17546, r17547, r17548, r17549, r17550, r17551, r17552, r17553, r17554, r17555, r17556, r17557, r17558; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17530); mpfr_init(r17531); mpfr_init(r17532); mpfr_init(r17533); mpfr_init(r17534); mpfr_init_set_str(r17535, "1.0", 10, MPFR_RNDN); mpfr_init(r17536); mpfr_init(r17537); mpfr_init(r17538); mpfr_init(r17539); mpfr_init(r17540); mpfr_init(r17541); mpfr_init(r17542); mpfr_init_set_str(r17543, "-3.7653877f-29", 10, MPFR_RNDN); mpfr_init(r17544); mpfr_init(r17545); mpfr_init(r17546); mpfr_init_set_str(r17547, "1", 10, MPFR_RNDN); mpfr_init(r17548); mpfr_init(r17549); mpfr_init(r17550); mpfr_init(r17551); mpfr_init_set_str(r17552, "7.739958f-28", 10, MPFR_RNDN); mpfr_init(r17553); mpfr_init(r17554); mpfr_init(r17555); mpfr_init(r17556); mpfr_init(r17557); mpfr_init(r17558); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r17530, x, MPFR_RNDN); mpfr_set_d(r17531, y, MPFR_RNDN); mpfr_set_d(r17532, z, MPFR_RNDN); mpfr_sub(r17533, r17531, r17532, MPFR_RNDN); mpfr_set_d(r17534, t, MPFR_RNDN); ; mpfr_add(r17536, r17534, r17535, MPFR_RNDN); mpfr_sub(r17537, r17536, r17532, MPFR_RNDN); mpfr_div(r17538, r17533, r17537, MPFR_RNDN); mpfr_set_d(r17539, a, MPFR_RNDN); mpfr_sub(r17540, r17539, r17530, MPFR_RNDN); mpfr_mul(r17541, r17538, r17540, MPFR_RNDN); mpfr_add(r17542, r17530, r17541, MPFR_RNDN); ; mpfr_set_si(r17544, mpfr_cmp(r17542, r17543) <= 0, MPFR_RNDN); mpfr_add(r17545, r17535, r17534, MPFR_RNDN); mpfr_sub(r17546, r17545, r17532, MPFR_RNDN); ; mpfr_pow(r17548, r17546, r17547, MPFR_RNDN); mpfr_div(r17549, r17533, r17548, MPFR_RNDN); mpfr_mul(r17550, r17540, r17549, MPFR_RNDN); mpfr_add(r17551, r17550, r17530, MPFR_RNDN); ; mpfr_set_si(r17553, mpfr_cmp(r17542, r17552) <= 0, MPFR_RNDN); mpfr_sub(r17554, r17530, r17539, MPFR_RNDN); mpfr_div(r17555, r17531, r17532, MPFR_RNDN); mpfr_fma(r17556, r17554, r17555, r17539, MPFR_RNDN); if (mpfr_get_si(r17553, MPFR_RNDN)) { mpfr_set(r17557, r17556, MPFR_RNDN); } else { mpfr_set(r17557, r17551, MPFR_RNDN); }; if (mpfr_get_si(r17544, MPFR_RNDN)) { mpfr_set(r17558, r17551, MPFR_RNDN); } else { mpfr_set(r17558, r17557, MPFR_RNDN); }; return mpfr_get_d(r17558, MPFR_RNDN); }