#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 r17172 = x; float r17173 = y; float r17174 = r17172 * r17173; float r17175 = z; float r17176 = t; float r17177 = r17175 * r17176; float r17178 = r17174 + r17177; float r17179 = a; float r17180 = b; float r17181 = r17179 * r17180; float r17182 = r17178 + r17181; float r17183 = c; float r17184 = i; float r17185 = r17183 * r17184; float r17186 = r17182 + r17185; return r17186; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r17187 = x; double r17188 = y; double r17189 = r17187 * r17188; double r17190 = z; double r17191 = t; double r17192 = r17190 * r17191; double r17193 = r17189 + r17192; double r17194 = a; double r17195 = b; double r17196 = r17194 * r17195; double r17197 = r17193 + r17196; double r17198 = c; double r17199 = i; double r17200 = r17198 * r17199; double r17201 = r17197 + r17200; return r17201; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r17202 = x; float r17203 = y; float r17204 = r17202 * r17203; float r17205 = z; float r17206 = t; float r17207 = r17205 * r17206; float r17208 = r17204 + r17207; float r17209 = a; float r17210 = b; float r17211 = r17209 * r17210; float r17212 = r17208 + r17211; float r17213 = c; float r17214 = i; float r17215 = r17213 * r17214; float r17216 = r17212 + r17215; return r17216; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r17217 = x; double r17218 = y; double r17219 = r17217 * r17218; double r17220 = z; double r17221 = t; double r17222 = r17220 * r17221; double r17223 = r17219 + r17222; double r17224 = a; double r17225 = b; double r17226 = r17224 * r17225; double r17227 = r17223 + r17226; double r17228 = c; double r17229 = i; double r17230 = r17228 * r17229; double r17231 = r17227 + r17230; return r17231; } 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 r17232, r17233, r17234, r17235, r17236, r17237, r17238, r17239, r17240, r17241, r17242, r17243, r17244, r17245, r17246; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17232); mpfr_init(r17233); mpfr_init(r17234); mpfr_init(r17235); mpfr_init(r17236); mpfr_init(r17237); mpfr_init(r17238); mpfr_init(r17239); mpfr_init(r17240); mpfr_init(r17241); mpfr_init(r17242); mpfr_init(r17243); mpfr_init(r17244); mpfr_init(r17245); mpfr_init(r17246); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r17232, x, MPFR_RNDN); mpfr_set_d(r17233, y, MPFR_RNDN); mpfr_mul(r17234, r17232, r17233, MPFR_RNDN); mpfr_set_d(r17235, z, MPFR_RNDN); mpfr_set_d(r17236, t, MPFR_RNDN); mpfr_mul(r17237, r17235, r17236, MPFR_RNDN); mpfr_add(r17238, r17234, r17237, MPFR_RNDN); mpfr_set_d(r17239, a, MPFR_RNDN); mpfr_set_d(r17240, b, MPFR_RNDN); mpfr_mul(r17241, r17239, r17240, MPFR_RNDN); mpfr_add(r17242, r17238, r17241, MPFR_RNDN); mpfr_set_d(r17243, c, MPFR_RNDN); mpfr_set_d(r17244, i, MPFR_RNDN); mpfr_mul(r17245, r17243, r17244, MPFR_RNDN); mpfr_add(r17246, r17242, r17245, MPFR_RNDN); return mpfr_get_d(r17246, MPFR_RNDN); } static mpfr_t r17247, r17248, r17249, r17250, r17251, r17252, r17253, r17254, r17255, r17256, r17257, r17258, r17259, r17260, r17261; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17247); mpfr_init(r17248); mpfr_init(r17249); mpfr_init(r17250); mpfr_init(r17251); mpfr_init(r17252); mpfr_init(r17253); mpfr_init(r17254); mpfr_init(r17255); mpfr_init(r17256); mpfr_init(r17257); mpfr_init(r17258); mpfr_init(r17259); mpfr_init(r17260); mpfr_init(r17261); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r17247, x, MPFR_RNDN); mpfr_set_d(r17248, y, MPFR_RNDN); mpfr_mul(r17249, r17247, r17248, MPFR_RNDN); mpfr_set_d(r17250, z, MPFR_RNDN); mpfr_set_d(r17251, t, MPFR_RNDN); mpfr_mul(r17252, r17250, r17251, MPFR_RNDN); mpfr_add(r17253, r17249, r17252, MPFR_RNDN); mpfr_set_d(r17254, a, MPFR_RNDN); mpfr_set_d(r17255, b, MPFR_RNDN); mpfr_mul(r17256, r17254, r17255, MPFR_RNDN); mpfr_add(r17257, r17253, r17256, MPFR_RNDN); mpfr_set_d(r17258, c, MPFR_RNDN); mpfr_set_d(r17259, i, MPFR_RNDN); mpfr_mul(r17260, r17258, r17259, MPFR_RNDN); mpfr_add(r17261, r17257, r17260, MPFR_RNDN); return mpfr_get_d(r17261, MPFR_RNDN); } static mpfr_t r17262, r17263, r17264, r17265, r17266, r17267, r17268, r17269, r17270, r17271, r17272, r17273, r17274, r17275, r17276; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17262); mpfr_init(r17263); mpfr_init(r17264); mpfr_init(r17265); mpfr_init(r17266); mpfr_init(r17267); mpfr_init(r17268); mpfr_init(r17269); mpfr_init(r17270); mpfr_init(r17271); mpfr_init(r17272); mpfr_init(r17273); mpfr_init(r17274); mpfr_init(r17275); mpfr_init(r17276); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r17262, x, MPFR_RNDN); mpfr_set_d(r17263, y, MPFR_RNDN); mpfr_mul(r17264, r17262, r17263, MPFR_RNDN); mpfr_set_d(r17265, z, MPFR_RNDN); mpfr_set_d(r17266, t, MPFR_RNDN); mpfr_mul(r17267, r17265, r17266, MPFR_RNDN); mpfr_add(r17268, r17264, r17267, MPFR_RNDN); mpfr_set_d(r17269, a, MPFR_RNDN); mpfr_set_d(r17270, b, MPFR_RNDN); mpfr_mul(r17271, r17269, r17270, MPFR_RNDN); mpfr_add(r17272, r17268, r17271, MPFR_RNDN); mpfr_set_d(r17273, c, MPFR_RNDN); mpfr_set_d(r17274, i, MPFR_RNDN); mpfr_mul(r17275, r17273, r17274, MPFR_RNDN); mpfr_add(r17276, r17272, r17275, MPFR_RNDN); return mpfr_get_d(r17276, MPFR_RNDN); }