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