#include #include #include #include #include char *name = "Linear.V4:$cdot from linear-1.19.1.3, C"; double f_if(float x, float y, float z, float t, float a, float b, float c, float i) { float r29002 = x; float r29003 = y; float r29004 = r29002 * r29003; float r29005 = z; float r29006 = t; float r29007 = r29005 * r29006; float r29008 = r29004 + r29007; float r29009 = a; float r29010 = b; float r29011 = r29009 * r29010; float r29012 = r29008 + r29011; float r29013 = c; float r29014 = i; float r29015 = r29013 * r29014; float r29016 = r29012 + r29015; return r29016; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r29017 = x; double r29018 = y; double r29019 = r29017 * r29018; double r29020 = z; double r29021 = t; double r29022 = r29020 * r29021; double r29023 = r29019 + r29022; double r29024 = a; double r29025 = b; double r29026 = r29024 * r29025; double r29027 = r29023 + r29026; double r29028 = c; double r29029 = i; double r29030 = r29028 * r29029; double r29031 = r29027 + r29030; return r29031; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r29032 = x; float r29033 = y; float r29034 = r29032 * r29033; float r29035 = z; float r29036 = t; float r29037 = r29035 * r29036; float r29038 = r29034 + r29037; float r29039 = a; float r29040 = b; float r29041 = r29039 * r29040; float r29042 = r29038 + r29041; float r29043 = c; float r29044 = i; float r29045 = r29043 * r29044; float r29046 = r29042 + r29045; return r29046; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r29047 = x; double r29048 = y; double r29049 = r29047 * r29048; double r29050 = z; double r29051 = t; double r29052 = r29050 * r29051; double r29053 = r29049 + r29052; double r29054 = a; double r29055 = b; double r29056 = r29054 * r29055; double r29057 = r29053 + r29056; double r29058 = c; double r29059 = i; double r29060 = r29058 * r29059; double r29061 = r29057 + r29060; return r29061; } 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 r29062, r29063, r29064, r29065, r29066, r29067, r29068, r29069, r29070, r29071, r29072, r29073, r29074, r29075, r29076; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r29062); mpfr_init(r29063); mpfr_init(r29064); mpfr_init(r29065); mpfr_init(r29066); mpfr_init(r29067); mpfr_init(r29068); mpfr_init(r29069); mpfr_init(r29070); mpfr_init(r29071); mpfr_init(r29072); mpfr_init(r29073); mpfr_init(r29074); mpfr_init(r29075); mpfr_init(r29076); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r29062, x, MPFR_RNDN); mpfr_set_d(r29063, y, MPFR_RNDN); mpfr_mul(r29064, r29062, r29063, MPFR_RNDN); mpfr_set_d(r29065, z, MPFR_RNDN); mpfr_set_d(r29066, t, MPFR_RNDN); mpfr_mul(r29067, r29065, r29066, MPFR_RNDN); mpfr_add(r29068, r29064, r29067, MPFR_RNDN); mpfr_set_d(r29069, a, MPFR_RNDN); mpfr_set_d(r29070, b, MPFR_RNDN); mpfr_mul(r29071, r29069, r29070, MPFR_RNDN); mpfr_add(r29072, r29068, r29071, MPFR_RNDN); mpfr_set_d(r29073, c, MPFR_RNDN); mpfr_set_d(r29074, i, MPFR_RNDN); mpfr_mul(r29075, r29073, r29074, MPFR_RNDN); mpfr_add(r29076, r29072, r29075, MPFR_RNDN); return mpfr_get_d(r29076, MPFR_RNDN); } static mpfr_t r29077, r29078, r29079, r29080, r29081, r29082, r29083, r29084, r29085, r29086, r29087, r29088, r29089, r29090, r29091; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r29077); mpfr_init(r29078); mpfr_init(r29079); mpfr_init(r29080); mpfr_init(r29081); mpfr_init(r29082); mpfr_init(r29083); mpfr_init(r29084); mpfr_init(r29085); mpfr_init(r29086); mpfr_init(r29087); mpfr_init(r29088); mpfr_init(r29089); mpfr_init(r29090); mpfr_init(r29091); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r29077, x, MPFR_RNDN); mpfr_set_d(r29078, y, MPFR_RNDN); mpfr_mul(r29079, r29077, r29078, MPFR_RNDN); mpfr_set_d(r29080, z, MPFR_RNDN); mpfr_set_d(r29081, t, MPFR_RNDN); mpfr_mul(r29082, r29080, r29081, MPFR_RNDN); mpfr_add(r29083, r29079, r29082, MPFR_RNDN); mpfr_set_d(r29084, a, MPFR_RNDN); mpfr_set_d(r29085, b, MPFR_RNDN); mpfr_mul(r29086, r29084, r29085, MPFR_RNDN); mpfr_add(r29087, r29083, r29086, MPFR_RNDN); mpfr_set_d(r29088, c, MPFR_RNDN); mpfr_set_d(r29089, i, MPFR_RNDN); mpfr_mul(r29090, r29088, r29089, MPFR_RNDN); mpfr_add(r29091, r29087, r29090, MPFR_RNDN); return mpfr_get_d(r29091, MPFR_RNDN); } static mpfr_t r29092, r29093, r29094, r29095, r29096, r29097, r29098, r29099, r29100, r29101, r29102, r29103, r29104, r29105, r29106; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r29092); mpfr_init(r29093); mpfr_init(r29094); mpfr_init(r29095); mpfr_init(r29096); mpfr_init(r29097); mpfr_init(r29098); mpfr_init(r29099); mpfr_init(r29100); mpfr_init(r29101); mpfr_init(r29102); mpfr_init(r29103); mpfr_init(r29104); mpfr_init(r29105); mpfr_init(r29106); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r29092, x, MPFR_RNDN); mpfr_set_d(r29093, y, MPFR_RNDN); mpfr_mul(r29094, r29092, r29093, MPFR_RNDN); mpfr_set_d(r29095, z, MPFR_RNDN); mpfr_set_d(r29096, t, MPFR_RNDN); mpfr_mul(r29097, r29095, r29096, MPFR_RNDN); mpfr_add(r29098, r29094, r29097, MPFR_RNDN); mpfr_set_d(r29099, a, MPFR_RNDN); mpfr_set_d(r29100, b, MPFR_RNDN); mpfr_mul(r29101, r29099, r29100, MPFR_RNDN); mpfr_add(r29102, r29098, r29101, MPFR_RNDN); mpfr_set_d(r29103, c, MPFR_RNDN); mpfr_set_d(r29104, i, MPFR_RNDN); mpfr_mul(r29105, r29103, r29104, MPFR_RNDN); mpfr_add(r29106, r29102, r29105, MPFR_RNDN); return mpfr_get_d(r29106, MPFR_RNDN); }