#include #include #include #include #include char *name = "_divideComplex, imaginary part"; double f_if(float x_re, float x_im, float y_re, float y_im) { float r16356 = x_im; float r16357 = y_re; float r16358 = r16356 * r16357; float r16359 = x_re; float r16360 = y_im; float r16361 = r16359 * r16360; float r16362 = r16358 - r16361; float r16363 = r16357 * r16357; float r16364 = r16360 * r16360; float r16365 = r16363 + r16364; float r16366 = r16362 / r16365; return r16366; } double f_id(double x_re, double x_im, double y_re, double y_im) { double r16367 = x_im; double r16368 = y_re; double r16369 = r16367 * r16368; double r16370 = x_re; double r16371 = y_im; double r16372 = r16370 * r16371; double r16373 = r16369 - r16372; double r16374 = r16368 * r16368; double r16375 = r16371 * r16371; double r16376 = r16374 + r16375; double r16377 = r16373 / r16376; return r16377; } double f_of(float x_re, float x_im, float y_re, float y_im) { float r16378 = x_im; float r16379 = 1.0f; float r16380 = r16378 / r16379; float r16381 = y_re; float r16382 = r16381 * r16381; float r16383 = y_im; float r16384 = r16383 * r16383; float r16385 = r16382 + r16384; float r16386 = r16381 / r16385; float r16387 = r16380 * r16386; float r16388 = x_re; float r16389 = r16388 * r16383; float r16390 = r16381 * r16381; float r16391 = r16390 + r16384; float r16392 = r16389 / r16391; float r16393 = r16387 - r16392; return r16393; } double f_od(double x_re, double x_im, double y_re, double y_im) { double r16394 = x_im; double r16395 = 1.0; double r16396 = r16394 / r16395; double r16397 = y_re; double r16398 = r16397 * r16397; double r16399 = y_im; double r16400 = r16399 * r16399; double r16401 = r16398 + r16400; double r16402 = r16397 / r16401; double r16403 = r16396 * r16402; double r16404 = x_re; double r16405 = r16404 * r16399; double r16406 = r16397 * r16397; double r16407 = r16406 + r16400; double r16408 = r16405 / r16407; double r16409 = r16403 - r16408; return r16409; } 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 r16410, r16411, r16412, r16413, r16414, r16415, r16416, r16417, r16418, r16419, r16420; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r16410); mpfr_init(r16411); mpfr_init(r16412); mpfr_init(r16413); mpfr_init(r16414); mpfr_init(r16415); mpfr_init(r16416); mpfr_init(r16417); mpfr_init(r16418); mpfr_init(r16419); mpfr_init(r16420); } double f_im(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r16410, x_im, MPFR_RNDN); mpfr_set_d(r16411, y_re, MPFR_RNDN); mpfr_mul(r16412, r16410, r16411, MPFR_RNDN); mpfr_set_d(r16413, x_re, MPFR_RNDN); mpfr_set_d(r16414, y_im, MPFR_RNDN); mpfr_mul(r16415, r16413, r16414, MPFR_RNDN); mpfr_sub(r16416, r16412, r16415, MPFR_RNDN); mpfr_mul(r16417, r16411, r16411, MPFR_RNDN); mpfr_mul(r16418, r16414, r16414, MPFR_RNDN); mpfr_add(r16419, r16417, r16418, MPFR_RNDN); mpfr_div(r16420, r16416, r16419, MPFR_RNDN); return mpfr_get_d(r16420, MPFR_RNDN); } static mpfr_t r16421, r16422, r16423, r16424, r16425, r16426, r16427, r16428, r16429, r16430, r16431, r16432, r16433, r16434, r16435, r16436; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r16421); mpfr_init_set_str(r16422, "1", 10, MPFR_RNDN); mpfr_init(r16423); mpfr_init(r16424); mpfr_init(r16425); mpfr_init(r16426); mpfr_init(r16427); mpfr_init(r16428); mpfr_init(r16429); mpfr_init(r16430); mpfr_init(r16431); mpfr_init(r16432); mpfr_init(r16433); mpfr_init(r16434); mpfr_init(r16435); mpfr_init(r16436); } double f_fm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r16421, x_im, MPFR_RNDN); ; mpfr_div(r16423, r16421, r16422, MPFR_RNDN); mpfr_set_d(r16424, y_re, MPFR_RNDN); mpfr_sqr(r16425, r16424, MPFR_RNDN); mpfr_set_d(r16426, y_im, MPFR_RNDN); mpfr_mul(r16427, r16426, r16426, MPFR_RNDN); mpfr_add(r16428, r16425, r16427, MPFR_RNDN); mpfr_div(r16429, r16424, r16428, MPFR_RNDN); mpfr_mul(r16430, r16423, r16429, MPFR_RNDN); mpfr_set_d(r16431, x_re, MPFR_RNDN); mpfr_mul(r16432, r16431, r16426, MPFR_RNDN); mpfr_mul(r16433, r16424, r16424, MPFR_RNDN); mpfr_add(r16434, r16433, r16427, MPFR_RNDN); mpfr_div(r16435, r16432, r16434, MPFR_RNDN); mpfr_sub(r16436, r16430, r16435, MPFR_RNDN); return mpfr_get_d(r16436, MPFR_RNDN); } static mpfr_t r16437, r16438, r16439, r16440, r16441, r16442, r16443, r16444, r16445, r16446, r16447, r16448, r16449, r16450, r16451, r16452; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r16437); mpfr_init_set_str(r16438, "1", 10, MPFR_RNDN); mpfr_init(r16439); mpfr_init(r16440); mpfr_init(r16441); mpfr_init(r16442); mpfr_init(r16443); mpfr_init(r16444); mpfr_init(r16445); mpfr_init(r16446); mpfr_init(r16447); mpfr_init(r16448); mpfr_init(r16449); mpfr_init(r16450); mpfr_init(r16451); mpfr_init(r16452); } double f_dm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r16437, x_im, MPFR_RNDN); ; mpfr_div(r16439, r16437, r16438, MPFR_RNDN); mpfr_set_d(r16440, y_re, MPFR_RNDN); mpfr_sqr(r16441, r16440, MPFR_RNDN); mpfr_set_d(r16442, y_im, MPFR_RNDN); mpfr_mul(r16443, r16442, r16442, MPFR_RNDN); mpfr_add(r16444, r16441, r16443, MPFR_RNDN); mpfr_div(r16445, r16440, r16444, MPFR_RNDN); mpfr_mul(r16446, r16439, r16445, MPFR_RNDN); mpfr_set_d(r16447, x_re, MPFR_RNDN); mpfr_mul(r16448, r16447, r16442, MPFR_RNDN); mpfr_mul(r16449, r16440, r16440, MPFR_RNDN); mpfr_add(r16450, r16449, r16443, MPFR_RNDN); mpfr_div(r16451, r16448, r16450, MPFR_RNDN); mpfr_sub(r16452, r16446, r16451, MPFR_RNDN); return mpfr_get_d(r16452, MPFR_RNDN); }