#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 r23337 = x; float r23338 = y; float r23339 = r23337 * r23338; float r23340 = z; float r23341 = t; float r23342 = r23340 * r23341; float r23343 = r23339 + r23342; float r23344 = a; float r23345 = b; float r23346 = r23344 * r23345; float r23347 = r23343 + r23346; float r23348 = c; float r23349 = i; float r23350 = r23348 * r23349; float r23351 = r23347 + r23350; return r23351; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r23352 = x; double r23353 = y; double r23354 = r23352 * r23353; double r23355 = z; double r23356 = t; double r23357 = r23355 * r23356; double r23358 = r23354 + r23357; double r23359 = a; double r23360 = b; double r23361 = r23359 * r23360; double r23362 = r23358 + r23361; double r23363 = c; double r23364 = i; double r23365 = r23363 * r23364; double r23366 = r23362 + r23365; return r23366; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r23367 = x; float r23368 = y; float r23369 = r23367 * r23368; float r23370 = z; float r23371 = t; float r23372 = r23370 * r23371; float r23373 = r23369 + r23372; float r23374 = a; float r23375 = b; float r23376 = r23374 * r23375; float r23377 = r23373 + r23376; float r23378 = c; float r23379 = i; float r23380 = r23378 * r23379; float r23381 = r23377 + r23380; return r23381; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r23382 = x; double r23383 = y; double r23384 = r23382 * r23383; double r23385 = z; double r23386 = t; double r23387 = r23385 * r23386; double r23388 = r23384 + r23387; double r23389 = a; double r23390 = b; double r23391 = r23389 * r23390; double r23392 = r23388 + r23391; double r23393 = c; double r23394 = i; double r23395 = r23393 * r23394; double r23396 = r23392 + r23395; return r23396; } 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 r23397, r23398, r23399, r23400, r23401, r23402, r23403, r23404, r23405, r23406, r23407, r23408, r23409, r23410, r23411; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r23397); mpfr_init(r23398); mpfr_init(r23399); mpfr_init(r23400); mpfr_init(r23401); mpfr_init(r23402); mpfr_init(r23403); mpfr_init(r23404); mpfr_init(r23405); mpfr_init(r23406); mpfr_init(r23407); mpfr_init(r23408); mpfr_init(r23409); mpfr_init(r23410); mpfr_init(r23411); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23397, x, MPFR_RNDN); mpfr_set_d(r23398, y, MPFR_RNDN); mpfr_mul(r23399, r23397, r23398, MPFR_RNDN); mpfr_set_d(r23400, z, MPFR_RNDN); mpfr_set_d(r23401, t, MPFR_RNDN); mpfr_mul(r23402, r23400, r23401, MPFR_RNDN); mpfr_add(r23403, r23399, r23402, MPFR_RNDN); mpfr_set_d(r23404, a, MPFR_RNDN); mpfr_set_d(r23405, b, MPFR_RNDN); mpfr_mul(r23406, r23404, r23405, MPFR_RNDN); mpfr_add(r23407, r23403, r23406, MPFR_RNDN); mpfr_set_d(r23408, c, MPFR_RNDN); mpfr_set_d(r23409, i, MPFR_RNDN); mpfr_mul(r23410, r23408, r23409, MPFR_RNDN); mpfr_add(r23411, r23407, r23410, MPFR_RNDN); return mpfr_get_d(r23411, MPFR_RNDN); } static mpfr_t r23412, r23413, r23414, r23415, r23416, r23417, r23418, r23419, r23420, r23421, r23422, r23423, r23424, r23425, r23426; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r23412); mpfr_init(r23413); mpfr_init(r23414); mpfr_init(r23415); mpfr_init(r23416); mpfr_init(r23417); mpfr_init(r23418); mpfr_init(r23419); mpfr_init(r23420); mpfr_init(r23421); mpfr_init(r23422); mpfr_init(r23423); mpfr_init(r23424); mpfr_init(r23425); mpfr_init(r23426); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23412, x, MPFR_RNDN); mpfr_set_d(r23413, y, MPFR_RNDN); mpfr_mul(r23414, r23412, r23413, MPFR_RNDN); mpfr_set_d(r23415, z, MPFR_RNDN); mpfr_set_d(r23416, t, MPFR_RNDN); mpfr_mul(r23417, r23415, r23416, MPFR_RNDN); mpfr_add(r23418, r23414, r23417, MPFR_RNDN); mpfr_set_d(r23419, a, MPFR_RNDN); mpfr_set_d(r23420, b, MPFR_RNDN); mpfr_mul(r23421, r23419, r23420, MPFR_RNDN); mpfr_add(r23422, r23418, r23421, MPFR_RNDN); mpfr_set_d(r23423, c, MPFR_RNDN); mpfr_set_d(r23424, i, MPFR_RNDN); mpfr_mul(r23425, r23423, r23424, MPFR_RNDN); mpfr_add(r23426, r23422, r23425, MPFR_RNDN); return mpfr_get_d(r23426, MPFR_RNDN); } static mpfr_t r23427, r23428, r23429, r23430, r23431, r23432, r23433, r23434, r23435, r23436, r23437, r23438, r23439, r23440, r23441; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r23427); mpfr_init(r23428); mpfr_init(r23429); mpfr_init(r23430); mpfr_init(r23431); mpfr_init(r23432); mpfr_init(r23433); mpfr_init(r23434); mpfr_init(r23435); mpfr_init(r23436); mpfr_init(r23437); mpfr_init(r23438); mpfr_init(r23439); mpfr_init(r23440); mpfr_init(r23441); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23427, x, MPFR_RNDN); mpfr_set_d(r23428, y, MPFR_RNDN); mpfr_mul(r23429, r23427, r23428, MPFR_RNDN); mpfr_set_d(r23430, z, MPFR_RNDN); mpfr_set_d(r23431, t, MPFR_RNDN); mpfr_mul(r23432, r23430, r23431, MPFR_RNDN); mpfr_add(r23433, r23429, r23432, MPFR_RNDN); mpfr_set_d(r23434, a, MPFR_RNDN); mpfr_set_d(r23435, b, MPFR_RNDN); mpfr_mul(r23436, r23434, r23435, MPFR_RNDN); mpfr_add(r23437, r23433, r23436, MPFR_RNDN); mpfr_set_d(r23438, c, MPFR_RNDN); mpfr_set_d(r23439, i, MPFR_RNDN); mpfr_mul(r23440, r23438, r23439, MPFR_RNDN); mpfr_add(r23441, r23437, r23440, MPFR_RNDN); return mpfr_get_d(r23441, MPFR_RNDN); }