#include #include #include #include #include char *name = "2-ancestry mixing, negative discriminant"; double f_if(float g, float h) { float r24697 = 2; float r24698 = atan2(1.0, 0.0); float r24699 = r24697 * r24698; float r24700 = 3; float r24701 = r24699 / r24700; float r24702 = g; float r24703 = -r24702; float r24704 = h; float r24705 = r24703 / r24704; float r24706 = acos(r24705); float r24707 = r24706 / r24700; float r24708 = r24701 + r24707; float r24709 = cos(r24708); float r24710 = r24697 * r24709; return r24710; } double f_id(double g, double h) { double r24711 = 2; double r24712 = atan2(1.0, 0.0); double r24713 = r24711 * r24712; double r24714 = 3; double r24715 = r24713 / r24714; double r24716 = g; double r24717 = -r24716; double r24718 = h; double r24719 = r24717 / r24718; double r24720 = acos(r24719); double r24721 = r24720 / r24714; double r24722 = r24715 + r24721; double r24723 = cos(r24722); double r24724 = r24711 * r24723; return r24724; } double f_of(float g, float h) { float r24725 = 2; float r24726 = 3; float r24727 = r24725 / r24726; float r24728 = atan2(1.0, 0.0); float r24729 = r24727 * r24728; float r24730 = cos(r24729); float r24731 = cbrt(r24730); float r24732 = r24731 * r24731; float r24733 = r24732 * r24731; float r24734 = cbrt(r24733); float r24735 = r24732 * r24734; float r24736 = g; float r24737 = h; float r24738 = r24736 / r24737; float r24739 = -r24738; float r24740 = acos(r24739); float r24741 = r24740 / r24726; float r24742 = cos(r24741); float r24743 = r24735 * r24742; float r24744 = sin(r24729); float r24745 = sin(r24741); float r24746 = r24744 * r24745; float r24747 = r24743 - r24746; float r24748 = r24725 * r24747; return r24748; } double f_od(double g, double h) { double r24749 = 2; double r24750 = 3; double r24751 = r24749 / r24750; double r24752 = atan2(1.0, 0.0); double r24753 = r24751 * r24752; double r24754 = cos(r24753); double r24755 = cbrt(r24754); double r24756 = r24755 * r24755; double r24757 = r24756 * r24755; double r24758 = cbrt(r24757); double r24759 = r24756 * r24758; double r24760 = g; double r24761 = h; double r24762 = r24760 / r24761; double r24763 = -r24762; double r24764 = acos(r24763); double r24765 = r24764 / r24750; double r24766 = cos(r24765); double r24767 = r24759 * r24766; double r24768 = sin(r24753); double r24769 = sin(r24765); double r24770 = r24768 * r24769; double r24771 = r24767 - r24770; double r24772 = r24749 * r24771; return r24772; } 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 r24773, r24774, r24775, r24776, r24777, r24778, r24779, r24780, r24781, r24782, r24783, r24784, r24785, r24786; void setup_mpfr_f_im() { mpfr_set_default_prec(336); mpfr_init_set_str(r24773, "2", 10, MPFR_RNDN); mpfr_init(r24774); mpfr_init(r24775); mpfr_init_set_str(r24776, "3", 10, MPFR_RNDN); mpfr_init(r24777); mpfr_init(r24778); mpfr_init(r24779); mpfr_init(r24780); mpfr_init(r24781); mpfr_init(r24782); mpfr_init(r24783); mpfr_init(r24784); mpfr_init(r24785); mpfr_init(r24786); } double f_im(double g, double h) { ; mpfr_const_pi(r24774, MPFR_RNDN); mpfr_mul(r24775, r24773, r24774, MPFR_RNDN); ; mpfr_div(r24777, r24775, r24776, MPFR_RNDN); mpfr_set_d(r24778, g, MPFR_RNDN); mpfr_neg(r24779, r24778, MPFR_RNDN); mpfr_set_d(r24780, h, MPFR_RNDN); mpfr_div(r24781, r24779, r24780, MPFR_RNDN); mpfr_acos(r24782, r24781, MPFR_RNDN); mpfr_div(r24783, r24782, r24776, MPFR_RNDN); mpfr_add(r24784, r24777, r24783, MPFR_RNDN); mpfr_cos(r24785, r24784, MPFR_RNDN); mpfr_mul(r24786, r24773, r24785, MPFR_RNDN); return mpfr_get_d(r24786, MPFR_RNDN); } static mpfr_t r24787, r24788, r24789, r24790, r24791, r24792, r24793, r24794, r24795, r24796, r24797, r24798, r24799, r24800, r24801, r24802, r24803, r24804, r24805, r24806, r24807, r24808, r24809, r24810; void setup_mpfr_f_fm() { mpfr_set_default_prec(336); mpfr_init_set_str(r24787, "2", 10, MPFR_RNDN); mpfr_init_set_str(r24788, "3", 10, MPFR_RNDN); mpfr_init(r24789); mpfr_init(r24790); mpfr_init(r24791); mpfr_init(r24792); mpfr_init(r24793); mpfr_init(r24794); mpfr_init(r24795); mpfr_init(r24796); mpfr_init(r24797); mpfr_init(r24798); mpfr_init(r24799); mpfr_init(r24800); mpfr_init(r24801); mpfr_init(r24802); mpfr_init(r24803); mpfr_init(r24804); mpfr_init(r24805); mpfr_init(r24806); mpfr_init(r24807); mpfr_init(r24808); mpfr_init(r24809); mpfr_init(r24810); } double f_fm(double g, double h) { ; ; mpfr_div(r24789, r24787, r24788, MPFR_RNDN); mpfr_const_pi(r24790, MPFR_RNDN); mpfr_mul(r24791, r24789, r24790, MPFR_RNDN); mpfr_cos(r24792, r24791, MPFR_RNDN); mpfr_cbrt(r24793, r24792, MPFR_RNDN); mpfr_mul(r24794, r24793, r24793, MPFR_RNDN); mpfr_mul(r24795, r24794, r24793, MPFR_RNDN); mpfr_cbrt(r24796, r24795, MPFR_RNDN); mpfr_mul(r24797, r24794, r24796, MPFR_RNDN); mpfr_set_d(r24798, g, MPFR_RNDN); mpfr_set_d(r24799, h, MPFR_RNDN); mpfr_div(r24800, r24798, r24799, MPFR_RNDN); mpfr_neg(r24801, r24800, MPFR_RNDN); mpfr_acos(r24802, r24801, MPFR_RNDN); mpfr_div(r24803, r24802, r24788, MPFR_RNDN); mpfr_cos(r24804, r24803, MPFR_RNDN); mpfr_mul(r24805, r24797, r24804, MPFR_RNDN); mpfr_sin(r24806, r24791, MPFR_RNDN); mpfr_sin(r24807, r24803, MPFR_RNDN); mpfr_mul(r24808, r24806, r24807, MPFR_RNDN); mpfr_sub(r24809, r24805, r24808, MPFR_RNDN); mpfr_mul(r24810, r24787, r24809, MPFR_RNDN); return mpfr_get_d(r24810, MPFR_RNDN); } static mpfr_t r24811, r24812, r24813, r24814, r24815, r24816, r24817, r24818, r24819, r24820, r24821, r24822, r24823, r24824, r24825, r24826, r24827, r24828, r24829, r24830, r24831, r24832, r24833, r24834; void setup_mpfr_f_dm() { mpfr_set_default_prec(336); mpfr_init_set_str(r24811, "2", 10, MPFR_RNDN); mpfr_init_set_str(r24812, "3", 10, MPFR_RNDN); mpfr_init(r24813); mpfr_init(r24814); mpfr_init(r24815); mpfr_init(r24816); mpfr_init(r24817); mpfr_init(r24818); mpfr_init(r24819); mpfr_init(r24820); mpfr_init(r24821); mpfr_init(r24822); mpfr_init(r24823); mpfr_init(r24824); mpfr_init(r24825); mpfr_init(r24826); mpfr_init(r24827); mpfr_init(r24828); mpfr_init(r24829); mpfr_init(r24830); mpfr_init(r24831); mpfr_init(r24832); mpfr_init(r24833); mpfr_init(r24834); } double f_dm(double g, double h) { ; ; mpfr_div(r24813, r24811, r24812, MPFR_RNDN); mpfr_const_pi(r24814, MPFR_RNDN); mpfr_mul(r24815, r24813, r24814, MPFR_RNDN); mpfr_cos(r24816, r24815, MPFR_RNDN); mpfr_cbrt(r24817, r24816, MPFR_RNDN); mpfr_mul(r24818, r24817, r24817, MPFR_RNDN); mpfr_mul(r24819, r24818, r24817, MPFR_RNDN); mpfr_cbrt(r24820, r24819, MPFR_RNDN); mpfr_mul(r24821, r24818, r24820, MPFR_RNDN); mpfr_set_d(r24822, g, MPFR_RNDN); mpfr_set_d(r24823, h, MPFR_RNDN); mpfr_div(r24824, r24822, r24823, MPFR_RNDN); mpfr_neg(r24825, r24824, MPFR_RNDN); mpfr_acos(r24826, r24825, MPFR_RNDN); mpfr_div(r24827, r24826, r24812, MPFR_RNDN); mpfr_cos(r24828, r24827, MPFR_RNDN); mpfr_mul(r24829, r24821, r24828, MPFR_RNDN); mpfr_sin(r24830, r24815, MPFR_RNDN); mpfr_sin(r24831, r24827, MPFR_RNDN); mpfr_mul(r24832, r24830, r24831, MPFR_RNDN); mpfr_sub(r24833, r24829, r24832, MPFR_RNDN); mpfr_mul(r24834, r24811, r24833, MPFR_RNDN); return mpfr_get_d(r24834, MPFR_RNDN); }