#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 r6340 = x; float r6341 = y; float r6342 = z; float r6343 = r6341 - r6342; float r6344 = t; float r6345 = 1.0; float r6346 = r6344 + r6345; float r6347 = r6346 - r6342; float r6348 = r6343 / r6347; float r6349 = a; float r6350 = r6349 - r6340; float r6351 = r6348 * r6350; float r6352 = r6340 + r6351; return r6352; } double f_id(double x, double y, double z, double t, double a) { double r6353 = x; double r6354 = y; double r6355 = z; double r6356 = r6354 - r6355; double r6357 = t; double r6358 = 1.0; double r6359 = r6357 + r6358; double r6360 = r6359 - r6355; double r6361 = r6356 / r6360; double r6362 = a; double r6363 = r6362 - r6353; double r6364 = r6361 * r6363; double r6365 = r6353 + r6364; return r6365; } double f_of(float x, float y, float z, float t, float a) { float r6366 = y; float r6367 = z; float r6368 = r6366 - r6367; float r6369 = t; float r6370 = 1.0; float r6371 = r6369 + r6370; float r6372 = r6371 - r6367; float r6373 = r6368 / r6372; float r6374 = 0.9999999999999978; bool r6375 = r6373 <= r6374; float r6376 = x; float r6377 = cbrt(r6368); float r6378 = r6377 * r6377; float r6379 = 1; float r6380 = r6378 / r6379; float r6381 = r6377 / r6372; float r6382 = a; float r6383 = r6382 - r6376; float r6384 = r6381 * r6383; float r6385 = r6380 * r6384; float r6386 = r6376 + r6385; float r6387 = 1.0138787963625333; bool r6388 = r6373 <= r6387; float r6389 = r6370 / r6367; float r6390 = r6389 * r6383; float r6391 = r6390 + r6382; float r6392 = r6388 ? r6391 : r6386; float r6393 = r6375 ? r6386 : r6392; return r6393; } double f_od(double x, double y, double z, double t, double a) { double r6394 = y; double r6395 = z; double r6396 = r6394 - r6395; double r6397 = t; double r6398 = 1.0; double r6399 = r6397 + r6398; double r6400 = r6399 - r6395; double r6401 = r6396 / r6400; double r6402 = 0.9999999999999978; bool r6403 = r6401 <= r6402; double r6404 = x; double r6405 = cbrt(r6396); double r6406 = r6405 * r6405; double r6407 = 1; double r6408 = r6406 / r6407; double r6409 = r6405 / r6400; double r6410 = a; double r6411 = r6410 - r6404; double r6412 = r6409 * r6411; double r6413 = r6408 * r6412; double r6414 = r6404 + r6413; double r6415 = 1.0138787963625333; bool r6416 = r6401 <= r6415; double r6417 = r6398 / r6395; double r6418 = r6417 * r6411; double r6419 = r6418 + r6410; double r6420 = r6416 ? r6419 : r6414; double r6421 = r6403 ? r6414 : r6420; return r6421; } 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 r6422, r6423, r6424, r6425, r6426, r6427, r6428, r6429, r6430, r6431, r6432, r6433, r6434; void setup_mpfr_f_im() { mpfr_set_default_prec(1360); mpfr_init(r6422); mpfr_init(r6423); mpfr_init(r6424); mpfr_init(r6425); mpfr_init(r6426); mpfr_init_set_str(r6427, "1.0", 10, MPFR_RNDN); mpfr_init(r6428); mpfr_init(r6429); mpfr_init(r6430); mpfr_init(r6431); mpfr_init(r6432); mpfr_init(r6433); mpfr_init(r6434); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r6422, x, MPFR_RNDN); mpfr_set_d(r6423, y, MPFR_RNDN); mpfr_set_d(r6424, z, MPFR_RNDN); mpfr_sub(r6425, r6423, r6424, MPFR_RNDN); mpfr_set_d(r6426, t, MPFR_RNDN); ; mpfr_add(r6428, r6426, r6427, MPFR_RNDN); mpfr_sub(r6429, r6428, r6424, MPFR_RNDN); mpfr_div(r6430, r6425, r6429, MPFR_RNDN); mpfr_set_d(r6431, a, MPFR_RNDN); mpfr_sub(r6432, r6431, r6422, MPFR_RNDN); mpfr_mul(r6433, r6430, r6432, MPFR_RNDN); mpfr_add(r6434, r6422, r6433, MPFR_RNDN); return mpfr_get_d(r6434, MPFR_RNDN); } static mpfr_t r6435, r6436, r6437, r6438, r6439, r6440, r6441, r6442, r6443, r6444, r6445, r6446, r6447, r6448, r6449, r6450, r6451, r6452, r6453, r6454, r6455, r6456, r6457, r6458, r6459, r6460, r6461, r6462; void setup_mpfr_f_fm() { mpfr_set_default_prec(1360); mpfr_init(r6435); mpfr_init(r6436); mpfr_init(r6437); mpfr_init(r6438); mpfr_init_set_str(r6439, "1.0", 10, MPFR_RNDN); mpfr_init(r6440); mpfr_init(r6441); mpfr_init(r6442); mpfr_init_set_str(r6443, "0.9999999999999978", 10, MPFR_RNDN); mpfr_init(r6444); mpfr_init(r6445); mpfr_init(r6446); mpfr_init(r6447); mpfr_init_set_str(r6448, "1", 10, MPFR_RNDN); mpfr_init(r6449); mpfr_init(r6450); mpfr_init(r6451); mpfr_init(r6452); mpfr_init(r6453); mpfr_init(r6454); mpfr_init(r6455); mpfr_init_set_str(r6456, "1.0138787963625333", 10, MPFR_RNDN); mpfr_init(r6457); mpfr_init(r6458); mpfr_init(r6459); mpfr_init(r6460); mpfr_init(r6461); mpfr_init(r6462); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r6435, y, MPFR_RNDN); mpfr_set_d(r6436, z, MPFR_RNDN); mpfr_sub(r6437, r6435, r6436, MPFR_RNDN); mpfr_set_d(r6438, t, MPFR_RNDN); ; mpfr_add(r6440, r6438, r6439, MPFR_RNDN); mpfr_sub(r6441, r6440, r6436, MPFR_RNDN); mpfr_div(r6442, r6437, r6441, MPFR_RNDN); ; mpfr_set_si(r6444, mpfr_cmp(r6442, r6443) <= 0, MPFR_RNDN); mpfr_set_d(r6445, x, MPFR_RNDN); mpfr_cbrt(r6446, r6437, MPFR_RNDN); mpfr_mul(r6447, r6446, r6446, MPFR_RNDN); ; mpfr_div(r6449, r6447, r6448, MPFR_RNDN); mpfr_div(r6450, r6446, r6441, MPFR_RNDN); mpfr_set_d(r6451, a, MPFR_RNDN); mpfr_sub(r6452, r6451, r6445, MPFR_RNDN); mpfr_mul(r6453, r6450, r6452, MPFR_RNDN); mpfr_mul(r6454, r6449, r6453, MPFR_RNDN); mpfr_add(r6455, r6445, r6454, MPFR_RNDN); ; mpfr_set_si(r6457, mpfr_cmp(r6442, r6456) <= 0, MPFR_RNDN); mpfr_div(r6458, r6439, r6436, MPFR_RNDN); mpfr_mul(r6459, r6458, r6452, MPFR_RNDN); mpfr_add(r6460, r6459, r6451, MPFR_RNDN); if (mpfr_get_si(r6457, MPFR_RNDN)) { mpfr_set(r6461, r6460, MPFR_RNDN); } else { mpfr_set(r6461, r6455, MPFR_RNDN); }; if (mpfr_get_si(r6444, MPFR_RNDN)) { mpfr_set(r6462, r6455, MPFR_RNDN); } else { mpfr_set(r6462, r6461, MPFR_RNDN); }; return mpfr_get_d(r6462, MPFR_RNDN); } static mpfr_t r6463, r6464, r6465, r6466, r6467, r6468, r6469, r6470, r6471, r6472, r6473, r6474, r6475, r6476, r6477, r6478, r6479, r6480, r6481, r6482, r6483, r6484, r6485, r6486, r6487, r6488, r6489, r6490; void setup_mpfr_f_dm() { mpfr_set_default_prec(1360); mpfr_init(r6463); mpfr_init(r6464); mpfr_init(r6465); mpfr_init(r6466); mpfr_init_set_str(r6467, "1.0", 10, MPFR_RNDN); mpfr_init(r6468); mpfr_init(r6469); mpfr_init(r6470); mpfr_init_set_str(r6471, "0.9999999999999978", 10, MPFR_RNDN); mpfr_init(r6472); mpfr_init(r6473); mpfr_init(r6474); mpfr_init(r6475); mpfr_init_set_str(r6476, "1", 10, MPFR_RNDN); mpfr_init(r6477); mpfr_init(r6478); mpfr_init(r6479); mpfr_init(r6480); mpfr_init(r6481); mpfr_init(r6482); mpfr_init(r6483); mpfr_init_set_str(r6484, "1.0138787963625333", 10, MPFR_RNDN); mpfr_init(r6485); mpfr_init(r6486); mpfr_init(r6487); mpfr_init(r6488); mpfr_init(r6489); mpfr_init(r6490); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r6463, y, MPFR_RNDN); mpfr_set_d(r6464, z, MPFR_RNDN); mpfr_sub(r6465, r6463, r6464, MPFR_RNDN); mpfr_set_d(r6466, t, MPFR_RNDN); ; mpfr_add(r6468, r6466, r6467, MPFR_RNDN); mpfr_sub(r6469, r6468, r6464, MPFR_RNDN); mpfr_div(r6470, r6465, r6469, MPFR_RNDN); ; mpfr_set_si(r6472, mpfr_cmp(r6470, r6471) <= 0, MPFR_RNDN); mpfr_set_d(r6473, x, MPFR_RNDN); mpfr_cbrt(r6474, r6465, MPFR_RNDN); mpfr_mul(r6475, r6474, r6474, MPFR_RNDN); ; mpfr_div(r6477, r6475, r6476, MPFR_RNDN); mpfr_div(r6478, r6474, r6469, MPFR_RNDN); mpfr_set_d(r6479, a, MPFR_RNDN); mpfr_sub(r6480, r6479, r6473, MPFR_RNDN); mpfr_mul(r6481, r6478, r6480, MPFR_RNDN); mpfr_mul(r6482, r6477, r6481, MPFR_RNDN); mpfr_add(r6483, r6473, r6482, MPFR_RNDN); ; mpfr_set_si(r6485, mpfr_cmp(r6470, r6484) <= 0, MPFR_RNDN); mpfr_div(r6486, r6467, r6464, MPFR_RNDN); mpfr_mul(r6487, r6486, r6480, MPFR_RNDN); mpfr_add(r6488, r6487, r6479, MPFR_RNDN); if (mpfr_get_si(r6485, MPFR_RNDN)) { mpfr_set(r6489, r6488, MPFR_RNDN); } else { mpfr_set(r6489, r6483, MPFR_RNDN); }; if (mpfr_get_si(r6472, MPFR_RNDN)) { mpfr_set(r6490, r6483, MPFR_RNDN); } else { mpfr_set(r6490, r6489, MPFR_RNDN); }; return mpfr_get_d(r6490, MPFR_RNDN); }