#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 r26127 = x; float r26128 = y; float r26129 = r26127 * r26128; float r26130 = z; float r26131 = t; float r26132 = r26130 * r26131; float r26133 = r26129 + r26132; float r26134 = a; float r26135 = b; float r26136 = r26134 * r26135; float r26137 = r26133 + r26136; float r26138 = c; float r26139 = i; float r26140 = r26138 * r26139; float r26141 = r26137 + r26140; return r26141; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r26142 = x; double r26143 = y; double r26144 = r26142 * r26143; double r26145 = z; double r26146 = t; double r26147 = r26145 * r26146; double r26148 = r26144 + r26147; double r26149 = a; double r26150 = b; double r26151 = r26149 * r26150; double r26152 = r26148 + r26151; double r26153 = c; double r26154 = i; double r26155 = r26153 * r26154; double r26156 = r26152 + r26155; return r26156; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r26157 = x; float r26158 = y; float r26159 = r26157 * r26158; float r26160 = z; float r26161 = t; float r26162 = r26160 * r26161; float r26163 = r26159 + r26162; float r26164 = a; float r26165 = b; float r26166 = r26164 * r26165; float r26167 = r26163 + r26166; float r26168 = c; float r26169 = i; float r26170 = r26168 * r26169; float r26171 = r26167 + r26170; return r26171; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r26172 = x; double r26173 = y; double r26174 = r26172 * r26173; double r26175 = z; double r26176 = t; double r26177 = r26175 * r26176; double r26178 = r26174 + r26177; double r26179 = a; double r26180 = b; double r26181 = r26179 * r26180; double r26182 = r26178 + r26181; double r26183 = c; double r26184 = i; double r26185 = r26183 * r26184; double r26186 = r26182 + r26185; return r26186; } 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 r26187, r26188, r26189, r26190, r26191, r26192, r26193, r26194, r26195, r26196, r26197, r26198, r26199, r26200, r26201; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r26187); mpfr_init(r26188); mpfr_init(r26189); mpfr_init(r26190); mpfr_init(r26191); mpfr_init(r26192); mpfr_init(r26193); mpfr_init(r26194); mpfr_init(r26195); mpfr_init(r26196); mpfr_init(r26197); mpfr_init(r26198); mpfr_init(r26199); mpfr_init(r26200); mpfr_init(r26201); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r26187, x, MPFR_RNDN); mpfr_set_d(r26188, y, MPFR_RNDN); mpfr_mul(r26189, r26187, r26188, MPFR_RNDN); mpfr_set_d(r26190, z, MPFR_RNDN); mpfr_set_d(r26191, t, MPFR_RNDN); mpfr_mul(r26192, r26190, r26191, MPFR_RNDN); mpfr_add(r26193, r26189, r26192, MPFR_RNDN); mpfr_set_d(r26194, a, MPFR_RNDN); mpfr_set_d(r26195, b, MPFR_RNDN); mpfr_mul(r26196, r26194, r26195, MPFR_RNDN); mpfr_add(r26197, r26193, r26196, MPFR_RNDN); mpfr_set_d(r26198, c, MPFR_RNDN); mpfr_set_d(r26199, i, MPFR_RNDN); mpfr_mul(r26200, r26198, r26199, MPFR_RNDN); mpfr_add(r26201, r26197, r26200, MPFR_RNDN); return mpfr_get_d(r26201, MPFR_RNDN); } static mpfr_t r26202, r26203, r26204, r26205, r26206, r26207, r26208, r26209, r26210, r26211, r26212, r26213, r26214, r26215, r26216; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r26202); mpfr_init(r26203); mpfr_init(r26204); mpfr_init(r26205); mpfr_init(r26206); mpfr_init(r26207); mpfr_init(r26208); mpfr_init(r26209); mpfr_init(r26210); mpfr_init(r26211); mpfr_init(r26212); mpfr_init(r26213); mpfr_init(r26214); mpfr_init(r26215); mpfr_init(r26216); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r26202, x, MPFR_RNDN); mpfr_set_d(r26203, y, MPFR_RNDN); mpfr_mul(r26204, r26202, r26203, MPFR_RNDN); mpfr_set_d(r26205, z, MPFR_RNDN); mpfr_set_d(r26206, t, MPFR_RNDN); mpfr_mul(r26207, r26205, r26206, MPFR_RNDN); mpfr_add(r26208, r26204, r26207, MPFR_RNDN); mpfr_set_d(r26209, a, MPFR_RNDN); mpfr_set_d(r26210, b, MPFR_RNDN); mpfr_mul(r26211, r26209, r26210, MPFR_RNDN); mpfr_add(r26212, r26208, r26211, MPFR_RNDN); mpfr_set_d(r26213, c, MPFR_RNDN); mpfr_set_d(r26214, i, MPFR_RNDN); mpfr_mul(r26215, r26213, r26214, MPFR_RNDN); mpfr_add(r26216, r26212, r26215, MPFR_RNDN); return mpfr_get_d(r26216, MPFR_RNDN); } static mpfr_t r26217, r26218, r26219, r26220, r26221, r26222, r26223, r26224, r26225, r26226, r26227, r26228, r26229, r26230, r26231; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r26217); mpfr_init(r26218); mpfr_init(r26219); mpfr_init(r26220); mpfr_init(r26221); mpfr_init(r26222); mpfr_init(r26223); mpfr_init(r26224); mpfr_init(r26225); mpfr_init(r26226); mpfr_init(r26227); mpfr_init(r26228); mpfr_init(r26229); mpfr_init(r26230); mpfr_init(r26231); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r26217, x, MPFR_RNDN); mpfr_set_d(r26218, y, MPFR_RNDN); mpfr_mul(r26219, r26217, r26218, MPFR_RNDN); mpfr_set_d(r26220, z, MPFR_RNDN); mpfr_set_d(r26221, t, MPFR_RNDN); mpfr_mul(r26222, r26220, r26221, MPFR_RNDN); mpfr_add(r26223, r26219, r26222, MPFR_RNDN); mpfr_set_d(r26224, a, MPFR_RNDN); mpfr_set_d(r26225, b, MPFR_RNDN); mpfr_mul(r26226, r26224, r26225, MPFR_RNDN); mpfr_add(r26227, r26223, r26226, MPFR_RNDN); mpfr_set_d(r26228, c, MPFR_RNDN); mpfr_set_d(r26229, i, MPFR_RNDN); mpfr_mul(r26230, r26228, r26229, MPFR_RNDN); mpfr_add(r26231, r26227, r26230, MPFR_RNDN); return mpfr_get_d(r26231, MPFR_RNDN); }