#include #include #include #include #include char *name = "Linear.V4:$cdot from linear-1.19.1.3, C"; double f_if(float x, float y, float z, float t, float a, float b, float c, float i) { float r29131 = x; float r29132 = y; float r29133 = r29131 * r29132; float r29134 = z; float r29135 = t; float r29136 = r29134 * r29135; float r29137 = r29133 + r29136; float r29138 = a; float r29139 = b; float r29140 = r29138 * r29139; float r29141 = r29137 + r29140; float r29142 = c; float r29143 = i; float r29144 = r29142 * r29143; float r29145 = r29141 + r29144; return r29145; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r29146 = x; double r29147 = y; double r29148 = r29146 * r29147; double r29149 = z; double r29150 = t; double r29151 = r29149 * r29150; double r29152 = r29148 + r29151; double r29153 = a; double r29154 = b; double r29155 = r29153 * r29154; double r29156 = r29152 + r29155; double r29157 = c; double r29158 = i; double r29159 = r29157 * r29158; double r29160 = r29156 + r29159; return r29160; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r29161 = x; float r29162 = y; float r29163 = r29161 * r29162; float r29164 = z; float r29165 = t; float r29166 = r29164 * r29165; float r29167 = r29163 + r29166; float r29168 = a; float r29169 = b; float r29170 = r29168 * r29169; float r29171 = r29167 + r29170; float r29172 = c; float r29173 = i; float r29174 = r29172 * r29173; float r29175 = r29171 + r29174; return r29175; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r29176 = x; double r29177 = y; double r29178 = r29176 * r29177; double r29179 = z; double r29180 = t; double r29181 = r29179 * r29180; double r29182 = r29178 + r29181; double r29183 = a; double r29184 = b; double r29185 = r29183 * r29184; double r29186 = r29182 + r29185; double r29187 = c; double r29188 = i; double r29189 = r29187 * r29188; double r29190 = r29186 + r29189; return r29190; } 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 r29191, r29192, r29193, r29194, r29195, r29196, r29197, r29198, r29199, r29200, r29201, r29202, r29203, r29204, r29205; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r29191); mpfr_init(r29192); mpfr_init(r29193); mpfr_init(r29194); mpfr_init(r29195); mpfr_init(r29196); mpfr_init(r29197); mpfr_init(r29198); mpfr_init(r29199); mpfr_init(r29200); mpfr_init(r29201); mpfr_init(r29202); mpfr_init(r29203); mpfr_init(r29204); mpfr_init(r29205); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r29191, x, MPFR_RNDN); mpfr_set_d(r29192, y, MPFR_RNDN); mpfr_mul(r29193, r29191, r29192, MPFR_RNDN); mpfr_set_d(r29194, z, MPFR_RNDN); mpfr_set_d(r29195, t, MPFR_RNDN); mpfr_mul(r29196, r29194, r29195, MPFR_RNDN); mpfr_add(r29197, r29193, r29196, MPFR_RNDN); mpfr_set_d(r29198, a, MPFR_RNDN); mpfr_set_d(r29199, b, MPFR_RNDN); mpfr_mul(r29200, r29198, r29199, MPFR_RNDN); mpfr_add(r29201, r29197, r29200, MPFR_RNDN); mpfr_set_d(r29202, c, MPFR_RNDN); mpfr_set_d(r29203, i, MPFR_RNDN); mpfr_mul(r29204, r29202, r29203, MPFR_RNDN); mpfr_add(r29205, r29201, r29204, MPFR_RNDN); return mpfr_get_d(r29205, MPFR_RNDN); } static mpfr_t r29206, r29207, r29208, r29209, r29210, r29211, r29212, r29213, r29214, r29215, r29216, r29217, r29218, r29219, r29220; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r29206); mpfr_init(r29207); mpfr_init(r29208); mpfr_init(r29209); mpfr_init(r29210); mpfr_init(r29211); mpfr_init(r29212); mpfr_init(r29213); mpfr_init(r29214); mpfr_init(r29215); mpfr_init(r29216); mpfr_init(r29217); mpfr_init(r29218); mpfr_init(r29219); mpfr_init(r29220); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r29206, x, MPFR_RNDN); mpfr_set_d(r29207, y, MPFR_RNDN); mpfr_mul(r29208, r29206, r29207, MPFR_RNDN); mpfr_set_d(r29209, z, MPFR_RNDN); mpfr_set_d(r29210, t, MPFR_RNDN); mpfr_mul(r29211, r29209, r29210, MPFR_RNDN); mpfr_add(r29212, r29208, r29211, MPFR_RNDN); mpfr_set_d(r29213, a, MPFR_RNDN); mpfr_set_d(r29214, b, MPFR_RNDN); mpfr_mul(r29215, r29213, r29214, MPFR_RNDN); mpfr_add(r29216, r29212, r29215, MPFR_RNDN); mpfr_set_d(r29217, c, MPFR_RNDN); mpfr_set_d(r29218, i, MPFR_RNDN); mpfr_mul(r29219, r29217, r29218, MPFR_RNDN); mpfr_add(r29220, r29216, r29219, MPFR_RNDN); return mpfr_get_d(r29220, MPFR_RNDN); } static mpfr_t r29221, r29222, r29223, r29224, r29225, r29226, r29227, r29228, r29229, r29230, r29231, r29232, r29233, r29234, r29235; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r29221); mpfr_init(r29222); mpfr_init(r29223); mpfr_init(r29224); mpfr_init(r29225); mpfr_init(r29226); mpfr_init(r29227); mpfr_init(r29228); mpfr_init(r29229); mpfr_init(r29230); mpfr_init(r29231); mpfr_init(r29232); mpfr_init(r29233); mpfr_init(r29234); mpfr_init(r29235); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r29221, x, MPFR_RNDN); mpfr_set_d(r29222, y, MPFR_RNDN); mpfr_mul(r29223, r29221, r29222, MPFR_RNDN); mpfr_set_d(r29224, z, MPFR_RNDN); mpfr_set_d(r29225, t, MPFR_RNDN); mpfr_mul(r29226, r29224, r29225, MPFR_RNDN); mpfr_add(r29227, r29223, r29226, MPFR_RNDN); mpfr_set_d(r29228, a, MPFR_RNDN); mpfr_set_d(r29229, b, MPFR_RNDN); mpfr_mul(r29230, r29228, r29229, MPFR_RNDN); mpfr_add(r29231, r29227, r29230, MPFR_RNDN); mpfr_set_d(r29232, c, MPFR_RNDN); mpfr_set_d(r29233, i, MPFR_RNDN); mpfr_mul(r29234, r29232, r29233, MPFR_RNDN); mpfr_add(r29235, r29231, r29234, MPFR_RNDN); return mpfr_get_d(r29235, MPFR_RNDN); }