#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 r16518 = x; float r16519 = y; float r16520 = r16518 * r16519; float r16521 = z; float r16522 = t; float r16523 = r16521 * r16522; float r16524 = r16520 + r16523; float r16525 = a; float r16526 = b; float r16527 = r16525 * r16526; float r16528 = r16524 + r16527; float r16529 = c; float r16530 = i; float r16531 = r16529 * r16530; float r16532 = r16528 + r16531; return r16532; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r16533 = x; double r16534 = y; double r16535 = r16533 * r16534; double r16536 = z; double r16537 = t; double r16538 = r16536 * r16537; double r16539 = r16535 + r16538; double r16540 = a; double r16541 = b; double r16542 = r16540 * r16541; double r16543 = r16539 + r16542; double r16544 = c; double r16545 = i; double r16546 = r16544 * r16545; double r16547 = r16543 + r16546; return r16547; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r16548 = z; float r16549 = t; float r16550 = y; float r16551 = x; float r16552 = i; float r16553 = c; float r16554 = b; float r16555 = a; float r16556 = r16554 * r16555; float r16557 = fma(r16552, r16553, r16556); float r16558 = fma(r16550, r16551, r16557); float r16559 = fma(r16548, r16549, r16558); return r16559; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r16560 = z; double r16561 = t; double r16562 = y; double r16563 = x; double r16564 = i; double r16565 = c; double r16566 = b; double r16567 = a; double r16568 = r16566 * r16567; double r16569 = fma(r16564, r16565, r16568); double r16570 = fma(r16562, r16563, r16569); double r16571 = fma(r16560, r16561, r16570); return r16571; } 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 r16572, r16573, r16574, r16575, r16576, r16577, r16578, r16579, r16580, r16581, r16582, r16583, r16584, r16585, r16586; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r16572); mpfr_init(r16573); mpfr_init(r16574); mpfr_init(r16575); mpfr_init(r16576); mpfr_init(r16577); mpfr_init(r16578); mpfr_init(r16579); mpfr_init(r16580); mpfr_init(r16581); mpfr_init(r16582); mpfr_init(r16583); mpfr_init(r16584); mpfr_init(r16585); mpfr_init(r16586); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r16572, x, MPFR_RNDN); mpfr_set_d(r16573, y, MPFR_RNDN); mpfr_mul(r16574, r16572, r16573, MPFR_RNDN); mpfr_set_d(r16575, z, MPFR_RNDN); mpfr_set_d(r16576, t, MPFR_RNDN); mpfr_mul(r16577, r16575, r16576, MPFR_RNDN); mpfr_add(r16578, r16574, r16577, MPFR_RNDN); mpfr_set_d(r16579, a, MPFR_RNDN); mpfr_set_d(r16580, b, MPFR_RNDN); mpfr_mul(r16581, r16579, r16580, MPFR_RNDN); mpfr_add(r16582, r16578, r16581, MPFR_RNDN); mpfr_set_d(r16583, c, MPFR_RNDN); mpfr_set_d(r16584, i, MPFR_RNDN); mpfr_mul(r16585, r16583, r16584, MPFR_RNDN); mpfr_add(r16586, r16582, r16585, MPFR_RNDN); return mpfr_get_d(r16586, MPFR_RNDN); } static mpfr_t r16587, r16588, r16589, r16590, r16591, r16592, r16593, r16594, r16595, r16596, r16597, r16598; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r16587); mpfr_init(r16588); mpfr_init(r16589); mpfr_init(r16590); mpfr_init(r16591); mpfr_init(r16592); mpfr_init(r16593); mpfr_init(r16594); mpfr_init(r16595); mpfr_init(r16596); mpfr_init(r16597); mpfr_init(r16598); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r16587, z, MPFR_RNDN); mpfr_set_d(r16588, t, MPFR_RNDN); mpfr_set_d(r16589, y, MPFR_RNDN); mpfr_set_d(r16590, x, MPFR_RNDN); mpfr_set_d(r16591, i, MPFR_RNDN); mpfr_set_d(r16592, c, MPFR_RNDN); mpfr_set_d(r16593, b, MPFR_RNDN); mpfr_set_d(r16594, a, MPFR_RNDN); mpfr_mul(r16595, r16593, r16594, MPFR_RNDN); mpfr_fma(r16596, r16591, r16592, r16595, MPFR_RNDN); mpfr_fma(r16597, r16589, r16590, r16596, MPFR_RNDN); mpfr_fma(r16598, r16587, r16588, r16597, MPFR_RNDN); return mpfr_get_d(r16598, MPFR_RNDN); } static mpfr_t r16599, r16600, r16601, r16602, r16603, r16604, r16605, r16606, r16607, r16608, r16609, r16610; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r16599); mpfr_init(r16600); mpfr_init(r16601); mpfr_init(r16602); mpfr_init(r16603); mpfr_init(r16604); mpfr_init(r16605); mpfr_init(r16606); mpfr_init(r16607); mpfr_init(r16608); mpfr_init(r16609); mpfr_init(r16610); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r16599, z, MPFR_RNDN); mpfr_set_d(r16600, t, MPFR_RNDN); mpfr_set_d(r16601, y, MPFR_RNDN); mpfr_set_d(r16602, x, MPFR_RNDN); mpfr_set_d(r16603, i, MPFR_RNDN); mpfr_set_d(r16604, c, MPFR_RNDN); mpfr_set_d(r16605, b, MPFR_RNDN); mpfr_set_d(r16606, a, MPFR_RNDN); mpfr_mul(r16607, r16605, r16606, MPFR_RNDN); mpfr_fma(r16608, r16603, r16604, r16607, MPFR_RNDN); mpfr_fma(r16609, r16601, r16602, r16608, MPFR_RNDN); mpfr_fma(r16610, r16599, r16600, r16609, MPFR_RNDN); return mpfr_get_d(r16610, MPFR_RNDN); }