#include #include #include #include #include char *name = "Complex division, real part"; double f_if(float a, float b, float c, float d) { float r16542 = a; float r16543 = c; float r16544 = r16542 * r16543; float r16545 = b; float r16546 = d; float r16547 = r16545 * r16546; float r16548 = r16544 + r16547; float r16549 = r16543 * r16543; float r16550 = r16546 * r16546; float r16551 = r16549 + r16550; float r16552 = r16548 / r16551; return r16552; } double f_id(double a, double b, double c, double d) { double r16553 = a; double r16554 = c; double r16555 = r16553 * r16554; double r16556 = b; double r16557 = d; double r16558 = r16556 * r16557; double r16559 = r16555 + r16558; double r16560 = r16554 * r16554; double r16561 = r16557 * r16557; double r16562 = r16560 + r16561; double r16563 = r16559 / r16562; return r16563; } double f_of(float a, float b, float c, float d) { float r16564 = b; float r16565 = -9.364561599243466e+17f; bool r16566 = r16564 <= r16565; float r16567 = d; float r16568 = r16564 * r16567; float r16569 = c; float r16570 = r16567 * r16567; float r16571 = fma(r16569, r16569, r16570); float r16572 = r16568 / r16571; float r16573 = a; float r16574 = r16569 * r16573; float r16575 = r16574 / r16571; float r16576 = r16572 + r16575; float r16577 = -5.047869208437734e-09f; bool r16578 = r16564 <= r16577; float r16579 = r16567 * r16564; float r16580 = fma(r16569, r16573, r16579); float r16581 = sqrt(r16580); float r16582 = hypot(r16569, r16567); float r16583 = r16581 / r16582; float r16584 = r16583 * r16583; float r16585 = r16578 ? r16584 : r16576; float r16586 = r16566 ? r16576 : r16585; return r16586; } double f_od(double a, double b, double c, double d) { double r16587 = b; double r16588 = -9.364561599243466e+17; bool r16589 = r16587 <= r16588; double r16590 = d; double r16591 = r16587 * r16590; double r16592 = c; double r16593 = r16590 * r16590; double r16594 = fma(r16592, r16592, r16593); double r16595 = r16591 / r16594; double r16596 = a; double r16597 = r16592 * r16596; double r16598 = r16597 / r16594; double r16599 = r16595 + r16598; double r16600 = -5.047869208437734e-09; bool r16601 = r16587 <= r16600; double r16602 = r16590 * r16587; double r16603 = fma(r16592, r16596, r16602); double r16604 = sqrt(r16603); double r16605 = hypot(r16592, r16590); double r16606 = r16604 / r16605; double r16607 = r16606 * r16606; double r16608 = r16601 ? r16607 : r16599; double r16609 = r16589 ? r16599 : r16608; return r16609; } 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 r16610, r16611, r16612, r16613, r16614, r16615, r16616, r16617, r16618, r16619, r16620; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r16610); mpfr_init(r16611); mpfr_init(r16612); mpfr_init(r16613); mpfr_init(r16614); mpfr_init(r16615); mpfr_init(r16616); mpfr_init(r16617); mpfr_init(r16618); mpfr_init(r16619); mpfr_init(r16620); } double f_im(double a, double b, double c, double d) { mpfr_set_d(r16610, a, MPFR_RNDN); mpfr_set_d(r16611, c, MPFR_RNDN); mpfr_mul(r16612, r16610, r16611, MPFR_RNDN); mpfr_set_d(r16613, b, MPFR_RNDN); mpfr_set_d(r16614, d, MPFR_RNDN); mpfr_mul(r16615, r16613, r16614, MPFR_RNDN); mpfr_add(r16616, r16612, r16615, MPFR_RNDN); mpfr_sqr(r16617, r16611, MPFR_RNDN); mpfr_sqr(r16618, r16614, MPFR_RNDN); mpfr_add(r16619, r16617, r16618, MPFR_RNDN); mpfr_div(r16620, r16616, r16619, MPFR_RNDN); return mpfr_get_d(r16620, MPFR_RNDN); } static mpfr_t r16621, r16622, r16623, r16624, r16625, r16626, r16627, r16628, r16629, r16630, r16631, r16632, r16633, r16634, r16635, r16636, r16637, r16638, r16639, r16640, r16641, r16642, r16643; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r16621); mpfr_init_set_str(r16622, "-9.364561599243466e+17", 10, MPFR_RNDN); mpfr_init(r16623); mpfr_init(r16624); mpfr_init(r16625); mpfr_init(r16626); mpfr_init(r16627); mpfr_init(r16628); mpfr_init(r16629); mpfr_init(r16630); mpfr_init(r16631); mpfr_init(r16632); mpfr_init(r16633); mpfr_init_set_str(r16634, "-5.047869208437734e-09", 10, MPFR_RNDN); mpfr_init(r16635); mpfr_init(r16636); mpfr_init(r16637); mpfr_init(r16638); mpfr_init(r16639); mpfr_init(r16640); mpfr_init(r16641); mpfr_init(r16642); mpfr_init(r16643); } double f_fm(double a, double b, double c, double d) { mpfr_set_d(r16621, b, MPFR_RNDN); ; mpfr_set_si(r16623, mpfr_cmp(r16621, r16622) <= 0, MPFR_RNDN); mpfr_set_d(r16624, d, MPFR_RNDN); mpfr_mul(r16625, r16621, r16624, MPFR_RNDN); mpfr_set_d(r16626, c, MPFR_RNDN); mpfr_sqr(r16627, r16624, MPFR_RNDN); mpfr_fma(r16628, r16626, r16626, r16627, MPFR_RNDN); mpfr_div(r16629, r16625, r16628, MPFR_RNDN); mpfr_set_d(r16630, a, MPFR_RNDN); mpfr_mul(r16631, r16626, r16630, MPFR_RNDN); mpfr_div(r16632, r16631, r16628, MPFR_RNDN); mpfr_add(r16633, r16629, r16632, MPFR_RNDN); ; mpfr_set_si(r16635, mpfr_cmp(r16621, r16634) <= 0, MPFR_RNDN); mpfr_mul(r16636, r16624, r16621, MPFR_RNDN); mpfr_fma(r16637, r16626, r16630, r16636, MPFR_RNDN); mpfr_sqrt(r16638, r16637, MPFR_RNDN); mpfr_hypot(r16639, r16626, r16624, MPFR_RNDN); mpfr_div(r16640, r16638, r16639, MPFR_RNDN); mpfr_sqr(r16641, r16640, MPFR_RNDN); if (mpfr_get_si(r16635, MPFR_RNDN)) { mpfr_set(r16642, r16641, MPFR_RNDN); } else { mpfr_set(r16642, r16633, MPFR_RNDN); }; if (mpfr_get_si(r16623, MPFR_RNDN)) { mpfr_set(r16643, r16633, MPFR_RNDN); } else { mpfr_set(r16643, r16642, MPFR_RNDN); }; return mpfr_get_d(r16643, MPFR_RNDN); } static mpfr_t r16644, r16645, r16646, r16647, r16648, r16649, r16650, r16651, r16652, r16653, r16654, r16655, r16656, r16657, r16658, r16659, r16660, r16661, r16662, r16663, r16664, r16665, r16666; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r16644); mpfr_init_set_str(r16645, "-9.364561599243466e+17", 10, MPFR_RNDN); mpfr_init(r16646); mpfr_init(r16647); mpfr_init(r16648); mpfr_init(r16649); mpfr_init(r16650); mpfr_init(r16651); mpfr_init(r16652); mpfr_init(r16653); mpfr_init(r16654); mpfr_init(r16655); mpfr_init(r16656); mpfr_init_set_str(r16657, "-5.047869208437734e-09", 10, MPFR_RNDN); mpfr_init(r16658); mpfr_init(r16659); mpfr_init(r16660); mpfr_init(r16661); mpfr_init(r16662); mpfr_init(r16663); mpfr_init(r16664); mpfr_init(r16665); mpfr_init(r16666); } double f_dm(double a, double b, double c, double d) { mpfr_set_d(r16644, b, MPFR_RNDN); ; mpfr_set_si(r16646, mpfr_cmp(r16644, r16645) <= 0, MPFR_RNDN); mpfr_set_d(r16647, d, MPFR_RNDN); mpfr_mul(r16648, r16644, r16647, MPFR_RNDN); mpfr_set_d(r16649, c, MPFR_RNDN); mpfr_sqr(r16650, r16647, MPFR_RNDN); mpfr_fma(r16651, r16649, r16649, r16650, MPFR_RNDN); mpfr_div(r16652, r16648, r16651, MPFR_RNDN); mpfr_set_d(r16653, a, MPFR_RNDN); mpfr_mul(r16654, r16649, r16653, MPFR_RNDN); mpfr_div(r16655, r16654, r16651, MPFR_RNDN); mpfr_add(r16656, r16652, r16655, MPFR_RNDN); ; mpfr_set_si(r16658, mpfr_cmp(r16644, r16657) <= 0, MPFR_RNDN); mpfr_mul(r16659, r16647, r16644, MPFR_RNDN); mpfr_fma(r16660, r16649, r16653, r16659, MPFR_RNDN); mpfr_sqrt(r16661, r16660, MPFR_RNDN); mpfr_hypot(r16662, r16649, r16647, MPFR_RNDN); mpfr_div(r16663, r16661, r16662, MPFR_RNDN); mpfr_sqr(r16664, r16663, MPFR_RNDN); if (mpfr_get_si(r16658, MPFR_RNDN)) { mpfr_set(r16665, r16664, MPFR_RNDN); } else { mpfr_set(r16665, r16656, MPFR_RNDN); }; if (mpfr_get_si(r16646, MPFR_RNDN)) { mpfr_set(r16666, r16656, MPFR_RNDN); } else { mpfr_set(r16666, r16665, MPFR_RNDN); }; return mpfr_get_d(r16666, MPFR_RNDN); }