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