#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 r16260 = x_im; float r16261 = y_re; float r16262 = r16260 * r16261; float r16263 = x_re; float r16264 = y_im; float r16265 = r16263 * r16264; float r16266 = r16262 - r16265; float r16267 = r16261 * r16261; float r16268 = r16264 * r16264; float r16269 = r16267 + r16268; float r16270 = r16266 / r16269; return r16270; } double f_id(double x_re, double x_im, double y_re, double y_im) { double r16271 = x_im; double r16272 = y_re; double r16273 = r16271 * r16272; double r16274 = x_re; double r16275 = y_im; double r16276 = r16274 * r16275; double r16277 = r16273 - r16276; double r16278 = r16272 * r16272; double r16279 = r16275 * r16275; double r16280 = r16278 + r16279; double r16281 = r16277 / r16280; return r16281; } double f_of(float x_re, float x_im, float y_re, float y_im) { float r16282 = x_im; float r16283 = 1.0f; float r16284 = r16282 / r16283; float r16285 = y_re; float r16286 = r16285 * r16285; float r16287 = y_im; float r16288 = r16287 * r16287; float r16289 = r16286 + r16288; float r16290 = r16285 / r16289; float r16291 = r16284 * r16290; float r16292 = x_re; float r16293 = r16292 * r16287; float r16294 = r16285 * r16285; float r16295 = r16294 + r16288; float r16296 = r16293 / r16295; float r16297 = r16291 - r16296; return r16297; } double f_od(double x_re, double x_im, double y_re, double y_im) { double r16298 = x_im; double r16299 = 1.0; double r16300 = r16298 / r16299; double r16301 = y_re; double r16302 = r16301 * r16301; double r16303 = y_im; double r16304 = r16303 * r16303; double r16305 = r16302 + r16304; double r16306 = r16301 / r16305; double r16307 = r16300 * r16306; double r16308 = x_re; double r16309 = r16308 * r16303; double r16310 = r16301 * r16301; double r16311 = r16310 + r16304; double r16312 = r16309 / r16311; double r16313 = r16307 - r16312; return r16313; } 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 r16314, r16315, r16316, r16317, r16318, r16319, r16320, r16321, r16322, r16323, r16324; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r16314); mpfr_init(r16315); mpfr_init(r16316); mpfr_init(r16317); mpfr_init(r16318); mpfr_init(r16319); mpfr_init(r16320); mpfr_init(r16321); mpfr_init(r16322); mpfr_init(r16323); mpfr_init(r16324); } double f_im(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r16314, x_im, MPFR_RNDN); mpfr_set_d(r16315, y_re, MPFR_RNDN); mpfr_mul(r16316, r16314, r16315, MPFR_RNDN); mpfr_set_d(r16317, x_re, MPFR_RNDN); mpfr_set_d(r16318, y_im, MPFR_RNDN); mpfr_mul(r16319, r16317, r16318, MPFR_RNDN); mpfr_sub(r16320, r16316, r16319, MPFR_RNDN); mpfr_mul(r16321, r16315, r16315, MPFR_RNDN); mpfr_mul(r16322, r16318, r16318, MPFR_RNDN); mpfr_add(r16323, r16321, r16322, MPFR_RNDN); mpfr_div(r16324, r16320, r16323, MPFR_RNDN); return mpfr_get_d(r16324, MPFR_RNDN); } static mpfr_t r16325, r16326, r16327, r16328, r16329, r16330, r16331, r16332, r16333, r16334, r16335, r16336, r16337, r16338, r16339, r16340; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r16325); mpfr_init_set_str(r16326, "1", 10, MPFR_RNDN); mpfr_init(r16327); mpfr_init(r16328); mpfr_init(r16329); mpfr_init(r16330); mpfr_init(r16331); mpfr_init(r16332); mpfr_init(r16333); mpfr_init(r16334); mpfr_init(r16335); mpfr_init(r16336); mpfr_init(r16337); mpfr_init(r16338); mpfr_init(r16339); mpfr_init(r16340); } double f_fm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r16325, x_im, MPFR_RNDN); ; mpfr_div(r16327, r16325, r16326, MPFR_RNDN); mpfr_set_d(r16328, y_re, MPFR_RNDN); mpfr_sqr(r16329, r16328, MPFR_RNDN); mpfr_set_d(r16330, y_im, MPFR_RNDN); mpfr_mul(r16331, r16330, r16330, MPFR_RNDN); mpfr_add(r16332, r16329, r16331, MPFR_RNDN); mpfr_div(r16333, r16328, r16332, MPFR_RNDN); mpfr_mul(r16334, r16327, r16333, MPFR_RNDN); mpfr_set_d(r16335, x_re, MPFR_RNDN); mpfr_mul(r16336, r16335, r16330, MPFR_RNDN); mpfr_mul(r16337, r16328, r16328, MPFR_RNDN); mpfr_add(r16338, r16337, r16331, MPFR_RNDN); mpfr_div(r16339, r16336, r16338, MPFR_RNDN); mpfr_sub(r16340, r16334, r16339, MPFR_RNDN); return mpfr_get_d(r16340, MPFR_RNDN); } static mpfr_t r16341, r16342, r16343, r16344, r16345, r16346, r16347, r16348, r16349, r16350, r16351, r16352, r16353, r16354, r16355, r16356; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r16341); mpfr_init_set_str(r16342, "1", 10, MPFR_RNDN); mpfr_init(r16343); mpfr_init(r16344); mpfr_init(r16345); mpfr_init(r16346); mpfr_init(r16347); mpfr_init(r16348); mpfr_init(r16349); mpfr_init(r16350); mpfr_init(r16351); mpfr_init(r16352); mpfr_init(r16353); mpfr_init(r16354); mpfr_init(r16355); mpfr_init(r16356); } double f_dm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r16341, x_im, MPFR_RNDN); ; mpfr_div(r16343, r16341, r16342, MPFR_RNDN); mpfr_set_d(r16344, y_re, MPFR_RNDN); mpfr_sqr(r16345, r16344, MPFR_RNDN); mpfr_set_d(r16346, y_im, MPFR_RNDN); mpfr_mul(r16347, r16346, r16346, MPFR_RNDN); mpfr_add(r16348, r16345, r16347, MPFR_RNDN); mpfr_div(r16349, r16344, r16348, MPFR_RNDN); mpfr_mul(r16350, r16343, r16349, MPFR_RNDN); mpfr_set_d(r16351, x_re, MPFR_RNDN); mpfr_mul(r16352, r16351, r16346, MPFR_RNDN); mpfr_mul(r16353, r16344, r16344, MPFR_RNDN); mpfr_add(r16354, r16353, r16347, MPFR_RNDN); mpfr_div(r16355, r16352, r16354, MPFR_RNDN); mpfr_sub(r16356, r16350, r16355, MPFR_RNDN); return mpfr_get_d(r16356, MPFR_RNDN); }