#include #include #include #include #include char *name = "fabs fraction 1"; double f_if(float x, float y, float z) { float r22483 = x; float r22484 = 4; float r22485 = r22483 + r22484; float r22486 = y; float r22487 = r22485 / r22486; float r22488 = r22483 / r22486; float r22489 = z; float r22490 = r22488 * r22489; float r22491 = r22487 - r22490; float r22492 = fabs(r22491); return r22492; } double f_id(double x, double y, double z) { double r22493 = x; double r22494 = 4; double r22495 = r22493 + r22494; double r22496 = y; double r22497 = r22495 / r22496; double r22498 = r22493 / r22496; double r22499 = z; double r22500 = r22498 * r22499; double r22501 = r22497 - r22500; double r22502 = fabs(r22501); return r22502; } double f_of(float x, float y, float z) { float r22503 = 4; float r22504 = x; float r22505 = r22503 + r22504; float r22506 = y; float r22507 = r22505 / r22506; float r22508 = z; float r22509 = r22506 / r22508; float r22510 = r22504 / r22509; float r22511 = r22507 - r22510; float r22512 = fabs(r22511); float r22513 = 9.236481393713728e+304; bool r22514 = r22512 <= r22513; float r22515 = r22508 * r22504; float r22516 = r22505 - r22515; float r22517 = r22516 / r22506; float r22518 = fabs(r22517); float r22519 = r22514 ? r22512 : r22518; return r22519; } double f_od(double x, double y, double z) { double r22520 = 4; double r22521 = x; double r22522 = r22520 + r22521; double r22523 = y; double r22524 = r22522 / r22523; double r22525 = z; double r22526 = r22523 / r22525; double r22527 = r22521 / r22526; double r22528 = r22524 - r22527; double r22529 = fabs(r22528); double r22530 = 9.236481393713728e+304; bool r22531 = r22529 <= r22530; double r22532 = r22525 * r22521; double r22533 = r22522 - r22532; double r22534 = r22533 / r22523; double r22535 = fabs(r22534); double r22536 = r22531 ? r22529 : r22535; return r22536; } 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 r22537, r22538, r22539, r22540, r22541, r22542, r22543, r22544, r22545, r22546; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r22537); mpfr_init_set_str(r22538, "4", 10, MPFR_RNDN); mpfr_init(r22539); mpfr_init(r22540); mpfr_init(r22541); mpfr_init(r22542); mpfr_init(r22543); mpfr_init(r22544); mpfr_init(r22545); mpfr_init(r22546); } double f_im(double x, double y, double z) { mpfr_set_d(r22537, x, MPFR_RNDN); ; mpfr_add(r22539, r22537, r22538, MPFR_RNDN); mpfr_set_d(r22540, y, MPFR_RNDN); mpfr_div(r22541, r22539, r22540, MPFR_RNDN); mpfr_div(r22542, r22537, r22540, MPFR_RNDN); mpfr_set_d(r22543, z, MPFR_RNDN); mpfr_mul(r22544, r22542, r22543, MPFR_RNDN); mpfr_sub(r22545, r22541, r22544, MPFR_RNDN); mpfr_abs(r22546, r22545, MPFR_RNDN); return mpfr_get_d(r22546, MPFR_RNDN); } static mpfr_t r22547, r22548, r22549, r22550, r22551, r22552, r22553, r22554, r22555, r22556, r22557, r22558, r22559, r22560, r22561, r22562, r22563; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init_set_str(r22547, "4", 10, MPFR_RNDN); mpfr_init(r22548); mpfr_init(r22549); mpfr_init(r22550); mpfr_init(r22551); mpfr_init(r22552); mpfr_init(r22553); mpfr_init(r22554); mpfr_init(r22555); mpfr_init(r22556); mpfr_init_set_str(r22557, "9.236481393713728e+304", 10, MPFR_RNDN); mpfr_init(r22558); mpfr_init(r22559); mpfr_init(r22560); mpfr_init(r22561); mpfr_init(r22562); mpfr_init(r22563); } double f_fm(double x, double y, double z) { ; mpfr_set_d(r22548, x, MPFR_RNDN); mpfr_add(r22549, r22547, r22548, MPFR_RNDN); mpfr_set_d(r22550, y, MPFR_RNDN); mpfr_div(r22551, r22549, r22550, MPFR_RNDN); mpfr_set_d(r22552, z, MPFR_RNDN); mpfr_div(r22553, r22550, r22552, MPFR_RNDN); mpfr_div(r22554, r22548, r22553, MPFR_RNDN); mpfr_sub(r22555, r22551, r22554, MPFR_RNDN); mpfr_abs(r22556, r22555, MPFR_RNDN); ; mpfr_set_si(r22558, mpfr_cmp(r22556, r22557) <= 0, MPFR_RNDN); mpfr_mul(r22559, r22552, r22548, MPFR_RNDN); mpfr_sub(r22560, r22549, r22559, MPFR_RNDN); mpfr_div(r22561, r22560, r22550, MPFR_RNDN); mpfr_abs(r22562, r22561, MPFR_RNDN); if (mpfr_get_si(r22558, MPFR_RNDN)) { mpfr_set(r22563, r22556, MPFR_RNDN); } else { mpfr_set(r22563, r22562, MPFR_RNDN); }; return mpfr_get_d(r22563, MPFR_RNDN); } static mpfr_t r22564, r22565, r22566, r22567, r22568, r22569, r22570, r22571, r22572, r22573, r22574, r22575, r22576, r22577, r22578, r22579, r22580; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init_set_str(r22564, "4", 10, MPFR_RNDN); mpfr_init(r22565); mpfr_init(r22566); mpfr_init(r22567); mpfr_init(r22568); mpfr_init(r22569); mpfr_init(r22570); mpfr_init(r22571); mpfr_init(r22572); mpfr_init(r22573); mpfr_init_set_str(r22574, "9.236481393713728e+304", 10, MPFR_RNDN); mpfr_init(r22575); mpfr_init(r22576); mpfr_init(r22577); mpfr_init(r22578); mpfr_init(r22579); mpfr_init(r22580); } double f_dm(double x, double y, double z) { ; mpfr_set_d(r22565, x, MPFR_RNDN); mpfr_add(r22566, r22564, r22565, MPFR_RNDN); mpfr_set_d(r22567, y, MPFR_RNDN); mpfr_div(r22568, r22566, r22567, MPFR_RNDN); mpfr_set_d(r22569, z, MPFR_RNDN); mpfr_div(r22570, r22567, r22569, MPFR_RNDN); mpfr_div(r22571, r22565, r22570, MPFR_RNDN); mpfr_sub(r22572, r22568, r22571, MPFR_RNDN); mpfr_abs(r22573, r22572, MPFR_RNDN); ; mpfr_set_si(r22575, mpfr_cmp(r22573, r22574) <= 0, MPFR_RNDN); mpfr_mul(r22576, r22569, r22565, MPFR_RNDN); mpfr_sub(r22577, r22566, r22576, MPFR_RNDN); mpfr_div(r22578, r22577, r22567, MPFR_RNDN); mpfr_abs(r22579, r22578, MPFR_RNDN); if (mpfr_get_si(r22575, MPFR_RNDN)) { mpfr_set(r22580, r22573, MPFR_RNDN); } else { mpfr_set(r22580, r22579, MPFR_RNDN); }; return mpfr_get_d(r22580, MPFR_RNDN); }