#include #include #include #include #include char *name = "Migdal et al, Equation (64)"; double f_if(float a1, float a2, float th) { float r22967 = th; float r22968 = cos(r22967); float r22969 = 2; float r22970 = sqrt(r22969); float r22971 = r22968 / r22970; float r22972 = a1; float r22973 = r22972 * r22972; float r22974 = r22971 * r22973; float r22975 = a2; float r22976 = r22975 * r22975; float r22977 = r22971 * r22976; float r22978 = r22974 + r22977; return r22978; } double f_id(double a1, double a2, double th) { double r22979 = th; double r22980 = cos(r22979); double r22981 = 2; double r22982 = sqrt(r22981); double r22983 = r22980 / r22982; double r22984 = a1; double r22985 = r22984 * r22984; double r22986 = r22983 * r22985; double r22987 = a2; double r22988 = r22987 * r22987; double r22989 = r22983 * r22988; double r22990 = r22986 + r22989; return r22990; } double f_of(float a1, float a2, float th) { float r22991 = th; float r22992 = cos(r22991); float r22993 = 2; float r22994 = sqrt(r22993); float r22995 = sqrt(r22994); float r22996 = r22992 / r22995; float r22997 = r22996 / r22995; float r22998 = a1; float r22999 = r22998 * r22998; float r23000 = r22997 * r22999; float r23001 = r22992 / r22994; float r23002 = a2; float r23003 = r23002 * r23002; float r23004 = r23001 * r23003; float r23005 = r23000 + r23004; return r23005; } double f_od(double a1, double a2, double th) { double r23006 = th; double r23007 = cos(r23006); double r23008 = 2; double r23009 = sqrt(r23008); double r23010 = sqrt(r23009); double r23011 = r23007 / r23010; double r23012 = r23011 / r23010; double r23013 = a1; double r23014 = r23013 * r23013; double r23015 = r23012 * r23014; double r23016 = r23007 / r23009; double r23017 = a2; double r23018 = r23017 * r23017; double r23019 = r23016 * r23018; double r23020 = r23015 + r23019; return r23020; } 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 r23021, r23022, r23023, r23024, r23025, r23026, r23027, r23028, r23029, r23030, r23031, r23032; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r23021); mpfr_init(r23022); mpfr_init_set_str(r23023, "2", 10, MPFR_RNDN); mpfr_init(r23024); mpfr_init(r23025); mpfr_init(r23026); mpfr_init(r23027); mpfr_init(r23028); mpfr_init(r23029); mpfr_init(r23030); mpfr_init(r23031); mpfr_init(r23032); } double f_im(double a1, double a2, double th) { mpfr_set_d(r23021, th, MPFR_RNDN); mpfr_cos(r23022, r23021, MPFR_RNDN); ; mpfr_sqrt(r23024, r23023, MPFR_RNDN); mpfr_div(r23025, r23022, r23024, MPFR_RNDN); mpfr_set_d(r23026, a1, MPFR_RNDN); mpfr_mul(r23027, r23026, r23026, MPFR_RNDN); mpfr_mul(r23028, r23025, r23027, MPFR_RNDN); mpfr_set_d(r23029, a2, MPFR_RNDN); mpfr_mul(r23030, r23029, r23029, MPFR_RNDN); mpfr_mul(r23031, r23025, r23030, MPFR_RNDN); mpfr_add(r23032, r23028, r23031, MPFR_RNDN); return mpfr_get_d(r23032, MPFR_RNDN); } static mpfr_t r23033, r23034, r23035, r23036, r23037, r23038, r23039, r23040, r23041, r23042, r23043, r23044, r23045, r23046, r23047; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r23033); mpfr_init(r23034); mpfr_init_set_str(r23035, "2", 10, MPFR_RNDN); mpfr_init(r23036); mpfr_init(r23037); mpfr_init(r23038); mpfr_init(r23039); mpfr_init(r23040); mpfr_init(r23041); mpfr_init(r23042); mpfr_init(r23043); mpfr_init(r23044); mpfr_init(r23045); mpfr_init(r23046); mpfr_init(r23047); } double f_fm(double a1, double a2, double th) { mpfr_set_d(r23033, th, MPFR_RNDN); mpfr_cos(r23034, r23033, MPFR_RNDN); ; mpfr_sqrt(r23036, r23035, MPFR_RNDN); mpfr_sqrt(r23037, r23036, MPFR_RNDN); mpfr_div(r23038, r23034, r23037, MPFR_RNDN); mpfr_div(r23039, r23038, r23037, MPFR_RNDN); mpfr_set_d(r23040, a1, MPFR_RNDN); mpfr_mul(r23041, r23040, r23040, MPFR_RNDN); mpfr_mul(r23042, r23039, r23041, MPFR_RNDN); mpfr_div(r23043, r23034, r23036, MPFR_RNDN); mpfr_set_d(r23044, a2, MPFR_RNDN); mpfr_mul(r23045, r23044, r23044, MPFR_RNDN); mpfr_mul(r23046, r23043, r23045, MPFR_RNDN); mpfr_add(r23047, r23042, r23046, MPFR_RNDN); return mpfr_get_d(r23047, MPFR_RNDN); } static mpfr_t r23048, r23049, r23050, r23051, r23052, r23053, r23054, r23055, r23056, r23057, r23058, r23059, r23060, r23061, r23062; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r23048); mpfr_init(r23049); mpfr_init_set_str(r23050, "2", 10, MPFR_RNDN); 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); mpfr_init(r23060); mpfr_init(r23061); mpfr_init(r23062); } double f_dm(double a1, double a2, double th) { mpfr_set_d(r23048, th, MPFR_RNDN); mpfr_cos(r23049, r23048, MPFR_RNDN); ; mpfr_sqrt(r23051, r23050, MPFR_RNDN); mpfr_sqrt(r23052, r23051, MPFR_RNDN); mpfr_div(r23053, r23049, r23052, MPFR_RNDN); mpfr_div(r23054, r23053, r23052, MPFR_RNDN); mpfr_set_d(r23055, a1, MPFR_RNDN); mpfr_mul(r23056, r23055, r23055, MPFR_RNDN); mpfr_mul(r23057, r23054, r23056, MPFR_RNDN); mpfr_div(r23058, r23049, r23051, MPFR_RNDN); mpfr_set_d(r23059, a2, MPFR_RNDN); mpfr_mul(r23060, r23059, r23059, MPFR_RNDN); mpfr_mul(r23061, r23058, r23060, MPFR_RNDN); mpfr_add(r23062, r23057, r23061, MPFR_RNDN); return mpfr_get_d(r23062, MPFR_RNDN); }