#include #include #include #include #include char *name = "expq3 (problem 3.4.2)"; double f_if(float a, float b, float eps) { float r23792 = eps; float r23793 = a; float r23794 = b; float r23795 = r23793 + r23794; float r23796 = r23795 * r23792; float r23797 = exp(r23796); float r23798 = 1; float r23799 = r23797 - r23798; float r23800 = r23792 * r23799; float r23801 = r23793 * r23792; float r23802 = exp(r23801); float r23803 = r23802 - r23798; float r23804 = r23794 * r23792; float r23805 = exp(r23804); float r23806 = r23805 - r23798; float r23807 = r23803 * r23806; float r23808 = r23800 / r23807; return r23808; } double f_id(double a, double b, double eps) { double r23809 = eps; double r23810 = a; double r23811 = b; double r23812 = r23810 + r23811; double r23813 = r23812 * r23809; double r23814 = exp(r23813); double r23815 = 1; double r23816 = r23814 - r23815; double r23817 = r23809 * r23816; double r23818 = r23810 * r23809; double r23819 = exp(r23818); double r23820 = r23819 - r23815; double r23821 = r23811 * r23809; double r23822 = exp(r23821); double r23823 = r23822 - r23815; double r23824 = r23820 * r23823; double r23825 = r23817 / r23824; return r23825; } double f_of(float a, float b, float eps) { float r23826 = 1; float r23827 = b; float r23828 = r23826 / r23827; float r23829 = a; float r23830 = r23826 / r23829; float r23831 = r23828 + r23830; float r23832 = -3.908989775783653e-65; bool r23833 = r23831 <= r23832; float r23834 = 8.375052902153571e-24; bool r23835 = r23831 <= r23834; float r23836 = eps; float r23837 = r23829 * r23836; float r23838 = expm1(r23837); float r23839 = r23836 / r23838; float r23840 = r23827 + r23829; float r23841 = r23840 * r23836; float r23842 = expm1(r23841); float r23843 = r23836 * r23827; float r23844 = expm1(r23843); float r23845 = r23842 / r23844; float r23846 = r23839 * r23845; float r23847 = r23835 ? r23846 : r23831; float r23848 = r23833 ? r23831 : r23847; return r23848; } double f_od(double a, double b, double eps) { double r23849 = 1; double r23850 = b; double r23851 = r23849 / r23850; double r23852 = a; double r23853 = r23849 / r23852; double r23854 = r23851 + r23853; double r23855 = -3.908989775783653e-65; bool r23856 = r23854 <= r23855; double r23857 = 8.375052902153571e-24; bool r23858 = r23854 <= r23857; double r23859 = eps; double r23860 = r23852 * r23859; double r23861 = expm1(r23860); double r23862 = r23859 / r23861; double r23863 = r23850 + r23852; double r23864 = r23863 * r23859; double r23865 = expm1(r23864); double r23866 = r23859 * r23850; double r23867 = expm1(r23866); double r23868 = r23865 / r23867; double r23869 = r23862 * r23868; double r23870 = r23858 ? r23869 : r23854; double r23871 = r23856 ? r23854 : r23870; return r23871; } 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 r23872, r23873, r23874, r23875, r23876, r23877, r23878, r23879, r23880, r23881, r23882, r23883, r23884, r23885, r23886, r23887, r23888; void setup_mpfr_f_im() { mpfr_set_default_prec(2384); mpfr_init(r23872); mpfr_init(r23873); mpfr_init(r23874); mpfr_init(r23875); mpfr_init(r23876); mpfr_init(r23877); mpfr_init_set_str(r23878, "1", 10, MPFR_RNDN); mpfr_init(r23879); mpfr_init(r23880); mpfr_init(r23881); mpfr_init(r23882); mpfr_init(r23883); mpfr_init(r23884); mpfr_init(r23885); mpfr_init(r23886); mpfr_init(r23887); mpfr_init(r23888); } double f_im(double a, double b, double eps) { mpfr_set_d(r23872, eps, MPFR_RNDN); mpfr_set_d(r23873, a, MPFR_RNDN); mpfr_set_d(r23874, b, MPFR_RNDN); mpfr_add(r23875, r23873, r23874, MPFR_RNDN); mpfr_mul(r23876, r23875, r23872, MPFR_RNDN); mpfr_exp(r23877, r23876, MPFR_RNDN); ; mpfr_sub(r23879, r23877, r23878, MPFR_RNDN); mpfr_mul(r23880, r23872, r23879, MPFR_RNDN); mpfr_mul(r23881, r23873, r23872, MPFR_RNDN); mpfr_exp(r23882, r23881, MPFR_RNDN); mpfr_sub(r23883, r23882, r23878, MPFR_RNDN); mpfr_mul(r23884, r23874, r23872, MPFR_RNDN); mpfr_exp(r23885, r23884, MPFR_RNDN); mpfr_sub(r23886, r23885, r23878, MPFR_RNDN); mpfr_mul(r23887, r23883, r23886, MPFR_RNDN); mpfr_div(r23888, r23880, r23887, MPFR_RNDN); return mpfr_get_d(r23888, MPFR_RNDN); } static mpfr_t r23889, r23890, r23891, r23892, r23893, r23894, r23895, r23896, r23897, r23898, r23899, r23900, r23901, r23902, r23903, r23904, r23905, r23906, r23907, r23908, r23909, r23910, r23911; void setup_mpfr_f_fm() { mpfr_set_default_prec(2384); mpfr_init_set_str(r23889, "1", 10, MPFR_RNDN); mpfr_init(r23890); mpfr_init(r23891); mpfr_init(r23892); mpfr_init(r23893); mpfr_init(r23894); mpfr_init_set_str(r23895, "-3.908989775783653e-65", 10, MPFR_RNDN); mpfr_init(r23896); mpfr_init_set_str(r23897, "8.375052902153571e-24", 10, MPFR_RNDN); mpfr_init(r23898); mpfr_init(r23899); mpfr_init(r23900); mpfr_init(r23901); mpfr_init(r23902); mpfr_init(r23903); mpfr_init(r23904); mpfr_init(r23905); mpfr_init(r23906); mpfr_init(r23907); mpfr_init(r23908); mpfr_init(r23909); mpfr_init(r23910); mpfr_init(r23911); } double f_fm(double a, double b, double eps) { ; mpfr_set_d(r23890, b, MPFR_RNDN); mpfr_div(r23891, r23889, r23890, MPFR_RNDN); mpfr_set_d(r23892, a, MPFR_RNDN); mpfr_div(r23893, r23889, r23892, MPFR_RNDN); mpfr_add(r23894, r23891, r23893, MPFR_RNDN); ; mpfr_set_si(r23896, mpfr_cmp(r23894, r23895) <= 0, MPFR_RNDN); ; mpfr_set_si(r23898, mpfr_cmp(r23894, r23897) <= 0, MPFR_RNDN); mpfr_set_d(r23899, eps, MPFR_RNDN); mpfr_mul(r23900, r23892, r23899, MPFR_RNDN); mpfr_expm1(r23901, r23900, MPFR_RNDN); mpfr_div(r23902, r23899, r23901, MPFR_RNDN); mpfr_add(r23903, r23890, r23892, MPFR_RNDN); mpfr_mul(r23904, r23903, r23899, MPFR_RNDN); mpfr_expm1(r23905, r23904, MPFR_RNDN); mpfr_mul(r23906, r23899, r23890, MPFR_RNDN); mpfr_expm1(r23907, r23906, MPFR_RNDN); mpfr_div(r23908, r23905, r23907, MPFR_RNDN); mpfr_mul(r23909, r23902, r23908, MPFR_RNDN); if (mpfr_get_si(r23898, MPFR_RNDN)) { mpfr_set(r23910, r23909, MPFR_RNDN); } else { mpfr_set(r23910, r23894, MPFR_RNDN); }; if (mpfr_get_si(r23896, MPFR_RNDN)) { mpfr_set(r23911, r23894, MPFR_RNDN); } else { mpfr_set(r23911, r23910, MPFR_RNDN); }; return mpfr_get_d(r23911, MPFR_RNDN); } static mpfr_t r23912, r23913, r23914, r23915, r23916, r23917, r23918, r23919, r23920, r23921, r23922, r23923, r23924, r23925, r23926, r23927, r23928, r23929, r23930, r23931, r23932, r23933, r23934; void setup_mpfr_f_dm() { mpfr_set_default_prec(2384); mpfr_init_set_str(r23912, "1", 10, MPFR_RNDN); mpfr_init(r23913); mpfr_init(r23914); mpfr_init(r23915); mpfr_init(r23916); mpfr_init(r23917); mpfr_init_set_str(r23918, "-3.908989775783653e-65", 10, MPFR_RNDN); mpfr_init(r23919); mpfr_init_set_str(r23920, "8.375052902153571e-24", 10, MPFR_RNDN); mpfr_init(r23921); mpfr_init(r23922); mpfr_init(r23923); mpfr_init(r23924); mpfr_init(r23925); mpfr_init(r23926); mpfr_init(r23927); mpfr_init(r23928); mpfr_init(r23929); mpfr_init(r23930); mpfr_init(r23931); mpfr_init(r23932); mpfr_init(r23933); mpfr_init(r23934); } double f_dm(double a, double b, double eps) { ; mpfr_set_d(r23913, b, MPFR_RNDN); mpfr_div(r23914, r23912, r23913, MPFR_RNDN); mpfr_set_d(r23915, a, MPFR_RNDN); mpfr_div(r23916, r23912, r23915, MPFR_RNDN); mpfr_add(r23917, r23914, r23916, MPFR_RNDN); ; mpfr_set_si(r23919, mpfr_cmp(r23917, r23918) <= 0, MPFR_RNDN); ; mpfr_set_si(r23921, mpfr_cmp(r23917, r23920) <= 0, MPFR_RNDN); mpfr_set_d(r23922, eps, MPFR_RNDN); mpfr_mul(r23923, r23915, r23922, MPFR_RNDN); mpfr_expm1(r23924, r23923, MPFR_RNDN); mpfr_div(r23925, r23922, r23924, MPFR_RNDN); mpfr_add(r23926, r23913, r23915, MPFR_RNDN); mpfr_mul(r23927, r23926, r23922, MPFR_RNDN); mpfr_expm1(r23928, r23927, MPFR_RNDN); mpfr_mul(r23929, r23922, r23913, MPFR_RNDN); mpfr_expm1(r23930, r23929, MPFR_RNDN); mpfr_div(r23931, r23928, r23930, MPFR_RNDN); mpfr_mul(r23932, r23925, r23931, MPFR_RNDN); if (mpfr_get_si(r23921, MPFR_RNDN)) { mpfr_set(r23933, r23932, MPFR_RNDN); } else { mpfr_set(r23933, r23917, MPFR_RNDN); }; if (mpfr_get_si(r23919, MPFR_RNDN)) { mpfr_set(r23934, r23917, MPFR_RNDN); } else { mpfr_set(r23934, r23933, MPFR_RNDN); }; return mpfr_get_d(r23934, MPFR_RNDN); }