#include #include #include #include #include char *name = "Migdal et al, Equation (51)"; double f_if(float k, float n) { float r23020 = 1; float r23021 = k; float r23022 = sqrt(r23021); float r23023 = r23020 / r23022; float r23024 = 2; float r23025 = atan2(1.0, 0.0); float r23026 = r23024 * r23025; float r23027 = n; float r23028 = r23026 * r23027; float r23029 = r23020 - r23021; float r23030 = r23029 / r23024; float r23031 = pow(r23028, r23030); float r23032 = r23023 * r23031; return r23032; } double f_id(double k, double n) { double r23033 = 1; double r23034 = k; double r23035 = sqrt(r23034); double r23036 = r23033 / r23035; double r23037 = 2; double r23038 = atan2(1.0, 0.0); double r23039 = r23037 * r23038; double r23040 = n; double r23041 = r23039 * r23040; double r23042 = r23033 - r23034; double r23043 = r23042 / r23037; double r23044 = pow(r23041, r23043); double r23045 = r23036 * r23044; return r23045; } double f_of(float k, float n) { float r23046 = n; float r23047 = 1; float r23048 = 2; float r23049 = r23047 / r23048; float r23050 = pow(r23046, r23049); float r23051 = k; float r23052 = r23051 / r23048; float r23053 = pow(r23046, r23052); float r23054 = r23050 / r23053; float r23055 = atan2(1.0, 0.0); float r23056 = r23055 * r23048; float r23057 = r23047 - r23051; float r23058 = r23057 / r23048; float r23059 = pow(r23056, r23058); float r23060 = sqrt(r23051); float r23061 = r23059 / r23060; float r23062 = r23054 * r23061; return r23062; } double f_od(double k, double n) { double r23063 = n; double r23064 = 1; double r23065 = 2; double r23066 = r23064 / r23065; double r23067 = pow(r23063, r23066); double r23068 = k; double r23069 = r23068 / r23065; double r23070 = pow(r23063, r23069); double r23071 = r23067 / r23070; double r23072 = atan2(1.0, 0.0); double r23073 = r23072 * r23065; double r23074 = r23064 - r23068; double r23075 = r23074 / r23065; double r23076 = pow(r23073, r23075); double r23077 = sqrt(r23068); double r23078 = r23076 / r23077; double r23079 = r23071 * r23078; return r23079; } 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 r23080, r23081, r23082, r23083, r23084, r23085, r23086, r23087, r23088, r23089, r23090, r23091, r23092; void setup_mpfr_f_im() { mpfr_set_default_prec(1360); mpfr_init_set_str(r23080, "1", 10, MPFR_RNDN); mpfr_init(r23081); mpfr_init(r23082); mpfr_init(r23083); mpfr_init_set_str(r23084, "2", 10, MPFR_RNDN); mpfr_init(r23085); mpfr_init(r23086); mpfr_init(r23087); mpfr_init(r23088); mpfr_init(r23089); mpfr_init(r23090); mpfr_init(r23091); mpfr_init(r23092); } double f_im(double k, double n) { ; mpfr_set_d(r23081, k, MPFR_RNDN); mpfr_sqrt(r23082, r23081, MPFR_RNDN); mpfr_div(r23083, r23080, r23082, MPFR_RNDN); ; mpfr_const_pi(r23085, MPFR_RNDN); mpfr_mul(r23086, r23084, r23085, MPFR_RNDN); mpfr_set_d(r23087, n, MPFR_RNDN); mpfr_mul(r23088, r23086, r23087, MPFR_RNDN); mpfr_sub(r23089, r23080, r23081, MPFR_RNDN); mpfr_div(r23090, r23089, r23084, MPFR_RNDN); mpfr_pow(r23091, r23088, r23090, MPFR_RNDN); mpfr_mul(r23092, r23083, r23091, MPFR_RNDN); return mpfr_get_d(r23092, MPFR_RNDN); } static mpfr_t r23093, r23094, r23095, r23096, r23097, r23098, r23099, r23100, r23101, r23102, r23103, r23104, r23105, r23106, r23107, r23108, r23109; void setup_mpfr_f_fm() { mpfr_set_default_prec(1360); mpfr_init(r23093); mpfr_init_set_str(r23094, "1", 10, MPFR_RNDN); mpfr_init_set_str(r23095, "2", 10, MPFR_RNDN); mpfr_init(r23096); mpfr_init(r23097); mpfr_init(r23098); mpfr_init(r23099); mpfr_init(r23100); mpfr_init(r23101); mpfr_init(r23102); mpfr_init(r23103); mpfr_init(r23104); mpfr_init(r23105); mpfr_init(r23106); mpfr_init(r23107); mpfr_init(r23108); mpfr_init(r23109); } double f_fm(double k, double n) { mpfr_set_d(r23093, n, MPFR_RNDN); ; ; mpfr_div(r23096, r23094, r23095, MPFR_RNDN); mpfr_pow(r23097, r23093, r23096, MPFR_RNDN); mpfr_set_d(r23098, k, MPFR_RNDN); mpfr_div(r23099, r23098, r23095, MPFR_RNDN); mpfr_pow(r23100, r23093, r23099, MPFR_RNDN); mpfr_div(r23101, r23097, r23100, MPFR_RNDN); mpfr_const_pi(r23102, MPFR_RNDN); mpfr_mul(r23103, r23102, r23095, MPFR_RNDN); mpfr_sub(r23104, r23094, r23098, MPFR_RNDN); mpfr_div(r23105, r23104, r23095, MPFR_RNDN); mpfr_pow(r23106, r23103, r23105, MPFR_RNDN); mpfr_sqrt(r23107, r23098, MPFR_RNDN); mpfr_div(r23108, r23106, r23107, MPFR_RNDN); mpfr_mul(r23109, r23101, r23108, MPFR_RNDN); return mpfr_get_d(r23109, MPFR_RNDN); } static mpfr_t r23110, r23111, r23112, r23113, r23114, r23115, r23116, r23117, r23118, r23119, r23120, r23121, r23122, r23123, r23124, r23125, r23126; void setup_mpfr_f_dm() { mpfr_set_default_prec(1360); mpfr_init(r23110); mpfr_init_set_str(r23111, "1", 10, MPFR_RNDN); mpfr_init_set_str(r23112, "2", 10, MPFR_RNDN); mpfr_init(r23113); mpfr_init(r23114); mpfr_init(r23115); mpfr_init(r23116); mpfr_init(r23117); mpfr_init(r23118); mpfr_init(r23119); mpfr_init(r23120); mpfr_init(r23121); mpfr_init(r23122); mpfr_init(r23123); mpfr_init(r23124); mpfr_init(r23125); mpfr_init(r23126); } double f_dm(double k, double n) { mpfr_set_d(r23110, n, MPFR_RNDN); ; ; mpfr_div(r23113, r23111, r23112, MPFR_RNDN); mpfr_pow(r23114, r23110, r23113, MPFR_RNDN); mpfr_set_d(r23115, k, MPFR_RNDN); mpfr_div(r23116, r23115, r23112, MPFR_RNDN); mpfr_pow(r23117, r23110, r23116, MPFR_RNDN); mpfr_div(r23118, r23114, r23117, MPFR_RNDN); mpfr_const_pi(r23119, MPFR_RNDN); mpfr_mul(r23120, r23119, r23112, MPFR_RNDN); mpfr_sub(r23121, r23111, r23115, MPFR_RNDN); mpfr_div(r23122, r23121, r23112, MPFR_RNDN); mpfr_pow(r23123, r23120, r23122, MPFR_RNDN); mpfr_sqrt(r23124, r23115, MPFR_RNDN); mpfr_div(r23125, r23123, r23124, MPFR_RNDN); mpfr_mul(r23126, r23118, r23125, MPFR_RNDN); return mpfr_get_d(r23126, MPFR_RNDN); }