#include #include #include #include #include char *name = "Complex division, imag part"; double f_if(float a, float b, float c, float d) { float r22993 = b; float r22994 = c; float r22995 = r22993 * r22994; float r22996 = a; float r22997 = d; float r22998 = r22996 * r22997; float r22999 = r22995 - r22998; float r23000 = r22994 * r22994; float r23001 = r22997 * r22997; float r23002 = r23000 + r23001; float r23003 = r22999 / r23002; return r23003; } double f_id(double a, double b, double c, double d) { double r23004 = b; double r23005 = c; double r23006 = r23004 * r23005; double r23007 = a; double r23008 = d; double r23009 = r23007 * r23008; double r23010 = r23006 - r23009; double r23011 = r23005 * r23005; double r23012 = r23008 * r23008; double r23013 = r23011 + r23012; double r23014 = r23010 / r23013; return r23014; } double f_of(float a, float b, float c, float d) { float r23015 = d; float r23016 = 2.318183842350395e+90; bool r23017 = r23015 <= r23016; float r23018 = c; float r23019 = b; float r23020 = r23018 * r23019; float r23021 = a; float r23022 = r23021 * r23015; float r23023 = r23020 - r23022; float r23024 = hypot(r23015, r23018); float r23025 = r23023 / r23024; float r23026 = r23025 / r23024; float r23027 = r23019 / r23015; float r23028 = -r23021; float r23029 = fma(r23027, r23018, r23028); float r23030 = r23029 / r23024; float r23031 = r23017 ? r23026 : r23030; return r23031; } double f_od(double a, double b, double c, double d) { double r23032 = d; double r23033 = 2.318183842350395e+90; bool r23034 = r23032 <= r23033; double r23035 = c; double r23036 = b; double r23037 = r23035 * r23036; double r23038 = a; double r23039 = r23038 * r23032; double r23040 = r23037 - r23039; double r23041 = hypot(r23032, r23035); double r23042 = r23040 / r23041; double r23043 = r23042 / r23041; double r23044 = r23036 / r23032; double r23045 = -r23038; double r23046 = fma(r23044, r23035, r23045); double r23047 = r23046 / r23041; double r23048 = r23034 ? r23043 : r23047; return r23048; } 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 r23049, r23050, r23051, r23052, r23053, r23054, r23055, r23056, r23057, r23058, r23059; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r23049); mpfr_init(r23050); mpfr_init(r23051); mpfr_init(r23052); mpfr_init(r23053); mpfr_init(r23054); mpfr_init(r23055); mpfr_init(r23056); mpfr_init(r23057); mpfr_init(r23058); mpfr_init(r23059); } double f_im(double a, double b, double c, double d) { mpfr_set_d(r23049, b, MPFR_RNDN); mpfr_set_d(r23050, c, MPFR_RNDN); mpfr_mul(r23051, r23049, r23050, MPFR_RNDN); mpfr_set_d(r23052, a, MPFR_RNDN); mpfr_set_d(r23053, d, MPFR_RNDN); mpfr_mul(r23054, r23052, r23053, MPFR_RNDN); mpfr_sub(r23055, r23051, r23054, MPFR_RNDN); mpfr_mul(r23056, r23050, r23050, MPFR_RNDN); mpfr_mul(r23057, r23053, r23053, MPFR_RNDN); mpfr_add(r23058, r23056, r23057, MPFR_RNDN); mpfr_div(r23059, r23055, r23058, MPFR_RNDN); return mpfr_get_d(r23059, MPFR_RNDN); } static mpfr_t r23060, r23061, r23062, r23063, r23064, r23065, r23066, r23067, r23068, r23069, r23070, r23071, r23072, r23073, r23074, r23075, r23076; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r23060); mpfr_init_set_str(r23061, "2.318183842350395e+90", 10, MPFR_RNDN); mpfr_init(r23062); mpfr_init(r23063); mpfr_init(r23064); mpfr_init(r23065); mpfr_init(r23066); mpfr_init(r23067); mpfr_init(r23068); mpfr_init(r23069); mpfr_init(r23070); mpfr_init(r23071); mpfr_init(r23072); mpfr_init(r23073); mpfr_init(r23074); mpfr_init(r23075); mpfr_init(r23076); } double f_fm(double a, double b, double c, double d) { mpfr_set_d(r23060, d, MPFR_RNDN); ; mpfr_set_si(r23062, mpfr_cmp(r23060, r23061) <= 0, MPFR_RNDN); mpfr_set_d(r23063, c, MPFR_RNDN); mpfr_set_d(r23064, b, MPFR_RNDN); mpfr_mul(r23065, r23063, r23064, MPFR_RNDN); mpfr_set_d(r23066, a, MPFR_RNDN); mpfr_mul(r23067, r23066, r23060, MPFR_RNDN); mpfr_sub(r23068, r23065, r23067, MPFR_RNDN); mpfr_hypot(r23069, r23060, r23063, MPFR_RNDN); mpfr_div(r23070, r23068, r23069, MPFR_RNDN); mpfr_div(r23071, r23070, r23069, MPFR_RNDN); mpfr_div(r23072, r23064, r23060, MPFR_RNDN); mpfr_neg(r23073, r23066, MPFR_RNDN); mpfr_fma(r23074, r23072, r23063, r23073, MPFR_RNDN); mpfr_div(r23075, r23074, r23069, MPFR_RNDN); if (mpfr_get_si(r23062, MPFR_RNDN)) { mpfr_set(r23076, r23071, MPFR_RNDN); } else { mpfr_set(r23076, r23075, MPFR_RNDN); }; return mpfr_get_d(r23076, MPFR_RNDN); } static mpfr_t r23077, r23078, r23079, r23080, r23081, r23082, r23083, r23084, r23085, r23086, r23087, r23088, r23089, r23090, r23091, r23092, r23093; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r23077); mpfr_init_set_str(r23078, "2.318183842350395e+90", 10, MPFR_RNDN); mpfr_init(r23079); mpfr_init(r23080); mpfr_init(r23081); mpfr_init(r23082); mpfr_init(r23083); mpfr_init(r23084); mpfr_init(r23085); mpfr_init(r23086); mpfr_init(r23087); mpfr_init(r23088); mpfr_init(r23089); mpfr_init(r23090); mpfr_init(r23091); mpfr_init(r23092); mpfr_init(r23093); } double f_dm(double a, double b, double c, double d) { mpfr_set_d(r23077, d, MPFR_RNDN); ; mpfr_set_si(r23079, mpfr_cmp(r23077, r23078) <= 0, MPFR_RNDN); mpfr_set_d(r23080, c, MPFR_RNDN); mpfr_set_d(r23081, b, MPFR_RNDN); mpfr_mul(r23082, r23080, r23081, MPFR_RNDN); mpfr_set_d(r23083, a, MPFR_RNDN); mpfr_mul(r23084, r23083, r23077, MPFR_RNDN); mpfr_sub(r23085, r23082, r23084, MPFR_RNDN); mpfr_hypot(r23086, r23077, r23080, MPFR_RNDN); mpfr_div(r23087, r23085, r23086, MPFR_RNDN); mpfr_div(r23088, r23087, r23086, MPFR_RNDN); mpfr_div(r23089, r23081, r23077, MPFR_RNDN); mpfr_neg(r23090, r23083, MPFR_RNDN); mpfr_fma(r23091, r23089, r23080, r23090, MPFR_RNDN); mpfr_div(r23092, r23091, r23086, MPFR_RNDN); if (mpfr_get_si(r23079, MPFR_RNDN)) { mpfr_set(r23093, r23088, MPFR_RNDN); } else { mpfr_set(r23093, r23092, MPFR_RNDN); }; return mpfr_get_d(r23093, MPFR_RNDN); }