#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 r15963 = x; float r15964 = y; float r15965 = r15963 * r15964; float r15966 = z; float r15967 = t; float r15968 = r15966 * r15967; float r15969 = r15965 + r15968; float r15970 = a; float r15971 = b; float r15972 = r15970 * r15971; float r15973 = r15969 + r15972; float r15974 = c; float r15975 = i; float r15976 = r15974 * r15975; float r15977 = r15973 + r15976; return r15977; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r15978 = x; double r15979 = y; double r15980 = r15978 * r15979; double r15981 = z; double r15982 = t; double r15983 = r15981 * r15982; double r15984 = r15980 + r15983; double r15985 = a; double r15986 = b; double r15987 = r15985 * r15986; double r15988 = r15984 + r15987; double r15989 = c; double r15990 = i; double r15991 = r15989 * r15990; double r15992 = r15988 + r15991; return r15992; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r15993 = x; float r15994 = y; float r15995 = r15993 * r15994; float r15996 = z; float r15997 = t; float r15998 = r15996 * r15997; float r15999 = r15995 + r15998; float r16000 = a; float r16001 = b; float r16002 = r16000 * r16001; float r16003 = r15999 + r16002; float r16004 = c; float r16005 = i; float r16006 = r16004 * r16005; float r16007 = r16003 + r16006; return r16007; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r16008 = x; double r16009 = y; double r16010 = r16008 * r16009; double r16011 = z; double r16012 = t; double r16013 = r16011 * r16012; double r16014 = r16010 + r16013; double r16015 = a; double r16016 = b; double r16017 = r16015 * r16016; double r16018 = r16014 + r16017; double r16019 = c; double r16020 = i; double r16021 = r16019 * r16020; double r16022 = r16018 + r16021; return r16022; } 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 r16023, r16024, r16025, r16026, r16027, r16028, r16029, r16030, r16031, r16032, r16033, r16034, r16035, r16036, r16037; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r16023); mpfr_init(r16024); mpfr_init(r16025); mpfr_init(r16026); mpfr_init(r16027); mpfr_init(r16028); mpfr_init(r16029); mpfr_init(r16030); mpfr_init(r16031); mpfr_init(r16032); mpfr_init(r16033); mpfr_init(r16034); mpfr_init(r16035); mpfr_init(r16036); mpfr_init(r16037); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r16023, x, MPFR_RNDN); mpfr_set_d(r16024, y, MPFR_RNDN); mpfr_mul(r16025, r16023, r16024, MPFR_RNDN); mpfr_set_d(r16026, z, MPFR_RNDN); mpfr_set_d(r16027, t, MPFR_RNDN); mpfr_mul(r16028, r16026, r16027, MPFR_RNDN); mpfr_add(r16029, r16025, r16028, MPFR_RNDN); mpfr_set_d(r16030, a, MPFR_RNDN); mpfr_set_d(r16031, b, MPFR_RNDN); mpfr_mul(r16032, r16030, r16031, MPFR_RNDN); mpfr_add(r16033, r16029, r16032, MPFR_RNDN); mpfr_set_d(r16034, c, MPFR_RNDN); mpfr_set_d(r16035, i, MPFR_RNDN); mpfr_mul(r16036, r16034, r16035, MPFR_RNDN); mpfr_add(r16037, r16033, r16036, MPFR_RNDN); return mpfr_get_d(r16037, MPFR_RNDN); } static mpfr_t r16038, r16039, r16040, r16041, r16042, r16043, r16044, r16045, r16046, r16047, r16048, r16049, r16050, r16051, r16052; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r16038); mpfr_init(r16039); mpfr_init(r16040); mpfr_init(r16041); mpfr_init(r16042); mpfr_init(r16043); mpfr_init(r16044); mpfr_init(r16045); mpfr_init(r16046); mpfr_init(r16047); mpfr_init(r16048); mpfr_init(r16049); mpfr_init(r16050); mpfr_init(r16051); mpfr_init(r16052); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r16038, x, MPFR_RNDN); mpfr_set_d(r16039, y, MPFR_RNDN); mpfr_mul(r16040, r16038, r16039, MPFR_RNDN); mpfr_set_d(r16041, z, MPFR_RNDN); mpfr_set_d(r16042, t, MPFR_RNDN); mpfr_mul(r16043, r16041, r16042, MPFR_RNDN); mpfr_add(r16044, r16040, r16043, MPFR_RNDN); mpfr_set_d(r16045, a, MPFR_RNDN); mpfr_set_d(r16046, b, MPFR_RNDN); mpfr_mul(r16047, r16045, r16046, MPFR_RNDN); mpfr_add(r16048, r16044, r16047, MPFR_RNDN); mpfr_set_d(r16049, c, MPFR_RNDN); mpfr_set_d(r16050, i, MPFR_RNDN); mpfr_mul(r16051, r16049, r16050, MPFR_RNDN); mpfr_add(r16052, r16048, r16051, MPFR_RNDN); return mpfr_get_d(r16052, MPFR_RNDN); } static mpfr_t r16053, r16054, r16055, r16056, r16057, r16058, r16059, r16060, r16061, r16062, r16063, r16064, r16065, r16066, r16067; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r16053); mpfr_init(r16054); mpfr_init(r16055); mpfr_init(r16056); mpfr_init(r16057); mpfr_init(r16058); mpfr_init(r16059); mpfr_init(r16060); mpfr_init(r16061); mpfr_init(r16062); mpfr_init(r16063); mpfr_init(r16064); mpfr_init(r16065); mpfr_init(r16066); mpfr_init(r16067); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r16053, x, MPFR_RNDN); mpfr_set_d(r16054, y, MPFR_RNDN); mpfr_mul(r16055, r16053, r16054, MPFR_RNDN); mpfr_set_d(r16056, z, MPFR_RNDN); mpfr_set_d(r16057, t, MPFR_RNDN); mpfr_mul(r16058, r16056, r16057, MPFR_RNDN); mpfr_add(r16059, r16055, r16058, MPFR_RNDN); mpfr_set_d(r16060, a, MPFR_RNDN); mpfr_set_d(r16061, b, MPFR_RNDN); mpfr_mul(r16062, r16060, r16061, MPFR_RNDN); mpfr_add(r16063, r16059, r16062, MPFR_RNDN); mpfr_set_d(r16064, c, MPFR_RNDN); mpfr_set_d(r16065, i, MPFR_RNDN); mpfr_mul(r16066, r16064, r16065, MPFR_RNDN); mpfr_add(r16067, r16063, r16066, MPFR_RNDN); return mpfr_get_d(r16067, MPFR_RNDN); }