#include #include #include #include #include char *name = "2-ancestry mixing, negative discriminant"; double f_if(float g, float h) { float r23821 = 2; float r23822 = atan2(1.0, 0.0); float r23823 = r23821 * r23822; float r23824 = 3; float r23825 = r23823 / r23824; float r23826 = g; float r23827 = -r23826; float r23828 = h; float r23829 = r23827 / r23828; float r23830 = acos(r23829); float r23831 = r23830 / r23824; float r23832 = r23825 + r23831; float r23833 = cos(r23832); float r23834 = r23821 * r23833; return r23834; } double f_id(double g, double h) { double r23835 = 2; double r23836 = atan2(1.0, 0.0); double r23837 = r23835 * r23836; double r23838 = 3; double r23839 = r23837 / r23838; double r23840 = g; double r23841 = -r23840; double r23842 = h; double r23843 = r23841 / r23842; double r23844 = acos(r23843); double r23845 = r23844 / r23838; double r23846 = r23839 + r23845; double r23847 = cos(r23846); double r23848 = r23835 * r23847; return r23848; } double f_of(float g, float h) { float r23849 = 2; float r23850 = 2/3; float r23851 = atan2(1.0, 0.0); float r23852 = r23850 * r23851; float r23853 = cos(r23852); float r23854 = cbrt(r23853); float r23855 = r23854 * r23854; float r23856 = r23855 * r23854; float r23857 = g; float r23858 = h; float r23859 = r23857 / r23858; float r23860 = -r23859; float r23861 = acos(r23860); float r23862 = 3; float r23863 = r23861 / r23862; float r23864 = cos(r23863); float r23865 = r23856 * r23864; float r23866 = sin(r23852); float r23867 = sin(r23863); float r23868 = r23866 * r23867; float r23869 = r23865 - r23868; float r23870 = r23849 * r23869; return r23870; } double f_od(double g, double h) { double r23871 = 2; double r23872 = 2/3; double r23873 = atan2(1.0, 0.0); double r23874 = r23872 * r23873; double r23875 = cos(r23874); double r23876 = cbrt(r23875); double r23877 = r23876 * r23876; double r23878 = r23877 * r23876; double r23879 = g; double r23880 = h; double r23881 = r23879 / r23880; double r23882 = -r23881; double r23883 = acos(r23882); double r23884 = 3; double r23885 = r23883 / r23884; double r23886 = cos(r23885); double r23887 = r23878 * r23886; double r23888 = sin(r23874); double r23889 = sin(r23885); double r23890 = r23888 * r23889; double r23891 = r23887 - r23890; double r23892 = r23871 * r23891; return r23892; } 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 r23893, r23894, r23895, r23896, r23897, r23898, r23899, r23900, r23901, r23902, r23903, r23904, r23905, r23906; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init_set_str(r23893, "2", 10, MPFR_RNDN); mpfr_init(r23894); mpfr_init(r23895); mpfr_init_set_str(r23896, "3", 10, MPFR_RNDN); 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); } double f_im(double g, double h) { ; mpfr_const_pi(r23894, MPFR_RNDN); mpfr_mul(r23895, r23893, r23894, MPFR_RNDN); ; mpfr_div(r23897, r23895, r23896, MPFR_RNDN); mpfr_set_d(r23898, g, MPFR_RNDN); mpfr_neg(r23899, r23898, MPFR_RNDN); mpfr_set_d(r23900, h, MPFR_RNDN); mpfr_div(r23901, r23899, r23900, MPFR_RNDN); mpfr_acos(r23902, r23901, MPFR_RNDN); mpfr_div(r23903, r23902, r23896, MPFR_RNDN); mpfr_add(r23904, r23897, r23903, MPFR_RNDN); mpfr_cos(r23905, r23904, MPFR_RNDN); mpfr_mul(r23906, r23893, r23905, MPFR_RNDN); return mpfr_get_d(r23906, MPFR_RNDN); } static mpfr_t r23907, r23908, r23909, r23910, r23911, r23912, r23913, r23914, r23915, r23916, r23917, r23918, r23919, r23920, r23921, r23922, r23923, r23924, r23925, r23926, r23927, r23928; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init_set_str(r23907, "2", 10, MPFR_RNDN); mpfr_init_set_str(r23908, "2/3", 10, MPFR_RNDN); 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); mpfr_init(r23919); mpfr_init_set_str(r23920, "3", 10, MPFR_RNDN); mpfr_init(r23921); mpfr_init(r23922); mpfr_init(r23923); mpfr_init(r23924); mpfr_init(r23925); mpfr_init(r23926); mpfr_init(r23927); mpfr_init(r23928); } double f_fm(double g, double h) { ; ; mpfr_const_pi(r23909, MPFR_RNDN); mpfr_mul(r23910, r23908, r23909, MPFR_RNDN); mpfr_cos(r23911, r23910, MPFR_RNDN); mpfr_cbrt(r23912, r23911, MPFR_RNDN); mpfr_mul(r23913, r23912, r23912, MPFR_RNDN); mpfr_mul(r23914, r23913, r23912, MPFR_RNDN); mpfr_set_d(r23915, g, MPFR_RNDN); mpfr_set_d(r23916, h, MPFR_RNDN); mpfr_div(r23917, r23915, r23916, MPFR_RNDN); mpfr_neg(r23918, r23917, MPFR_RNDN); mpfr_acos(r23919, r23918, MPFR_RNDN); ; mpfr_div(r23921, r23919, r23920, MPFR_RNDN); mpfr_cos(r23922, r23921, MPFR_RNDN); mpfr_mul(r23923, r23914, r23922, MPFR_RNDN); mpfr_sin(r23924, r23910, MPFR_RNDN); mpfr_sin(r23925, r23921, MPFR_RNDN); mpfr_mul(r23926, r23924, r23925, MPFR_RNDN); mpfr_sub(r23927, r23923, r23926, MPFR_RNDN); mpfr_mul(r23928, r23907, r23927, MPFR_RNDN); return mpfr_get_d(r23928, MPFR_RNDN); } static mpfr_t r23929, r23930, r23931, r23932, r23933, r23934, r23935, r23936, r23937, r23938, r23939, r23940, r23941, r23942, r23943, r23944, r23945, r23946, r23947, r23948, r23949, r23950; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init_set_str(r23929, "2", 10, MPFR_RNDN); mpfr_init_set_str(r23930, "2/3", 10, MPFR_RNDN); 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); mpfr_init(r23941); mpfr_init_set_str(r23942, "3", 10, MPFR_RNDN); mpfr_init(r23943); mpfr_init(r23944); mpfr_init(r23945); mpfr_init(r23946); mpfr_init(r23947); mpfr_init(r23948); mpfr_init(r23949); mpfr_init(r23950); } double f_dm(double g, double h) { ; ; mpfr_const_pi(r23931, MPFR_RNDN); mpfr_mul(r23932, r23930, r23931, MPFR_RNDN); mpfr_cos(r23933, r23932, MPFR_RNDN); mpfr_cbrt(r23934, r23933, MPFR_RNDN); mpfr_mul(r23935, r23934, r23934, MPFR_RNDN); mpfr_mul(r23936, r23935, r23934, MPFR_RNDN); mpfr_set_d(r23937, g, MPFR_RNDN); mpfr_set_d(r23938, h, MPFR_RNDN); mpfr_div(r23939, r23937, r23938, MPFR_RNDN); mpfr_neg(r23940, r23939, MPFR_RNDN); mpfr_acos(r23941, r23940, MPFR_RNDN); ; mpfr_div(r23943, r23941, r23942, MPFR_RNDN); mpfr_cos(r23944, r23943, MPFR_RNDN); mpfr_mul(r23945, r23936, r23944, MPFR_RNDN); mpfr_sin(r23946, r23932, MPFR_RNDN); mpfr_sin(r23947, r23943, MPFR_RNDN); mpfr_mul(r23948, r23946, r23947, MPFR_RNDN); mpfr_sub(r23949, r23945, r23948, MPFR_RNDN); mpfr_mul(r23950, r23929, r23949, MPFR_RNDN); return mpfr_get_d(r23950, MPFR_RNDN); }