#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 r16363 = x; float r16364 = y; float r16365 = r16363 * r16364; float r16366 = z; float r16367 = t; float r16368 = r16366 * r16367; float r16369 = r16365 + r16368; float r16370 = a; float r16371 = b; float r16372 = r16370 * r16371; float r16373 = r16369 + r16372; float r16374 = c; float r16375 = i; float r16376 = r16374 * r16375; float r16377 = r16373 + r16376; return r16377; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r16378 = x; double r16379 = y; double r16380 = r16378 * r16379; double r16381 = z; double r16382 = t; double r16383 = r16381 * r16382; double r16384 = r16380 + r16383; double r16385 = a; double r16386 = b; double r16387 = r16385 * r16386; double r16388 = r16384 + r16387; double r16389 = c; double r16390 = i; double r16391 = r16389 * r16390; double r16392 = r16388 + r16391; return r16392; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r16393 = y; float r16394 = x; float r16395 = i; float r16396 = c; float r16397 = a; float r16398 = b; float r16399 = r16397 * r16398; float r16400 = fma(r16395, r16396, r16399); float r16401 = fma(r16393, r16394, r16400); float r16402 = t; float r16403 = z; float r16404 = r16402 * r16403; float r16405 = r16401 + r16404; return r16405; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r16406 = y; double r16407 = x; double r16408 = i; double r16409 = c; double r16410 = a; double r16411 = b; double r16412 = r16410 * r16411; double r16413 = fma(r16408, r16409, r16412); double r16414 = fma(r16406, r16407, r16413); double r16415 = t; double r16416 = z; double r16417 = r16415 * r16416; double r16418 = r16414 + r16417; return r16418; } 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 r16419, r16420, r16421, r16422, r16423, r16424, r16425, r16426, r16427, r16428, r16429, r16430, r16431, r16432, r16433; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r16419); mpfr_init(r16420); mpfr_init(r16421); mpfr_init(r16422); mpfr_init(r16423); mpfr_init(r16424); mpfr_init(r16425); mpfr_init(r16426); mpfr_init(r16427); mpfr_init(r16428); mpfr_init(r16429); mpfr_init(r16430); mpfr_init(r16431); mpfr_init(r16432); mpfr_init(r16433); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r16419, x, MPFR_RNDN); mpfr_set_d(r16420, y, MPFR_RNDN); mpfr_mul(r16421, r16419, r16420, MPFR_RNDN); mpfr_set_d(r16422, z, MPFR_RNDN); mpfr_set_d(r16423, t, MPFR_RNDN); mpfr_mul(r16424, r16422, r16423, MPFR_RNDN); mpfr_add(r16425, r16421, r16424, MPFR_RNDN); mpfr_set_d(r16426, a, MPFR_RNDN); mpfr_set_d(r16427, b, MPFR_RNDN); mpfr_mul(r16428, r16426, r16427, MPFR_RNDN); mpfr_add(r16429, r16425, r16428, MPFR_RNDN); mpfr_set_d(r16430, c, MPFR_RNDN); mpfr_set_d(r16431, i, MPFR_RNDN); mpfr_mul(r16432, r16430, r16431, MPFR_RNDN); mpfr_add(r16433, r16429, r16432, MPFR_RNDN); return mpfr_get_d(r16433, MPFR_RNDN); } static mpfr_t r16434, r16435, r16436, r16437, r16438, r16439, r16440, r16441, r16442, r16443, r16444, r16445, r16446; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r16434); mpfr_init(r16435); mpfr_init(r16436); mpfr_init(r16437); mpfr_init(r16438); mpfr_init(r16439); mpfr_init(r16440); mpfr_init(r16441); mpfr_init(r16442); mpfr_init(r16443); mpfr_init(r16444); mpfr_init(r16445); mpfr_init(r16446); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r16434, y, MPFR_RNDN); mpfr_set_d(r16435, x, MPFR_RNDN); mpfr_set_d(r16436, i, MPFR_RNDN); mpfr_set_d(r16437, c, MPFR_RNDN); mpfr_set_d(r16438, a, MPFR_RNDN); mpfr_set_d(r16439, b, MPFR_RNDN); mpfr_mul(r16440, r16438, r16439, MPFR_RNDN); mpfr_fma(r16441, r16436, r16437, r16440, MPFR_RNDN); mpfr_fma(r16442, r16434, r16435, r16441, MPFR_RNDN); mpfr_set_d(r16443, t, MPFR_RNDN); mpfr_set_d(r16444, z, MPFR_RNDN); mpfr_mul(r16445, r16443, r16444, MPFR_RNDN); mpfr_add(r16446, r16442, r16445, MPFR_RNDN); return mpfr_get_d(r16446, MPFR_RNDN); } static mpfr_t r16447, r16448, r16449, r16450, r16451, r16452, r16453, r16454, r16455, r16456, r16457, r16458, r16459; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r16447); mpfr_init(r16448); mpfr_init(r16449); mpfr_init(r16450); mpfr_init(r16451); mpfr_init(r16452); mpfr_init(r16453); mpfr_init(r16454); mpfr_init(r16455); mpfr_init(r16456); mpfr_init(r16457); mpfr_init(r16458); mpfr_init(r16459); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r16447, y, MPFR_RNDN); mpfr_set_d(r16448, x, MPFR_RNDN); mpfr_set_d(r16449, i, MPFR_RNDN); mpfr_set_d(r16450, c, MPFR_RNDN); mpfr_set_d(r16451, a, MPFR_RNDN); mpfr_set_d(r16452, b, MPFR_RNDN); mpfr_mul(r16453, r16451, r16452, MPFR_RNDN); mpfr_fma(r16454, r16449, r16450, r16453, MPFR_RNDN); mpfr_fma(r16455, r16447, r16448, r16454, MPFR_RNDN); mpfr_set_d(r16456, t, MPFR_RNDN); mpfr_set_d(r16457, z, MPFR_RNDN); mpfr_mul(r16458, r16456, r16457, MPFR_RNDN); mpfr_add(r16459, r16455, r16458, MPFR_RNDN); return mpfr_get_d(r16459, MPFR_RNDN); }