#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 r10167 = x; float r10168 = y; float r10169 = r10167 * r10168; float r10170 = z; float r10171 = t; float r10172 = r10170 * r10171; float r10173 = r10169 + r10172; float r10174 = a; float r10175 = b; float r10176 = r10174 * r10175; float r10177 = r10173 + r10176; float r10178 = c; float r10179 = i; float r10180 = r10178 * r10179; float r10181 = r10177 + r10180; return r10181; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r10182 = x; double r10183 = y; double r10184 = r10182 * r10183; double r10185 = z; double r10186 = t; double r10187 = r10185 * r10186; double r10188 = r10184 + r10187; double r10189 = a; double r10190 = b; double r10191 = r10189 * r10190; double r10192 = r10188 + r10191; double r10193 = c; double r10194 = i; double r10195 = r10193 * r10194; double r10196 = r10192 + r10195; return r10196; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r10197 = x; float r10198 = y; float r10199 = r10197 * r10198; float r10200 = z; float r10201 = t; float r10202 = r10200 * r10201; float r10203 = r10199 + r10202; float r10204 = a; float r10205 = b; float r10206 = r10204 * r10205; float r10207 = r10203 + r10206; float r10208 = c; float r10209 = i; float r10210 = r10208 * r10209; float r10211 = r10207 + r10210; return r10211; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r10212 = x; double r10213 = y; double r10214 = r10212 * r10213; double r10215 = z; double r10216 = t; double r10217 = r10215 * r10216; double r10218 = r10214 + r10217; double r10219 = a; double r10220 = b; double r10221 = r10219 * r10220; double r10222 = r10218 + r10221; double r10223 = c; double r10224 = i; double r10225 = r10223 * r10224; double r10226 = r10222 + r10225; return r10226; } 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 r10227, r10228, r10229, r10230, r10231, r10232, r10233, r10234, r10235, r10236, r10237, r10238, r10239, r10240, r10241; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r10227); mpfr_init(r10228); mpfr_init(r10229); mpfr_init(r10230); mpfr_init(r10231); mpfr_init(r10232); mpfr_init(r10233); mpfr_init(r10234); mpfr_init(r10235); mpfr_init(r10236); mpfr_init(r10237); mpfr_init(r10238); mpfr_init(r10239); mpfr_init(r10240); mpfr_init(r10241); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r10227, x, MPFR_RNDN); mpfr_set_d(r10228, y, MPFR_RNDN); mpfr_mul(r10229, r10227, r10228, MPFR_RNDN); mpfr_set_d(r10230, z, MPFR_RNDN); mpfr_set_d(r10231, t, MPFR_RNDN); mpfr_mul(r10232, r10230, r10231, MPFR_RNDN); mpfr_add(r10233, r10229, r10232, MPFR_RNDN); mpfr_set_d(r10234, a, MPFR_RNDN); mpfr_set_d(r10235, b, MPFR_RNDN); mpfr_mul(r10236, r10234, r10235, MPFR_RNDN); mpfr_add(r10237, r10233, r10236, MPFR_RNDN); mpfr_set_d(r10238, c, MPFR_RNDN); mpfr_set_d(r10239, i, MPFR_RNDN); mpfr_mul(r10240, r10238, r10239, MPFR_RNDN); mpfr_add(r10241, r10237, r10240, MPFR_RNDN); return mpfr_get_d(r10241, MPFR_RNDN); } static mpfr_t r10242, r10243, r10244, r10245, r10246, r10247, r10248, r10249, r10250, r10251, r10252, r10253, r10254, r10255, r10256; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r10242); mpfr_init(r10243); mpfr_init(r10244); mpfr_init(r10245); mpfr_init(r10246); mpfr_init(r10247); mpfr_init(r10248); mpfr_init(r10249); mpfr_init(r10250); mpfr_init(r10251); mpfr_init(r10252); mpfr_init(r10253); mpfr_init(r10254); mpfr_init(r10255); mpfr_init(r10256); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r10242, x, MPFR_RNDN); mpfr_set_d(r10243, y, MPFR_RNDN); mpfr_mul(r10244, r10242, r10243, MPFR_RNDN); mpfr_set_d(r10245, z, MPFR_RNDN); mpfr_set_d(r10246, t, MPFR_RNDN); mpfr_mul(r10247, r10245, r10246, MPFR_RNDN); mpfr_add(r10248, r10244, r10247, MPFR_RNDN); mpfr_set_d(r10249, a, MPFR_RNDN); mpfr_set_d(r10250, b, MPFR_RNDN); mpfr_mul(r10251, r10249, r10250, MPFR_RNDN); mpfr_add(r10252, r10248, r10251, MPFR_RNDN); mpfr_set_d(r10253, c, MPFR_RNDN); mpfr_set_d(r10254, i, MPFR_RNDN); mpfr_mul(r10255, r10253, r10254, MPFR_RNDN); mpfr_add(r10256, r10252, r10255, MPFR_RNDN); return mpfr_get_d(r10256, MPFR_RNDN); } static mpfr_t r10257, r10258, r10259, r10260, r10261, r10262, r10263, r10264, r10265, r10266, r10267, r10268, r10269, r10270, r10271; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r10257); mpfr_init(r10258); mpfr_init(r10259); mpfr_init(r10260); mpfr_init(r10261); mpfr_init(r10262); mpfr_init(r10263); mpfr_init(r10264); mpfr_init(r10265); mpfr_init(r10266); mpfr_init(r10267); mpfr_init(r10268); mpfr_init(r10269); mpfr_init(r10270); mpfr_init(r10271); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r10257, x, MPFR_RNDN); mpfr_set_d(r10258, y, MPFR_RNDN); mpfr_mul(r10259, r10257, r10258, MPFR_RNDN); mpfr_set_d(r10260, z, MPFR_RNDN); mpfr_set_d(r10261, t, MPFR_RNDN); mpfr_mul(r10262, r10260, r10261, MPFR_RNDN); mpfr_add(r10263, r10259, r10262, MPFR_RNDN); mpfr_set_d(r10264, a, MPFR_RNDN); mpfr_set_d(r10265, b, MPFR_RNDN); mpfr_mul(r10266, r10264, r10265, MPFR_RNDN); mpfr_add(r10267, r10263, r10266, MPFR_RNDN); mpfr_set_d(r10268, c, MPFR_RNDN); mpfr_set_d(r10269, i, MPFR_RNDN); mpfr_mul(r10270, r10268, r10269, MPFR_RNDN); mpfr_add(r10271, r10267, r10270, MPFR_RNDN); return mpfr_get_d(r10271, MPFR_RNDN); }