#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 r26004 = x; float r26005 = y; float r26006 = r26004 * r26005; float r26007 = z; float r26008 = t; float r26009 = r26007 * r26008; float r26010 = r26006 + r26009; float r26011 = a; float r26012 = b; float r26013 = r26011 * r26012; float r26014 = r26010 + r26013; float r26015 = c; float r26016 = i; float r26017 = r26015 * r26016; float r26018 = r26014 + r26017; return r26018; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r26019 = x; double r26020 = y; double r26021 = r26019 * r26020; double r26022 = z; double r26023 = t; double r26024 = r26022 * r26023; double r26025 = r26021 + r26024; double r26026 = a; double r26027 = b; double r26028 = r26026 * r26027; double r26029 = r26025 + r26028; double r26030 = c; double r26031 = i; double r26032 = r26030 * r26031; double r26033 = r26029 + r26032; return r26033; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r26034 = x; float r26035 = y; float r26036 = r26034 * r26035; float r26037 = z; float r26038 = t; float r26039 = r26037 * r26038; float r26040 = r26036 + r26039; float r26041 = a; float r26042 = b; float r26043 = r26041 * r26042; float r26044 = r26040 + r26043; float r26045 = c; float r26046 = i; float r26047 = r26045 * r26046; float r26048 = r26044 + r26047; return r26048; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r26049 = x; double r26050 = y; double r26051 = r26049 * r26050; double r26052 = z; double r26053 = t; double r26054 = r26052 * r26053; double r26055 = r26051 + r26054; double r26056 = a; double r26057 = b; double r26058 = r26056 * r26057; double r26059 = r26055 + r26058; double r26060 = c; double r26061 = i; double r26062 = r26060 * r26061; double r26063 = r26059 + r26062; return r26063; } 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 r26064, r26065, r26066, r26067, r26068, r26069, r26070, r26071, r26072, r26073, r26074, r26075, r26076, r26077, r26078; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r26064); mpfr_init(r26065); mpfr_init(r26066); mpfr_init(r26067); mpfr_init(r26068); mpfr_init(r26069); mpfr_init(r26070); mpfr_init(r26071); mpfr_init(r26072); mpfr_init(r26073); mpfr_init(r26074); mpfr_init(r26075); mpfr_init(r26076); mpfr_init(r26077); mpfr_init(r26078); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r26064, x, MPFR_RNDN); mpfr_set_d(r26065, y, MPFR_RNDN); mpfr_mul(r26066, r26064, r26065, MPFR_RNDN); mpfr_set_d(r26067, z, MPFR_RNDN); mpfr_set_d(r26068, t, MPFR_RNDN); mpfr_mul(r26069, r26067, r26068, MPFR_RNDN); mpfr_add(r26070, r26066, r26069, MPFR_RNDN); mpfr_set_d(r26071, a, MPFR_RNDN); mpfr_set_d(r26072, b, MPFR_RNDN); mpfr_mul(r26073, r26071, r26072, MPFR_RNDN); mpfr_add(r26074, r26070, r26073, MPFR_RNDN); mpfr_set_d(r26075, c, MPFR_RNDN); mpfr_set_d(r26076, i, MPFR_RNDN); mpfr_mul(r26077, r26075, r26076, MPFR_RNDN); mpfr_add(r26078, r26074, r26077, MPFR_RNDN); return mpfr_get_d(r26078, MPFR_RNDN); } static mpfr_t r26079, r26080, r26081, r26082, r26083, r26084, r26085, r26086, r26087, r26088, r26089, r26090, r26091, r26092, r26093; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r26079); mpfr_init(r26080); mpfr_init(r26081); mpfr_init(r26082); mpfr_init(r26083); mpfr_init(r26084); mpfr_init(r26085); mpfr_init(r26086); mpfr_init(r26087); mpfr_init(r26088); mpfr_init(r26089); mpfr_init(r26090); mpfr_init(r26091); mpfr_init(r26092); mpfr_init(r26093); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r26079, x, MPFR_RNDN); mpfr_set_d(r26080, y, MPFR_RNDN); mpfr_mul(r26081, r26079, r26080, MPFR_RNDN); mpfr_set_d(r26082, z, MPFR_RNDN); mpfr_set_d(r26083, t, MPFR_RNDN); mpfr_mul(r26084, r26082, r26083, MPFR_RNDN); mpfr_add(r26085, r26081, r26084, MPFR_RNDN); mpfr_set_d(r26086, a, MPFR_RNDN); mpfr_set_d(r26087, b, MPFR_RNDN); mpfr_mul(r26088, r26086, r26087, MPFR_RNDN); mpfr_add(r26089, r26085, r26088, MPFR_RNDN); mpfr_set_d(r26090, c, MPFR_RNDN); mpfr_set_d(r26091, i, MPFR_RNDN); mpfr_mul(r26092, r26090, r26091, MPFR_RNDN); mpfr_add(r26093, r26089, r26092, MPFR_RNDN); return mpfr_get_d(r26093, MPFR_RNDN); } static mpfr_t r26094, r26095, r26096, r26097, r26098, r26099, r26100, r26101, r26102, r26103, r26104, r26105, r26106, r26107, r26108; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r26094); mpfr_init(r26095); mpfr_init(r26096); mpfr_init(r26097); mpfr_init(r26098); mpfr_init(r26099); mpfr_init(r26100); mpfr_init(r26101); mpfr_init(r26102); mpfr_init(r26103); mpfr_init(r26104); mpfr_init(r26105); mpfr_init(r26106); mpfr_init(r26107); mpfr_init(r26108); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r26094, x, MPFR_RNDN); mpfr_set_d(r26095, y, MPFR_RNDN); mpfr_mul(r26096, r26094, r26095, MPFR_RNDN); mpfr_set_d(r26097, z, MPFR_RNDN); mpfr_set_d(r26098, t, MPFR_RNDN); mpfr_mul(r26099, r26097, r26098, MPFR_RNDN); mpfr_add(r26100, r26096, r26099, MPFR_RNDN); mpfr_set_d(r26101, a, MPFR_RNDN); mpfr_set_d(r26102, b, MPFR_RNDN); mpfr_mul(r26103, r26101, r26102, MPFR_RNDN); mpfr_add(r26104, r26100, r26103, MPFR_RNDN); mpfr_set_d(r26105, c, MPFR_RNDN); mpfr_set_d(r26106, i, MPFR_RNDN); mpfr_mul(r26107, r26105, r26106, MPFR_RNDN); mpfr_add(r26108, r26104, r26107, MPFR_RNDN); return mpfr_get_d(r26108, MPFR_RNDN); }