#include #include #include #include #include char *name = "Linear.V4:$cdot from linear-1.19.1.3"; double f_if(float x, float y, float z, float t, float a, float b, float c, float i) { float r17008 = x; float r17009 = y; float r17010 = r17008 * r17009; float r17011 = z; float r17012 = t; float r17013 = r17011 * r17012; float r17014 = r17010 + r17013; float r17015 = a; float r17016 = b; float r17017 = r17015 * r17016; float r17018 = r17014 + r17017; float r17019 = c; float r17020 = i; float r17021 = r17019 * r17020; float r17022 = r17018 + r17021; return r17022; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r17023 = x; double r17024 = y; double r17025 = r17023 * r17024; double r17026 = z; double r17027 = t; double r17028 = r17026 * r17027; double r17029 = r17025 + r17028; double r17030 = a; double r17031 = b; double r17032 = r17030 * r17031; double r17033 = r17029 + r17032; double r17034 = c; double r17035 = i; double r17036 = r17034 * r17035; double r17037 = r17033 + r17036; return r17037; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r17038 = x; float r17039 = y; float r17040 = r17038 * r17039; float r17041 = z; float r17042 = t; float r17043 = r17041 * r17042; float r17044 = r17040 + r17043; float r17045 = a; float r17046 = b; float r17047 = r17045 * r17046; float r17048 = c; float r17049 = i; float r17050 = r17048 * r17049; float r17051 = r17047 + r17050; float r17052 = r17044 + r17051; return r17052; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r17053 = x; double r17054 = y; double r17055 = r17053 * r17054; double r17056 = z; double r17057 = t; double r17058 = r17056 * r17057; double r17059 = r17055 + r17058; double r17060 = a; double r17061 = b; double r17062 = r17060 * r17061; double r17063 = c; double r17064 = i; double r17065 = r17063 * r17064; double r17066 = r17062 + r17065; double r17067 = r17059 + r17066; return r17067; } 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 r17068, r17069, r17070, r17071, r17072, r17073, r17074, r17075, r17076, r17077, r17078, r17079, r17080, r17081, r17082; void setup_mpfr_f_im() { mpfr_set_default_prec(144); 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(r17078); mpfr_init(r17079); mpfr_init(r17080); mpfr_init(r17081); mpfr_init(r17082); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r17068, x, MPFR_RNDN); mpfr_set_d(r17069, y, MPFR_RNDN); mpfr_mul(r17070, r17068, r17069, MPFR_RNDN); mpfr_set_d(r17071, z, MPFR_RNDN); mpfr_set_d(r17072, t, MPFR_RNDN); mpfr_mul(r17073, r17071, r17072, MPFR_RNDN); mpfr_add(r17074, r17070, r17073, MPFR_RNDN); mpfr_set_d(r17075, a, MPFR_RNDN); mpfr_set_d(r17076, b, MPFR_RNDN); mpfr_mul(r17077, r17075, r17076, MPFR_RNDN); mpfr_add(r17078, r17074, r17077, MPFR_RNDN); mpfr_set_d(r17079, c, MPFR_RNDN); mpfr_set_d(r17080, i, MPFR_RNDN); mpfr_mul(r17081, r17079, r17080, MPFR_RNDN); mpfr_add(r17082, r17078, r17081, MPFR_RNDN); return mpfr_get_d(r17082, MPFR_RNDN); } static mpfr_t r17083, r17084, r17085, r17086, r17087, r17088, r17089, r17090, r17091, r17092, r17093, r17094, r17095, r17096, r17097; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); 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); mpfr_init(r17094); mpfr_init(r17095); mpfr_init(r17096); mpfr_init(r17097); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r17083, x, MPFR_RNDN); mpfr_set_d(r17084, y, MPFR_RNDN); mpfr_mul(r17085, r17083, r17084, MPFR_RNDN); mpfr_set_d(r17086, z, MPFR_RNDN); mpfr_set_d(r17087, t, MPFR_RNDN); mpfr_mul(r17088, r17086, r17087, MPFR_RNDN); mpfr_add(r17089, r17085, r17088, MPFR_RNDN); mpfr_set_d(r17090, a, MPFR_RNDN); mpfr_set_d(r17091, b, MPFR_RNDN); mpfr_mul(r17092, r17090, r17091, MPFR_RNDN); mpfr_set_d(r17093, c, MPFR_RNDN); mpfr_set_d(r17094, i, MPFR_RNDN); mpfr_mul(r17095, r17093, r17094, MPFR_RNDN); mpfr_add(r17096, r17092, r17095, MPFR_RNDN); mpfr_add(r17097, r17089, r17096, MPFR_RNDN); return mpfr_get_d(r17097, MPFR_RNDN); } static mpfr_t r17098, r17099, r17100, r17101, r17102, r17103, r17104, r17105, r17106, r17107, r17108, r17109, r17110, r17111, r17112; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); 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(r17106); mpfr_init(r17107); mpfr_init(r17108); mpfr_init(r17109); mpfr_init(r17110); mpfr_init(r17111); mpfr_init(r17112); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r17098, x, MPFR_RNDN); mpfr_set_d(r17099, y, MPFR_RNDN); mpfr_mul(r17100, r17098, r17099, MPFR_RNDN); mpfr_set_d(r17101, z, MPFR_RNDN); mpfr_set_d(r17102, t, MPFR_RNDN); mpfr_mul(r17103, r17101, r17102, MPFR_RNDN); mpfr_add(r17104, r17100, r17103, MPFR_RNDN); mpfr_set_d(r17105, a, MPFR_RNDN); mpfr_set_d(r17106, b, MPFR_RNDN); mpfr_mul(r17107, r17105, r17106, MPFR_RNDN); mpfr_set_d(r17108, c, MPFR_RNDN); mpfr_set_d(r17109, i, MPFR_RNDN); mpfr_mul(r17110, r17108, r17109, MPFR_RNDN); mpfr_add(r17111, r17107, r17110, MPFR_RNDN); mpfr_add(r17112, r17104, r17111, MPFR_RNDN); return mpfr_get_d(r17112, MPFR_RNDN); }