#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 r21124 = x; float r21125 = y; float r21126 = r21124 * r21125; float r21127 = z; float r21128 = t; float r21129 = r21127 * r21128; float r21130 = r21126 + r21129; float r21131 = a; float r21132 = b; float r21133 = r21131 * r21132; float r21134 = r21130 + r21133; float r21135 = c; float r21136 = i; float r21137 = r21135 * r21136; float r21138 = r21134 + r21137; return r21138; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r21139 = x; double r21140 = y; double r21141 = r21139 * r21140; double r21142 = z; double r21143 = t; double r21144 = r21142 * r21143; double r21145 = r21141 + r21144; double r21146 = a; double r21147 = b; double r21148 = r21146 * r21147; double r21149 = r21145 + r21148; double r21150 = c; double r21151 = i; double r21152 = r21150 * r21151; double r21153 = r21149 + r21152; return r21153; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r21154 = x; float r21155 = y; float r21156 = r21154 * r21155; float r21157 = z; float r21158 = t; float r21159 = r21157 * r21158; float r21160 = r21156 + r21159; float r21161 = a; float r21162 = b; float r21163 = r21161 * r21162; float r21164 = r21160 + r21163; float r21165 = c; float r21166 = i; float r21167 = r21165 * r21166; float r21168 = r21164 + r21167; return r21168; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r21169 = x; double r21170 = y; double r21171 = r21169 * r21170; double r21172 = z; double r21173 = t; double r21174 = r21172 * r21173; double r21175 = r21171 + r21174; double r21176 = a; double r21177 = b; double r21178 = r21176 * r21177; double r21179 = r21175 + r21178; double r21180 = c; double r21181 = i; double r21182 = r21180 * r21181; double r21183 = r21179 + r21182; return r21183; } 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 r21184, r21185, r21186, r21187, r21188, r21189, r21190, r21191, r21192, r21193, r21194, r21195, r21196, r21197, r21198; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r21184); mpfr_init(r21185); mpfr_init(r21186); mpfr_init(r21187); mpfr_init(r21188); mpfr_init(r21189); mpfr_init(r21190); mpfr_init(r21191); mpfr_init(r21192); mpfr_init(r21193); mpfr_init(r21194); mpfr_init(r21195); mpfr_init(r21196); mpfr_init(r21197); mpfr_init(r21198); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r21184, x, MPFR_RNDN); mpfr_set_d(r21185, y, MPFR_RNDN); mpfr_mul(r21186, r21184, r21185, MPFR_RNDN); mpfr_set_d(r21187, z, MPFR_RNDN); mpfr_set_d(r21188, t, MPFR_RNDN); mpfr_mul(r21189, r21187, r21188, MPFR_RNDN); mpfr_add(r21190, r21186, r21189, MPFR_RNDN); mpfr_set_d(r21191, a, MPFR_RNDN); mpfr_set_d(r21192, b, MPFR_RNDN); mpfr_mul(r21193, r21191, r21192, MPFR_RNDN); mpfr_add(r21194, r21190, r21193, MPFR_RNDN); mpfr_set_d(r21195, c, MPFR_RNDN); mpfr_set_d(r21196, i, MPFR_RNDN); mpfr_mul(r21197, r21195, r21196, MPFR_RNDN); mpfr_add(r21198, r21194, r21197, MPFR_RNDN); return mpfr_get_d(r21198, MPFR_RNDN); } static mpfr_t r21199, r21200, r21201, r21202, r21203, r21204, r21205, r21206, r21207, r21208, r21209, r21210, r21211, r21212, r21213; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r21199); mpfr_init(r21200); mpfr_init(r21201); mpfr_init(r21202); mpfr_init(r21203); mpfr_init(r21204); mpfr_init(r21205); mpfr_init(r21206); mpfr_init(r21207); mpfr_init(r21208); mpfr_init(r21209); mpfr_init(r21210); mpfr_init(r21211); mpfr_init(r21212); mpfr_init(r21213); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r21199, x, MPFR_RNDN); mpfr_set_d(r21200, y, MPFR_RNDN); mpfr_mul(r21201, r21199, r21200, MPFR_RNDN); mpfr_set_d(r21202, z, MPFR_RNDN); mpfr_set_d(r21203, t, MPFR_RNDN); mpfr_mul(r21204, r21202, r21203, MPFR_RNDN); mpfr_add(r21205, r21201, r21204, MPFR_RNDN); mpfr_set_d(r21206, a, MPFR_RNDN); mpfr_set_d(r21207, b, MPFR_RNDN); mpfr_mul(r21208, r21206, r21207, MPFR_RNDN); mpfr_add(r21209, r21205, r21208, MPFR_RNDN); mpfr_set_d(r21210, c, MPFR_RNDN); mpfr_set_d(r21211, i, MPFR_RNDN); mpfr_mul(r21212, r21210, r21211, MPFR_RNDN); mpfr_add(r21213, r21209, r21212, MPFR_RNDN); return mpfr_get_d(r21213, MPFR_RNDN); } static mpfr_t r21214, r21215, r21216, r21217, r21218, r21219, r21220, r21221, r21222, r21223, r21224, r21225, r21226, r21227, r21228; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r21214); mpfr_init(r21215); mpfr_init(r21216); mpfr_init(r21217); mpfr_init(r21218); mpfr_init(r21219); mpfr_init(r21220); mpfr_init(r21221); mpfr_init(r21222); mpfr_init(r21223); mpfr_init(r21224); mpfr_init(r21225); mpfr_init(r21226); mpfr_init(r21227); mpfr_init(r21228); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r21214, x, MPFR_RNDN); mpfr_set_d(r21215, y, MPFR_RNDN); mpfr_mul(r21216, r21214, r21215, MPFR_RNDN); mpfr_set_d(r21217, z, MPFR_RNDN); mpfr_set_d(r21218, t, MPFR_RNDN); mpfr_mul(r21219, r21217, r21218, MPFR_RNDN); mpfr_add(r21220, r21216, r21219, MPFR_RNDN); mpfr_set_d(r21221, a, MPFR_RNDN); mpfr_set_d(r21222, b, MPFR_RNDN); mpfr_mul(r21223, r21221, r21222, MPFR_RNDN); mpfr_add(r21224, r21220, r21223, MPFR_RNDN); mpfr_set_d(r21225, c, MPFR_RNDN); mpfr_set_d(r21226, i, MPFR_RNDN); mpfr_mul(r21227, r21225, r21226, MPFR_RNDN); mpfr_add(r21228, r21224, r21227, MPFR_RNDN); return mpfr_get_d(r21228, MPFR_RNDN); }