#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 r23762 = x; float r23763 = y; float r23764 = r23762 * r23763; float r23765 = z; float r23766 = t; float r23767 = r23765 * r23766; float r23768 = r23764 + r23767; float r23769 = a; float r23770 = b; float r23771 = r23769 * r23770; float r23772 = r23768 + r23771; float r23773 = c; float r23774 = i; float r23775 = r23773 * r23774; float r23776 = r23772 + r23775; return r23776; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r23777 = x; double r23778 = y; double r23779 = r23777 * r23778; double r23780 = z; double r23781 = t; double r23782 = r23780 * r23781; double r23783 = r23779 + r23782; double r23784 = a; double r23785 = b; double r23786 = r23784 * r23785; double r23787 = r23783 + r23786; double r23788 = c; double r23789 = i; double r23790 = r23788 * r23789; double r23791 = r23787 + r23790; return r23791; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r23792 = x; float r23793 = y; float r23794 = r23792 * r23793; float r23795 = z; float r23796 = t; float r23797 = r23795 * r23796; float r23798 = r23794 + r23797; float r23799 = a; float r23800 = b; float r23801 = r23799 * r23800; float r23802 = r23798 + r23801; float r23803 = c; float r23804 = i; float r23805 = r23803 * r23804; float r23806 = r23802 + r23805; return r23806; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r23807 = x; double r23808 = y; double r23809 = r23807 * r23808; double r23810 = z; double r23811 = t; double r23812 = r23810 * r23811; double r23813 = r23809 + r23812; double r23814 = a; double r23815 = b; double r23816 = r23814 * r23815; double r23817 = r23813 + r23816; double r23818 = c; double r23819 = i; double r23820 = r23818 * r23819; double r23821 = r23817 + r23820; return r23821; } 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 r23822, r23823, r23824, r23825, r23826, r23827, r23828, r23829, r23830, r23831, r23832, r23833, r23834, r23835, r23836; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r23822); mpfr_init(r23823); mpfr_init(r23824); mpfr_init(r23825); mpfr_init(r23826); mpfr_init(r23827); mpfr_init(r23828); mpfr_init(r23829); mpfr_init(r23830); mpfr_init(r23831); mpfr_init(r23832); mpfr_init(r23833); mpfr_init(r23834); mpfr_init(r23835); mpfr_init(r23836); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23822, x, MPFR_RNDN); mpfr_set_d(r23823, y, MPFR_RNDN); mpfr_mul(r23824, r23822, r23823, MPFR_RNDN); mpfr_set_d(r23825, z, MPFR_RNDN); mpfr_set_d(r23826, t, MPFR_RNDN); mpfr_mul(r23827, r23825, r23826, MPFR_RNDN); mpfr_add(r23828, r23824, r23827, MPFR_RNDN); mpfr_set_d(r23829, a, MPFR_RNDN); mpfr_set_d(r23830, b, MPFR_RNDN); mpfr_mul(r23831, r23829, r23830, MPFR_RNDN); mpfr_add(r23832, r23828, r23831, MPFR_RNDN); mpfr_set_d(r23833, c, MPFR_RNDN); mpfr_set_d(r23834, i, MPFR_RNDN); mpfr_mul(r23835, r23833, r23834, MPFR_RNDN); mpfr_add(r23836, r23832, r23835, MPFR_RNDN); return mpfr_get_d(r23836, MPFR_RNDN); } static mpfr_t r23837, r23838, r23839, r23840, r23841, r23842, r23843, r23844, r23845, r23846, r23847, r23848, r23849, r23850, r23851; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r23837); mpfr_init(r23838); mpfr_init(r23839); mpfr_init(r23840); mpfr_init(r23841); mpfr_init(r23842); mpfr_init(r23843); mpfr_init(r23844); mpfr_init(r23845); mpfr_init(r23846); mpfr_init(r23847); mpfr_init(r23848); mpfr_init(r23849); mpfr_init(r23850); mpfr_init(r23851); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23837, x, MPFR_RNDN); mpfr_set_d(r23838, y, MPFR_RNDN); mpfr_mul(r23839, r23837, r23838, MPFR_RNDN); mpfr_set_d(r23840, z, MPFR_RNDN); mpfr_set_d(r23841, t, MPFR_RNDN); mpfr_mul(r23842, r23840, r23841, MPFR_RNDN); mpfr_add(r23843, r23839, r23842, MPFR_RNDN); mpfr_set_d(r23844, a, MPFR_RNDN); mpfr_set_d(r23845, b, MPFR_RNDN); mpfr_mul(r23846, r23844, r23845, MPFR_RNDN); mpfr_add(r23847, r23843, r23846, MPFR_RNDN); mpfr_set_d(r23848, c, MPFR_RNDN); mpfr_set_d(r23849, i, MPFR_RNDN); mpfr_mul(r23850, r23848, r23849, MPFR_RNDN); mpfr_add(r23851, r23847, r23850, MPFR_RNDN); return mpfr_get_d(r23851, MPFR_RNDN); } static mpfr_t r23852, r23853, r23854, r23855, r23856, r23857, r23858, r23859, r23860, r23861, r23862, r23863, r23864, r23865, r23866; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r23852); mpfr_init(r23853); mpfr_init(r23854); mpfr_init(r23855); mpfr_init(r23856); mpfr_init(r23857); mpfr_init(r23858); mpfr_init(r23859); mpfr_init(r23860); mpfr_init(r23861); mpfr_init(r23862); mpfr_init(r23863); mpfr_init(r23864); mpfr_init(r23865); mpfr_init(r23866); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23852, x, MPFR_RNDN); mpfr_set_d(r23853, y, MPFR_RNDN); mpfr_mul(r23854, r23852, r23853, MPFR_RNDN); mpfr_set_d(r23855, z, MPFR_RNDN); mpfr_set_d(r23856, t, MPFR_RNDN); mpfr_mul(r23857, r23855, r23856, MPFR_RNDN); mpfr_add(r23858, r23854, r23857, MPFR_RNDN); mpfr_set_d(r23859, a, MPFR_RNDN); mpfr_set_d(r23860, b, MPFR_RNDN); mpfr_mul(r23861, r23859, r23860, MPFR_RNDN); mpfr_add(r23862, r23858, r23861, MPFR_RNDN); mpfr_set_d(r23863, c, MPFR_RNDN); mpfr_set_d(r23864, i, MPFR_RNDN); mpfr_mul(r23865, r23863, r23864, MPFR_RNDN); mpfr_add(r23866, r23862, r23865, MPFR_RNDN); return mpfr_get_d(r23866, MPFR_RNDN); }