#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 r23026 = x; float r23027 = y; float r23028 = r23026 * r23027; float r23029 = z; float r23030 = t; float r23031 = r23029 * r23030; float r23032 = r23028 + r23031; float r23033 = a; float r23034 = b; float r23035 = r23033 * r23034; float r23036 = r23032 + r23035; float r23037 = c; float r23038 = i; float r23039 = r23037 * r23038; float r23040 = r23036 + r23039; return r23040; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r23041 = x; double r23042 = y; double r23043 = r23041 * r23042; double r23044 = z; double r23045 = t; double r23046 = r23044 * r23045; double r23047 = r23043 + r23046; double r23048 = a; double r23049 = b; double r23050 = r23048 * r23049; double r23051 = r23047 + r23050; double r23052 = c; double r23053 = i; double r23054 = r23052 * r23053; double r23055 = r23051 + r23054; return r23055; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r23056 = x; float r23057 = y; float r23058 = r23056 * r23057; float r23059 = z; float r23060 = t; float r23061 = r23059 * r23060; float r23062 = r23058 + r23061; float r23063 = a; float r23064 = b; float r23065 = r23063 * r23064; float r23066 = r23062 + r23065; float r23067 = c; float r23068 = i; float r23069 = r23067 * r23068; float r23070 = r23066 + r23069; return r23070; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r23071 = x; double r23072 = y; double r23073 = r23071 * r23072; double r23074 = z; double r23075 = t; double r23076 = r23074 * r23075; double r23077 = r23073 + r23076; double r23078 = a; double r23079 = b; double r23080 = r23078 * r23079; double r23081 = r23077 + r23080; double r23082 = c; double r23083 = i; double r23084 = r23082 * r23083; double r23085 = r23081 + r23084; return r23085; } 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 r23086, r23087, r23088, r23089, r23090, r23091, r23092, r23093, r23094, r23095, r23096, r23097, r23098, r23099, r23100; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r23086); mpfr_init(r23087); mpfr_init(r23088); mpfr_init(r23089); mpfr_init(r23090); mpfr_init(r23091); mpfr_init(r23092); mpfr_init(r23093); mpfr_init(r23094); mpfr_init(r23095); mpfr_init(r23096); mpfr_init(r23097); mpfr_init(r23098); mpfr_init(r23099); mpfr_init(r23100); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23086, x, MPFR_RNDN); mpfr_set_d(r23087, y, MPFR_RNDN); mpfr_mul(r23088, r23086, r23087, MPFR_RNDN); mpfr_set_d(r23089, z, MPFR_RNDN); mpfr_set_d(r23090, t, MPFR_RNDN); mpfr_mul(r23091, r23089, r23090, MPFR_RNDN); mpfr_add(r23092, r23088, r23091, MPFR_RNDN); mpfr_set_d(r23093, a, MPFR_RNDN); mpfr_set_d(r23094, b, MPFR_RNDN); mpfr_mul(r23095, r23093, r23094, MPFR_RNDN); mpfr_add(r23096, r23092, r23095, MPFR_RNDN); mpfr_set_d(r23097, c, MPFR_RNDN); mpfr_set_d(r23098, i, MPFR_RNDN); mpfr_mul(r23099, r23097, r23098, MPFR_RNDN); mpfr_add(r23100, r23096, r23099, MPFR_RNDN); return mpfr_get_d(r23100, MPFR_RNDN); } static mpfr_t r23101, r23102, r23103, r23104, r23105, r23106, r23107, r23108, r23109, r23110, r23111, r23112, r23113, r23114, r23115; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r23101); mpfr_init(r23102); mpfr_init(r23103); mpfr_init(r23104); mpfr_init(r23105); mpfr_init(r23106); mpfr_init(r23107); mpfr_init(r23108); mpfr_init(r23109); mpfr_init(r23110); mpfr_init(r23111); mpfr_init(r23112); mpfr_init(r23113); mpfr_init(r23114); mpfr_init(r23115); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23101, x, MPFR_RNDN); mpfr_set_d(r23102, y, MPFR_RNDN); mpfr_mul(r23103, r23101, r23102, MPFR_RNDN); mpfr_set_d(r23104, z, MPFR_RNDN); mpfr_set_d(r23105, t, MPFR_RNDN); mpfr_mul(r23106, r23104, r23105, MPFR_RNDN); mpfr_add(r23107, r23103, r23106, MPFR_RNDN); mpfr_set_d(r23108, a, MPFR_RNDN); mpfr_set_d(r23109, b, MPFR_RNDN); mpfr_mul(r23110, r23108, r23109, MPFR_RNDN); mpfr_add(r23111, r23107, r23110, MPFR_RNDN); mpfr_set_d(r23112, c, MPFR_RNDN); mpfr_set_d(r23113, i, MPFR_RNDN); mpfr_mul(r23114, r23112, r23113, MPFR_RNDN); mpfr_add(r23115, r23111, r23114, MPFR_RNDN); return mpfr_get_d(r23115, MPFR_RNDN); } static mpfr_t r23116, r23117, r23118, r23119, r23120, r23121, r23122, r23123, r23124, r23125, r23126, r23127, r23128, r23129, r23130; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r23116); mpfr_init(r23117); mpfr_init(r23118); mpfr_init(r23119); mpfr_init(r23120); mpfr_init(r23121); mpfr_init(r23122); mpfr_init(r23123); mpfr_init(r23124); mpfr_init(r23125); mpfr_init(r23126); mpfr_init(r23127); mpfr_init(r23128); mpfr_init(r23129); mpfr_init(r23130); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23116, x, MPFR_RNDN); mpfr_set_d(r23117, y, MPFR_RNDN); mpfr_mul(r23118, r23116, r23117, MPFR_RNDN); mpfr_set_d(r23119, z, MPFR_RNDN); mpfr_set_d(r23120, t, MPFR_RNDN); mpfr_mul(r23121, r23119, r23120, MPFR_RNDN); mpfr_add(r23122, r23118, r23121, MPFR_RNDN); mpfr_set_d(r23123, a, MPFR_RNDN); mpfr_set_d(r23124, b, MPFR_RNDN); mpfr_mul(r23125, r23123, r23124, MPFR_RNDN); mpfr_add(r23126, r23122, r23125, MPFR_RNDN); mpfr_set_d(r23127, c, MPFR_RNDN); mpfr_set_d(r23128, i, MPFR_RNDN); mpfr_mul(r23129, r23127, r23128, MPFR_RNDN); mpfr_add(r23130, r23126, r23129, MPFR_RNDN); return mpfr_get_d(r23130, MPFR_RNDN); }