#include #include #include #include #include char *name = "Maksimov and Kolovsky, Equation (4)"; double f_if(float J, float l, float K, float U) { float r23330 = J; float r23331 = l; float r23332 = exp(r23331); float r23333 = -r23331; float r23334 = exp(r23333); float r23335 = r23332 - r23334; float r23336 = r23330 * r23335; float r23337 = K; float r23338 = 2; float r23339 = r23337 / r23338; float r23340 = cos(r23339); float r23341 = r23336 * r23340; float r23342 = U; float r23343 = r23341 + r23342; return r23343; } double f_id(double J, double l, double K, double U) { double r23344 = J; double r23345 = l; double r23346 = exp(r23345); double r23347 = -r23345; double r23348 = exp(r23347); double r23349 = r23346 - r23348; double r23350 = r23344 * r23349; double r23351 = K; double r23352 = 2; double r23353 = r23351 / r23352; double r23354 = cos(r23353); double r23355 = r23350 * r23354; double r23356 = U; double r23357 = r23355 + r23356; return r23357; } double f_of(float J, float l, float K, float U) { float r23358 = K; float r23359 = 2; float r23360 = r23358 / r23359; float r23361 = cos(r23360); float r23362 = J; float r23363 = r23361 * r23362; float r23364 = l; float r23365 = 1/3; float r23366 = r23364 * r23365; float r23367 = fma(r23366, r23364, r23359); float r23368 = 5; float r23369 = pow(r23364, r23368); float r23370 = 1/60; float r23371 = r23369 * r23370; float r23372 = fma(r23364, r23367, r23371); float r23373 = U; float r23374 = fma(r23363, r23372, r23373); return r23374; } double f_od(double J, double l, double K, double U) { double r23375 = K; double r23376 = 2; double r23377 = r23375 / r23376; double r23378 = cos(r23377); double r23379 = J; double r23380 = r23378 * r23379; double r23381 = l; double r23382 = 1/3; double r23383 = r23381 * r23382; double r23384 = fma(r23383, r23381, r23376); double r23385 = 5; double r23386 = pow(r23381, r23385); double r23387 = 1/60; double r23388 = r23386 * r23387; double r23389 = fma(r23381, r23384, r23388); double r23390 = U; double r23391 = fma(r23380, r23389, r23390); return r23391; } 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 r23392, r23393, r23394, r23395, r23396, r23397, r23398, r23399, r23400, r23401, r23402, r23403, r23404, r23405; void setup_mpfr_f_im() { mpfr_set_default_prec(1360); mpfr_init(r23392); mpfr_init(r23393); mpfr_init(r23394); mpfr_init(r23395); mpfr_init(r23396); mpfr_init(r23397); mpfr_init(r23398); mpfr_init(r23399); mpfr_init_set_str(r23400, "2", 10, MPFR_RNDN); mpfr_init(r23401); mpfr_init(r23402); mpfr_init(r23403); mpfr_init(r23404); mpfr_init(r23405); } double f_im(double J, double l, double K, double U) { mpfr_set_d(r23392, J, MPFR_RNDN); mpfr_set_d(r23393, l, MPFR_RNDN); mpfr_exp(r23394, r23393, MPFR_RNDN); mpfr_neg(r23395, r23393, MPFR_RNDN); mpfr_exp(r23396, r23395, MPFR_RNDN); mpfr_sub(r23397, r23394, r23396, MPFR_RNDN); mpfr_mul(r23398, r23392, r23397, MPFR_RNDN); mpfr_set_d(r23399, K, MPFR_RNDN); ; mpfr_div(r23401, r23399, r23400, MPFR_RNDN); mpfr_cos(r23402, r23401, MPFR_RNDN); mpfr_mul(r23403, r23398, r23402, MPFR_RNDN); mpfr_set_d(r23404, U, MPFR_RNDN); mpfr_add(r23405, r23403, r23404, MPFR_RNDN); return mpfr_get_d(r23405, MPFR_RNDN); } static mpfr_t r23406, r23407, r23408, r23409, r23410, r23411, r23412, r23413, r23414, r23415, r23416, r23417, r23418, r23419, r23420, r23421, r23422; void setup_mpfr_f_fm() { mpfr_set_default_prec(1360); mpfr_init(r23406); mpfr_init_set_str(r23407, "2", 10, MPFR_RNDN); mpfr_init(r23408); mpfr_init(r23409); mpfr_init(r23410); mpfr_init(r23411); mpfr_init(r23412); mpfr_init_set_str(r23413, "1/3", 10, MPFR_RNDN); mpfr_init(r23414); mpfr_init(r23415); mpfr_init_set_str(r23416, "5", 10, MPFR_RNDN); mpfr_init(r23417); mpfr_init_set_str(r23418, "1/60", 10, MPFR_RNDN); mpfr_init(r23419); mpfr_init(r23420); mpfr_init(r23421); mpfr_init(r23422); } double f_fm(double J, double l, double K, double U) { mpfr_set_d(r23406, K, MPFR_RNDN); ; mpfr_div(r23408, r23406, r23407, MPFR_RNDN); mpfr_cos(r23409, r23408, MPFR_RNDN); mpfr_set_d(r23410, J, MPFR_RNDN); mpfr_mul(r23411, r23409, r23410, MPFR_RNDN); mpfr_set_d(r23412, l, MPFR_RNDN); ; mpfr_mul(r23414, r23412, r23413, MPFR_RNDN); mpfr_fma(r23415, r23414, r23412, r23407, MPFR_RNDN); ; mpfr_pow(r23417, r23412, r23416, MPFR_RNDN); ; mpfr_mul(r23419, r23417, r23418, MPFR_RNDN); mpfr_fma(r23420, r23412, r23415, r23419, MPFR_RNDN); mpfr_set_d(r23421, U, MPFR_RNDN); mpfr_fma(r23422, r23411, r23420, r23421, MPFR_RNDN); return mpfr_get_d(r23422, MPFR_RNDN); } static mpfr_t r23423, r23424, r23425, r23426, r23427, r23428, r23429, r23430, r23431, r23432, r23433, r23434, r23435, r23436, r23437, r23438, r23439; void setup_mpfr_f_dm() { mpfr_set_default_prec(1360); mpfr_init(r23423); mpfr_init_set_str(r23424, "2", 10, MPFR_RNDN); mpfr_init(r23425); mpfr_init(r23426); mpfr_init(r23427); mpfr_init(r23428); mpfr_init(r23429); mpfr_init_set_str(r23430, "1/3", 10, MPFR_RNDN); mpfr_init(r23431); mpfr_init(r23432); mpfr_init_set_str(r23433, "5", 10, MPFR_RNDN); mpfr_init(r23434); mpfr_init_set_str(r23435, "1/60", 10, MPFR_RNDN); mpfr_init(r23436); mpfr_init(r23437); mpfr_init(r23438); mpfr_init(r23439); } double f_dm(double J, double l, double K, double U) { mpfr_set_d(r23423, K, MPFR_RNDN); ; mpfr_div(r23425, r23423, r23424, MPFR_RNDN); mpfr_cos(r23426, r23425, MPFR_RNDN); mpfr_set_d(r23427, J, MPFR_RNDN); mpfr_mul(r23428, r23426, r23427, MPFR_RNDN); mpfr_set_d(r23429, l, MPFR_RNDN); ; mpfr_mul(r23431, r23429, r23430, MPFR_RNDN); mpfr_fma(r23432, r23431, r23429, r23424, MPFR_RNDN); ; mpfr_pow(r23434, r23429, r23433, MPFR_RNDN); ; mpfr_mul(r23436, r23434, r23435, MPFR_RNDN); mpfr_fma(r23437, r23429, r23432, r23436, MPFR_RNDN); mpfr_set_d(r23438, U, MPFR_RNDN); mpfr_fma(r23439, r23428, r23437, r23438, MPFR_RNDN); return mpfr_get_d(r23439, MPFR_RNDN); }