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