#include #include #include #include #include char *name = "Quotient of products"; double f_if(float a1, float a2, float b1, float b2) { float r27397 = a1; float r27398 = a2; float r27399 = r27397 * r27398; float r27400 = b1; float r27401 = b2; float r27402 = r27400 * r27401; float r27403 = r27399 / r27402; return r27403; } double f_id(double a1, double a2, double b1, double b2) { double r27404 = a1; double r27405 = a2; double r27406 = r27404 * r27405; double r27407 = b1; double r27408 = b2; double r27409 = r27407 * r27408; double r27410 = r27406 / r27409; return r27410; } double f_of(float a1, float a2, float b1, float b2) { float r27411 = a1; float r27412 = a2; float r27413 = r27411 * r27412; float r27414 = b1; float r27415 = r27413 / r27414; float r27416 = -1.551139534245733e+241; bool r27417 = r27415 <= r27416; float r27418 = b2; float r27419 = r27418 / r27411; float r27420 = r27419 * r27414; float r27421 = r27412 / r27420; float r27422 = -4.459984812668878e-144; bool r27423 = r27415 <= r27422; float r27424 = 1; float r27425 = r27418 / r27415; float r27426 = r27424 / r27425; float r27427 = 5.0394695875807e-322; bool r27428 = r27415 <= r27427; float r27429 = 1.0141203643459555e+306; bool r27430 = r27415 <= r27429; float r27431 = r27430 ? r27426 : r27421; float r27432 = r27428 ? r27421 : r27431; float r27433 = r27423 ? r27426 : r27432; float r27434 = r27417 ? r27421 : r27433; return r27434; } double f_od(double a1, double a2, double b1, double b2) { double r27435 = a1; double r27436 = a2; double r27437 = r27435 * r27436; double r27438 = b1; double r27439 = r27437 / r27438; double r27440 = -1.551139534245733e+241; bool r27441 = r27439 <= r27440; double r27442 = b2; double r27443 = r27442 / r27435; double r27444 = r27443 * r27438; double r27445 = r27436 / r27444; double r27446 = -4.459984812668878e-144; bool r27447 = r27439 <= r27446; double r27448 = 1; double r27449 = r27442 / r27439; double r27450 = r27448 / r27449; double r27451 = 5.0394695875807e-322; bool r27452 = r27439 <= r27451; double r27453 = 1.0141203643459555e+306; bool r27454 = r27439 <= r27453; double r27455 = r27454 ? r27450 : r27445; double r27456 = r27452 ? r27445 : r27455; double r27457 = r27447 ? r27450 : r27456; double r27458 = r27441 ? r27445 : r27457; return r27458; } 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 r27459, r27460, r27461, r27462, r27463, r27464, r27465; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r27459); mpfr_init(r27460); mpfr_init(r27461); mpfr_init(r27462); mpfr_init(r27463); mpfr_init(r27464); mpfr_init(r27465); } double f_im(double a1, double a2, double b1, double b2) { mpfr_set_d(r27459, a1, MPFR_RNDN); mpfr_set_d(r27460, a2, MPFR_RNDN); mpfr_mul(r27461, r27459, r27460, MPFR_RNDN); mpfr_set_d(r27462, b1, MPFR_RNDN); mpfr_set_d(r27463, b2, MPFR_RNDN); mpfr_mul(r27464, r27462, r27463, MPFR_RNDN); mpfr_div(r27465, r27461, r27464, MPFR_RNDN); return mpfr_get_d(r27465, MPFR_RNDN); } static mpfr_t r27466, r27467, r27468, r27469, r27470, r27471, r27472, r27473, r27474, r27475, r27476, r27477, r27478, r27479, r27480, r27481, r27482, r27483, r27484, r27485, r27486, r27487, r27488, r27489; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r27466); mpfr_init(r27467); mpfr_init(r27468); mpfr_init(r27469); mpfr_init(r27470); mpfr_init_set_str(r27471, "-1.551139534245733e+241", 10, MPFR_RNDN); mpfr_init(r27472); mpfr_init(r27473); mpfr_init(r27474); mpfr_init(r27475); mpfr_init(r27476); mpfr_init_set_str(r27477, "-4.459984812668878e-144", 10, MPFR_RNDN); mpfr_init(r27478); mpfr_init_set_str(r27479, "1", 10, MPFR_RNDN); mpfr_init(r27480); mpfr_init(r27481); mpfr_init_set_str(r27482, "5.0394695875807e-322", 10, MPFR_RNDN); mpfr_init(r27483); mpfr_init_set_str(r27484, "1.0141203643459555e+306", 10, MPFR_RNDN); mpfr_init(r27485); mpfr_init(r27486); mpfr_init(r27487); mpfr_init(r27488); mpfr_init(r27489); } double f_fm(double a1, double a2, double b1, double b2) { mpfr_set_d(r27466, a1, MPFR_RNDN); mpfr_set_d(r27467, a2, MPFR_RNDN); mpfr_mul(r27468, r27466, r27467, MPFR_RNDN); mpfr_set_d(r27469, b1, MPFR_RNDN); mpfr_div(r27470, r27468, r27469, MPFR_RNDN); ; mpfr_set_si(r27472, mpfr_cmp(r27470, r27471) <= 0, MPFR_RNDN); mpfr_set_d(r27473, b2, MPFR_RNDN); mpfr_div(r27474, r27473, r27466, MPFR_RNDN); mpfr_mul(r27475, r27474, r27469, MPFR_RNDN); mpfr_div(r27476, r27467, r27475, MPFR_RNDN); ; mpfr_set_si(r27478, mpfr_cmp(r27470, r27477) <= 0, MPFR_RNDN); ; mpfr_div(r27480, r27473, r27470, MPFR_RNDN); mpfr_div(r27481, r27479, r27480, MPFR_RNDN); ; mpfr_set_si(r27483, mpfr_cmp(r27470, r27482) <= 0, MPFR_RNDN); ; mpfr_set_si(r27485, mpfr_cmp(r27470, r27484) <= 0, MPFR_RNDN); if (mpfr_get_si(r27485, MPFR_RNDN)) { mpfr_set(r27486, r27481, MPFR_RNDN); } else { mpfr_set(r27486, r27476, MPFR_RNDN); }; if (mpfr_get_si(r27483, MPFR_RNDN)) { mpfr_set(r27487, r27476, MPFR_RNDN); } else { mpfr_set(r27487, r27486, MPFR_RNDN); }; if (mpfr_get_si(r27478, MPFR_RNDN)) { mpfr_set(r27488, r27481, MPFR_RNDN); } else { mpfr_set(r27488, r27487, MPFR_RNDN); }; if (mpfr_get_si(r27472, MPFR_RNDN)) { mpfr_set(r27489, r27476, MPFR_RNDN); } else { mpfr_set(r27489, r27488, MPFR_RNDN); }; return mpfr_get_d(r27489, MPFR_RNDN); } static mpfr_t r27490, r27491, r27492, r27493, r27494, r27495, r27496, r27497, r27498, r27499, r27500, r27501, r27502, r27503, r27504, r27505, r27506, r27507, r27508, r27509, r27510, r27511, r27512, r27513; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r27490); mpfr_init(r27491); mpfr_init(r27492); mpfr_init(r27493); mpfr_init(r27494); mpfr_init_set_str(r27495, "-1.551139534245733e+241", 10, MPFR_RNDN); mpfr_init(r27496); mpfr_init(r27497); mpfr_init(r27498); mpfr_init(r27499); mpfr_init(r27500); mpfr_init_set_str(r27501, "-4.459984812668878e-144", 10, MPFR_RNDN); mpfr_init(r27502); mpfr_init_set_str(r27503, "1", 10, MPFR_RNDN); mpfr_init(r27504); mpfr_init(r27505); mpfr_init_set_str(r27506, "5.0394695875807e-322", 10, MPFR_RNDN); mpfr_init(r27507); mpfr_init_set_str(r27508, "1.0141203643459555e+306", 10, MPFR_RNDN); mpfr_init(r27509); mpfr_init(r27510); mpfr_init(r27511); mpfr_init(r27512); mpfr_init(r27513); } double f_dm(double a1, double a2, double b1, double b2) { mpfr_set_d(r27490, a1, MPFR_RNDN); mpfr_set_d(r27491, a2, MPFR_RNDN); mpfr_mul(r27492, r27490, r27491, MPFR_RNDN); mpfr_set_d(r27493, b1, MPFR_RNDN); mpfr_div(r27494, r27492, r27493, MPFR_RNDN); ; mpfr_set_si(r27496, mpfr_cmp(r27494, r27495) <= 0, MPFR_RNDN); mpfr_set_d(r27497, b2, MPFR_RNDN); mpfr_div(r27498, r27497, r27490, MPFR_RNDN); mpfr_mul(r27499, r27498, r27493, MPFR_RNDN); mpfr_div(r27500, r27491, r27499, MPFR_RNDN); ; mpfr_set_si(r27502, mpfr_cmp(r27494, r27501) <= 0, MPFR_RNDN); ; mpfr_div(r27504, r27497, r27494, MPFR_RNDN); mpfr_div(r27505, r27503, r27504, MPFR_RNDN); ; mpfr_set_si(r27507, mpfr_cmp(r27494, r27506) <= 0, MPFR_RNDN); ; mpfr_set_si(r27509, mpfr_cmp(r27494, r27508) <= 0, MPFR_RNDN); if (mpfr_get_si(r27509, MPFR_RNDN)) { mpfr_set(r27510, r27505, MPFR_RNDN); } else { mpfr_set(r27510, r27500, MPFR_RNDN); }; if (mpfr_get_si(r27507, MPFR_RNDN)) { mpfr_set(r27511, r27500, MPFR_RNDN); } else { mpfr_set(r27511, r27510, MPFR_RNDN); }; if (mpfr_get_si(r27502, MPFR_RNDN)) { mpfr_set(r27512, r27505, MPFR_RNDN); } else { mpfr_set(r27512, r27511, MPFR_RNDN); }; if (mpfr_get_si(r27496, MPFR_RNDN)) { mpfr_set(r27513, r27500, MPFR_RNDN); } else { mpfr_set(r27513, r27512, MPFR_RNDN); }; return mpfr_get_d(r27513, MPFR_RNDN); }