#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 r23331 = x_im; float r23332 = y_re; float r23333 = r23331 * r23332; float r23334 = x_re; float r23335 = y_im; float r23336 = r23334 * r23335; float r23337 = r23333 - r23336; float r23338 = r23332 * r23332; float r23339 = r23335 * r23335; float r23340 = r23338 + r23339; float r23341 = r23337 / r23340; return r23341; } double f_id(double x_re, double x_im, double y_re, double y_im) { double r23342 = x_im; double r23343 = y_re; double r23344 = r23342 * r23343; double r23345 = x_re; double r23346 = y_im; double r23347 = r23345 * r23346; double r23348 = r23344 - r23347; double r23349 = r23343 * r23343; double r23350 = r23346 * r23346; double r23351 = r23349 + r23350; double r23352 = r23348 / r23351; return r23352; } double f_of(float x_re, float x_im, float y_re, float y_im) { float r23353 = 1; float r23354 = y_re; float r23355 = r23354 * r23354; float r23356 = y_im; float r23357 = r23356 * r23356; float r23358 = r23355 + r23357; float r23359 = sqrt(r23358); float r23360 = r23353 / r23359; float r23361 = x_im; float r23362 = r23361 * r23354; float r23363 = x_re; float r23364 = r23363 * r23356; float r23365 = r23362 - r23364; float r23366 = r23365 / r23359; float r23367 = r23360 * r23366; return r23367; } double f_od(double x_re, double x_im, double y_re, double y_im) { double r23368 = 1; double r23369 = y_re; double r23370 = r23369 * r23369; double r23371 = y_im; double r23372 = r23371 * r23371; double r23373 = r23370 + r23372; double r23374 = sqrt(r23373); double r23375 = r23368 / r23374; double r23376 = x_im; double r23377 = r23376 * r23369; double r23378 = x_re; double r23379 = r23378 * r23371; double r23380 = r23377 - r23379; double r23381 = r23380 / r23374; double r23382 = r23375 * r23381; return r23382; } 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 r23383, r23384, r23385, r23386, r23387, r23388, r23389, r23390, r23391, r23392, r23393; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r23383); mpfr_init(r23384); mpfr_init(r23385); mpfr_init(r23386); mpfr_init(r23387); mpfr_init(r23388); mpfr_init(r23389); mpfr_init(r23390); mpfr_init(r23391); mpfr_init(r23392); mpfr_init(r23393); } double f_im(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r23383, x_im, MPFR_RNDN); mpfr_set_d(r23384, y_re, MPFR_RNDN); mpfr_mul(r23385, r23383, r23384, MPFR_RNDN); mpfr_set_d(r23386, x_re, MPFR_RNDN); mpfr_set_d(r23387, y_im, MPFR_RNDN); mpfr_mul(r23388, r23386, r23387, MPFR_RNDN); mpfr_sub(r23389, r23385, r23388, MPFR_RNDN); mpfr_mul(r23390, r23384, r23384, MPFR_RNDN); mpfr_mul(r23391, r23387, r23387, MPFR_RNDN); mpfr_add(r23392, r23390, r23391, MPFR_RNDN); mpfr_div(r23393, r23389, r23392, MPFR_RNDN); return mpfr_get_d(r23393, MPFR_RNDN); } static mpfr_t r23394, r23395, r23396, r23397, r23398, r23399, r23400, r23401, r23402, r23403, r23404, r23405, r23406, r23407, r23408; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init_set_str(r23394, "1", 10, MPFR_RNDN); mpfr_init(r23395); mpfr_init(r23396); mpfr_init(r23397); mpfr_init(r23398); mpfr_init(r23399); mpfr_init(r23400); mpfr_init(r23401); mpfr_init(r23402); mpfr_init(r23403); mpfr_init(r23404); mpfr_init(r23405); mpfr_init(r23406); mpfr_init(r23407); mpfr_init(r23408); } double f_fm(double x_re, double x_im, double y_re, double y_im) { ; mpfr_set_d(r23395, y_re, MPFR_RNDN); mpfr_mul(r23396, r23395, r23395, MPFR_RNDN); mpfr_set_d(r23397, y_im, MPFR_RNDN); mpfr_mul(r23398, r23397, r23397, MPFR_RNDN); mpfr_add(r23399, r23396, r23398, MPFR_RNDN); mpfr_sqrt(r23400, r23399, MPFR_RNDN); mpfr_div(r23401, r23394, r23400, MPFR_RNDN); mpfr_set_d(r23402, x_im, MPFR_RNDN); mpfr_mul(r23403, r23402, r23395, MPFR_RNDN); mpfr_set_d(r23404, x_re, MPFR_RNDN); mpfr_mul(r23405, r23404, r23397, MPFR_RNDN); mpfr_sub(r23406, r23403, r23405, MPFR_RNDN); mpfr_div(r23407, r23406, r23400, MPFR_RNDN); mpfr_mul(r23408, r23401, r23407, MPFR_RNDN); return mpfr_get_d(r23408, MPFR_RNDN); } static mpfr_t r23409, r23410, r23411, r23412, r23413, r23414, r23415, r23416, r23417, r23418, r23419, r23420, r23421, r23422, r23423; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init_set_str(r23409, "1", 10, MPFR_RNDN); mpfr_init(r23410); mpfr_init(r23411); mpfr_init(r23412); mpfr_init(r23413); mpfr_init(r23414); mpfr_init(r23415); mpfr_init(r23416); mpfr_init(r23417); mpfr_init(r23418); mpfr_init(r23419); mpfr_init(r23420); mpfr_init(r23421); mpfr_init(r23422); mpfr_init(r23423); } double f_dm(double x_re, double x_im, double y_re, double y_im) { ; mpfr_set_d(r23410, y_re, MPFR_RNDN); mpfr_mul(r23411, r23410, r23410, MPFR_RNDN); mpfr_set_d(r23412, y_im, MPFR_RNDN); mpfr_mul(r23413, r23412, r23412, MPFR_RNDN); mpfr_add(r23414, r23411, r23413, MPFR_RNDN); mpfr_sqrt(r23415, r23414, MPFR_RNDN); mpfr_div(r23416, r23409, r23415, MPFR_RNDN); mpfr_set_d(r23417, x_im, MPFR_RNDN); mpfr_mul(r23418, r23417, r23410, MPFR_RNDN); mpfr_set_d(r23419, x_re, MPFR_RNDN); mpfr_mul(r23420, r23419, r23412, MPFR_RNDN); mpfr_sub(r23421, r23418, r23420, MPFR_RNDN); mpfr_div(r23422, r23421, r23415, MPFR_RNDN); mpfr_mul(r23423, r23416, r23422, MPFR_RNDN); return mpfr_get_d(r23423, MPFR_RNDN); }