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