#include #include #include #include #include char *name = "expq3 (problem 3.4.2)"; double f_if(float a, float b, float eps) { float r23840 = eps; float r23841 = a; float r23842 = b; float r23843 = r23841 + r23842; float r23844 = r23843 * r23840; float r23845 = exp(r23844); float r23846 = 1; float r23847 = r23845 - r23846; float r23848 = r23840 * r23847; float r23849 = r23841 * r23840; float r23850 = exp(r23849); float r23851 = r23850 - r23846; float r23852 = r23842 * r23840; float r23853 = exp(r23852); float r23854 = r23853 - r23846; float r23855 = r23851 * r23854; float r23856 = r23848 / r23855; return r23856; } double f_id(double a, double b, double eps) { double r23857 = eps; double r23858 = a; double r23859 = b; double r23860 = r23858 + r23859; double r23861 = r23860 * r23857; double r23862 = exp(r23861); double r23863 = 1; double r23864 = r23862 - r23863; double r23865 = r23857 * r23864; double r23866 = r23858 * r23857; double r23867 = exp(r23866); double r23868 = r23867 - r23863; double r23869 = r23859 * r23857; double r23870 = exp(r23869); double r23871 = r23870 - r23863; double r23872 = r23868 * r23871; double r23873 = r23865 / r23872; return r23873; } double f_of(float a, float b, float eps) { float r23874 = 1; float r23875 = b; float r23876 = r23874 / r23875; float r23877 = a; float r23878 = r23874 / r23877; float r23879 = r23876 + r23878; float r23880 = -1.790664092795746e-30; bool r23881 = r23879 <= r23880; float r23882 = 3.8845002564674514e-48; bool r23883 = r23879 <= r23882; float r23884 = eps; float r23885 = r23877 * r23884; float r23886 = expm1(r23885); float r23887 = r23884 / r23886; float r23888 = r23875 + r23877; float r23889 = r23888 * r23884; float r23890 = expm1(r23889); float r23891 = r23884 * r23875; float r23892 = expm1(r23891); float r23893 = r23890 / r23892; float r23894 = r23887 * r23893; float r23895 = r23883 ? r23894 : r23879; float r23896 = r23881 ? r23879 : r23895; return r23896; } double f_od(double a, double b, double eps) { double r23897 = 1; double r23898 = b; double r23899 = r23897 / r23898; double r23900 = a; double r23901 = r23897 / r23900; double r23902 = r23899 + r23901; double r23903 = -1.790664092795746e-30; bool r23904 = r23902 <= r23903; double r23905 = 3.8845002564674514e-48; bool r23906 = r23902 <= r23905; double r23907 = eps; double r23908 = r23900 * r23907; double r23909 = expm1(r23908); double r23910 = r23907 / r23909; double r23911 = r23898 + r23900; double r23912 = r23911 * r23907; double r23913 = expm1(r23912); double r23914 = r23907 * r23898; double r23915 = expm1(r23914); double r23916 = r23913 / r23915; double r23917 = r23910 * r23916; double r23918 = r23906 ? r23917 : r23902; double r23919 = r23904 ? r23902 : r23918; return r23919; } 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 r23920, r23921, r23922, r23923, r23924, r23925, r23926, r23927, r23928, r23929, r23930, r23931, r23932, r23933, r23934, r23935, r23936; void setup_mpfr_f_im() { mpfr_set_default_prec(2448); mpfr_init(r23920); mpfr_init(r23921); mpfr_init(r23922); mpfr_init(r23923); mpfr_init(r23924); mpfr_init(r23925); mpfr_init_set_str(r23926, "1", 10, MPFR_RNDN); mpfr_init(r23927); mpfr_init(r23928); mpfr_init(r23929); mpfr_init(r23930); mpfr_init(r23931); mpfr_init(r23932); mpfr_init(r23933); mpfr_init(r23934); mpfr_init(r23935); mpfr_init(r23936); } double f_im(double a, double b, double eps) { mpfr_set_d(r23920, eps, MPFR_RNDN); mpfr_set_d(r23921, a, MPFR_RNDN); mpfr_set_d(r23922, b, MPFR_RNDN); mpfr_add(r23923, r23921, r23922, MPFR_RNDN); mpfr_mul(r23924, r23923, r23920, MPFR_RNDN); mpfr_exp(r23925, r23924, MPFR_RNDN); ; mpfr_sub(r23927, r23925, r23926, MPFR_RNDN); mpfr_mul(r23928, r23920, r23927, MPFR_RNDN); mpfr_mul(r23929, r23921, r23920, MPFR_RNDN); mpfr_exp(r23930, r23929, MPFR_RNDN); mpfr_sub(r23931, r23930, r23926, MPFR_RNDN); mpfr_mul(r23932, r23922, r23920, MPFR_RNDN); mpfr_exp(r23933, r23932, MPFR_RNDN); mpfr_sub(r23934, r23933, r23926, MPFR_RNDN); mpfr_mul(r23935, r23931, r23934, MPFR_RNDN); mpfr_div(r23936, r23928, r23935, MPFR_RNDN); return mpfr_get_d(r23936, MPFR_RNDN); } static mpfr_t r23937, r23938, r23939, r23940, r23941, r23942, r23943, r23944, r23945, r23946, r23947, r23948, r23949, r23950, r23951, r23952, r23953, r23954, r23955, r23956, r23957, r23958, r23959; void setup_mpfr_f_fm() { mpfr_set_default_prec(2448); mpfr_init_set_str(r23937, "1", 10, MPFR_RNDN); mpfr_init(r23938); mpfr_init(r23939); mpfr_init(r23940); mpfr_init(r23941); mpfr_init(r23942); mpfr_init_set_str(r23943, "-1.790664092795746e-30", 10, MPFR_RNDN); mpfr_init(r23944); mpfr_init_set_str(r23945, "3.8845002564674514e-48", 10, MPFR_RNDN); mpfr_init(r23946); mpfr_init(r23947); mpfr_init(r23948); mpfr_init(r23949); mpfr_init(r23950); mpfr_init(r23951); mpfr_init(r23952); mpfr_init(r23953); mpfr_init(r23954); mpfr_init(r23955); mpfr_init(r23956); mpfr_init(r23957); mpfr_init(r23958); mpfr_init(r23959); } double f_fm(double a, double b, double eps) { ; mpfr_set_d(r23938, b, MPFR_RNDN); mpfr_div(r23939, r23937, r23938, MPFR_RNDN); mpfr_set_d(r23940, a, MPFR_RNDN); mpfr_div(r23941, r23937, r23940, MPFR_RNDN); mpfr_add(r23942, r23939, r23941, MPFR_RNDN); ; mpfr_set_si(r23944, mpfr_cmp(r23942, r23943) <= 0, MPFR_RNDN); ; mpfr_set_si(r23946, mpfr_cmp(r23942, r23945) <= 0, MPFR_RNDN); mpfr_set_d(r23947, eps, MPFR_RNDN); mpfr_mul(r23948, r23940, r23947, MPFR_RNDN); mpfr_expm1(r23949, r23948, MPFR_RNDN); mpfr_div(r23950, r23947, r23949, MPFR_RNDN); mpfr_add(r23951, r23938, r23940, MPFR_RNDN); mpfr_mul(r23952, r23951, r23947, MPFR_RNDN); mpfr_expm1(r23953, r23952, MPFR_RNDN); mpfr_mul(r23954, r23947, r23938, MPFR_RNDN); mpfr_expm1(r23955, r23954, MPFR_RNDN); mpfr_div(r23956, r23953, r23955, MPFR_RNDN); mpfr_mul(r23957, r23950, r23956, MPFR_RNDN); if (mpfr_get_si(r23946, MPFR_RNDN)) { mpfr_set(r23958, r23957, MPFR_RNDN); } else { mpfr_set(r23958, r23942, MPFR_RNDN); }; if (mpfr_get_si(r23944, MPFR_RNDN)) { mpfr_set(r23959, r23942, MPFR_RNDN); } else { mpfr_set(r23959, r23958, MPFR_RNDN); }; return mpfr_get_d(r23959, MPFR_RNDN); } static mpfr_t r23960, r23961, r23962, r23963, r23964, r23965, r23966, r23967, r23968, r23969, r23970, r23971, r23972, r23973, r23974, r23975, r23976, r23977, r23978, r23979, r23980, r23981, r23982; void setup_mpfr_f_dm() { mpfr_set_default_prec(2448); mpfr_init_set_str(r23960, "1", 10, MPFR_RNDN); mpfr_init(r23961); mpfr_init(r23962); mpfr_init(r23963); mpfr_init(r23964); mpfr_init(r23965); mpfr_init_set_str(r23966, "-1.790664092795746e-30", 10, MPFR_RNDN); mpfr_init(r23967); mpfr_init_set_str(r23968, "3.8845002564674514e-48", 10, MPFR_RNDN); mpfr_init(r23969); mpfr_init(r23970); mpfr_init(r23971); mpfr_init(r23972); mpfr_init(r23973); mpfr_init(r23974); mpfr_init(r23975); mpfr_init(r23976); mpfr_init(r23977); mpfr_init(r23978); mpfr_init(r23979); mpfr_init(r23980); mpfr_init(r23981); mpfr_init(r23982); } double f_dm(double a, double b, double eps) { ; mpfr_set_d(r23961, b, MPFR_RNDN); mpfr_div(r23962, r23960, r23961, MPFR_RNDN); mpfr_set_d(r23963, a, MPFR_RNDN); mpfr_div(r23964, r23960, r23963, MPFR_RNDN); mpfr_add(r23965, r23962, r23964, MPFR_RNDN); ; mpfr_set_si(r23967, mpfr_cmp(r23965, r23966) <= 0, MPFR_RNDN); ; mpfr_set_si(r23969, mpfr_cmp(r23965, r23968) <= 0, MPFR_RNDN); mpfr_set_d(r23970, eps, MPFR_RNDN); mpfr_mul(r23971, r23963, r23970, MPFR_RNDN); mpfr_expm1(r23972, r23971, MPFR_RNDN); mpfr_div(r23973, r23970, r23972, MPFR_RNDN); mpfr_add(r23974, r23961, r23963, MPFR_RNDN); mpfr_mul(r23975, r23974, r23970, MPFR_RNDN); mpfr_expm1(r23976, r23975, MPFR_RNDN); mpfr_mul(r23977, r23970, r23961, MPFR_RNDN); mpfr_expm1(r23978, r23977, MPFR_RNDN); mpfr_div(r23979, r23976, r23978, MPFR_RNDN); mpfr_mul(r23980, r23973, r23979, MPFR_RNDN); if (mpfr_get_si(r23969, MPFR_RNDN)) { mpfr_set(r23981, r23980, MPFR_RNDN); } else { mpfr_set(r23981, r23965, MPFR_RNDN); }; if (mpfr_get_si(r23967, MPFR_RNDN)) { mpfr_set(r23982, r23965, MPFR_RNDN); } else { mpfr_set(r23982, r23981, MPFR_RNDN); }; return mpfr_get_d(r23982, MPFR_RNDN); }