#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 r26288 = x; float r26289 = y; float r26290 = r26288 * r26289; float r26291 = z; float r26292 = t; float r26293 = r26291 * r26292; float r26294 = r26290 + r26293; float r26295 = a; float r26296 = b; float r26297 = r26295 * r26296; float r26298 = r26294 + r26297; float r26299 = c; float r26300 = i; float r26301 = r26299 * r26300; float r26302 = r26298 + r26301; return r26302; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r26303 = x; double r26304 = y; double r26305 = r26303 * r26304; double r26306 = z; double r26307 = t; double r26308 = r26306 * r26307; double r26309 = r26305 + r26308; double r26310 = a; double r26311 = b; double r26312 = r26310 * r26311; double r26313 = r26309 + r26312; double r26314 = c; double r26315 = i; double r26316 = r26314 * r26315; double r26317 = r26313 + r26316; return r26317; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r26318 = x; float r26319 = y; float r26320 = r26318 * r26319; float r26321 = z; float r26322 = t; float r26323 = r26321 * r26322; float r26324 = r26320 + r26323; float r26325 = a; float r26326 = b; float r26327 = r26325 * r26326; float r26328 = r26324 + r26327; float r26329 = c; float r26330 = i; float r26331 = r26329 * r26330; float r26332 = r26328 + r26331; return r26332; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r26333 = x; double r26334 = y; double r26335 = r26333 * r26334; double r26336 = z; double r26337 = t; double r26338 = r26336 * r26337; double r26339 = r26335 + r26338; double r26340 = a; double r26341 = b; double r26342 = r26340 * r26341; double r26343 = r26339 + r26342; double r26344 = c; double r26345 = i; double r26346 = r26344 * r26345; double r26347 = r26343 + r26346; return r26347; } 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 r26348, r26349, r26350, r26351, r26352, r26353, r26354, r26355, r26356, r26357, r26358, r26359, r26360, r26361, r26362; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r26348); mpfr_init(r26349); mpfr_init(r26350); mpfr_init(r26351); mpfr_init(r26352); mpfr_init(r26353); mpfr_init(r26354); mpfr_init(r26355); mpfr_init(r26356); mpfr_init(r26357); mpfr_init(r26358); mpfr_init(r26359); mpfr_init(r26360); mpfr_init(r26361); mpfr_init(r26362); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r26348, x, MPFR_RNDN); mpfr_set_d(r26349, y, MPFR_RNDN); mpfr_mul(r26350, r26348, r26349, MPFR_RNDN); mpfr_set_d(r26351, z, MPFR_RNDN); mpfr_set_d(r26352, t, MPFR_RNDN); mpfr_mul(r26353, r26351, r26352, MPFR_RNDN); mpfr_add(r26354, r26350, r26353, MPFR_RNDN); mpfr_set_d(r26355, a, MPFR_RNDN); mpfr_set_d(r26356, b, MPFR_RNDN); mpfr_mul(r26357, r26355, r26356, MPFR_RNDN); mpfr_add(r26358, r26354, r26357, MPFR_RNDN); mpfr_set_d(r26359, c, MPFR_RNDN); mpfr_set_d(r26360, i, MPFR_RNDN); mpfr_mul(r26361, r26359, r26360, MPFR_RNDN); mpfr_add(r26362, r26358, r26361, MPFR_RNDN); return mpfr_get_d(r26362, MPFR_RNDN); } static mpfr_t r26363, r26364, r26365, r26366, r26367, r26368, r26369, r26370, r26371, r26372, r26373, r26374, r26375, r26376, r26377; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r26363); mpfr_init(r26364); mpfr_init(r26365); mpfr_init(r26366); mpfr_init(r26367); mpfr_init(r26368); mpfr_init(r26369); mpfr_init(r26370); mpfr_init(r26371); mpfr_init(r26372); mpfr_init(r26373); mpfr_init(r26374); mpfr_init(r26375); mpfr_init(r26376); mpfr_init(r26377); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r26363, x, MPFR_RNDN); mpfr_set_d(r26364, y, MPFR_RNDN); mpfr_mul(r26365, r26363, r26364, MPFR_RNDN); mpfr_set_d(r26366, z, MPFR_RNDN); mpfr_set_d(r26367, t, MPFR_RNDN); mpfr_mul(r26368, r26366, r26367, MPFR_RNDN); mpfr_add(r26369, r26365, r26368, MPFR_RNDN); mpfr_set_d(r26370, a, MPFR_RNDN); mpfr_set_d(r26371, b, MPFR_RNDN); mpfr_mul(r26372, r26370, r26371, MPFR_RNDN); mpfr_add(r26373, r26369, r26372, MPFR_RNDN); mpfr_set_d(r26374, c, MPFR_RNDN); mpfr_set_d(r26375, i, MPFR_RNDN); mpfr_mul(r26376, r26374, r26375, MPFR_RNDN); mpfr_add(r26377, r26373, r26376, MPFR_RNDN); return mpfr_get_d(r26377, MPFR_RNDN); } static mpfr_t r26378, r26379, r26380, r26381, r26382, r26383, r26384, r26385, r26386, r26387, r26388, r26389, r26390, r26391, r26392; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r26378); mpfr_init(r26379); mpfr_init(r26380); mpfr_init(r26381); mpfr_init(r26382); mpfr_init(r26383); mpfr_init(r26384); mpfr_init(r26385); mpfr_init(r26386); mpfr_init(r26387); mpfr_init(r26388); mpfr_init(r26389); mpfr_init(r26390); mpfr_init(r26391); mpfr_init(r26392); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r26378, x, MPFR_RNDN); mpfr_set_d(r26379, y, MPFR_RNDN); mpfr_mul(r26380, r26378, r26379, MPFR_RNDN); mpfr_set_d(r26381, z, MPFR_RNDN); mpfr_set_d(r26382, t, MPFR_RNDN); mpfr_mul(r26383, r26381, r26382, MPFR_RNDN); mpfr_add(r26384, r26380, r26383, MPFR_RNDN); mpfr_set_d(r26385, a, MPFR_RNDN); mpfr_set_d(r26386, b, MPFR_RNDN); mpfr_mul(r26387, r26385, r26386, MPFR_RNDN); mpfr_add(r26388, r26384, r26387, MPFR_RNDN); mpfr_set_d(r26389, c, MPFR_RNDN); mpfr_set_d(r26390, i, MPFR_RNDN); mpfr_mul(r26391, r26389, r26390, MPFR_RNDN); mpfr_add(r26392, r26388, r26391, MPFR_RNDN); return mpfr_get_d(r26392, MPFR_RNDN); }