#include #include #include #include #include char *name = "_divideComplex, real part"; double f_if(float x_re, float x_im, float y_re, float y_im) { float r16455 = x_re; float r16456 = y_re; float r16457 = r16455 * r16456; float r16458 = x_im; float r16459 = y_im; float r16460 = r16458 * r16459; float r16461 = r16457 + r16460; float r16462 = r16456 * r16456; float r16463 = r16459 * r16459; float r16464 = r16462 + r16463; float r16465 = r16461 / r16464; return r16465; } double f_id(double x_re, double x_im, double y_re, double y_im) { double r16466 = x_re; double r16467 = y_re; double r16468 = r16466 * r16467; double r16469 = x_im; double r16470 = y_im; double r16471 = r16469 * r16470; double r16472 = r16468 + r16471; double r16473 = r16467 * r16467; double r16474 = r16470 * r16470; double r16475 = r16473 + r16474; double r16476 = r16472 / r16475; return r16476; } double f_of(float x_re, float x_im, float y_re, float y_im) { float r16477 = y_im; float r16478 = -310526148608.0f; bool r16479 = r16477 <= r16478; float r16480 = x_im; float r16481 = r16480 / r16477; float r16482 = 9.972298825657502e-21f; bool r16483 = r16477 <= r16482; float r16484 = x_re; float r16485 = y_re; float r16486 = r16484 / r16485; float r16487 = r16477 / r16485; float r16488 = r16480 / r16485; float r16489 = r16487 * r16488; float r16490 = r16486 + r16489; float r16491 = 11137253376.0f; bool r16492 = r16477 <= r16491; float r16493 = 1.0f; float r16494 = r16485 * r16485; float r16495 = r16477 * r16477; float r16496 = r16494 + r16495; float r16497 = r16485 * r16484; float r16498 = r16480 * r16477; float r16499 = r16497 + r16498; float r16500 = r16496 / r16499; float r16501 = r16493 / r16500; float r16502 = r16492 ? r16501 : r16481; float r16503 = r16483 ? r16490 : r16502; float r16504 = r16479 ? r16481 : r16503; return r16504; } double f_od(double x_re, double x_im, double y_re, double y_im) { double r16505 = y_im; double r16506 = -310526148608.0; bool r16507 = r16505 <= r16506; double r16508 = x_im; double r16509 = r16508 / r16505; double r16510 = 9.972298825657502e-21; bool r16511 = r16505 <= r16510; double r16512 = x_re; double r16513 = y_re; double r16514 = r16512 / r16513; double r16515 = r16505 / r16513; double r16516 = r16508 / r16513; double r16517 = r16515 * r16516; double r16518 = r16514 + r16517; double r16519 = 11137253376.0; bool r16520 = r16505 <= r16519; double r16521 = 1.0; double r16522 = r16513 * r16513; double r16523 = r16505 * r16505; double r16524 = r16522 + r16523; double r16525 = r16513 * r16512; double r16526 = r16508 * r16505; double r16527 = r16525 + r16526; double r16528 = r16524 / r16527; double r16529 = r16521 / r16528; double r16530 = r16520 ? r16529 : r16509; double r16531 = r16511 ? r16518 : r16530; double r16532 = r16507 ? r16509 : r16531; return r16532; } 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 r16533, r16534, r16535, r16536, r16537, r16538, r16539, r16540, r16541, r16542, r16543; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r16533); mpfr_init(r16534); mpfr_init(r16535); mpfr_init(r16536); mpfr_init(r16537); mpfr_init(r16538); mpfr_init(r16539); mpfr_init(r16540); mpfr_init(r16541); mpfr_init(r16542); mpfr_init(r16543); } double f_im(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r16533, x_re, MPFR_RNDN); mpfr_set_d(r16534, y_re, MPFR_RNDN); mpfr_mul(r16535, r16533, r16534, MPFR_RNDN); mpfr_set_d(r16536, x_im, MPFR_RNDN); mpfr_set_d(r16537, y_im, MPFR_RNDN); mpfr_mul(r16538, r16536, r16537, MPFR_RNDN); mpfr_add(r16539, r16535, r16538, MPFR_RNDN); mpfr_mul(r16540, r16534, r16534, MPFR_RNDN); mpfr_mul(r16541, r16537, r16537, MPFR_RNDN); mpfr_add(r16542, r16540, r16541, MPFR_RNDN); mpfr_div(r16543, r16539, r16542, MPFR_RNDN); return mpfr_get_d(r16543, MPFR_RNDN); } static mpfr_t r16544, r16545, r16546, r16547, r16548, r16549, r16550, r16551, r16552, r16553, r16554, r16555, r16556, r16557, r16558, r16559, r16560, r16561, r16562, r16563, r16564, r16565, r16566, r16567, r16568, r16569, r16570, r16571; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r16544); mpfr_init_set_str(r16545, "-3.1052615f+11", 10, MPFR_RNDN); mpfr_init(r16546); mpfr_init(r16547); mpfr_init(r16548); mpfr_init_set_str(r16549, "9.972299f-21", 10, MPFR_RNDN); mpfr_init(r16550); mpfr_init(r16551); mpfr_init(r16552); mpfr_init(r16553); mpfr_init(r16554); mpfr_init(r16555); mpfr_init(r16556); mpfr_init(r16557); mpfr_init_set_str(r16558, "1.1137253f+10", 10, MPFR_RNDN); mpfr_init(r16559); mpfr_init_set_str(r16560, "1", 10, MPFR_RNDN); mpfr_init(r16561); mpfr_init(r16562); mpfr_init(r16563); mpfr_init(r16564); mpfr_init(r16565); mpfr_init(r16566); mpfr_init(r16567); mpfr_init(r16568); mpfr_init(r16569); mpfr_init(r16570); mpfr_init(r16571); } double f_fm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r16544, y_im, MPFR_RNDN); ; mpfr_set_si(r16546, mpfr_cmp(r16544, r16545) <= 0, MPFR_RNDN); mpfr_set_d(r16547, x_im, MPFR_RNDN); mpfr_div(r16548, r16547, r16544, MPFR_RNDN); ; mpfr_set_si(r16550, mpfr_cmp(r16544, r16549) <= 0, MPFR_RNDN); mpfr_set_d(r16551, x_re, MPFR_RNDN); mpfr_set_d(r16552, y_re, MPFR_RNDN); mpfr_div(r16553, r16551, r16552, MPFR_RNDN); mpfr_div(r16554, r16544, r16552, MPFR_RNDN); mpfr_div(r16555, r16547, r16552, MPFR_RNDN); mpfr_mul(r16556, r16554, r16555, MPFR_RNDN); mpfr_add(r16557, r16553, r16556, MPFR_RNDN); ; mpfr_set_si(r16559, mpfr_cmp(r16544, r16558) <= 0, MPFR_RNDN); ; mpfr_sqr(r16561, r16552, MPFR_RNDN); mpfr_mul(r16562, r16544, r16544, MPFR_RNDN); mpfr_add(r16563, r16561, r16562, MPFR_RNDN); mpfr_mul(r16564, r16552, r16551, MPFR_RNDN); mpfr_mul(r16565, r16547, r16544, MPFR_RNDN); mpfr_add(r16566, r16564, r16565, MPFR_RNDN); mpfr_div(r16567, r16563, r16566, MPFR_RNDN); mpfr_div(r16568, r16560, r16567, MPFR_RNDN); if (mpfr_get_si(r16559, MPFR_RNDN)) { mpfr_set(r16569, r16568, MPFR_RNDN); } else { mpfr_set(r16569, r16548, MPFR_RNDN); }; if (mpfr_get_si(r16550, MPFR_RNDN)) { mpfr_set(r16570, r16557, MPFR_RNDN); } else { mpfr_set(r16570, r16569, MPFR_RNDN); }; if (mpfr_get_si(r16546, MPFR_RNDN)) { mpfr_set(r16571, r16548, MPFR_RNDN); } else { mpfr_set(r16571, r16570, MPFR_RNDN); }; return mpfr_get_d(r16571, MPFR_RNDN); } static mpfr_t r16572, r16573, r16574, r16575, r16576, r16577, r16578, r16579, r16580, r16581, r16582, r16583, r16584, r16585, r16586, r16587, r16588, r16589, r16590, r16591, r16592, r16593, r16594, r16595, r16596, r16597, r16598, r16599; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r16572); mpfr_init_set_str(r16573, "-3.1052615f+11", 10, MPFR_RNDN); mpfr_init(r16574); mpfr_init(r16575); mpfr_init(r16576); mpfr_init_set_str(r16577, "9.972299f-21", 10, MPFR_RNDN); mpfr_init(r16578); mpfr_init(r16579); mpfr_init(r16580); mpfr_init(r16581); mpfr_init(r16582); mpfr_init(r16583); mpfr_init(r16584); mpfr_init(r16585); mpfr_init_set_str(r16586, "1.1137253f+10", 10, MPFR_RNDN); mpfr_init(r16587); mpfr_init_set_str(r16588, "1", 10, MPFR_RNDN); mpfr_init(r16589); mpfr_init(r16590); mpfr_init(r16591); mpfr_init(r16592); mpfr_init(r16593); mpfr_init(r16594); mpfr_init(r16595); mpfr_init(r16596); mpfr_init(r16597); mpfr_init(r16598); mpfr_init(r16599); } double f_dm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r16572, y_im, MPFR_RNDN); ; mpfr_set_si(r16574, mpfr_cmp(r16572, r16573) <= 0, MPFR_RNDN); mpfr_set_d(r16575, x_im, MPFR_RNDN); mpfr_div(r16576, r16575, r16572, MPFR_RNDN); ; mpfr_set_si(r16578, mpfr_cmp(r16572, r16577) <= 0, MPFR_RNDN); mpfr_set_d(r16579, x_re, MPFR_RNDN); mpfr_set_d(r16580, y_re, MPFR_RNDN); mpfr_div(r16581, r16579, r16580, MPFR_RNDN); mpfr_div(r16582, r16572, r16580, MPFR_RNDN); mpfr_div(r16583, r16575, r16580, MPFR_RNDN); mpfr_mul(r16584, r16582, r16583, MPFR_RNDN); mpfr_add(r16585, r16581, r16584, MPFR_RNDN); ; mpfr_set_si(r16587, mpfr_cmp(r16572, r16586) <= 0, MPFR_RNDN); ; mpfr_sqr(r16589, r16580, MPFR_RNDN); mpfr_mul(r16590, r16572, r16572, MPFR_RNDN); mpfr_add(r16591, r16589, r16590, MPFR_RNDN); mpfr_mul(r16592, r16580, r16579, MPFR_RNDN); mpfr_mul(r16593, r16575, r16572, MPFR_RNDN); mpfr_add(r16594, r16592, r16593, MPFR_RNDN); mpfr_div(r16595, r16591, r16594, MPFR_RNDN); mpfr_div(r16596, r16588, r16595, MPFR_RNDN); if (mpfr_get_si(r16587, MPFR_RNDN)) { mpfr_set(r16597, r16596, MPFR_RNDN); } else { mpfr_set(r16597, r16576, MPFR_RNDN); }; if (mpfr_get_si(r16578, MPFR_RNDN)) { mpfr_set(r16598, r16585, MPFR_RNDN); } else { mpfr_set(r16598, r16597, MPFR_RNDN); }; if (mpfr_get_si(r16574, MPFR_RNDN)) { mpfr_set(r16599, r16576, MPFR_RNDN); } else { mpfr_set(r16599, r16598, MPFR_RNDN); }; return mpfr_get_d(r16599, MPFR_RNDN); }