#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 r23829 = x; float r23830 = y; float r23831 = r23829 * r23830; float r23832 = z; float r23833 = t; float r23834 = r23832 * r23833; float r23835 = r23831 + r23834; float r23836 = a; float r23837 = b; float r23838 = r23836 * r23837; float r23839 = r23835 + r23838; float r23840 = c; float r23841 = i; float r23842 = r23840 * r23841; float r23843 = r23839 + r23842; return r23843; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r23844 = x; double r23845 = y; double r23846 = r23844 * r23845; double r23847 = z; double r23848 = t; double r23849 = r23847 * r23848; double r23850 = r23846 + r23849; double r23851 = a; double r23852 = b; double r23853 = r23851 * r23852; double r23854 = r23850 + r23853; double r23855 = c; double r23856 = i; double r23857 = r23855 * r23856; double r23858 = r23854 + r23857; return r23858; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r23859 = x; float r23860 = y; float r23861 = r23859 * r23860; float r23862 = z; float r23863 = t; float r23864 = r23862 * r23863; float r23865 = r23861 + r23864; float r23866 = a; float r23867 = b; float r23868 = r23866 * r23867; float r23869 = r23865 + r23868; float r23870 = c; float r23871 = i; float r23872 = r23870 * r23871; float r23873 = r23869 + r23872; return r23873; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r23874 = x; double r23875 = y; double r23876 = r23874 * r23875; double r23877 = z; double r23878 = t; double r23879 = r23877 * r23878; double r23880 = r23876 + r23879; double r23881 = a; double r23882 = b; double r23883 = r23881 * r23882; double r23884 = r23880 + r23883; double r23885 = c; double r23886 = i; double r23887 = r23885 * r23886; double r23888 = r23884 + r23887; return r23888; } 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 r23889, r23890, r23891, r23892, r23893, r23894, r23895, r23896, r23897, r23898, r23899, r23900, r23901, r23902, r23903; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r23889); mpfr_init(r23890); mpfr_init(r23891); mpfr_init(r23892); mpfr_init(r23893); mpfr_init(r23894); mpfr_init(r23895); mpfr_init(r23896); mpfr_init(r23897); mpfr_init(r23898); mpfr_init(r23899); mpfr_init(r23900); mpfr_init(r23901); mpfr_init(r23902); mpfr_init(r23903); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23889, x, MPFR_RNDN); mpfr_set_d(r23890, y, MPFR_RNDN); mpfr_mul(r23891, r23889, r23890, MPFR_RNDN); mpfr_set_d(r23892, z, MPFR_RNDN); mpfr_set_d(r23893, t, MPFR_RNDN); mpfr_mul(r23894, r23892, r23893, MPFR_RNDN); mpfr_add(r23895, r23891, r23894, MPFR_RNDN); mpfr_set_d(r23896, a, MPFR_RNDN); mpfr_set_d(r23897, b, MPFR_RNDN); mpfr_mul(r23898, r23896, r23897, MPFR_RNDN); mpfr_add(r23899, r23895, r23898, MPFR_RNDN); mpfr_set_d(r23900, c, MPFR_RNDN); mpfr_set_d(r23901, i, MPFR_RNDN); mpfr_mul(r23902, r23900, r23901, MPFR_RNDN); mpfr_add(r23903, r23899, r23902, MPFR_RNDN); return mpfr_get_d(r23903, MPFR_RNDN); } static mpfr_t r23904, r23905, r23906, r23907, r23908, r23909, r23910, r23911, r23912, r23913, r23914, r23915, r23916, r23917, r23918; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r23904); mpfr_init(r23905); mpfr_init(r23906); mpfr_init(r23907); mpfr_init(r23908); mpfr_init(r23909); mpfr_init(r23910); mpfr_init(r23911); mpfr_init(r23912); mpfr_init(r23913); mpfr_init(r23914); mpfr_init(r23915); mpfr_init(r23916); mpfr_init(r23917); mpfr_init(r23918); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23904, x, MPFR_RNDN); mpfr_set_d(r23905, y, MPFR_RNDN); mpfr_mul(r23906, r23904, r23905, MPFR_RNDN); mpfr_set_d(r23907, z, MPFR_RNDN); mpfr_set_d(r23908, t, MPFR_RNDN); mpfr_mul(r23909, r23907, r23908, MPFR_RNDN); mpfr_add(r23910, r23906, r23909, MPFR_RNDN); mpfr_set_d(r23911, a, MPFR_RNDN); mpfr_set_d(r23912, b, MPFR_RNDN); mpfr_mul(r23913, r23911, r23912, MPFR_RNDN); mpfr_add(r23914, r23910, r23913, MPFR_RNDN); mpfr_set_d(r23915, c, MPFR_RNDN); mpfr_set_d(r23916, i, MPFR_RNDN); mpfr_mul(r23917, r23915, r23916, MPFR_RNDN); mpfr_add(r23918, r23914, r23917, MPFR_RNDN); return mpfr_get_d(r23918, MPFR_RNDN); } static mpfr_t r23919, r23920, r23921, r23922, r23923, r23924, r23925, r23926, r23927, r23928, r23929, r23930, r23931, r23932, r23933; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r23919); mpfr_init(r23920); mpfr_init(r23921); mpfr_init(r23922); mpfr_init(r23923); mpfr_init(r23924); mpfr_init(r23925); mpfr_init(r23926); mpfr_init(r23927); mpfr_init(r23928); mpfr_init(r23929); mpfr_init(r23930); mpfr_init(r23931); mpfr_init(r23932); mpfr_init(r23933); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23919, x, MPFR_RNDN); mpfr_set_d(r23920, y, MPFR_RNDN); mpfr_mul(r23921, r23919, r23920, MPFR_RNDN); mpfr_set_d(r23922, z, MPFR_RNDN); mpfr_set_d(r23923, t, MPFR_RNDN); mpfr_mul(r23924, r23922, r23923, MPFR_RNDN); mpfr_add(r23925, r23921, r23924, MPFR_RNDN); mpfr_set_d(r23926, a, MPFR_RNDN); mpfr_set_d(r23927, b, MPFR_RNDN); mpfr_mul(r23928, r23926, r23927, MPFR_RNDN); mpfr_add(r23929, r23925, r23928, MPFR_RNDN); mpfr_set_d(r23930, c, MPFR_RNDN); mpfr_set_d(r23931, i, MPFR_RNDN); mpfr_mul(r23932, r23930, r23931, MPFR_RNDN); mpfr_add(r23933, r23929, r23932, MPFR_RNDN); return mpfr_get_d(r23933, MPFR_RNDN); }