#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 r23878 = x; float r23879 = y; float r23880 = r23878 * r23879; float r23881 = z; float r23882 = t; float r23883 = r23881 * r23882; float r23884 = r23880 + r23883; float r23885 = a; float r23886 = b; float r23887 = r23885 * r23886; float r23888 = r23884 + r23887; float r23889 = c; float r23890 = i; float r23891 = r23889 * r23890; float r23892 = r23888 + r23891; return r23892; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r23893 = x; double r23894 = y; double r23895 = r23893 * r23894; double r23896 = z; double r23897 = t; double r23898 = r23896 * r23897; double r23899 = r23895 + r23898; double r23900 = a; double r23901 = b; double r23902 = r23900 * r23901; double r23903 = r23899 + r23902; double r23904 = c; double r23905 = i; double r23906 = r23904 * r23905; double r23907 = r23903 + r23906; return r23907; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r23908 = x; float r23909 = y; float r23910 = r23908 * r23909; float r23911 = z; float r23912 = t; float r23913 = r23911 * r23912; float r23914 = r23910 + r23913; float r23915 = a; float r23916 = b; float r23917 = r23915 * r23916; float r23918 = r23914 + r23917; float r23919 = c; float r23920 = i; float r23921 = r23919 * r23920; float r23922 = r23918 + r23921; return r23922; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r23923 = x; double r23924 = y; double r23925 = r23923 * r23924; double r23926 = z; double r23927 = t; double r23928 = r23926 * r23927; double r23929 = r23925 + r23928; double r23930 = a; double r23931 = b; double r23932 = r23930 * r23931; double r23933 = r23929 + r23932; double r23934 = c; double r23935 = i; double r23936 = r23934 * r23935; double r23937 = r23933 + r23936; return r23937; } 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 r23938, r23939, r23940, r23941, r23942, r23943, r23944, r23945, r23946, r23947, r23948, r23949, r23950, r23951, r23952; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r23938); mpfr_init(r23939); mpfr_init(r23940); mpfr_init(r23941); mpfr_init(r23942); mpfr_init(r23943); mpfr_init(r23944); mpfr_init(r23945); mpfr_init(r23946); mpfr_init(r23947); mpfr_init(r23948); mpfr_init(r23949); mpfr_init(r23950); mpfr_init(r23951); mpfr_init(r23952); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23938, x, MPFR_RNDN); mpfr_set_d(r23939, y, MPFR_RNDN); mpfr_mul(r23940, r23938, r23939, MPFR_RNDN); mpfr_set_d(r23941, z, MPFR_RNDN); mpfr_set_d(r23942, t, MPFR_RNDN); mpfr_mul(r23943, r23941, r23942, MPFR_RNDN); mpfr_add(r23944, r23940, r23943, MPFR_RNDN); mpfr_set_d(r23945, a, MPFR_RNDN); mpfr_set_d(r23946, b, MPFR_RNDN); mpfr_mul(r23947, r23945, r23946, MPFR_RNDN); mpfr_add(r23948, r23944, r23947, MPFR_RNDN); mpfr_set_d(r23949, c, MPFR_RNDN); mpfr_set_d(r23950, i, MPFR_RNDN); mpfr_mul(r23951, r23949, r23950, MPFR_RNDN); mpfr_add(r23952, r23948, r23951, MPFR_RNDN); return mpfr_get_d(r23952, MPFR_RNDN); } static mpfr_t r23953, r23954, r23955, r23956, r23957, r23958, r23959, r23960, r23961, r23962, r23963, r23964, r23965, r23966, r23967; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r23953); mpfr_init(r23954); mpfr_init(r23955); mpfr_init(r23956); mpfr_init(r23957); mpfr_init(r23958); mpfr_init(r23959); mpfr_init(r23960); mpfr_init(r23961); mpfr_init(r23962); mpfr_init(r23963); mpfr_init(r23964); mpfr_init(r23965); mpfr_init(r23966); mpfr_init(r23967); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23953, x, MPFR_RNDN); mpfr_set_d(r23954, y, MPFR_RNDN); mpfr_mul(r23955, r23953, r23954, MPFR_RNDN); mpfr_set_d(r23956, z, MPFR_RNDN); mpfr_set_d(r23957, t, MPFR_RNDN); mpfr_mul(r23958, r23956, r23957, MPFR_RNDN); mpfr_add(r23959, r23955, r23958, MPFR_RNDN); mpfr_set_d(r23960, a, MPFR_RNDN); mpfr_set_d(r23961, b, MPFR_RNDN); mpfr_mul(r23962, r23960, r23961, MPFR_RNDN); mpfr_add(r23963, r23959, r23962, MPFR_RNDN); mpfr_set_d(r23964, c, MPFR_RNDN); mpfr_set_d(r23965, i, MPFR_RNDN); mpfr_mul(r23966, r23964, r23965, MPFR_RNDN); mpfr_add(r23967, r23963, r23966, MPFR_RNDN); return mpfr_get_d(r23967, MPFR_RNDN); } static mpfr_t r23968, r23969, r23970, r23971, r23972, r23973, r23974, r23975, r23976, r23977, r23978, r23979, r23980, r23981, r23982; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r23968); mpfr_init(r23969); mpfr_init(r23970); mpfr_init(r23971); mpfr_init(r23972); mpfr_init(r23973); mpfr_init(r23974); mpfr_init(r23975); mpfr_init(r23976); mpfr_init(r23977); mpfr_init(r23978); mpfr_init(r23979); mpfr_init(r23980); mpfr_init(r23981); mpfr_init(r23982); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23968, x, MPFR_RNDN); mpfr_set_d(r23969, y, MPFR_RNDN); mpfr_mul(r23970, r23968, r23969, MPFR_RNDN); mpfr_set_d(r23971, z, MPFR_RNDN); mpfr_set_d(r23972, t, MPFR_RNDN); mpfr_mul(r23973, r23971, r23972, MPFR_RNDN); mpfr_add(r23974, r23970, r23973, MPFR_RNDN); mpfr_set_d(r23975, a, MPFR_RNDN); mpfr_set_d(r23976, b, MPFR_RNDN); mpfr_mul(r23977, r23975, r23976, MPFR_RNDN); mpfr_add(r23978, r23974, r23977, MPFR_RNDN); mpfr_set_d(r23979, c, MPFR_RNDN); mpfr_set_d(r23980, i, MPFR_RNDN); mpfr_mul(r23981, r23979, r23980, MPFR_RNDN); mpfr_add(r23982, r23978, r23981, MPFR_RNDN); return mpfr_get_d(r23982, MPFR_RNDN); }