#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 r22870 = x; float r22871 = y; float r22872 = r22870 * r22871; float r22873 = z; float r22874 = t; float r22875 = r22873 * r22874; float r22876 = r22872 + r22875; float r22877 = a; float r22878 = b; float r22879 = r22877 * r22878; float r22880 = r22876 + r22879; float r22881 = c; float r22882 = i; float r22883 = r22881 * r22882; float r22884 = r22880 + r22883; return r22884; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r22885 = x; double r22886 = y; double r22887 = r22885 * r22886; double r22888 = z; double r22889 = t; double r22890 = r22888 * r22889; double r22891 = r22887 + r22890; double r22892 = a; double r22893 = b; double r22894 = r22892 * r22893; double r22895 = r22891 + r22894; double r22896 = c; double r22897 = i; double r22898 = r22896 * r22897; double r22899 = r22895 + r22898; return r22899; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r22900 = x; float r22901 = y; float r22902 = r22900 * r22901; float r22903 = z; float r22904 = t; float r22905 = r22903 * r22904; float r22906 = r22902 + r22905; float r22907 = a; float r22908 = b; float r22909 = r22907 * r22908; float r22910 = r22906 + r22909; float r22911 = c; float r22912 = i; float r22913 = r22911 * r22912; float r22914 = r22910 + r22913; return r22914; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r22915 = x; double r22916 = y; double r22917 = r22915 * r22916; double r22918 = z; double r22919 = t; double r22920 = r22918 * r22919; double r22921 = r22917 + r22920; double r22922 = a; double r22923 = b; double r22924 = r22922 * r22923; double r22925 = r22921 + r22924; double r22926 = c; double r22927 = i; double r22928 = r22926 * r22927; double r22929 = r22925 + r22928; return r22929; } 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 r22930, r22931, r22932, r22933, r22934, r22935, r22936, r22937, r22938, r22939, r22940, r22941, r22942, r22943, r22944; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r22930); mpfr_init(r22931); mpfr_init(r22932); mpfr_init(r22933); mpfr_init(r22934); mpfr_init(r22935); mpfr_init(r22936); mpfr_init(r22937); mpfr_init(r22938); mpfr_init(r22939); mpfr_init(r22940); mpfr_init(r22941); mpfr_init(r22942); mpfr_init(r22943); mpfr_init(r22944); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r22930, x, MPFR_RNDN); mpfr_set_d(r22931, y, MPFR_RNDN); mpfr_mul(r22932, r22930, r22931, MPFR_RNDN); mpfr_set_d(r22933, z, MPFR_RNDN); mpfr_set_d(r22934, t, MPFR_RNDN); mpfr_mul(r22935, r22933, r22934, MPFR_RNDN); mpfr_add(r22936, r22932, r22935, MPFR_RNDN); mpfr_set_d(r22937, a, MPFR_RNDN); mpfr_set_d(r22938, b, MPFR_RNDN); mpfr_mul(r22939, r22937, r22938, MPFR_RNDN); mpfr_add(r22940, r22936, r22939, MPFR_RNDN); mpfr_set_d(r22941, c, MPFR_RNDN); mpfr_set_d(r22942, i, MPFR_RNDN); mpfr_mul(r22943, r22941, r22942, MPFR_RNDN); mpfr_add(r22944, r22940, r22943, MPFR_RNDN); return mpfr_get_d(r22944, MPFR_RNDN); } static mpfr_t r22945, r22946, r22947, r22948, r22949, r22950, r22951, r22952, r22953, r22954, r22955, r22956, r22957, r22958, r22959; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r22945); mpfr_init(r22946); mpfr_init(r22947); mpfr_init(r22948); mpfr_init(r22949); mpfr_init(r22950); mpfr_init(r22951); mpfr_init(r22952); mpfr_init(r22953); mpfr_init(r22954); mpfr_init(r22955); mpfr_init(r22956); mpfr_init(r22957); mpfr_init(r22958); mpfr_init(r22959); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r22945, x, MPFR_RNDN); mpfr_set_d(r22946, y, MPFR_RNDN); mpfr_mul(r22947, r22945, r22946, MPFR_RNDN); mpfr_set_d(r22948, z, MPFR_RNDN); mpfr_set_d(r22949, t, MPFR_RNDN); mpfr_mul(r22950, r22948, r22949, MPFR_RNDN); mpfr_add(r22951, r22947, r22950, MPFR_RNDN); mpfr_set_d(r22952, a, MPFR_RNDN); mpfr_set_d(r22953, b, MPFR_RNDN); mpfr_mul(r22954, r22952, r22953, MPFR_RNDN); mpfr_add(r22955, r22951, r22954, MPFR_RNDN); mpfr_set_d(r22956, c, MPFR_RNDN); mpfr_set_d(r22957, i, MPFR_RNDN); mpfr_mul(r22958, r22956, r22957, MPFR_RNDN); mpfr_add(r22959, r22955, r22958, MPFR_RNDN); return mpfr_get_d(r22959, MPFR_RNDN); } static mpfr_t r22960, r22961, r22962, r22963, r22964, r22965, r22966, r22967, r22968, r22969, r22970, r22971, r22972, r22973, r22974; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r22960); mpfr_init(r22961); mpfr_init(r22962); mpfr_init(r22963); mpfr_init(r22964); mpfr_init(r22965); mpfr_init(r22966); mpfr_init(r22967); mpfr_init(r22968); mpfr_init(r22969); mpfr_init(r22970); mpfr_init(r22971); mpfr_init(r22972); mpfr_init(r22973); mpfr_init(r22974); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r22960, x, MPFR_RNDN); mpfr_set_d(r22961, y, MPFR_RNDN); mpfr_mul(r22962, r22960, r22961, MPFR_RNDN); mpfr_set_d(r22963, z, MPFR_RNDN); mpfr_set_d(r22964, t, MPFR_RNDN); mpfr_mul(r22965, r22963, r22964, MPFR_RNDN); mpfr_add(r22966, r22962, r22965, MPFR_RNDN); mpfr_set_d(r22967, a, MPFR_RNDN); mpfr_set_d(r22968, b, MPFR_RNDN); mpfr_mul(r22969, r22967, r22968, MPFR_RNDN); mpfr_add(r22970, r22966, r22969, MPFR_RNDN); mpfr_set_d(r22971, c, MPFR_RNDN); mpfr_set_d(r22972, i, MPFR_RNDN); mpfr_mul(r22973, r22971, r22972, MPFR_RNDN); mpfr_add(r22974, r22970, r22973, MPFR_RNDN); return mpfr_get_d(r22974, MPFR_RNDN); }