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