#include #include #include #include #include char *name = "Maksimov and Kolovsky, Equation (4)"; double f_if(float J, float l, float K, float U) { float r23158 = J; float r23159 = l; float r23160 = exp(r23159); float r23161 = -r23159; float r23162 = exp(r23161); float r23163 = r23160 - r23162; float r23164 = r23158 * r23163; float r23165 = K; float r23166 = 2; float r23167 = r23165 / r23166; float r23168 = cos(r23167); float r23169 = r23164 * r23168; float r23170 = U; float r23171 = r23169 + r23170; return r23171; } double f_id(double J, double l, double K, double U) { double r23172 = J; double r23173 = l; double r23174 = exp(r23173); double r23175 = -r23173; double r23176 = exp(r23175); double r23177 = r23174 - r23176; double r23178 = r23172 * r23177; double r23179 = K; double r23180 = 2; double r23181 = r23179 / r23180; double r23182 = cos(r23181); double r23183 = r23178 * r23182; double r23184 = U; double r23185 = r23183 + r23184; return r23185; } double f_of(float J, float l, float K, float U) { float r23186 = K; float r23187 = 2; float r23188 = r23186 / r23187; float r23189 = cos(r23188); float r23190 = J; float r23191 = r23189 * r23190; float r23192 = l; float r23193 = 1/3; float r23194 = r23192 * r23193; float r23195 = fma(r23194, r23192, r23187); float r23196 = 5; float r23197 = pow(r23192, r23196); float r23198 = 1/60; float r23199 = r23197 * r23198; float r23200 = fma(r23192, r23195, r23199); float r23201 = U; float r23202 = fma(r23191, r23200, r23201); return r23202; } double f_od(double J, double l, double K, double U) { double r23203 = K; double r23204 = 2; double r23205 = r23203 / r23204; double r23206 = cos(r23205); double r23207 = J; double r23208 = r23206 * r23207; double r23209 = l; double r23210 = 1/3; double r23211 = r23209 * r23210; double r23212 = fma(r23211, r23209, r23204); double r23213 = 5; double r23214 = pow(r23209, r23213); double r23215 = 1/60; double r23216 = r23214 * r23215; double r23217 = fma(r23209, r23212, r23216); double r23218 = U; double r23219 = fma(r23208, r23217, r23218); return r23219; } 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 r23220, r23221, r23222, r23223, r23224, r23225, r23226, r23227, r23228, r23229, r23230, r23231, r23232, r23233; void setup_mpfr_f_im() { mpfr_set_default_prec(1360); mpfr_init(r23220); mpfr_init(r23221); mpfr_init(r23222); mpfr_init(r23223); mpfr_init(r23224); mpfr_init(r23225); mpfr_init(r23226); mpfr_init(r23227); mpfr_init_set_str(r23228, "2", 10, MPFR_RNDN); mpfr_init(r23229); mpfr_init(r23230); mpfr_init(r23231); mpfr_init(r23232); mpfr_init(r23233); } double f_im(double J, double l, double K, double U) { mpfr_set_d(r23220, J, MPFR_RNDN); mpfr_set_d(r23221, l, MPFR_RNDN); mpfr_exp(r23222, r23221, MPFR_RNDN); mpfr_neg(r23223, r23221, MPFR_RNDN); mpfr_exp(r23224, r23223, MPFR_RNDN); mpfr_sub(r23225, r23222, r23224, MPFR_RNDN); mpfr_mul(r23226, r23220, r23225, MPFR_RNDN); mpfr_set_d(r23227, K, MPFR_RNDN); ; mpfr_div(r23229, r23227, r23228, MPFR_RNDN); mpfr_cos(r23230, r23229, MPFR_RNDN); mpfr_mul(r23231, r23226, r23230, MPFR_RNDN); mpfr_set_d(r23232, U, MPFR_RNDN); mpfr_add(r23233, r23231, r23232, MPFR_RNDN); return mpfr_get_d(r23233, MPFR_RNDN); } static mpfr_t r23234, r23235, r23236, r23237, r23238, r23239, r23240, r23241, r23242, r23243, r23244, r23245, r23246, r23247, r23248, r23249, r23250; void setup_mpfr_f_fm() { mpfr_set_default_prec(1360); mpfr_init(r23234); mpfr_init_set_str(r23235, "2", 10, MPFR_RNDN); mpfr_init(r23236); mpfr_init(r23237); mpfr_init(r23238); mpfr_init(r23239); mpfr_init(r23240); mpfr_init_set_str(r23241, "1/3", 10, MPFR_RNDN); mpfr_init(r23242); mpfr_init(r23243); mpfr_init_set_str(r23244, "5", 10, MPFR_RNDN); mpfr_init(r23245); mpfr_init_set_str(r23246, "1/60", 10, MPFR_RNDN); mpfr_init(r23247); mpfr_init(r23248); mpfr_init(r23249); mpfr_init(r23250); } double f_fm(double J, double l, double K, double U) { mpfr_set_d(r23234, K, MPFR_RNDN); ; mpfr_div(r23236, r23234, r23235, MPFR_RNDN); mpfr_cos(r23237, r23236, MPFR_RNDN); mpfr_set_d(r23238, J, MPFR_RNDN); mpfr_mul(r23239, r23237, r23238, MPFR_RNDN); mpfr_set_d(r23240, l, MPFR_RNDN); ; mpfr_mul(r23242, r23240, r23241, MPFR_RNDN); mpfr_fma(r23243, r23242, r23240, r23235, MPFR_RNDN); ; mpfr_pow(r23245, r23240, r23244, MPFR_RNDN); ; mpfr_mul(r23247, r23245, r23246, MPFR_RNDN); mpfr_fma(r23248, r23240, r23243, r23247, MPFR_RNDN); mpfr_set_d(r23249, U, MPFR_RNDN); mpfr_fma(r23250, r23239, r23248, r23249, MPFR_RNDN); return mpfr_get_d(r23250, MPFR_RNDN); } static mpfr_t r23251, r23252, r23253, r23254, r23255, r23256, r23257, r23258, r23259, r23260, r23261, r23262, r23263, r23264, r23265, r23266, r23267; void setup_mpfr_f_dm() { mpfr_set_default_prec(1360); mpfr_init(r23251); mpfr_init_set_str(r23252, "2", 10, MPFR_RNDN); mpfr_init(r23253); mpfr_init(r23254); mpfr_init(r23255); mpfr_init(r23256); mpfr_init(r23257); mpfr_init_set_str(r23258, "1/3", 10, MPFR_RNDN); mpfr_init(r23259); mpfr_init(r23260); mpfr_init_set_str(r23261, "5", 10, MPFR_RNDN); mpfr_init(r23262); mpfr_init_set_str(r23263, "1/60", 10, MPFR_RNDN); mpfr_init(r23264); mpfr_init(r23265); mpfr_init(r23266); mpfr_init(r23267); } double f_dm(double J, double l, double K, double U) { mpfr_set_d(r23251, K, MPFR_RNDN); ; mpfr_div(r23253, r23251, r23252, MPFR_RNDN); mpfr_cos(r23254, r23253, MPFR_RNDN); mpfr_set_d(r23255, J, MPFR_RNDN); mpfr_mul(r23256, r23254, r23255, MPFR_RNDN); mpfr_set_d(r23257, l, MPFR_RNDN); ; mpfr_mul(r23259, r23257, r23258, MPFR_RNDN); mpfr_fma(r23260, r23259, r23257, r23252, MPFR_RNDN); ; mpfr_pow(r23262, r23257, r23261, MPFR_RNDN); ; mpfr_mul(r23264, r23262, r23263, MPFR_RNDN); mpfr_fma(r23265, r23257, r23260, r23264, MPFR_RNDN); mpfr_set_d(r23266, U, MPFR_RNDN); mpfr_fma(r23267, r23256, r23265, r23266, MPFR_RNDN); return mpfr_get_d(r23267, MPFR_RNDN); }