#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 r25735 = x; float r25736 = y; float r25737 = r25735 * r25736; float r25738 = z; float r25739 = t; float r25740 = r25738 * r25739; float r25741 = r25737 + r25740; float r25742 = a; float r25743 = b; float r25744 = r25742 * r25743; float r25745 = r25741 + r25744; float r25746 = c; float r25747 = i; float r25748 = r25746 * r25747; float r25749 = r25745 + r25748; return r25749; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r25750 = x; double r25751 = y; double r25752 = r25750 * r25751; double r25753 = z; double r25754 = t; double r25755 = r25753 * r25754; double r25756 = r25752 + r25755; double r25757 = a; double r25758 = b; double r25759 = r25757 * r25758; double r25760 = r25756 + r25759; double r25761 = c; double r25762 = i; double r25763 = r25761 * r25762; double r25764 = r25760 + r25763; return r25764; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r25765 = x; float r25766 = y; float r25767 = r25765 * r25766; float r25768 = z; float r25769 = t; float r25770 = r25768 * r25769; float r25771 = r25767 + r25770; float r25772 = a; float r25773 = b; float r25774 = r25772 * r25773; float r25775 = r25771 + r25774; float r25776 = c; float r25777 = i; float r25778 = r25776 * r25777; float r25779 = r25775 + r25778; return r25779; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r25780 = x; double r25781 = y; double r25782 = r25780 * r25781; double r25783 = z; double r25784 = t; double r25785 = r25783 * r25784; double r25786 = r25782 + r25785; double r25787 = a; double r25788 = b; double r25789 = r25787 * r25788; double r25790 = r25786 + r25789; double r25791 = c; double r25792 = i; double r25793 = r25791 * r25792; double r25794 = r25790 + r25793; return r25794; } 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 r25795, r25796, r25797, r25798, r25799, r25800, r25801, r25802, r25803, r25804, r25805, r25806, r25807, r25808, r25809; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r25795); mpfr_init(r25796); mpfr_init(r25797); mpfr_init(r25798); mpfr_init(r25799); mpfr_init(r25800); mpfr_init(r25801); mpfr_init(r25802); mpfr_init(r25803); mpfr_init(r25804); mpfr_init(r25805); mpfr_init(r25806); mpfr_init(r25807); mpfr_init(r25808); mpfr_init(r25809); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r25795, x, MPFR_RNDN); mpfr_set_d(r25796, y, MPFR_RNDN); mpfr_mul(r25797, r25795, r25796, MPFR_RNDN); mpfr_set_d(r25798, z, MPFR_RNDN); mpfr_set_d(r25799, t, MPFR_RNDN); mpfr_mul(r25800, r25798, r25799, MPFR_RNDN); mpfr_add(r25801, r25797, r25800, MPFR_RNDN); mpfr_set_d(r25802, a, MPFR_RNDN); mpfr_set_d(r25803, b, MPFR_RNDN); mpfr_mul(r25804, r25802, r25803, MPFR_RNDN); mpfr_add(r25805, r25801, r25804, MPFR_RNDN); mpfr_set_d(r25806, c, MPFR_RNDN); mpfr_set_d(r25807, i, MPFR_RNDN); mpfr_mul(r25808, r25806, r25807, MPFR_RNDN); mpfr_add(r25809, r25805, r25808, MPFR_RNDN); return mpfr_get_d(r25809, MPFR_RNDN); } static mpfr_t r25810, r25811, r25812, r25813, r25814, r25815, r25816, r25817, r25818, r25819, r25820, r25821, r25822, r25823, r25824; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r25810); mpfr_init(r25811); mpfr_init(r25812); mpfr_init(r25813); mpfr_init(r25814); mpfr_init(r25815); mpfr_init(r25816); mpfr_init(r25817); mpfr_init(r25818); mpfr_init(r25819); mpfr_init(r25820); mpfr_init(r25821); mpfr_init(r25822); mpfr_init(r25823); mpfr_init(r25824); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r25810, x, MPFR_RNDN); mpfr_set_d(r25811, y, MPFR_RNDN); mpfr_mul(r25812, r25810, r25811, MPFR_RNDN); mpfr_set_d(r25813, z, MPFR_RNDN); mpfr_set_d(r25814, t, MPFR_RNDN); mpfr_mul(r25815, r25813, r25814, MPFR_RNDN); mpfr_add(r25816, r25812, r25815, MPFR_RNDN); mpfr_set_d(r25817, a, MPFR_RNDN); mpfr_set_d(r25818, b, MPFR_RNDN); mpfr_mul(r25819, r25817, r25818, MPFR_RNDN); mpfr_add(r25820, r25816, r25819, MPFR_RNDN); mpfr_set_d(r25821, c, MPFR_RNDN); mpfr_set_d(r25822, i, MPFR_RNDN); mpfr_mul(r25823, r25821, r25822, MPFR_RNDN); mpfr_add(r25824, r25820, r25823, MPFR_RNDN); return mpfr_get_d(r25824, MPFR_RNDN); } static mpfr_t r25825, r25826, r25827, r25828, r25829, r25830, r25831, r25832, r25833, r25834, r25835, r25836, r25837, r25838, r25839; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r25825); mpfr_init(r25826); mpfr_init(r25827); mpfr_init(r25828); mpfr_init(r25829); mpfr_init(r25830); mpfr_init(r25831); mpfr_init(r25832); mpfr_init(r25833); mpfr_init(r25834); mpfr_init(r25835); mpfr_init(r25836); mpfr_init(r25837); mpfr_init(r25838); mpfr_init(r25839); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r25825, x, MPFR_RNDN); mpfr_set_d(r25826, y, MPFR_RNDN); mpfr_mul(r25827, r25825, r25826, MPFR_RNDN); mpfr_set_d(r25828, z, MPFR_RNDN); mpfr_set_d(r25829, t, MPFR_RNDN); mpfr_mul(r25830, r25828, r25829, MPFR_RNDN); mpfr_add(r25831, r25827, r25830, MPFR_RNDN); mpfr_set_d(r25832, a, MPFR_RNDN); mpfr_set_d(r25833, b, MPFR_RNDN); mpfr_mul(r25834, r25832, r25833, MPFR_RNDN); mpfr_add(r25835, r25831, r25834, MPFR_RNDN); mpfr_set_d(r25836, c, MPFR_RNDN); mpfr_set_d(r25837, i, MPFR_RNDN); mpfr_mul(r25838, r25836, r25837, MPFR_RNDN); mpfr_add(r25839, r25835, r25838, MPFR_RNDN); return mpfr_get_d(r25839, MPFR_RNDN); }