#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 r23806 = x; float r23807 = y; float r23808 = r23806 * r23807; float r23809 = z; float r23810 = t; float r23811 = r23809 * r23810; float r23812 = r23808 + r23811; float r23813 = a; float r23814 = b; float r23815 = r23813 * r23814; float r23816 = r23812 + r23815; float r23817 = c; float r23818 = i; float r23819 = r23817 * r23818; float r23820 = r23816 + r23819; return r23820; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r23821 = x; double r23822 = y; double r23823 = r23821 * r23822; double r23824 = z; double r23825 = t; double r23826 = r23824 * r23825; double r23827 = r23823 + r23826; double r23828 = a; double r23829 = b; double r23830 = r23828 * r23829; double r23831 = r23827 + r23830; double r23832 = c; double r23833 = i; double r23834 = r23832 * r23833; double r23835 = r23831 + r23834; return r23835; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r23836 = x; float r23837 = y; float r23838 = r23836 * r23837; float r23839 = z; float r23840 = t; float r23841 = r23839 * r23840; float r23842 = r23838 + r23841; float r23843 = a; float r23844 = b; float r23845 = r23843 * r23844; float r23846 = r23842 + r23845; float r23847 = c; float r23848 = i; float r23849 = r23847 * r23848; float r23850 = r23846 + r23849; return r23850; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r23851 = x; double r23852 = y; double r23853 = r23851 * r23852; double r23854 = z; double r23855 = t; double r23856 = r23854 * r23855; double r23857 = r23853 + r23856; double r23858 = a; double r23859 = b; double r23860 = r23858 * r23859; double r23861 = r23857 + r23860; double r23862 = c; double r23863 = i; double r23864 = r23862 * r23863; double r23865 = r23861 + r23864; return r23865; } 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 r23866, r23867, r23868, r23869, r23870, r23871, r23872, r23873, r23874, r23875, r23876, r23877, r23878, r23879, r23880; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r23866); mpfr_init(r23867); mpfr_init(r23868); mpfr_init(r23869); mpfr_init(r23870); mpfr_init(r23871); mpfr_init(r23872); mpfr_init(r23873); mpfr_init(r23874); mpfr_init(r23875); mpfr_init(r23876); mpfr_init(r23877); mpfr_init(r23878); mpfr_init(r23879); mpfr_init(r23880); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23866, x, MPFR_RNDN); mpfr_set_d(r23867, y, MPFR_RNDN); mpfr_mul(r23868, r23866, r23867, MPFR_RNDN); mpfr_set_d(r23869, z, MPFR_RNDN); mpfr_set_d(r23870, t, MPFR_RNDN); mpfr_mul(r23871, r23869, r23870, MPFR_RNDN); mpfr_add(r23872, r23868, r23871, MPFR_RNDN); mpfr_set_d(r23873, a, MPFR_RNDN); mpfr_set_d(r23874, b, MPFR_RNDN); mpfr_mul(r23875, r23873, r23874, MPFR_RNDN); mpfr_add(r23876, r23872, r23875, MPFR_RNDN); mpfr_set_d(r23877, c, MPFR_RNDN); mpfr_set_d(r23878, i, MPFR_RNDN); mpfr_mul(r23879, r23877, r23878, MPFR_RNDN); mpfr_add(r23880, r23876, r23879, MPFR_RNDN); return mpfr_get_d(r23880, MPFR_RNDN); } static mpfr_t r23881, r23882, r23883, r23884, r23885, r23886, r23887, r23888, r23889, r23890, r23891, r23892, r23893, r23894, r23895; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r23881); mpfr_init(r23882); mpfr_init(r23883); mpfr_init(r23884); mpfr_init(r23885); mpfr_init(r23886); mpfr_init(r23887); mpfr_init(r23888); mpfr_init(r23889); mpfr_init(r23890); mpfr_init(r23891); mpfr_init(r23892); mpfr_init(r23893); mpfr_init(r23894); mpfr_init(r23895); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23881, x, MPFR_RNDN); mpfr_set_d(r23882, y, MPFR_RNDN); mpfr_mul(r23883, r23881, r23882, MPFR_RNDN); mpfr_set_d(r23884, z, MPFR_RNDN); mpfr_set_d(r23885, t, MPFR_RNDN); mpfr_mul(r23886, r23884, r23885, MPFR_RNDN); mpfr_add(r23887, r23883, r23886, MPFR_RNDN); mpfr_set_d(r23888, a, MPFR_RNDN); mpfr_set_d(r23889, b, MPFR_RNDN); mpfr_mul(r23890, r23888, r23889, MPFR_RNDN); mpfr_add(r23891, r23887, r23890, MPFR_RNDN); mpfr_set_d(r23892, c, MPFR_RNDN); mpfr_set_d(r23893, i, MPFR_RNDN); mpfr_mul(r23894, r23892, r23893, MPFR_RNDN); mpfr_add(r23895, r23891, r23894, MPFR_RNDN); return mpfr_get_d(r23895, MPFR_RNDN); } static mpfr_t r23896, r23897, r23898, r23899, r23900, r23901, r23902, r23903, r23904, r23905, r23906, r23907, r23908, r23909, r23910; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r23896); mpfr_init(r23897); mpfr_init(r23898); mpfr_init(r23899); mpfr_init(r23900); mpfr_init(r23901); mpfr_init(r23902); mpfr_init(r23903); mpfr_init(r23904); mpfr_init(r23905); mpfr_init(r23906); mpfr_init(r23907); mpfr_init(r23908); mpfr_init(r23909); mpfr_init(r23910); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23896, x, MPFR_RNDN); mpfr_set_d(r23897, y, MPFR_RNDN); mpfr_mul(r23898, r23896, r23897, MPFR_RNDN); mpfr_set_d(r23899, z, MPFR_RNDN); mpfr_set_d(r23900, t, MPFR_RNDN); mpfr_mul(r23901, r23899, r23900, MPFR_RNDN); mpfr_add(r23902, r23898, r23901, MPFR_RNDN); mpfr_set_d(r23903, a, MPFR_RNDN); mpfr_set_d(r23904, b, MPFR_RNDN); mpfr_mul(r23905, r23903, r23904, MPFR_RNDN); mpfr_add(r23906, r23902, r23905, MPFR_RNDN); mpfr_set_d(r23907, c, MPFR_RNDN); mpfr_set_d(r23908, i, MPFR_RNDN); mpfr_mul(r23909, r23907, r23908, MPFR_RNDN); mpfr_add(r23910, r23906, r23909, MPFR_RNDN); return mpfr_get_d(r23910, MPFR_RNDN); }