#include #include #include #include #include char *name = "Maksimov and Kolovsky, Equation (4)"; double f_if(float J, float l, float K, float U) { float r23023 = J; float r23024 = l; float r23025 = exp(r23024); float r23026 = -r23024; float r23027 = exp(r23026); float r23028 = r23025 - r23027; float r23029 = r23023 * r23028; float r23030 = K; float r23031 = 2; float r23032 = r23030 / r23031; float r23033 = cos(r23032); float r23034 = r23029 * r23033; float r23035 = U; float r23036 = r23034 + r23035; return r23036; } double f_id(double J, double l, double K, double U) { double r23037 = J; double r23038 = l; double r23039 = exp(r23038); double r23040 = -r23038; double r23041 = exp(r23040); double r23042 = r23039 - r23041; double r23043 = r23037 * r23042; double r23044 = K; double r23045 = 2; double r23046 = r23044 / r23045; double r23047 = cos(r23046); double r23048 = r23043 * r23047; double r23049 = U; double r23050 = r23048 + r23049; return r23050; } double f_of(float J, float l, float K, float U) { float r23051 = K; float r23052 = 2; float r23053 = r23051 / r23052; float r23054 = cos(r23053); float r23055 = J; float r23056 = r23054 * r23055; float r23057 = l; float r23058 = 1/3; float r23059 = r23057 * r23058; float r23060 = fma(r23059, r23057, r23052); float r23061 = 5; float r23062 = pow(r23057, r23061); float r23063 = 1/60; float r23064 = r23062 * r23063; float r23065 = fma(r23057, r23060, r23064); float r23066 = U; float r23067 = fma(r23056, r23065, r23066); return r23067; } double f_od(double J, double l, double K, double U) { double r23068 = K; double r23069 = 2; double r23070 = r23068 / r23069; double r23071 = cos(r23070); double r23072 = J; double r23073 = r23071 * r23072; double r23074 = l; double r23075 = 1/3; double r23076 = r23074 * r23075; double r23077 = fma(r23076, r23074, r23069); double r23078 = 5; double r23079 = pow(r23074, r23078); double r23080 = 1/60; double r23081 = r23079 * r23080; double r23082 = fma(r23074, r23077, r23081); double r23083 = U; double r23084 = fma(r23073, r23082, r23083); return r23084; } 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 r23085, r23086, r23087, r23088, r23089, r23090, r23091, r23092, r23093, r23094, r23095, r23096, r23097, r23098; void setup_mpfr_f_im() { mpfr_set_default_prec(1360); 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_set_str(r23093, "2", 10, MPFR_RNDN); mpfr_init(r23094); mpfr_init(r23095); mpfr_init(r23096); mpfr_init(r23097); mpfr_init(r23098); } double f_im(double J, double l, double K, double U) { mpfr_set_d(r23085, J, MPFR_RNDN); mpfr_set_d(r23086, l, MPFR_RNDN); mpfr_exp(r23087, r23086, MPFR_RNDN); mpfr_neg(r23088, r23086, MPFR_RNDN); mpfr_exp(r23089, r23088, MPFR_RNDN); mpfr_sub(r23090, r23087, r23089, MPFR_RNDN); mpfr_mul(r23091, r23085, r23090, MPFR_RNDN); mpfr_set_d(r23092, K, MPFR_RNDN); ; mpfr_div(r23094, r23092, r23093, MPFR_RNDN); mpfr_cos(r23095, r23094, MPFR_RNDN); mpfr_mul(r23096, r23091, r23095, MPFR_RNDN); mpfr_set_d(r23097, U, MPFR_RNDN); mpfr_add(r23098, r23096, r23097, MPFR_RNDN); return mpfr_get_d(r23098, MPFR_RNDN); } static mpfr_t r23099, r23100, r23101, r23102, r23103, r23104, r23105, r23106, r23107, r23108, r23109, r23110, r23111, r23112, r23113, r23114, r23115; void setup_mpfr_f_fm() { mpfr_set_default_prec(1360); mpfr_init(r23099); mpfr_init_set_str(r23100, "2", 10, MPFR_RNDN); mpfr_init(r23101); mpfr_init(r23102); mpfr_init(r23103); mpfr_init(r23104); mpfr_init(r23105); mpfr_init_set_str(r23106, "1/3", 10, MPFR_RNDN); mpfr_init(r23107); mpfr_init(r23108); mpfr_init_set_str(r23109, "5", 10, MPFR_RNDN); mpfr_init(r23110); mpfr_init_set_str(r23111, "1/60", 10, MPFR_RNDN); mpfr_init(r23112); mpfr_init(r23113); mpfr_init(r23114); mpfr_init(r23115); } double f_fm(double J, double l, double K, double U) { mpfr_set_d(r23099, K, MPFR_RNDN); ; mpfr_div(r23101, r23099, r23100, MPFR_RNDN); mpfr_cos(r23102, r23101, MPFR_RNDN); mpfr_set_d(r23103, J, MPFR_RNDN); mpfr_mul(r23104, r23102, r23103, MPFR_RNDN); mpfr_set_d(r23105, l, MPFR_RNDN); ; mpfr_mul(r23107, r23105, r23106, MPFR_RNDN); mpfr_fma(r23108, r23107, r23105, r23100, MPFR_RNDN); ; mpfr_pow(r23110, r23105, r23109, MPFR_RNDN); ; mpfr_mul(r23112, r23110, r23111, MPFR_RNDN); mpfr_fma(r23113, r23105, r23108, r23112, MPFR_RNDN); mpfr_set_d(r23114, U, MPFR_RNDN); mpfr_fma(r23115, r23104, r23113, r23114, MPFR_RNDN); return mpfr_get_d(r23115, MPFR_RNDN); } static mpfr_t r23116, r23117, r23118, r23119, r23120, r23121, r23122, r23123, r23124, r23125, r23126, r23127, r23128, r23129, r23130, r23131, r23132; void setup_mpfr_f_dm() { mpfr_set_default_prec(1360); mpfr_init(r23116); mpfr_init_set_str(r23117, "2", 10, MPFR_RNDN); mpfr_init(r23118); mpfr_init(r23119); mpfr_init(r23120); mpfr_init(r23121); mpfr_init(r23122); mpfr_init_set_str(r23123, "1/3", 10, MPFR_RNDN); mpfr_init(r23124); mpfr_init(r23125); mpfr_init_set_str(r23126, "5", 10, MPFR_RNDN); mpfr_init(r23127); mpfr_init_set_str(r23128, "1/60", 10, MPFR_RNDN); mpfr_init(r23129); mpfr_init(r23130); mpfr_init(r23131); mpfr_init(r23132); } double f_dm(double J, double l, double K, double U) { mpfr_set_d(r23116, K, MPFR_RNDN); ; mpfr_div(r23118, r23116, r23117, MPFR_RNDN); mpfr_cos(r23119, r23118, MPFR_RNDN); mpfr_set_d(r23120, J, MPFR_RNDN); mpfr_mul(r23121, r23119, r23120, MPFR_RNDN); mpfr_set_d(r23122, l, MPFR_RNDN); ; mpfr_mul(r23124, r23122, r23123, MPFR_RNDN); mpfr_fma(r23125, r23124, r23122, r23117, MPFR_RNDN); ; mpfr_pow(r23127, r23122, r23126, MPFR_RNDN); ; mpfr_mul(r23129, r23127, r23128, MPFR_RNDN); mpfr_fma(r23130, r23122, r23125, r23129, MPFR_RNDN); mpfr_set_d(r23131, U, MPFR_RNDN); mpfr_fma(r23132, r23121, r23130, r23131, MPFR_RNDN); return mpfr_get_d(r23132, MPFR_RNDN); }