#include #include #include #include #include char *name = "Maksimov and Kolovsky, Equation (3)"; double f_if(float J, float K, float U) { float r22875 = -2; float r22876 = J; float r22877 = r22875 * r22876; float r22878 = K; float r22879 = 2; float r22880 = r22878 / r22879; float r22881 = cos(r22880); float r22882 = r22877 * r22881; float r22883 = 1; float r22884 = U; float r22885 = r22879 * r22876; float r22886 = r22885 * r22881; float r22887 = r22884 / r22886; float r22888 = pow(r22887, r22879); float r22889 = r22883 + r22888; float r22890 = sqrt(r22889); float r22891 = r22882 * r22890; return r22891; } double f_id(double J, double K, double U) { double r22892 = -2; double r22893 = J; double r22894 = r22892 * r22893; double r22895 = K; double r22896 = 2; double r22897 = r22895 / r22896; double r22898 = cos(r22897); double r22899 = r22894 * r22898; double r22900 = 1; double r22901 = U; double r22902 = r22896 * r22893; double r22903 = r22902 * r22898; double r22904 = r22901 / r22903; double r22905 = pow(r22904, r22896); double r22906 = r22900 + r22905; double r22907 = sqrt(r22906); double r22908 = r22899 * r22907; return r22908; } double f_of(float J, float K, float U) { float r22909 = J; float r22910 = -2; float r22911 = r22909 * r22910; float r22912 = K; float r22913 = 2; float r22914 = r22912 / r22913; float r22915 = cos(r22914); float r22916 = r22911 * r22915; float r22917 = 1; float r22918 = U; float r22919 = r22909 + r22909; float r22920 = r22918 / r22919; float r22921 = r22920 / r22915; float r22922 = hypot(r22917, r22921); float r22923 = r22916 * r22922; return r22923; } double f_od(double J, double K, double U) { double r22924 = J; double r22925 = -2; double r22926 = r22924 * r22925; double r22927 = K; double r22928 = 2; double r22929 = r22927 / r22928; double r22930 = cos(r22929); double r22931 = r22926 * r22930; double r22932 = 1; double r22933 = U; double r22934 = r22924 + r22924; double r22935 = r22933 / r22934; double r22936 = r22935 / r22930; double r22937 = hypot(r22932, r22936); double r22938 = r22931 * r22937; return r22938; } 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 r22939, r22940, r22941, r22942, r22943, r22944, r22945, r22946, r22947, r22948, r22949, r22950, r22951, r22952, r22953, r22954, r22955; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init_set_str(r22939, "-2", 10, MPFR_RNDN); mpfr_init(r22940); mpfr_init(r22941); mpfr_init(r22942); mpfr_init_set_str(r22943, "2", 10, MPFR_RNDN); mpfr_init(r22944); mpfr_init(r22945); mpfr_init(r22946); mpfr_init_set_str(r22947, "1", 10, MPFR_RNDN); mpfr_init(r22948); mpfr_init(r22949); mpfr_init(r22950); mpfr_init(r22951); mpfr_init(r22952); mpfr_init(r22953); mpfr_init(r22954); mpfr_init(r22955); } double f_im(double J, double K, double U) { ; mpfr_set_d(r22940, J, MPFR_RNDN); mpfr_mul(r22941, r22939, r22940, MPFR_RNDN); mpfr_set_d(r22942, K, MPFR_RNDN); ; mpfr_div(r22944, r22942, r22943, MPFR_RNDN); mpfr_cos(r22945, r22944, MPFR_RNDN); mpfr_mul(r22946, r22941, r22945, MPFR_RNDN); ; mpfr_set_d(r22948, U, MPFR_RNDN); mpfr_mul(r22949, r22943, r22940, MPFR_RNDN); mpfr_mul(r22950, r22949, r22945, MPFR_RNDN); mpfr_div(r22951, r22948, r22950, MPFR_RNDN); mpfr_pow(r22952, r22951, r22943, MPFR_RNDN); mpfr_add(r22953, r22947, r22952, MPFR_RNDN); mpfr_sqrt(r22954, r22953, MPFR_RNDN); mpfr_mul(r22955, r22946, r22954, MPFR_RNDN); return mpfr_get_d(r22955, MPFR_RNDN); } static mpfr_t r22956, r22957, r22958, r22959, r22960, r22961, r22962, r22963, r22964, r22965, r22966, r22967, r22968, r22969, r22970; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r22956); mpfr_init_set_str(r22957, "-2", 10, MPFR_RNDN); mpfr_init(r22958); mpfr_init(r22959); mpfr_init_set_str(r22960, "2", 10, MPFR_RNDN); mpfr_init(r22961); mpfr_init(r22962); mpfr_init(r22963); mpfr_init_set_str(r22964, "1", 10, MPFR_RNDN); mpfr_init(r22965); mpfr_init(r22966); mpfr_init(r22967); mpfr_init(r22968); mpfr_init(r22969); mpfr_init(r22970); } double f_fm(double J, double K, double U) { mpfr_set_d(r22956, J, MPFR_RNDN); ; mpfr_mul(r22958, r22956, r22957, MPFR_RNDN); mpfr_set_d(r22959, K, MPFR_RNDN); ; mpfr_div(r22961, r22959, r22960, MPFR_RNDN); mpfr_cos(r22962, r22961, MPFR_RNDN); mpfr_mul(r22963, r22958, r22962, MPFR_RNDN); ; mpfr_set_d(r22965, U, MPFR_RNDN); mpfr_add(r22966, r22956, r22956, MPFR_RNDN); mpfr_div(r22967, r22965, r22966, MPFR_RNDN); mpfr_div(r22968, r22967, r22962, MPFR_RNDN); mpfr_hypot(r22969, r22964, r22968, MPFR_RNDN); mpfr_mul(r22970, r22963, r22969, MPFR_RNDN); return mpfr_get_d(r22970, MPFR_RNDN); } static mpfr_t r22971, r22972, r22973, r22974, r22975, r22976, r22977, r22978, r22979, r22980, r22981, r22982, r22983, r22984, r22985; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r22971); mpfr_init_set_str(r22972, "-2", 10, MPFR_RNDN); mpfr_init(r22973); mpfr_init(r22974); mpfr_init_set_str(r22975, "2", 10, MPFR_RNDN); mpfr_init(r22976); mpfr_init(r22977); mpfr_init(r22978); mpfr_init_set_str(r22979, "1", 10, MPFR_RNDN); mpfr_init(r22980); mpfr_init(r22981); mpfr_init(r22982); mpfr_init(r22983); mpfr_init(r22984); mpfr_init(r22985); } double f_dm(double J, double K, double U) { mpfr_set_d(r22971, J, MPFR_RNDN); ; mpfr_mul(r22973, r22971, r22972, MPFR_RNDN); mpfr_set_d(r22974, K, MPFR_RNDN); ; mpfr_div(r22976, r22974, r22975, MPFR_RNDN); mpfr_cos(r22977, r22976, MPFR_RNDN); mpfr_mul(r22978, r22973, r22977, MPFR_RNDN); ; mpfr_set_d(r22980, U, MPFR_RNDN); mpfr_add(r22981, r22971, r22971, MPFR_RNDN); mpfr_div(r22982, r22980, r22981, MPFR_RNDN); mpfr_div(r22983, r22982, r22977, MPFR_RNDN); mpfr_hypot(r22984, r22979, r22983, MPFR_RNDN); mpfr_mul(r22985, r22978, r22984, MPFR_RNDN); return mpfr_get_d(r22985, MPFR_RNDN); }