#include #include #include #include #include char *name = "NMSE example 3.3"; double f_if(float x, float eps) { float r16992 = x; float r16993 = eps; float r16994 = r16992 + r16993; float r16995 = sin(r16994); float r16996 = sin(r16992); float r16997 = r16995 - r16996; return r16997; } double f_id(double x, double eps) { double r16998 = x; double r16999 = eps; double r17000 = r16998 + r16999; double r17001 = sin(r17000); double r17002 = sin(r16998); double r17003 = r17001 - r17002; return r17003; } double f_of(float x, float eps) { float r17004 = eps; float r17005 = -0.0013098660856485367f; bool r17006 = r17004 <= r17005; float r17007 = x; float r17008 = cos(r17007); float r17009 = sin(r17004); float r17010 = cos(r17004); float r17011 = sin(r17007); float r17012 = r17010 * r17011; float r17013 = fma(r17008, r17009, r17012); float r17014 = -r17011; float r17015 = r17013 + r17014; float r17016 = 0.05832533538341522f; bool r17017 = r17004 <= r17016; float r17018 = r17009 * r17008; float r17019 = 0.5f; float r17020 = r17019 * r17004; float r17021 = r17020 * r17011; float r17022 = r17004 * r17021; float r17023 = r17018 - r17022; float r17024 = r17011 * r17010; float r17025 = log1p(r17024); float r17026 = expm1(r17025); float r17027 = r17008 * r17009; float r17028 = r17027 - r17011; float r17029 = r17026 + r17028; float r17030 = r17017 ? r17023 : r17029; float r17031 = r17006 ? r17015 : r17030; return r17031; } double f_od(double x, double eps) { double r17032 = eps; double r17033 = -0.0013098660856485367; bool r17034 = r17032 <= r17033; double r17035 = x; double r17036 = cos(r17035); double r17037 = sin(r17032); double r17038 = cos(r17032); double r17039 = sin(r17035); double r17040 = r17038 * r17039; double r17041 = fma(r17036, r17037, r17040); double r17042 = -r17039; double r17043 = r17041 + r17042; double r17044 = 0.05832533538341522; bool r17045 = r17032 <= r17044; double r17046 = r17037 * r17036; double r17047 = 0.5; double r17048 = r17047 * r17032; double r17049 = r17048 * r17039; double r17050 = r17032 * r17049; double r17051 = r17046 - r17050; double r17052 = r17039 * r17038; double r17053 = log1p(r17052); double r17054 = expm1(r17053); double r17055 = r17036 * r17037; double r17056 = r17055 - r17039; double r17057 = r17054 + r17056; double r17058 = r17045 ? r17051 : r17057; double r17059 = r17034 ? r17043 : r17058; return r17059; } 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 r17060, r17061, r17062, r17063, r17064, r17065; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17060); mpfr_init(r17061); mpfr_init(r17062); mpfr_init(r17063); mpfr_init(r17064); mpfr_init(r17065); } double f_im(double x, double eps) { mpfr_set_d(r17060, x, MPFR_RNDN); mpfr_set_d(r17061, eps, MPFR_RNDN); mpfr_add(r17062, r17060, r17061, MPFR_RNDN); mpfr_sin(r17063, r17062, MPFR_RNDN); mpfr_sin(r17064, r17060, MPFR_RNDN); mpfr_sub(r17065, r17063, r17064, MPFR_RNDN); return mpfr_get_d(r17065, MPFR_RNDN); } static mpfr_t r17066, r17067, r17068, r17069, r17070, r17071, r17072, r17073, r17074, r17075, r17076, r17077, r17078, r17079, r17080, r17081, r17082, r17083, r17084, r17085, r17086, r17087, r17088, r17089, r17090, r17091, r17092, r17093; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17066); mpfr_init_set_str(r17067, "-0.0013098661f0", 10, MPFR_RNDN); mpfr_init(r17068); mpfr_init(r17069); mpfr_init(r17070); mpfr_init(r17071); mpfr_init(r17072); mpfr_init(r17073); mpfr_init(r17074); mpfr_init(r17075); mpfr_init(r17076); mpfr_init(r17077); mpfr_init_set_str(r17078, "0.058325335f0", 10, MPFR_RNDN); mpfr_init(r17079); mpfr_init(r17080); mpfr_init_set_str(r17081, "1/2", 10, MPFR_RNDN); mpfr_init(r17082); mpfr_init(r17083); mpfr_init(r17084); mpfr_init(r17085); mpfr_init(r17086); mpfr_init(r17087); mpfr_init(r17088); mpfr_init(r17089); mpfr_init(r17090); mpfr_init(r17091); mpfr_init(r17092); mpfr_init(r17093); } double f_fm(double x, double eps) { mpfr_set_d(r17066, eps, MPFR_RNDN); ; mpfr_set_si(r17068, mpfr_cmp(r17066, r17067) <= 0, MPFR_RNDN); mpfr_set_d(r17069, x, MPFR_RNDN); mpfr_cos(r17070, r17069, MPFR_RNDN); mpfr_sin(r17071, r17066, MPFR_RNDN); mpfr_cos(r17072, r17066, MPFR_RNDN); mpfr_sin(r17073, r17069, MPFR_RNDN); mpfr_mul(r17074, r17072, r17073, MPFR_RNDN); mpfr_fma(r17075, r17070, r17071, r17074, MPFR_RNDN); mpfr_neg(r17076, r17073, MPFR_RNDN); mpfr_add(r17077, r17075, r17076, MPFR_RNDN); ; mpfr_set_si(r17079, mpfr_cmp(r17066, r17078) <= 0, MPFR_RNDN); mpfr_mul(r17080, r17071, r17070, MPFR_RNDN); ; mpfr_mul(r17082, r17081, r17066, MPFR_RNDN); mpfr_mul(r17083, r17082, r17073, MPFR_RNDN); mpfr_mul(r17084, r17066, r17083, MPFR_RNDN); mpfr_sub(r17085, r17080, r17084, MPFR_RNDN); mpfr_mul(r17086, r17073, r17072, MPFR_RNDN); mpfr_log1p(r17087, r17086, MPFR_RNDN); mpfr_expm1(r17088, r17087, MPFR_RNDN); mpfr_mul(r17089, r17070, r17071, MPFR_RNDN); mpfr_sub(r17090, r17089, r17073, MPFR_RNDN); mpfr_add(r17091, r17088, r17090, MPFR_RNDN); if (mpfr_get_si(r17079, MPFR_RNDN)) { mpfr_set(r17092, r17085, MPFR_RNDN); } else { mpfr_set(r17092, r17091, MPFR_RNDN); }; if (mpfr_get_si(r17068, MPFR_RNDN)) { mpfr_set(r17093, r17077, MPFR_RNDN); } else { mpfr_set(r17093, r17092, MPFR_RNDN); }; return mpfr_get_d(r17093, MPFR_RNDN); } static mpfr_t r17094, r17095, r17096, r17097, r17098, r17099, r17100, r17101, r17102, r17103, r17104, r17105, r17106, r17107, r17108, r17109, r17110, r17111, r17112, r17113, r17114, r17115, r17116, r17117, r17118, r17119, r17120, r17121; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17094); mpfr_init_set_str(r17095, "-0.0013098661f0", 10, MPFR_RNDN); mpfr_init(r17096); mpfr_init(r17097); mpfr_init(r17098); mpfr_init(r17099); mpfr_init(r17100); mpfr_init(r17101); mpfr_init(r17102); mpfr_init(r17103); mpfr_init(r17104); mpfr_init(r17105); mpfr_init_set_str(r17106, "0.058325335f0", 10, MPFR_RNDN); mpfr_init(r17107); mpfr_init(r17108); mpfr_init_set_str(r17109, "1/2", 10, MPFR_RNDN); mpfr_init(r17110); mpfr_init(r17111); mpfr_init(r17112); mpfr_init(r17113); mpfr_init(r17114); mpfr_init(r17115); mpfr_init(r17116); mpfr_init(r17117); mpfr_init(r17118); mpfr_init(r17119); mpfr_init(r17120); mpfr_init(r17121); } double f_dm(double x, double eps) { mpfr_set_d(r17094, eps, MPFR_RNDN); ; mpfr_set_si(r17096, mpfr_cmp(r17094, r17095) <= 0, MPFR_RNDN); mpfr_set_d(r17097, x, MPFR_RNDN); mpfr_cos(r17098, r17097, MPFR_RNDN); mpfr_sin(r17099, r17094, MPFR_RNDN); mpfr_cos(r17100, r17094, MPFR_RNDN); mpfr_sin(r17101, r17097, MPFR_RNDN); mpfr_mul(r17102, r17100, r17101, MPFR_RNDN); mpfr_fma(r17103, r17098, r17099, r17102, MPFR_RNDN); mpfr_neg(r17104, r17101, MPFR_RNDN); mpfr_add(r17105, r17103, r17104, MPFR_RNDN); ; mpfr_set_si(r17107, mpfr_cmp(r17094, r17106) <= 0, MPFR_RNDN); mpfr_mul(r17108, r17099, r17098, MPFR_RNDN); ; mpfr_mul(r17110, r17109, r17094, MPFR_RNDN); mpfr_mul(r17111, r17110, r17101, MPFR_RNDN); mpfr_mul(r17112, r17094, r17111, MPFR_RNDN); mpfr_sub(r17113, r17108, r17112, MPFR_RNDN); mpfr_mul(r17114, r17101, r17100, MPFR_RNDN); mpfr_log1p(r17115, r17114, MPFR_RNDN); mpfr_expm1(r17116, r17115, MPFR_RNDN); mpfr_mul(r17117, r17098, r17099, MPFR_RNDN); mpfr_sub(r17118, r17117, r17101, MPFR_RNDN); mpfr_add(r17119, r17116, r17118, MPFR_RNDN); if (mpfr_get_si(r17107, MPFR_RNDN)) { mpfr_set(r17120, r17113, MPFR_RNDN); } else { mpfr_set(r17120, r17119, MPFR_RNDN); }; if (mpfr_get_si(r17096, MPFR_RNDN)) { mpfr_set(r17121, r17105, MPFR_RNDN); } else { mpfr_set(r17121, r17120, MPFR_RNDN); }; return mpfr_get_d(r17121, MPFR_RNDN); }