#include #include #include #include #include char *name = "Complex division, real part"; double f_if(float a, float b, float c, float d) { float r16946 = a; float r16947 = c; float r16948 = r16946 * r16947; float r16949 = b; float r16950 = d; float r16951 = r16949 * r16950; float r16952 = r16948 + r16951; float r16953 = r16947 * r16947; float r16954 = r16950 * r16950; float r16955 = r16953 + r16954; float r16956 = r16952 / r16955; return r16956; } double f_id(double a, double b, double c, double d) { double r16957 = a; double r16958 = c; double r16959 = r16957 * r16958; double r16960 = b; double r16961 = d; double r16962 = r16960 * r16961; double r16963 = r16959 + r16962; double r16964 = r16958 * r16958; double r16965 = r16961 * r16961; double r16966 = r16964 + r16965; double r16967 = r16963 / r16966; return r16967; } double f_of(float a, float b, float c, float d) { float r16968 = c; float r16969 = -81756544.0f; bool r16970 = r16968 <= r16969; float r16971 = a; float r16972 = r16971 / r16968; float r16973 = b; float r16974 = r16973 / r16968; float r16975 = d; float r16976 = r16975 / r16968; float r16977 = r16974 * r16976; float r16978 = r16972 + r16977; float r16979 = 660254400.0f; bool r16980 = r16968 <= r16979; float r16981 = r16971 * r16968; float r16982 = r16973 * r16975; float r16983 = r16981 + r16982; float r16984 = r16968 * r16968; float r16985 = fabs(r16975); float r16986 = r16985 * r16985; float r16987 = r16984 + r16986; float r16988 = r16983 / r16987; float r16989 = r16980 ? r16988 : r16978; float r16990 = r16970 ? r16978 : r16989; return r16990; } double f_od(double a, double b, double c, double d) { double r16991 = c; double r16992 = -81756544.0; bool r16993 = r16991 <= r16992; double r16994 = a; double r16995 = r16994 / r16991; double r16996 = b; double r16997 = r16996 / r16991; double r16998 = d; double r16999 = r16998 / r16991; double r17000 = r16997 * r16999; double r17001 = r16995 + r17000; double r17002 = 660254400.0; bool r17003 = r16991 <= r17002; double r17004 = r16994 * r16991; double r17005 = r16996 * r16998; double r17006 = r17004 + r17005; double r17007 = r16991 * r16991; double r17008 = fabs(r16998); double r17009 = r17008 * r17008; double r17010 = r17007 + r17009; double r17011 = r17006 / r17010; double r17012 = r17003 ? r17011 : r17001; double r17013 = r16993 ? r17001 : r17012; return r17013; } 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 r17014, r17015, r17016, r17017, r17018, r17019, r17020, r17021, r17022, r17023, r17024; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17014); mpfr_init(r17015); mpfr_init(r17016); mpfr_init(r17017); mpfr_init(r17018); mpfr_init(r17019); mpfr_init(r17020); mpfr_init(r17021); mpfr_init(r17022); mpfr_init(r17023); mpfr_init(r17024); } double f_im(double a, double b, double c, double d) { mpfr_set_d(r17014, a, MPFR_RNDN); mpfr_set_d(r17015, c, MPFR_RNDN); mpfr_mul(r17016, r17014, r17015, MPFR_RNDN); mpfr_set_d(r17017, b, MPFR_RNDN); mpfr_set_d(r17018, d, MPFR_RNDN); mpfr_mul(r17019, r17017, r17018, MPFR_RNDN); mpfr_add(r17020, r17016, r17019, MPFR_RNDN); mpfr_sqr(r17021, r17015, MPFR_RNDN); mpfr_sqr(r17022, r17018, MPFR_RNDN); mpfr_add(r17023, r17021, r17022, MPFR_RNDN); mpfr_div(r17024, r17020, r17023, MPFR_RNDN); return mpfr_get_d(r17024, MPFR_RNDN); } static mpfr_t r17025, r17026, r17027, r17028, r17029, r17030, r17031, r17032, r17033, r17034, r17035, r17036, r17037, r17038, r17039, r17040, r17041, r17042, r17043, r17044, r17045, r17046, r17047; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17025); mpfr_init_set_str(r17026, "-8.175654f+07", 10, MPFR_RNDN); mpfr_init(r17027); mpfr_init(r17028); mpfr_init(r17029); mpfr_init(r17030); mpfr_init(r17031); mpfr_init(r17032); mpfr_init(r17033); mpfr_init(r17034); mpfr_init(r17035); mpfr_init_set_str(r17036, "6.602544f+08", 10, MPFR_RNDN); mpfr_init(r17037); mpfr_init(r17038); mpfr_init(r17039); mpfr_init(r17040); mpfr_init(r17041); mpfr_init(r17042); mpfr_init(r17043); mpfr_init(r17044); mpfr_init(r17045); mpfr_init(r17046); mpfr_init(r17047); } double f_fm(double a, double b, double c, double d) { mpfr_set_d(r17025, c, MPFR_RNDN); ; mpfr_set_si(r17027, mpfr_cmp(r17025, r17026) <= 0, MPFR_RNDN); mpfr_set_d(r17028, a, MPFR_RNDN); mpfr_div(r17029, r17028, r17025, MPFR_RNDN); mpfr_set_d(r17030, b, MPFR_RNDN); mpfr_div(r17031, r17030, r17025, MPFR_RNDN); mpfr_set_d(r17032, d, MPFR_RNDN); mpfr_div(r17033, r17032, r17025, MPFR_RNDN); mpfr_mul(r17034, r17031, r17033, MPFR_RNDN); mpfr_add(r17035, r17029, r17034, MPFR_RNDN); ; mpfr_set_si(r17037, mpfr_cmp(r17025, r17036) <= 0, MPFR_RNDN); mpfr_mul(r17038, r17028, r17025, MPFR_RNDN); mpfr_mul(r17039, r17030, r17032, MPFR_RNDN); mpfr_add(r17040, r17038, r17039, MPFR_RNDN); mpfr_sqr(r17041, r17025, MPFR_RNDN); mpfr_abs(r17042, r17032, MPFR_RNDN); mpfr_sqr(r17043, r17042, MPFR_RNDN); mpfr_add(r17044, r17041, r17043, MPFR_RNDN); mpfr_div(r17045, r17040, r17044, MPFR_RNDN); if (mpfr_get_si(r17037, MPFR_RNDN)) { mpfr_set(r17046, r17045, MPFR_RNDN); } else { mpfr_set(r17046, r17035, MPFR_RNDN); }; if (mpfr_get_si(r17027, MPFR_RNDN)) { mpfr_set(r17047, r17035, MPFR_RNDN); } else { mpfr_set(r17047, r17046, MPFR_RNDN); }; return mpfr_get_d(r17047, MPFR_RNDN); } static mpfr_t r17048, r17049, r17050, r17051, r17052, r17053, r17054, r17055, r17056, r17057, r17058, r17059, r17060, r17061, r17062, r17063, r17064, r17065, r17066, r17067, r17068, r17069, r17070; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17048); mpfr_init_set_str(r17049, "-8.175654f+07", 10, MPFR_RNDN); mpfr_init(r17050); mpfr_init(r17051); mpfr_init(r17052); mpfr_init(r17053); mpfr_init(r17054); mpfr_init(r17055); mpfr_init(r17056); mpfr_init(r17057); mpfr_init(r17058); mpfr_init_set_str(r17059, "6.602544f+08", 10, MPFR_RNDN); mpfr_init(r17060); mpfr_init(r17061); mpfr_init(r17062); mpfr_init(r17063); mpfr_init(r17064); mpfr_init(r17065); mpfr_init(r17066); mpfr_init(r17067); mpfr_init(r17068); mpfr_init(r17069); mpfr_init(r17070); } double f_dm(double a, double b, double c, double d) { mpfr_set_d(r17048, c, MPFR_RNDN); ; mpfr_set_si(r17050, mpfr_cmp(r17048, r17049) <= 0, MPFR_RNDN); mpfr_set_d(r17051, a, MPFR_RNDN); mpfr_div(r17052, r17051, r17048, MPFR_RNDN); mpfr_set_d(r17053, b, MPFR_RNDN); mpfr_div(r17054, r17053, r17048, MPFR_RNDN); mpfr_set_d(r17055, d, MPFR_RNDN); mpfr_div(r17056, r17055, r17048, MPFR_RNDN); mpfr_mul(r17057, r17054, r17056, MPFR_RNDN); mpfr_add(r17058, r17052, r17057, MPFR_RNDN); ; mpfr_set_si(r17060, mpfr_cmp(r17048, r17059) <= 0, MPFR_RNDN); mpfr_mul(r17061, r17051, r17048, MPFR_RNDN); mpfr_mul(r17062, r17053, r17055, MPFR_RNDN); mpfr_add(r17063, r17061, r17062, MPFR_RNDN); mpfr_sqr(r17064, r17048, MPFR_RNDN); mpfr_abs(r17065, r17055, MPFR_RNDN); mpfr_sqr(r17066, r17065, MPFR_RNDN); mpfr_add(r17067, r17064, r17066, MPFR_RNDN); mpfr_div(r17068, r17063, r17067, MPFR_RNDN); if (mpfr_get_si(r17060, MPFR_RNDN)) { mpfr_set(r17069, r17068, MPFR_RNDN); } else { mpfr_set(r17069, r17058, MPFR_RNDN); }; if (mpfr_get_si(r17050, MPFR_RNDN)) { mpfr_set(r17070, r17058, MPFR_RNDN); } else { mpfr_set(r17070, r17069, MPFR_RNDN); }; return mpfr_get_d(r17070, MPFR_RNDN); }