#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 r22938 = x; float r22939 = y; float r22940 = r22938 * r22939; float r22941 = z; float r22942 = t; float r22943 = r22941 * r22942; float r22944 = r22940 + r22943; float r22945 = a; float r22946 = b; float r22947 = r22945 * r22946; float r22948 = r22944 + r22947; float r22949 = c; float r22950 = i; float r22951 = r22949 * r22950; float r22952 = r22948 + r22951; return r22952; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r22953 = x; double r22954 = y; double r22955 = r22953 * r22954; double r22956 = z; double r22957 = t; double r22958 = r22956 * r22957; double r22959 = r22955 + r22958; double r22960 = a; double r22961 = b; double r22962 = r22960 * r22961; double r22963 = r22959 + r22962; double r22964 = c; double r22965 = i; double r22966 = r22964 * r22965; double r22967 = r22963 + r22966; return r22967; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r22968 = z; float r22969 = t; float r22970 = r22968 * r22969; float r22971 = y; float r22972 = x; float r22973 = i; float r22974 = c; float r22975 = b; float r22976 = a; float r22977 = r22975 * r22976; float r22978 = fma(r22973, r22974, r22977); float r22979 = fma(r22971, r22972, r22978); float r22980 = r22970 + r22979; return r22980; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r22981 = z; double r22982 = t; double r22983 = r22981 * r22982; double r22984 = y; double r22985 = x; double r22986 = i; double r22987 = c; double r22988 = b; double r22989 = a; double r22990 = r22988 * r22989; double r22991 = fma(r22986, r22987, r22990); double r22992 = fma(r22984, r22985, r22991); double r22993 = r22983 + r22992; return r22993; } 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 r22994, r22995, r22996, r22997, r22998, r22999, r23000, r23001, r23002, r23003, r23004, r23005, r23006, r23007, r23008; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r22994); mpfr_init(r22995); mpfr_init(r22996); mpfr_init(r22997); mpfr_init(r22998); mpfr_init(r22999); mpfr_init(r23000); mpfr_init(r23001); mpfr_init(r23002); mpfr_init(r23003); mpfr_init(r23004); mpfr_init(r23005); mpfr_init(r23006); mpfr_init(r23007); mpfr_init(r23008); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r22994, x, MPFR_RNDN); mpfr_set_d(r22995, y, MPFR_RNDN); mpfr_mul(r22996, r22994, r22995, MPFR_RNDN); mpfr_set_d(r22997, z, MPFR_RNDN); mpfr_set_d(r22998, t, MPFR_RNDN); mpfr_mul(r22999, r22997, r22998, MPFR_RNDN); mpfr_add(r23000, r22996, r22999, MPFR_RNDN); mpfr_set_d(r23001, a, MPFR_RNDN); mpfr_set_d(r23002, b, MPFR_RNDN); mpfr_mul(r23003, r23001, r23002, MPFR_RNDN); mpfr_add(r23004, r23000, r23003, MPFR_RNDN); mpfr_set_d(r23005, c, MPFR_RNDN); mpfr_set_d(r23006, i, MPFR_RNDN); mpfr_mul(r23007, r23005, r23006, MPFR_RNDN); mpfr_add(r23008, r23004, r23007, MPFR_RNDN); return mpfr_get_d(r23008, MPFR_RNDN); } static mpfr_t r23009, r23010, r23011, r23012, r23013, r23014, r23015, r23016, r23017, r23018, r23019, r23020, r23021; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r23009); mpfr_init(r23010); mpfr_init(r23011); mpfr_init(r23012); mpfr_init(r23013); mpfr_init(r23014); mpfr_init(r23015); mpfr_init(r23016); mpfr_init(r23017); mpfr_init(r23018); mpfr_init(r23019); mpfr_init(r23020); mpfr_init(r23021); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23009, z, MPFR_RNDN); mpfr_set_d(r23010, t, MPFR_RNDN); mpfr_mul(r23011, r23009, r23010, MPFR_RNDN); mpfr_set_d(r23012, y, MPFR_RNDN); mpfr_set_d(r23013, x, MPFR_RNDN); mpfr_set_d(r23014, i, MPFR_RNDN); mpfr_set_d(r23015, c, MPFR_RNDN); mpfr_set_d(r23016, b, MPFR_RNDN); mpfr_set_d(r23017, a, MPFR_RNDN); mpfr_mul(r23018, r23016, r23017, MPFR_RNDN); mpfr_fma(r23019, r23014, r23015, r23018, MPFR_RNDN); mpfr_fma(r23020, r23012, r23013, r23019, MPFR_RNDN); mpfr_add(r23021, r23011, r23020, MPFR_RNDN); return mpfr_get_d(r23021, MPFR_RNDN); } static mpfr_t r23022, r23023, r23024, r23025, r23026, r23027, r23028, r23029, r23030, r23031, r23032, r23033, r23034; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r23022); mpfr_init(r23023); mpfr_init(r23024); mpfr_init(r23025); mpfr_init(r23026); mpfr_init(r23027); mpfr_init(r23028); mpfr_init(r23029); mpfr_init(r23030); mpfr_init(r23031); mpfr_init(r23032); mpfr_init(r23033); mpfr_init(r23034); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23022, z, MPFR_RNDN); mpfr_set_d(r23023, t, MPFR_RNDN); mpfr_mul(r23024, r23022, r23023, MPFR_RNDN); mpfr_set_d(r23025, y, MPFR_RNDN); mpfr_set_d(r23026, x, MPFR_RNDN); mpfr_set_d(r23027, i, MPFR_RNDN); mpfr_set_d(r23028, c, MPFR_RNDN); mpfr_set_d(r23029, b, MPFR_RNDN); mpfr_set_d(r23030, a, MPFR_RNDN); mpfr_mul(r23031, r23029, r23030, MPFR_RNDN); mpfr_fma(r23032, r23027, r23028, r23031, MPFR_RNDN); mpfr_fma(r23033, r23025, r23026, r23032, MPFR_RNDN); mpfr_add(r23034, r23024, r23033, MPFR_RNDN); return mpfr_get_d(r23034, MPFR_RNDN); }