#include #include #include #include #include char *name = "Toniolo and Linder, Equation (10-)"; double f_if(float t, float l, float k) { float r22837 = 2; float r22838 = t; float r22839 = 3; float r22840 = pow(r22838, r22839); float r22841 = l; float r22842 = r22841 * r22841; float r22843 = r22840 / r22842; float r22844 = k; float r22845 = sin(r22844); float r22846 = r22843 * r22845; float r22847 = tan(r22844); float r22848 = r22846 * r22847; float r22849 = 1; float r22850 = r22844 / r22838; float r22851 = pow(r22850, r22837); float r22852 = r22849 + r22851; float r22853 = r22852 - r22849; float r22854 = r22848 * r22853; float r22855 = r22837 / r22854; return r22855; } double f_id(double t, double l, double k) { double r22856 = 2; double r22857 = t; double r22858 = 3; double r22859 = pow(r22857, r22858); double r22860 = l; double r22861 = r22860 * r22860; double r22862 = r22859 / r22861; double r22863 = k; double r22864 = sin(r22863); double r22865 = r22862 * r22864; double r22866 = tan(r22863); double r22867 = r22865 * r22866; double r22868 = 1; double r22869 = r22863 / r22857; double r22870 = pow(r22869, r22856); double r22871 = r22868 + r22870; double r22872 = r22871 - r22868; double r22873 = r22867 * r22872; double r22874 = r22856 / r22873; return r22874; } double f_of(float t, float l, float k) { float r22875 = 2; float r22876 = t; float r22877 = l; float r22878 = r22877 / r22876; float r22879 = r22876 / r22878; float r22880 = r22875 / r22879; float r22881 = k; float r22882 = r22881 / r22876; float r22883 = r22882 * r22882; float r22884 = cbrt(r22883); float r22885 = r22880 / r22884; float r22886 = tan(r22881); float r22887 = r22876 / r22877; float r22888 = r22886 * r22887; float r22889 = sin(r22881); float r22890 = r22888 * r22889; float r22891 = r22890 * r22884; float r22892 = r22885 / r22891; float r22893 = fabs(r22882); float r22894 = cbrt(r22893); float r22895 = r22894 * r22894; float r22896 = r22892 / r22895; return r22896; } double f_od(double t, double l, double k) { double r22897 = 2; double r22898 = t; double r22899 = l; double r22900 = r22899 / r22898; double r22901 = r22898 / r22900; double r22902 = r22897 / r22901; double r22903 = k; double r22904 = r22903 / r22898; double r22905 = r22904 * r22904; double r22906 = cbrt(r22905); double r22907 = r22902 / r22906; double r22908 = tan(r22903); double r22909 = r22898 / r22899; double r22910 = r22908 * r22909; double r22911 = sin(r22903); double r22912 = r22910 * r22911; double r22913 = r22912 * r22906; double r22914 = r22907 / r22913; double r22915 = fabs(r22904); double r22916 = cbrt(r22915); double r22917 = r22916 * r22916; double r22918 = r22914 / r22917; return r22918; } 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 r22919, r22920, r22921, r22922, r22923, r22924, r22925, r22926, r22927, r22928, r22929, r22930, r22931, r22932, r22933, r22934, r22935, r22936, r22937; void setup_mpfr_f_im() { mpfr_set_default_prec(4176); mpfr_init_set_str(r22919, "2", 10, MPFR_RNDN); mpfr_init(r22920); mpfr_init_set_str(r22921, "3", 10, MPFR_RNDN); mpfr_init(r22922); mpfr_init(r22923); mpfr_init(r22924); mpfr_init(r22925); mpfr_init(r22926); mpfr_init(r22927); mpfr_init(r22928); mpfr_init(r22929); mpfr_init(r22930); mpfr_init_set_str(r22931, "1", 10, MPFR_RNDN); mpfr_init(r22932); mpfr_init(r22933); mpfr_init(r22934); mpfr_init(r22935); mpfr_init(r22936); mpfr_init(r22937); } double f_im(double t, double l, double k) { ; mpfr_set_d(r22920, t, MPFR_RNDN); ; mpfr_pow(r22922, r22920, r22921, MPFR_RNDN); mpfr_set_d(r22923, l, MPFR_RNDN); mpfr_mul(r22924, r22923, r22923, MPFR_RNDN); mpfr_div(r22925, r22922, r22924, MPFR_RNDN); mpfr_set_d(r22926, k, MPFR_RNDN); mpfr_sin(r22927, r22926, MPFR_RNDN); mpfr_mul(r22928, r22925, r22927, MPFR_RNDN); mpfr_tan(r22929, r22926, MPFR_RNDN); mpfr_mul(r22930, r22928, r22929, MPFR_RNDN); ; mpfr_div(r22932, r22926, r22920, MPFR_RNDN); mpfr_pow(r22933, r22932, r22919, MPFR_RNDN); mpfr_add(r22934, r22931, r22933, MPFR_RNDN); mpfr_sub(r22935, r22934, r22931, MPFR_RNDN); mpfr_mul(r22936, r22930, r22935, MPFR_RNDN); mpfr_div(r22937, r22919, r22936, MPFR_RNDN); return mpfr_get_d(r22937, MPFR_RNDN); } static mpfr_t r22938, r22939, r22940, r22941, r22942, r22943, r22944, r22945, r22946, r22947, r22948, r22949, r22950, r22951, r22952, r22953, r22954, r22955, r22956, r22957, r22958, r22959; void setup_mpfr_f_fm() { mpfr_set_default_prec(4176); mpfr_init_set_str(r22938, "2", 10, MPFR_RNDN); mpfr_init(r22939); mpfr_init(r22940); mpfr_init(r22941); mpfr_init(r22942); mpfr_init(r22943); mpfr_init(r22944); mpfr_init(r22945); mpfr_init(r22946); mpfr_init(r22947); mpfr_init(r22948); mpfr_init(r22949); mpfr_init(r22950); mpfr_init(r22951); mpfr_init(r22952); mpfr_init(r22953); mpfr_init(r22954); mpfr_init(r22955); mpfr_init(r22956); mpfr_init(r22957); mpfr_init(r22958); mpfr_init(r22959); } double f_fm(double t, double l, double k) { ; mpfr_set_d(r22939, t, MPFR_RNDN); mpfr_set_d(r22940, l, MPFR_RNDN); mpfr_div(r22941, r22940, r22939, MPFR_RNDN); mpfr_div(r22942, r22939, r22941, MPFR_RNDN); mpfr_div(r22943, r22938, r22942, MPFR_RNDN); mpfr_set_d(r22944, k, MPFR_RNDN); mpfr_div(r22945, r22944, r22939, MPFR_RNDN); mpfr_mul(r22946, r22945, r22945, MPFR_RNDN); mpfr_cbrt(r22947, r22946, MPFR_RNDN); mpfr_div(r22948, r22943, r22947, MPFR_RNDN); mpfr_tan(r22949, r22944, MPFR_RNDN); mpfr_div(r22950, r22939, r22940, MPFR_RNDN); mpfr_mul(r22951, r22949, r22950, MPFR_RNDN); mpfr_sin(r22952, r22944, MPFR_RNDN); mpfr_mul(r22953, r22951, r22952, MPFR_RNDN); mpfr_mul(r22954, r22953, r22947, MPFR_RNDN); mpfr_div(r22955, r22948, r22954, MPFR_RNDN); mpfr_abs(r22956, r22945, MPFR_RNDN); mpfr_cbrt(r22957, r22956, MPFR_RNDN); mpfr_mul(r22958, r22957, r22957, MPFR_RNDN); mpfr_div(r22959, r22955, r22958, MPFR_RNDN); return mpfr_get_d(r22959, MPFR_RNDN); } static mpfr_t r22960, r22961, r22962, r22963, r22964, r22965, r22966, r22967, r22968, r22969, r22970, r22971, r22972, r22973, r22974, r22975, r22976, r22977, r22978, r22979, r22980, r22981; void setup_mpfr_f_dm() { mpfr_set_default_prec(4176); mpfr_init_set_str(r22960, "2", 10, MPFR_RNDN); mpfr_init(r22961); mpfr_init(r22962); mpfr_init(r22963); mpfr_init(r22964); mpfr_init(r22965); mpfr_init(r22966); mpfr_init(r22967); mpfr_init(r22968); mpfr_init(r22969); mpfr_init(r22970); mpfr_init(r22971); mpfr_init(r22972); mpfr_init(r22973); mpfr_init(r22974); mpfr_init(r22975); mpfr_init(r22976); mpfr_init(r22977); mpfr_init(r22978); mpfr_init(r22979); mpfr_init(r22980); mpfr_init(r22981); } double f_dm(double t, double l, double k) { ; mpfr_set_d(r22961, t, MPFR_RNDN); mpfr_set_d(r22962, l, MPFR_RNDN); mpfr_div(r22963, r22962, r22961, MPFR_RNDN); mpfr_div(r22964, r22961, r22963, MPFR_RNDN); mpfr_div(r22965, r22960, r22964, MPFR_RNDN); mpfr_set_d(r22966, k, MPFR_RNDN); mpfr_div(r22967, r22966, r22961, MPFR_RNDN); mpfr_mul(r22968, r22967, r22967, MPFR_RNDN); mpfr_cbrt(r22969, r22968, MPFR_RNDN); mpfr_div(r22970, r22965, r22969, MPFR_RNDN); mpfr_tan(r22971, r22966, MPFR_RNDN); mpfr_div(r22972, r22961, r22962, MPFR_RNDN); mpfr_mul(r22973, r22971, r22972, MPFR_RNDN); mpfr_sin(r22974, r22966, MPFR_RNDN); mpfr_mul(r22975, r22973, r22974, MPFR_RNDN); mpfr_mul(r22976, r22975, r22969, MPFR_RNDN); mpfr_div(r22977, r22970, r22976, MPFR_RNDN); mpfr_abs(r22978, r22967, MPFR_RNDN); mpfr_cbrt(r22979, r22978, MPFR_RNDN); mpfr_mul(r22980, r22979, r22979, MPFR_RNDN); mpfr_div(r22981, r22977, r22980, MPFR_RNDN); return mpfr_get_d(r22981, MPFR_RNDN); }