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