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