#include #include #include #include #include char *name = "VandenBroeck and Keller, Equation (20)"; double f_if(float f) { float r19847 = 1; float r19848 = atan2(1.0, 0.0); float r19849 = 4; float r19850 = r19848 / r19849; float r19851 = r19847 / r19850; float r19852 = f; float r19853 = r19850 * r19852; float r19854 = exp(r19853); float r19855 = -r19853; float r19856 = exp(r19855); float r19857 = r19854 + r19856; float r19858 = r19854 - r19856; float r19859 = r19857 / r19858; float r19860 = log(r19859); float r19861 = r19851 * r19860; float r19862 = -r19861; return r19862; } double f_id(double f) { double r19863 = 1; double r19864 = atan2(1.0, 0.0); double r19865 = 4; double r19866 = r19864 / r19865; double r19867 = r19863 / r19866; double r19868 = f; double r19869 = r19866 * r19868; double r19870 = exp(r19869); double r19871 = -r19869; double r19872 = exp(r19871); double r19873 = r19870 + r19872; double r19874 = r19870 - r19872; double r19875 = r19873 / r19874; double r19876 = log(r19875); double r19877 = r19867 * r19876; double r19878 = -r19877; return r19878; } double f_of(float f) { float r19879 = f; float r19880 = 4; float r19881 = pow(r19879, r19880); float r19882 = atan2(1.0, 0.0); float r19883 = 7/5760; float r19884 = r19882 * r19883; float r19885 = r19881 * r19884; float r19886 = r19882 * r19882; float r19887 = r19885 * r19886; float r19888 = 1/12; float r19889 = r19882 * r19888; float r19890 = r19879 * r19879; float r19891 = r19889 * r19890; float r19892 = r19887 - r19891; float r19893 = log(r19879); float r19894 = r19893 / r19882; float r19895 = r19880 / r19882; float r19896 = log(r19895); float r19897 = r19896 / r19882; float r19898 = r19894 - r19897; float r19899 = r19880 * r19898; float r19900 = r19892 + r19899; return r19900; } double f_od(double f) { double r19901 = f; double r19902 = 4; double r19903 = pow(r19901, r19902); double r19904 = atan2(1.0, 0.0); double r19905 = 7/5760; double r19906 = r19904 * r19905; double r19907 = r19903 * r19906; double r19908 = r19904 * r19904; double r19909 = r19907 * r19908; double r19910 = 1/12; double r19911 = r19904 * r19910; double r19912 = r19901 * r19901; double r19913 = r19911 * r19912; double r19914 = r19909 - r19913; double r19915 = log(r19901); double r19916 = r19915 / r19904; double r19917 = r19902 / r19904; double r19918 = log(r19917); double r19919 = r19918 / r19904; double r19920 = r19916 - r19919; double r19921 = r19902 * r19920; double r19922 = r19914 + r19921; return r19922; } 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 r19923, r19924, r19925, r19926, r19927, r19928, r19929, r19930, r19931, r19932, r19933, r19934, r19935, r19936, r19937, r19938; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init_set_str(r19923, "1", 10, MPFR_RNDN); mpfr_init(r19924); mpfr_init_set_str(r19925, "4", 10, MPFR_RNDN); mpfr_init(r19926); mpfr_init(r19927); mpfr_init(r19928); mpfr_init(r19929); mpfr_init(r19930); mpfr_init(r19931); mpfr_init(r19932); mpfr_init(r19933); mpfr_init(r19934); mpfr_init(r19935); mpfr_init(r19936); mpfr_init(r19937); mpfr_init(r19938); } double f_im(double f) { ; mpfr_const_pi(r19924, MPFR_RNDN); ; mpfr_div(r19926, r19924, r19925, MPFR_RNDN); mpfr_div(r19927, r19923, r19926, MPFR_RNDN); mpfr_set_d(r19928, f, MPFR_RNDN); mpfr_mul(r19929, r19926, r19928, MPFR_RNDN); mpfr_exp(r19930, r19929, MPFR_RNDN); mpfr_neg(r19931, r19929, MPFR_RNDN); mpfr_exp(r19932, r19931, MPFR_RNDN); mpfr_add(r19933, r19930, r19932, MPFR_RNDN); mpfr_sub(r19934, r19930, r19932, MPFR_RNDN); mpfr_div(r19935, r19933, r19934, MPFR_RNDN); mpfr_log(r19936, r19935, MPFR_RNDN); mpfr_mul(r19937, r19927, r19936, MPFR_RNDN); mpfr_neg(r19938, r19937, MPFR_RNDN); return mpfr_get_d(r19938, MPFR_RNDN); } static mpfr_t r19939, r19940, r19941, r19942, r19943, r19944, r19945, r19946, r19947, r19948, r19949, r19950, r19951, r19952, r19953, r19954, r19955, r19956, r19957, r19958, r19959, r19960; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init(r19939); mpfr_init_set_str(r19940, "4", 10, MPFR_RNDN); mpfr_init(r19941); mpfr_init(r19942); mpfr_init_set_str(r19943, "7/5760", 10, MPFR_RNDN); mpfr_init(r19944); mpfr_init(r19945); mpfr_init(r19946); mpfr_init(r19947); mpfr_init_set_str(r19948, "1/12", 10, MPFR_RNDN); mpfr_init(r19949); mpfr_init(r19950); mpfr_init(r19951); mpfr_init(r19952); mpfr_init(r19953); mpfr_init(r19954); mpfr_init(r19955); mpfr_init(r19956); mpfr_init(r19957); mpfr_init(r19958); mpfr_init(r19959); mpfr_init(r19960); } double f_fm(double f) { mpfr_set_d(r19939, f, MPFR_RNDN); ; mpfr_pow(r19941, r19939, r19940, MPFR_RNDN); mpfr_const_pi(r19942, MPFR_RNDN); ; mpfr_mul(r19944, r19942, r19943, MPFR_RNDN); mpfr_mul(r19945, r19941, r19944, MPFR_RNDN); mpfr_mul(r19946, r19942, r19942, MPFR_RNDN); mpfr_mul(r19947, r19945, r19946, MPFR_RNDN); ; mpfr_mul(r19949, r19942, r19948, MPFR_RNDN); mpfr_mul(r19950, r19939, r19939, MPFR_RNDN); mpfr_mul(r19951, r19949, r19950, MPFR_RNDN); mpfr_sub(r19952, r19947, r19951, MPFR_RNDN); mpfr_log(r19953, r19939, MPFR_RNDN); mpfr_div(r19954, r19953, r19942, MPFR_RNDN); mpfr_div(r19955, r19940, r19942, MPFR_RNDN); mpfr_log(r19956, r19955, MPFR_RNDN); mpfr_div(r19957, r19956, r19942, MPFR_RNDN); mpfr_sub(r19958, r19954, r19957, MPFR_RNDN); mpfr_mul(r19959, r19940, r19958, MPFR_RNDN); mpfr_add(r19960, r19952, r19959, MPFR_RNDN); return mpfr_get_d(r19960, MPFR_RNDN); } static mpfr_t r19961, r19962, r19963, r19964, r19965, r19966, r19967, r19968, r19969, r19970, r19971, r19972, r19973, r19974, r19975, r19976, r19977, r19978, r19979, r19980, r19981, r19982; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init(r19961); mpfr_init_set_str(r19962, "4", 10, MPFR_RNDN); mpfr_init(r19963); mpfr_init(r19964); mpfr_init_set_str(r19965, "7/5760", 10, MPFR_RNDN); mpfr_init(r19966); mpfr_init(r19967); mpfr_init(r19968); mpfr_init(r19969); mpfr_init_set_str(r19970, "1/12", 10, MPFR_RNDN); mpfr_init(r19971); mpfr_init(r19972); mpfr_init(r19973); mpfr_init(r19974); mpfr_init(r19975); mpfr_init(r19976); mpfr_init(r19977); mpfr_init(r19978); mpfr_init(r19979); mpfr_init(r19980); mpfr_init(r19981); mpfr_init(r19982); } double f_dm(double f) { mpfr_set_d(r19961, f, MPFR_RNDN); ; mpfr_pow(r19963, r19961, r19962, MPFR_RNDN); mpfr_const_pi(r19964, MPFR_RNDN); ; mpfr_mul(r19966, r19964, r19965, MPFR_RNDN); mpfr_mul(r19967, r19963, r19966, MPFR_RNDN); mpfr_mul(r19968, r19964, r19964, MPFR_RNDN); mpfr_mul(r19969, r19967, r19968, MPFR_RNDN); ; mpfr_mul(r19971, r19964, r19970, MPFR_RNDN); mpfr_mul(r19972, r19961, r19961, MPFR_RNDN); mpfr_mul(r19973, r19971, r19972, MPFR_RNDN); mpfr_sub(r19974, r19969, r19973, MPFR_RNDN); mpfr_log(r19975, r19961, MPFR_RNDN); mpfr_div(r19976, r19975, r19964, MPFR_RNDN); mpfr_div(r19977, r19962, r19964, MPFR_RNDN); mpfr_log(r19978, r19977, MPFR_RNDN); mpfr_div(r19979, r19978, r19964, MPFR_RNDN); mpfr_sub(r19980, r19976, r19979, MPFR_RNDN); mpfr_mul(r19981, r19962, r19980, MPFR_RNDN); mpfr_add(r19982, r19974, r19981, MPFR_RNDN); return mpfr_get_d(r19982, MPFR_RNDN); }