#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 r23197 = x_re; float r23198 = y_re; float r23199 = r23197 * r23198; float r23200 = x_im; float r23201 = y_im; float r23202 = r23200 * r23201; float r23203 = r23199 + r23202; float r23204 = r23198 * r23198; float r23205 = r23201 * r23201; float r23206 = r23204 + r23205; float r23207 = r23203 / r23206; return r23207; } double f_id(double x_re, double x_im, double y_re, double y_im) { double r23208 = x_re; double r23209 = y_re; double r23210 = r23208 * r23209; double r23211 = x_im; double r23212 = y_im; double r23213 = r23211 * r23212; double r23214 = r23210 + r23213; double r23215 = r23209 * r23209; double r23216 = r23212 * r23212; double r23217 = r23215 + r23216; double r23218 = r23214 / r23217; return r23218; } double f_of(float x_re, float x_im, float y_re, float y_im) { float r23219 = 1; float r23220 = y_re; float r23221 = r23220 * r23220; float r23222 = y_im; float r23223 = r23222 * r23222; float r23224 = r23221 + r23223; float r23225 = sqrt(r23224); float r23226 = r23219 / r23225; float r23227 = x_re; float r23228 = r23227 * r23220; float r23229 = x_im; float r23230 = r23229 * r23222; float r23231 = r23228 + r23230; float r23232 = r23231 / r23225; float r23233 = r23226 * r23232; return r23233; } double f_od(double x_re, double x_im, double y_re, double y_im) { double r23234 = 1; double r23235 = y_re; double r23236 = r23235 * r23235; double r23237 = y_im; double r23238 = r23237 * r23237; double r23239 = r23236 + r23238; double r23240 = sqrt(r23239); double r23241 = r23234 / r23240; double r23242 = x_re; double r23243 = r23242 * r23235; double r23244 = x_im; double r23245 = r23244 * r23237; double r23246 = r23243 + r23245; double r23247 = r23246 / r23240; double r23248 = r23241 * r23247; return r23248; } 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 r23249, r23250, r23251, r23252, r23253, r23254, r23255, r23256, r23257, r23258, r23259; void setup_mpfr_f_im() { mpfr_set_default_prec(336); mpfr_init(r23249); mpfr_init(r23250); mpfr_init(r23251); mpfr_init(r23252); mpfr_init(r23253); mpfr_init(r23254); mpfr_init(r23255); mpfr_init(r23256); mpfr_init(r23257); mpfr_init(r23258); mpfr_init(r23259); } double f_im(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r23249, x_re, MPFR_RNDN); mpfr_set_d(r23250, y_re, MPFR_RNDN); mpfr_mul(r23251, r23249, r23250, MPFR_RNDN); mpfr_set_d(r23252, x_im, MPFR_RNDN); mpfr_set_d(r23253, y_im, MPFR_RNDN); mpfr_mul(r23254, r23252, r23253, MPFR_RNDN); mpfr_add(r23255, r23251, r23254, MPFR_RNDN); mpfr_mul(r23256, r23250, r23250, MPFR_RNDN); mpfr_mul(r23257, r23253, r23253, MPFR_RNDN); mpfr_add(r23258, r23256, r23257, MPFR_RNDN); mpfr_div(r23259, r23255, r23258, MPFR_RNDN); return mpfr_get_d(r23259, MPFR_RNDN); } static mpfr_t r23260, r23261, r23262, r23263, r23264, r23265, r23266, r23267, r23268, r23269, r23270, r23271, r23272, r23273, r23274; void setup_mpfr_f_fm() { mpfr_set_default_prec(336); mpfr_init_set_str(r23260, "1", 10, MPFR_RNDN); mpfr_init(r23261); mpfr_init(r23262); mpfr_init(r23263); mpfr_init(r23264); mpfr_init(r23265); mpfr_init(r23266); mpfr_init(r23267); mpfr_init(r23268); mpfr_init(r23269); mpfr_init(r23270); mpfr_init(r23271); mpfr_init(r23272); mpfr_init(r23273); mpfr_init(r23274); } double f_fm(double x_re, double x_im, double y_re, double y_im) { ; mpfr_set_d(r23261, y_re, MPFR_RNDN); mpfr_mul(r23262, r23261, r23261, MPFR_RNDN); mpfr_set_d(r23263, y_im, MPFR_RNDN); mpfr_mul(r23264, r23263, r23263, MPFR_RNDN); mpfr_add(r23265, r23262, r23264, MPFR_RNDN); mpfr_sqrt(r23266, r23265, MPFR_RNDN); mpfr_div(r23267, r23260, r23266, MPFR_RNDN); mpfr_set_d(r23268, x_re, MPFR_RNDN); mpfr_mul(r23269, r23268, r23261, MPFR_RNDN); mpfr_set_d(r23270, x_im, MPFR_RNDN); mpfr_mul(r23271, r23270, r23263, MPFR_RNDN); mpfr_add(r23272, r23269, r23271, MPFR_RNDN); mpfr_div(r23273, r23272, r23266, MPFR_RNDN); mpfr_mul(r23274, r23267, r23273, MPFR_RNDN); return mpfr_get_d(r23274, MPFR_RNDN); } static mpfr_t r23275, r23276, r23277, r23278, r23279, r23280, r23281, r23282, r23283, r23284, r23285, r23286, r23287, r23288, r23289; void setup_mpfr_f_dm() { mpfr_set_default_prec(336); mpfr_init_set_str(r23275, "1", 10, MPFR_RNDN); mpfr_init(r23276); mpfr_init(r23277); mpfr_init(r23278); mpfr_init(r23279); mpfr_init(r23280); mpfr_init(r23281); mpfr_init(r23282); mpfr_init(r23283); mpfr_init(r23284); mpfr_init(r23285); mpfr_init(r23286); mpfr_init(r23287); mpfr_init(r23288); mpfr_init(r23289); } double f_dm(double x_re, double x_im, double y_re, double y_im) { ; mpfr_set_d(r23276, y_re, MPFR_RNDN); mpfr_mul(r23277, r23276, r23276, MPFR_RNDN); mpfr_set_d(r23278, y_im, MPFR_RNDN); mpfr_mul(r23279, r23278, r23278, MPFR_RNDN); mpfr_add(r23280, r23277, r23279, MPFR_RNDN); mpfr_sqrt(r23281, r23280, MPFR_RNDN); mpfr_div(r23282, r23275, r23281, MPFR_RNDN); mpfr_set_d(r23283, x_re, MPFR_RNDN); mpfr_mul(r23284, r23283, r23276, MPFR_RNDN); mpfr_set_d(r23285, x_im, MPFR_RNDN); mpfr_mul(r23286, r23285, r23278, MPFR_RNDN); mpfr_add(r23287, r23284, r23286, MPFR_RNDN); mpfr_div(r23288, r23287, r23281, MPFR_RNDN); mpfr_mul(r23289, r23282, r23288, MPFR_RNDN); return mpfr_get_d(r23289, MPFR_RNDN); }