#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 r24033 = x; float r24034 = y; float r24035 = r24033 * r24034; float r24036 = z; float r24037 = t; float r24038 = r24036 * r24037; float r24039 = r24035 + r24038; float r24040 = a; float r24041 = b; float r24042 = r24040 * r24041; float r24043 = r24039 + r24042; float r24044 = c; float r24045 = i; float r24046 = r24044 * r24045; float r24047 = r24043 + r24046; return r24047; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r24048 = x; double r24049 = y; double r24050 = r24048 * r24049; double r24051 = z; double r24052 = t; double r24053 = r24051 * r24052; double r24054 = r24050 + r24053; double r24055 = a; double r24056 = b; double r24057 = r24055 * r24056; double r24058 = r24054 + r24057; double r24059 = c; double r24060 = i; double r24061 = r24059 * r24060; double r24062 = r24058 + r24061; return r24062; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r24063 = x; float r24064 = y; float r24065 = r24063 * r24064; float r24066 = z; float r24067 = t; float r24068 = r24066 * r24067; float r24069 = r24065 + r24068; float r24070 = a; float r24071 = b; float r24072 = r24070 * r24071; float r24073 = r24069 + r24072; float r24074 = c; float r24075 = i; float r24076 = r24074 * r24075; float r24077 = r24073 + r24076; return r24077; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r24078 = x; double r24079 = y; double r24080 = r24078 * r24079; double r24081 = z; double r24082 = t; double r24083 = r24081 * r24082; double r24084 = r24080 + r24083; double r24085 = a; double r24086 = b; double r24087 = r24085 * r24086; double r24088 = r24084 + r24087; double r24089 = c; double r24090 = i; double r24091 = r24089 * r24090; double r24092 = r24088 + r24091; return r24092; } 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 r24093, r24094, r24095, r24096, r24097, r24098, r24099, r24100, r24101, r24102, r24103, r24104, r24105, r24106, r24107; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r24093); mpfr_init(r24094); mpfr_init(r24095); mpfr_init(r24096); mpfr_init(r24097); mpfr_init(r24098); mpfr_init(r24099); mpfr_init(r24100); mpfr_init(r24101); mpfr_init(r24102); mpfr_init(r24103); mpfr_init(r24104); mpfr_init(r24105); mpfr_init(r24106); mpfr_init(r24107); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r24093, x, MPFR_RNDN); mpfr_set_d(r24094, y, MPFR_RNDN); mpfr_mul(r24095, r24093, r24094, MPFR_RNDN); mpfr_set_d(r24096, z, MPFR_RNDN); mpfr_set_d(r24097, t, MPFR_RNDN); mpfr_mul(r24098, r24096, r24097, MPFR_RNDN); mpfr_add(r24099, r24095, r24098, MPFR_RNDN); mpfr_set_d(r24100, a, MPFR_RNDN); mpfr_set_d(r24101, b, MPFR_RNDN); mpfr_mul(r24102, r24100, r24101, MPFR_RNDN); mpfr_add(r24103, r24099, r24102, MPFR_RNDN); mpfr_set_d(r24104, c, MPFR_RNDN); mpfr_set_d(r24105, i, MPFR_RNDN); mpfr_mul(r24106, r24104, r24105, MPFR_RNDN); mpfr_add(r24107, r24103, r24106, MPFR_RNDN); return mpfr_get_d(r24107, MPFR_RNDN); } static mpfr_t r24108, r24109, r24110, r24111, r24112, r24113, r24114, r24115, r24116, r24117, r24118, r24119, r24120, r24121, r24122; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r24108); mpfr_init(r24109); mpfr_init(r24110); mpfr_init(r24111); mpfr_init(r24112); mpfr_init(r24113); mpfr_init(r24114); mpfr_init(r24115); mpfr_init(r24116); mpfr_init(r24117); mpfr_init(r24118); mpfr_init(r24119); mpfr_init(r24120); mpfr_init(r24121); mpfr_init(r24122); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r24108, x, MPFR_RNDN); mpfr_set_d(r24109, y, MPFR_RNDN); mpfr_mul(r24110, r24108, r24109, MPFR_RNDN); mpfr_set_d(r24111, z, MPFR_RNDN); mpfr_set_d(r24112, t, MPFR_RNDN); mpfr_mul(r24113, r24111, r24112, MPFR_RNDN); mpfr_add(r24114, r24110, r24113, MPFR_RNDN); mpfr_set_d(r24115, a, MPFR_RNDN); mpfr_set_d(r24116, b, MPFR_RNDN); mpfr_mul(r24117, r24115, r24116, MPFR_RNDN); mpfr_add(r24118, r24114, r24117, MPFR_RNDN); mpfr_set_d(r24119, c, MPFR_RNDN); mpfr_set_d(r24120, i, MPFR_RNDN); mpfr_mul(r24121, r24119, r24120, MPFR_RNDN); mpfr_add(r24122, r24118, r24121, MPFR_RNDN); return mpfr_get_d(r24122, MPFR_RNDN); } static mpfr_t r24123, r24124, r24125, r24126, r24127, r24128, r24129, r24130, r24131, r24132, r24133, r24134, r24135, r24136, r24137; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r24123); mpfr_init(r24124); mpfr_init(r24125); mpfr_init(r24126); mpfr_init(r24127); mpfr_init(r24128); mpfr_init(r24129); mpfr_init(r24130); mpfr_init(r24131); mpfr_init(r24132); mpfr_init(r24133); mpfr_init(r24134); mpfr_init(r24135); mpfr_init(r24136); mpfr_init(r24137); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r24123, x, MPFR_RNDN); mpfr_set_d(r24124, y, MPFR_RNDN); mpfr_mul(r24125, r24123, r24124, MPFR_RNDN); mpfr_set_d(r24126, z, MPFR_RNDN); mpfr_set_d(r24127, t, MPFR_RNDN); mpfr_mul(r24128, r24126, r24127, MPFR_RNDN); mpfr_add(r24129, r24125, r24128, MPFR_RNDN); mpfr_set_d(r24130, a, MPFR_RNDN); mpfr_set_d(r24131, b, MPFR_RNDN); mpfr_mul(r24132, r24130, r24131, MPFR_RNDN); mpfr_add(r24133, r24129, r24132, MPFR_RNDN); mpfr_set_d(r24134, c, MPFR_RNDN); mpfr_set_d(r24135, i, MPFR_RNDN); mpfr_mul(r24136, r24134, r24135, MPFR_RNDN); mpfr_add(r24137, r24133, r24136, MPFR_RNDN); return mpfr_get_d(r24137, MPFR_RNDN); }