#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 r17272 = x; float r17273 = y; float r17274 = r17272 * r17273; float r17275 = z; float r17276 = t; float r17277 = r17275 * r17276; float r17278 = r17274 + r17277; float r17279 = a; float r17280 = b; float r17281 = r17279 * r17280; float r17282 = r17278 + r17281; float r17283 = c; float r17284 = i; float r17285 = r17283 * r17284; float r17286 = r17282 + r17285; return r17286; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r17287 = x; double r17288 = y; double r17289 = r17287 * r17288; double r17290 = z; double r17291 = t; double r17292 = r17290 * r17291; double r17293 = r17289 + r17292; double r17294 = a; double r17295 = b; double r17296 = r17294 * r17295; double r17297 = r17293 + r17296; double r17298 = c; double r17299 = i; double r17300 = r17298 * r17299; double r17301 = r17297 + r17300; return r17301; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r17302 = x; float r17303 = y; float r17304 = r17302 * r17303; float r17305 = z; float r17306 = t; float r17307 = r17305 * r17306; float r17308 = r17304 + r17307; float r17309 = a; float r17310 = b; float r17311 = r17309 * r17310; float r17312 = r17308 + r17311; float r17313 = c; float r17314 = i; float r17315 = r17313 * r17314; float r17316 = r17312 + r17315; return r17316; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r17317 = x; double r17318 = y; double r17319 = r17317 * r17318; double r17320 = z; double r17321 = t; double r17322 = r17320 * r17321; double r17323 = r17319 + r17322; double r17324 = a; double r17325 = b; double r17326 = r17324 * r17325; double r17327 = r17323 + r17326; double r17328 = c; double r17329 = i; double r17330 = r17328 * r17329; double r17331 = r17327 + r17330; return r17331; } 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 r17332, r17333, r17334, r17335, r17336, r17337, r17338, r17339, r17340, r17341, r17342, r17343, r17344, r17345, r17346; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17332); mpfr_init(r17333); mpfr_init(r17334); mpfr_init(r17335); mpfr_init(r17336); mpfr_init(r17337); mpfr_init(r17338); mpfr_init(r17339); mpfr_init(r17340); mpfr_init(r17341); mpfr_init(r17342); mpfr_init(r17343); mpfr_init(r17344); mpfr_init(r17345); mpfr_init(r17346); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r17332, x, MPFR_RNDN); mpfr_set_d(r17333, y, MPFR_RNDN); mpfr_mul(r17334, r17332, r17333, MPFR_RNDN); mpfr_set_d(r17335, z, MPFR_RNDN); mpfr_set_d(r17336, t, MPFR_RNDN); mpfr_mul(r17337, r17335, r17336, MPFR_RNDN); mpfr_add(r17338, r17334, r17337, MPFR_RNDN); mpfr_set_d(r17339, a, MPFR_RNDN); mpfr_set_d(r17340, b, MPFR_RNDN); mpfr_mul(r17341, r17339, r17340, MPFR_RNDN); mpfr_add(r17342, r17338, r17341, MPFR_RNDN); mpfr_set_d(r17343, c, MPFR_RNDN); mpfr_set_d(r17344, i, MPFR_RNDN); mpfr_mul(r17345, r17343, r17344, MPFR_RNDN); mpfr_add(r17346, r17342, r17345, MPFR_RNDN); return mpfr_get_d(r17346, MPFR_RNDN); } static mpfr_t r17347, r17348, r17349, r17350, r17351, r17352, r17353, r17354, r17355, r17356, r17357, r17358, r17359, r17360, r17361; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17347); mpfr_init(r17348); mpfr_init(r17349); mpfr_init(r17350); mpfr_init(r17351); mpfr_init(r17352); mpfr_init(r17353); mpfr_init(r17354); mpfr_init(r17355); mpfr_init(r17356); mpfr_init(r17357); mpfr_init(r17358); mpfr_init(r17359); mpfr_init(r17360); mpfr_init(r17361); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r17347, x, MPFR_RNDN); mpfr_set_d(r17348, y, MPFR_RNDN); mpfr_mul(r17349, r17347, r17348, MPFR_RNDN); mpfr_set_d(r17350, z, MPFR_RNDN); mpfr_set_d(r17351, t, MPFR_RNDN); mpfr_mul(r17352, r17350, r17351, MPFR_RNDN); mpfr_add(r17353, r17349, r17352, MPFR_RNDN); mpfr_set_d(r17354, a, MPFR_RNDN); mpfr_set_d(r17355, b, MPFR_RNDN); mpfr_mul(r17356, r17354, r17355, MPFR_RNDN); mpfr_add(r17357, r17353, r17356, MPFR_RNDN); mpfr_set_d(r17358, c, MPFR_RNDN); mpfr_set_d(r17359, i, MPFR_RNDN); mpfr_mul(r17360, r17358, r17359, MPFR_RNDN); mpfr_add(r17361, r17357, r17360, MPFR_RNDN); return mpfr_get_d(r17361, MPFR_RNDN); } static mpfr_t r17362, r17363, r17364, r17365, r17366, r17367, r17368, r17369, r17370, r17371, r17372, r17373, r17374, r17375, r17376; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17362); mpfr_init(r17363); mpfr_init(r17364); mpfr_init(r17365); mpfr_init(r17366); mpfr_init(r17367); mpfr_init(r17368); mpfr_init(r17369); mpfr_init(r17370); mpfr_init(r17371); mpfr_init(r17372); mpfr_init(r17373); mpfr_init(r17374); mpfr_init(r17375); mpfr_init(r17376); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r17362, x, MPFR_RNDN); mpfr_set_d(r17363, y, MPFR_RNDN); mpfr_mul(r17364, r17362, r17363, MPFR_RNDN); mpfr_set_d(r17365, z, MPFR_RNDN); mpfr_set_d(r17366, t, MPFR_RNDN); mpfr_mul(r17367, r17365, r17366, MPFR_RNDN); mpfr_add(r17368, r17364, r17367, MPFR_RNDN); mpfr_set_d(r17369, a, MPFR_RNDN); mpfr_set_d(r17370, b, MPFR_RNDN); mpfr_mul(r17371, r17369, r17370, MPFR_RNDN); mpfr_add(r17372, r17368, r17371, MPFR_RNDN); mpfr_set_d(r17373, c, MPFR_RNDN); mpfr_set_d(r17374, i, MPFR_RNDN); mpfr_mul(r17375, r17373, r17374, MPFR_RNDN); mpfr_add(r17376, r17372, r17375, MPFR_RNDN); return mpfr_get_d(r17376, MPFR_RNDN); }