#include #include #include #include #include char *name = "Toniolo and Linder, Equation (3a)"; double f_if(float l, float Om, float kx, float ky) { float r21973 = 1; float r21974 = 2; float r21975 = r21973 / r21974; float r21976 = l; float r21977 = r21974 * r21976; float r21978 = Om; float r21979 = r21977 / r21978; float r21980 = pow(r21979, r21974); float r21981 = kx; float r21982 = sin(r21981); float r21983 = pow(r21982, r21974); float r21984 = ky; float r21985 = sin(r21984); float r21986 = pow(r21985, r21974); float r21987 = r21983 + r21986; float r21988 = r21980 * r21987; float r21989 = r21973 + r21988; float r21990 = sqrt(r21989); float r21991 = r21973 / r21990; float r21992 = r21973 + r21991; float r21993 = r21975 * r21992; float r21994 = sqrt(r21993); return r21994; } double f_id(double l, double Om, double kx, double ky) { double r21995 = 1; double r21996 = 2; double r21997 = r21995 / r21996; double r21998 = l; double r21999 = r21996 * r21998; double r22000 = Om; double r22001 = r21999 / r22000; double r22002 = pow(r22001, r21996); double r22003 = kx; double r22004 = sin(r22003); double r22005 = pow(r22004, r21996); double r22006 = ky; double r22007 = sin(r22006); double r22008 = pow(r22007, r21996); double r22009 = r22005 + r22008; double r22010 = r22002 * r22009; double r22011 = r21995 + r22010; double r22012 = sqrt(r22011); double r22013 = r21995 / r22012; double r22014 = r21995 + r22013; double r22015 = r21997 * r22014; double r22016 = sqrt(r22015); return r22016; } double f_of(float l, float Om, float kx, float ky) { float r22017 = 1; float r22018 = 2; float r22019 = r22017 / r22018; float r22020 = l; float r22021 = Om; float r22022 = r22021 / r22018; float r22023 = r22020 / r22022; float r22024 = kx; float r22025 = sin(r22024); float r22026 = ky; float r22027 = sin(r22026); float r22028 = hypot(r22025, r22027); float r22029 = r22023 * r22028; float r22030 = hypot(r22017, r22029); float r22031 = expm1(r22030); float r22032 = log1p(r22031); float r22033 = r22017 / r22032; float r22034 = r22017 + r22033; float r22035 = r22019 * r22034; float r22036 = sqrt(r22035); return r22036; } double f_od(double l, double Om, double kx, double ky) { double r22037 = 1; double r22038 = 2; double r22039 = r22037 / r22038; double r22040 = l; double r22041 = Om; double r22042 = r22041 / r22038; double r22043 = r22040 / r22042; double r22044 = kx; double r22045 = sin(r22044); double r22046 = ky; double r22047 = sin(r22046); double r22048 = hypot(r22045, r22047); double r22049 = r22043 * r22048; double r22050 = hypot(r22037, r22049); double r22051 = expm1(r22050); double r22052 = log1p(r22051); double r22053 = r22037 / r22052; double r22054 = r22037 + r22053; double r22055 = r22039 * r22054; double r22056 = sqrt(r22055); return r22056; } 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 r22057, r22058, r22059, r22060, r22061, r22062, r22063, r22064, r22065, r22066, r22067, r22068, r22069, r22070, r22071, r22072, r22073, r22074, r22075, r22076, r22077, r22078; void setup_mpfr_f_im() { mpfr_set_default_prec(336); mpfr_init_set_str(r22057, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22058, "2", 10, MPFR_RNDN); mpfr_init(r22059); mpfr_init(r22060); mpfr_init(r22061); mpfr_init(r22062); mpfr_init(r22063); mpfr_init(r22064); mpfr_init(r22065); mpfr_init(r22066); mpfr_init(r22067); mpfr_init(r22068); mpfr_init(r22069); mpfr_init(r22070); mpfr_init(r22071); mpfr_init(r22072); mpfr_init(r22073); mpfr_init(r22074); mpfr_init(r22075); mpfr_init(r22076); mpfr_init(r22077); mpfr_init(r22078); } double f_im(double l, double Om, double kx, double ky) { ; ; mpfr_div(r22059, r22057, r22058, MPFR_RNDN); mpfr_set_d(r22060, l, MPFR_RNDN); mpfr_mul(r22061, r22058, r22060, MPFR_RNDN); mpfr_set_d(r22062, Om, MPFR_RNDN); mpfr_div(r22063, r22061, r22062, MPFR_RNDN); mpfr_pow(r22064, r22063, r22058, MPFR_RNDN); mpfr_set_d(r22065, kx, MPFR_RNDN); mpfr_sin(r22066, r22065, MPFR_RNDN); mpfr_pow(r22067, r22066, r22058, MPFR_RNDN); mpfr_set_d(r22068, ky, MPFR_RNDN); mpfr_sin(r22069, r22068, MPFR_RNDN); mpfr_pow(r22070, r22069, r22058, MPFR_RNDN); mpfr_add(r22071, r22067, r22070, MPFR_RNDN); mpfr_mul(r22072, r22064, r22071, MPFR_RNDN); mpfr_add(r22073, r22057, r22072, MPFR_RNDN); mpfr_sqrt(r22074, r22073, MPFR_RNDN); mpfr_div(r22075, r22057, r22074, MPFR_RNDN); mpfr_add(r22076, r22057, r22075, MPFR_RNDN); mpfr_mul(r22077, r22059, r22076, MPFR_RNDN); mpfr_sqrt(r22078, r22077, MPFR_RNDN); return mpfr_get_d(r22078, MPFR_RNDN); } static mpfr_t r22079, r22080, r22081, r22082, r22083, r22084, r22085, r22086, r22087, r22088, r22089, r22090, r22091, r22092, r22093, r22094, r22095, r22096, r22097, r22098; void setup_mpfr_f_fm() { mpfr_set_default_prec(336); mpfr_init_set_str(r22079, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22080, "2", 10, MPFR_RNDN); mpfr_init(r22081); mpfr_init(r22082); mpfr_init(r22083); mpfr_init(r22084); mpfr_init(r22085); mpfr_init(r22086); mpfr_init(r22087); mpfr_init(r22088); mpfr_init(r22089); mpfr_init(r22090); mpfr_init(r22091); mpfr_init(r22092); mpfr_init(r22093); mpfr_init(r22094); mpfr_init(r22095); mpfr_init(r22096); mpfr_init(r22097); mpfr_init(r22098); } double f_fm(double l, double Om, double kx, double ky) { ; ; mpfr_div(r22081, r22079, r22080, MPFR_RNDN); mpfr_set_d(r22082, l, MPFR_RNDN); mpfr_set_d(r22083, Om, MPFR_RNDN); mpfr_div(r22084, r22083, r22080, MPFR_RNDN); mpfr_div(r22085, r22082, r22084, MPFR_RNDN); mpfr_set_d(r22086, kx, MPFR_RNDN); mpfr_sin(r22087, r22086, MPFR_RNDN); mpfr_set_d(r22088, ky, MPFR_RNDN); mpfr_sin(r22089, r22088, MPFR_RNDN); mpfr_hypot(r22090, r22087, r22089, MPFR_RNDN); mpfr_mul(r22091, r22085, r22090, MPFR_RNDN); mpfr_hypot(r22092, r22079, r22091, MPFR_RNDN); mpfr_expm1(r22093, r22092, MPFR_RNDN); mpfr_log1p(r22094, r22093, MPFR_RNDN); mpfr_div(r22095, r22079, r22094, MPFR_RNDN); mpfr_add(r22096, r22079, r22095, MPFR_RNDN); mpfr_mul(r22097, r22081, r22096, MPFR_RNDN); mpfr_sqrt(r22098, r22097, MPFR_RNDN); return mpfr_get_d(r22098, MPFR_RNDN); } static mpfr_t r22099, r22100, r22101, r22102, r22103, r22104, r22105, r22106, r22107, r22108, r22109, r22110, r22111, r22112, r22113, r22114, r22115, r22116, r22117, r22118; void setup_mpfr_f_dm() { mpfr_set_default_prec(336); mpfr_init_set_str(r22099, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22100, "2", 10, MPFR_RNDN); mpfr_init(r22101); mpfr_init(r22102); mpfr_init(r22103); mpfr_init(r22104); mpfr_init(r22105); mpfr_init(r22106); mpfr_init(r22107); mpfr_init(r22108); mpfr_init(r22109); mpfr_init(r22110); mpfr_init(r22111); mpfr_init(r22112); mpfr_init(r22113); mpfr_init(r22114); mpfr_init(r22115); mpfr_init(r22116); mpfr_init(r22117); mpfr_init(r22118); } double f_dm(double l, double Om, double kx, double ky) { ; ; mpfr_div(r22101, r22099, r22100, MPFR_RNDN); mpfr_set_d(r22102, l, MPFR_RNDN); mpfr_set_d(r22103, Om, MPFR_RNDN); mpfr_div(r22104, r22103, r22100, MPFR_RNDN); mpfr_div(r22105, r22102, r22104, MPFR_RNDN); mpfr_set_d(r22106, kx, MPFR_RNDN); mpfr_sin(r22107, r22106, MPFR_RNDN); mpfr_set_d(r22108, ky, MPFR_RNDN); mpfr_sin(r22109, r22108, MPFR_RNDN); mpfr_hypot(r22110, r22107, r22109, MPFR_RNDN); mpfr_mul(r22111, r22105, r22110, MPFR_RNDN); mpfr_hypot(r22112, r22099, r22111, MPFR_RNDN); mpfr_expm1(r22113, r22112, MPFR_RNDN); mpfr_log1p(r22114, r22113, MPFR_RNDN); mpfr_div(r22115, r22099, r22114, MPFR_RNDN); mpfr_add(r22116, r22099, r22115, MPFR_RNDN); mpfr_mul(r22117, r22101, r22116, MPFR_RNDN); mpfr_sqrt(r22118, r22117, MPFR_RNDN); return mpfr_get_d(r22118, MPFR_RNDN); }