#include #include #include #include #include char *name = "Linear.V4:$cdot from linear-1.19.1.3, C"; double f_if(float x, float y, float z, float t, float a, float b, float c, float i) { float r43631 = x; float r43632 = y; float r43633 = r43631 * r43632; float r43634 = z; float r43635 = t; float r43636 = r43634 * r43635; float r43637 = r43633 + r43636; float r43638 = a; float r43639 = b; float r43640 = r43638 * r43639; float r43641 = r43637 + r43640; float r43642 = c; float r43643 = i; float r43644 = r43642 * r43643; float r43645 = r43641 + r43644; return r43645; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r43646 = x; double r43647 = y; double r43648 = r43646 * r43647; double r43649 = z; double r43650 = t; double r43651 = r43649 * r43650; double r43652 = r43648 + r43651; double r43653 = a; double r43654 = b; double r43655 = r43653 * r43654; double r43656 = r43652 + r43655; double r43657 = c; double r43658 = i; double r43659 = r43657 * r43658; double r43660 = r43656 + r43659; return r43660; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r43661 = x; float r43662 = y; float r43663 = r43661 * r43662; float r43664 = z; float r43665 = t; float r43666 = r43664 * r43665; float r43667 = r43663 + r43666; float r43668 = a; float r43669 = b; float r43670 = r43668 * r43669; float r43671 = r43667 + r43670; float r43672 = c; float r43673 = i; float r43674 = r43672 * r43673; float r43675 = r43671 + r43674; return r43675; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r43676 = x; double r43677 = y; double r43678 = r43676 * r43677; double r43679 = z; double r43680 = t; double r43681 = r43679 * r43680; double r43682 = r43678 + r43681; double r43683 = a; double r43684 = b; double r43685 = r43683 * r43684; double r43686 = r43682 + r43685; double r43687 = c; double r43688 = i; double r43689 = r43687 * r43688; double r43690 = r43686 + r43689; return r43690; } 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 r43691, r43692, r43693, r43694, r43695, r43696, r43697, r43698, r43699, r43700, r43701, r43702, r43703, r43704, r43705; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r43691); mpfr_init(r43692); mpfr_init(r43693); mpfr_init(r43694); mpfr_init(r43695); mpfr_init(r43696); mpfr_init(r43697); mpfr_init(r43698); mpfr_init(r43699); mpfr_init(r43700); mpfr_init(r43701); mpfr_init(r43702); mpfr_init(r43703); mpfr_init(r43704); mpfr_init(r43705); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r43691, x, MPFR_RNDN); mpfr_set_d(r43692, y, MPFR_RNDN); mpfr_mul(r43693, r43691, r43692, MPFR_RNDN); mpfr_set_d(r43694, z, MPFR_RNDN); mpfr_set_d(r43695, t, MPFR_RNDN); mpfr_mul(r43696, r43694, r43695, MPFR_RNDN); mpfr_add(r43697, r43693, r43696, MPFR_RNDN); mpfr_set_d(r43698, a, MPFR_RNDN); mpfr_set_d(r43699, b, MPFR_RNDN); mpfr_mul(r43700, r43698, r43699, MPFR_RNDN); mpfr_add(r43701, r43697, r43700, MPFR_RNDN); mpfr_set_d(r43702, c, MPFR_RNDN); mpfr_set_d(r43703, i, MPFR_RNDN); mpfr_mul(r43704, r43702, r43703, MPFR_RNDN); mpfr_add(r43705, r43701, r43704, MPFR_RNDN); return mpfr_get_d(r43705, MPFR_RNDN); } static mpfr_t r43706, r43707, r43708, r43709, r43710, r43711, r43712, r43713, r43714, r43715, r43716, r43717, r43718, r43719, r43720; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r43706); mpfr_init(r43707); mpfr_init(r43708); mpfr_init(r43709); mpfr_init(r43710); mpfr_init(r43711); mpfr_init(r43712); mpfr_init(r43713); mpfr_init(r43714); mpfr_init(r43715); mpfr_init(r43716); mpfr_init(r43717); mpfr_init(r43718); mpfr_init(r43719); mpfr_init(r43720); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r43706, x, MPFR_RNDN); mpfr_set_d(r43707, y, MPFR_RNDN); mpfr_mul(r43708, r43706, r43707, MPFR_RNDN); mpfr_set_d(r43709, z, MPFR_RNDN); mpfr_set_d(r43710, t, MPFR_RNDN); mpfr_mul(r43711, r43709, r43710, MPFR_RNDN); mpfr_add(r43712, r43708, r43711, MPFR_RNDN); mpfr_set_d(r43713, a, MPFR_RNDN); mpfr_set_d(r43714, b, MPFR_RNDN); mpfr_mul(r43715, r43713, r43714, MPFR_RNDN); mpfr_add(r43716, r43712, r43715, MPFR_RNDN); mpfr_set_d(r43717, c, MPFR_RNDN); mpfr_set_d(r43718, i, MPFR_RNDN); mpfr_mul(r43719, r43717, r43718, MPFR_RNDN); mpfr_add(r43720, r43716, r43719, MPFR_RNDN); return mpfr_get_d(r43720, MPFR_RNDN); } static mpfr_t r43721, r43722, r43723, r43724, r43725, r43726, r43727, r43728, r43729, r43730, r43731, r43732, r43733, r43734, r43735; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r43721); mpfr_init(r43722); mpfr_init(r43723); mpfr_init(r43724); mpfr_init(r43725); mpfr_init(r43726); mpfr_init(r43727); mpfr_init(r43728); mpfr_init(r43729); mpfr_init(r43730); mpfr_init(r43731); mpfr_init(r43732); mpfr_init(r43733); mpfr_init(r43734); mpfr_init(r43735); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r43721, x, MPFR_RNDN); mpfr_set_d(r43722, y, MPFR_RNDN); mpfr_mul(r43723, r43721, r43722, MPFR_RNDN); mpfr_set_d(r43724, z, MPFR_RNDN); mpfr_set_d(r43725, t, MPFR_RNDN); mpfr_mul(r43726, r43724, r43725, MPFR_RNDN); mpfr_add(r43727, r43723, r43726, MPFR_RNDN); mpfr_set_d(r43728, a, MPFR_RNDN); mpfr_set_d(r43729, b, MPFR_RNDN); mpfr_mul(r43730, r43728, r43729, MPFR_RNDN); mpfr_add(r43731, r43727, r43730, MPFR_RNDN); mpfr_set_d(r43732, c, MPFR_RNDN); mpfr_set_d(r43733, i, MPFR_RNDN); mpfr_mul(r43734, r43732, r43733, MPFR_RNDN); mpfr_add(r43735, r43731, r43734, MPFR_RNDN); return mpfr_get_d(r43735, MPFR_RNDN); }