#include #include #include #include #include char *name = "Complex division, real part"; double f_if(float a, float b, float c, float d) { float r23563 = a; float r23564 = c; float r23565 = r23563 * r23564; float r23566 = b; float r23567 = d; float r23568 = r23566 * r23567; float r23569 = r23565 + r23568; float r23570 = r23564 * r23564; float r23571 = r23567 * r23567; float r23572 = r23570 + r23571; float r23573 = r23569 / r23572; return r23573; } double f_id(double a, double b, double c, double d) { double r23574 = a; double r23575 = c; double r23576 = r23574 * r23575; double r23577 = b; double r23578 = d; double r23579 = r23577 * r23578; double r23580 = r23576 + r23579; double r23581 = r23575 * r23575; double r23582 = r23578 * r23578; double r23583 = r23581 + r23582; double r23584 = r23580 / r23583; return r23584; } double f_of(float a, float b, float c, float d) { float r23585 = c; float r23586 = 3.637924346615467e+157; bool r23587 = r23585 <= r23586; float r23588 = 1; float r23589 = d; float r23590 = hypot(r23589, r23585); float r23591 = r23588 / r23590; float r23592 = b; float r23593 = a; float r23594 = r23585 * r23593; float r23595 = fma(r23592, r23589, r23594); float r23596 = r23595 / r23590; float r23597 = r23591 * r23596; float r23598 = r23593 / r23590; float r23599 = r23587 ? r23597 : r23598; return r23599; } double f_od(double a, double b, double c, double d) { double r23600 = c; double r23601 = 3.637924346615467e+157; bool r23602 = r23600 <= r23601; double r23603 = 1; double r23604 = d; double r23605 = hypot(r23604, r23600); double r23606 = r23603 / r23605; double r23607 = b; double r23608 = a; double r23609 = r23600 * r23608; double r23610 = fma(r23607, r23604, r23609); double r23611 = r23610 / r23605; double r23612 = r23606 * r23611; double r23613 = r23608 / r23605; double r23614 = r23602 ? r23612 : r23613; return r23614; } 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 r23615, r23616, r23617, r23618, r23619, r23620, r23621, r23622, r23623, r23624, r23625; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r23615); mpfr_init(r23616); mpfr_init(r23617); mpfr_init(r23618); mpfr_init(r23619); mpfr_init(r23620); mpfr_init(r23621); mpfr_init(r23622); mpfr_init(r23623); mpfr_init(r23624); mpfr_init(r23625); } double f_im(double a, double b, double c, double d) { mpfr_set_d(r23615, a, MPFR_RNDN); mpfr_set_d(r23616, c, MPFR_RNDN); mpfr_mul(r23617, r23615, r23616, MPFR_RNDN); mpfr_set_d(r23618, b, MPFR_RNDN); mpfr_set_d(r23619, d, MPFR_RNDN); mpfr_mul(r23620, r23618, r23619, MPFR_RNDN); mpfr_add(r23621, r23617, r23620, MPFR_RNDN); mpfr_mul(r23622, r23616, r23616, MPFR_RNDN); mpfr_mul(r23623, r23619, r23619, MPFR_RNDN); mpfr_add(r23624, r23622, r23623, MPFR_RNDN); mpfr_div(r23625, r23621, r23624, MPFR_RNDN); return mpfr_get_d(r23625, MPFR_RNDN); } static mpfr_t r23626, r23627, r23628, r23629, r23630, r23631, r23632, r23633, r23634, r23635, r23636, r23637, r23638, r23639, r23640; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r23626); mpfr_init_set_str(r23627, "3.637924346615467e+157", 10, MPFR_RNDN); mpfr_init(r23628); mpfr_init_set_str(r23629, "1", 10, MPFR_RNDN); mpfr_init(r23630); mpfr_init(r23631); mpfr_init(r23632); mpfr_init(r23633); mpfr_init(r23634); mpfr_init(r23635); mpfr_init(r23636); mpfr_init(r23637); mpfr_init(r23638); mpfr_init(r23639); mpfr_init(r23640); } double f_fm(double a, double b, double c, double d) { mpfr_set_d(r23626, c, MPFR_RNDN); ; mpfr_set_si(r23628, mpfr_cmp(r23626, r23627) <= 0, MPFR_RNDN); ; mpfr_set_d(r23630, d, MPFR_RNDN); mpfr_hypot(r23631, r23630, r23626, MPFR_RNDN); mpfr_div(r23632, r23629, r23631, MPFR_RNDN); mpfr_set_d(r23633, b, MPFR_RNDN); mpfr_set_d(r23634, a, MPFR_RNDN); mpfr_mul(r23635, r23626, r23634, MPFR_RNDN); mpfr_fma(r23636, r23633, r23630, r23635, MPFR_RNDN); mpfr_div(r23637, r23636, r23631, MPFR_RNDN); mpfr_mul(r23638, r23632, r23637, MPFR_RNDN); mpfr_div(r23639, r23634, r23631, MPFR_RNDN); if (mpfr_get_si(r23628, MPFR_RNDN)) { mpfr_set(r23640, r23638, MPFR_RNDN); } else { mpfr_set(r23640, r23639, MPFR_RNDN); }; return mpfr_get_d(r23640, MPFR_RNDN); } static mpfr_t r23641, r23642, r23643, r23644, r23645, r23646, r23647, r23648, r23649, r23650, r23651, r23652, r23653, r23654, r23655; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r23641); mpfr_init_set_str(r23642, "3.637924346615467e+157", 10, MPFR_RNDN); mpfr_init(r23643); mpfr_init_set_str(r23644, "1", 10, MPFR_RNDN); mpfr_init(r23645); mpfr_init(r23646); mpfr_init(r23647); mpfr_init(r23648); mpfr_init(r23649); mpfr_init(r23650); mpfr_init(r23651); mpfr_init(r23652); mpfr_init(r23653); mpfr_init(r23654); mpfr_init(r23655); } double f_dm(double a, double b, double c, double d) { mpfr_set_d(r23641, c, MPFR_RNDN); ; mpfr_set_si(r23643, mpfr_cmp(r23641, r23642) <= 0, MPFR_RNDN); ; mpfr_set_d(r23645, d, MPFR_RNDN); mpfr_hypot(r23646, r23645, r23641, MPFR_RNDN); mpfr_div(r23647, r23644, r23646, MPFR_RNDN); mpfr_set_d(r23648, b, MPFR_RNDN); mpfr_set_d(r23649, a, MPFR_RNDN); mpfr_mul(r23650, r23641, r23649, MPFR_RNDN); mpfr_fma(r23651, r23648, r23645, r23650, MPFR_RNDN); mpfr_div(r23652, r23651, r23646, MPFR_RNDN); mpfr_mul(r23653, r23647, r23652, MPFR_RNDN); mpfr_div(r23654, r23649, r23646, MPFR_RNDN); if (mpfr_get_si(r23643, MPFR_RNDN)) { mpfr_set(r23655, r23653, MPFR_RNDN); } else { mpfr_set(r23655, r23654, MPFR_RNDN); }; return mpfr_get_d(r23655, MPFR_RNDN); }