#include <tgmath.h>
#include <gmp.h>
#include <mpfr.h>
#include <stdio.h>
#include <stdbool.h>

char *name = "2-ancestry mixing, negative discriminant";

double f_if(float g, float h) {
        float r26894 = 2;
        float r26895 = atan2(1.0, 0.0);
        float r26896 = r26894 * r26895;
        float r26897 = 3;
        float r26898 = r26896 / r26897;
        float r26899 = g;
        float r26900 = -r26899;
        float r26901 = h;
        float r26902 = r26900 / r26901;
        float r26903 = acos(r26902);
        float r26904 = r26903 / r26897;
        float r26905 = r26898 + r26904;
        float r26906 = cos(r26905);
        float r26907 = r26894 * r26906;
        return r26907;
}

double f_id(double g, double h) {
        double r26908 = 2;
        double r26909 = atan2(1.0, 0.0);
        double r26910 = r26908 * r26909;
        double r26911 = 3;
        double r26912 = r26910 / r26911;
        double r26913 = g;
        double r26914 = -r26913;
        double r26915 = h;
        double r26916 = r26914 / r26915;
        double r26917 = acos(r26916);
        double r26918 = r26917 / r26911;
        double r26919 = r26912 + r26918;
        double r26920 = cos(r26919);
        double r26921 = r26908 * r26920;
        return r26921;
}


double f_of(float g, float h) {
        float r26922 = 2;
        float r26923 = g;
        float r26924 = h;
        float r26925 = r26923 / r26924;
        float r26926 = acos(r26925);
        float r26927 = 3;
        float r26928 = r26926 / r26927;
        float r26929 = cos(r26928);
        float r26930 = 1;
        float r26931 = r26922 + r26930;
        float r26932 = atan2(1.0, 0.0);
        float r26933 = r26932 / r26927;
        float r26934 = r26931 * r26933;
        float r26935 = cos(r26934);
        float r26936 = r26929 * r26935;
        float r26937 = sin(r26928);
        float r26938 = sin(r26934);
        float r26939 = r26937 * r26938;
        float r26940 = r26936 + r26939;
        float r26941 = r26922 * r26940;
        return r26941;
}

double f_od(double g, double h) {
        double r26942 = 2;
        double r26943 = g;
        double r26944 = h;
        double r26945 = r26943 / r26944;
        double r26946 = acos(r26945);
        double r26947 = 3;
        double r26948 = r26946 / r26947;
        double r26949 = cos(r26948);
        double r26950 = 1;
        double r26951 = r26942 + r26950;
        double r26952 = atan2(1.0, 0.0);
        double r26953 = r26952 / r26947;
        double r26954 = r26951 * r26953;
        double r26955 = cos(r26954);
        double r26956 = r26949 * r26955;
        double r26957 = sin(r26948);
        double r26958 = sin(r26954);
        double r26959 = r26957 * r26958;
        double r26960 = r26956 + r26959;
        double r26961 = r26942 * r26960;
        return r26961;
}

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 r26962, r26963, r26964, r26965, r26966, r26967, r26968, r26969, r26970, r26971, r26972, r26973, r26974, r26975;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r26962, "2", 10, MPFR_RNDN);
        mpfr_init(r26963);
        mpfr_init(r26964);
        mpfr_init_set_str(r26965, "3", 10, MPFR_RNDN);
        mpfr_init(r26966);
        mpfr_init(r26967);
        mpfr_init(r26968);
        mpfr_init(r26969);
        mpfr_init(r26970);
        mpfr_init(r26971);
        mpfr_init(r26972);
        mpfr_init(r26973);
        mpfr_init(r26974);
        mpfr_init(r26975);
}

double f_im(double g, double h) {
        ;
        mpfr_const_pi(r26963, MPFR_RNDN);
        mpfr_mul(r26964, r26962, r26963, MPFR_RNDN);
        ;
        mpfr_div(r26966, r26964, r26965, MPFR_RNDN);
        mpfr_set_d(r26967, g, MPFR_RNDN);
        mpfr_neg(r26968, r26967, MPFR_RNDN);
        mpfr_set_d(r26969, h, MPFR_RNDN);
        mpfr_div(r26970, r26968, r26969, MPFR_RNDN);
        mpfr_acos(r26971, r26970, MPFR_RNDN);
        mpfr_div(r26972, r26971, r26965, MPFR_RNDN);
        mpfr_add(r26973, r26966, r26972, MPFR_RNDN);
        mpfr_cos(r26974, r26973, MPFR_RNDN);
        mpfr_mul(r26975, r26962, r26974, MPFR_RNDN);
        return mpfr_get_d(r26975, MPFR_RNDN);
}

static mpfr_t r26976, r26977, r26978, r26979, r26980, r26981, r26982, r26983, r26984, r26985, r26986, r26987, r26988, r26989, r26990, r26991, r26992, r26993, r26994, r26995;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r26976, "2", 10, MPFR_RNDN);
        mpfr_init(r26977);
        mpfr_init(r26978);
        mpfr_init(r26979);
        mpfr_init(r26980);
        mpfr_init_set_str(r26981, "3", 10, MPFR_RNDN);
        mpfr_init(r26982);
        mpfr_init(r26983);
        mpfr_init_set_str(r26984, "1", 10, MPFR_RNDN);
        mpfr_init(r26985);
        mpfr_init(r26986);
        mpfr_init(r26987);
        mpfr_init(r26988);
        mpfr_init(r26989);
        mpfr_init(r26990);
        mpfr_init(r26991);
        mpfr_init(r26992);
        mpfr_init(r26993);
        mpfr_init(r26994);
        mpfr_init(r26995);
}

double f_fm(double g, double h) {
        ;
        mpfr_set_d(r26977, g, MPFR_RNDN);
        mpfr_set_d(r26978, h, MPFR_RNDN);
        mpfr_div(r26979, r26977, r26978, MPFR_RNDN);
        mpfr_acos(r26980, r26979, MPFR_RNDN);
        ;
        mpfr_div(r26982, r26980, r26981, MPFR_RNDN);
        mpfr_cos(r26983, r26982, MPFR_RNDN);
        ;
        mpfr_add(r26985, r26976, r26984, MPFR_RNDN);
        mpfr_const_pi(r26986, MPFR_RNDN);
        mpfr_div(r26987, r26986, r26981, MPFR_RNDN);
        mpfr_mul(r26988, r26985, r26987, MPFR_RNDN);
        mpfr_cos(r26989, r26988, MPFR_RNDN);
        mpfr_mul(r26990, r26983, r26989, MPFR_RNDN);
        mpfr_sin(r26991, r26982, MPFR_RNDN);
        mpfr_sin(r26992, r26988, MPFR_RNDN);
        mpfr_mul(r26993, r26991, r26992, MPFR_RNDN);
        mpfr_add(r26994, r26990, r26993, MPFR_RNDN);
        mpfr_mul(r26995, r26976, r26994, MPFR_RNDN);
        return mpfr_get_d(r26995, MPFR_RNDN);
}

static mpfr_t r26996, r26997, r26998, r26999, r27000, r27001, r27002, r27003, r27004, r27005, r27006, r27007, r27008, r27009, r27010, r27011, r27012, r27013, r27014, r27015;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r26996, "2", 10, MPFR_RNDN);
        mpfr_init(r26997);
        mpfr_init(r26998);
        mpfr_init(r26999);
        mpfr_init(r27000);
        mpfr_init_set_str(r27001, "3", 10, MPFR_RNDN);
        mpfr_init(r27002);
        mpfr_init(r27003);
        mpfr_init_set_str(r27004, "1", 10, MPFR_RNDN);
        mpfr_init(r27005);
        mpfr_init(r27006);
        mpfr_init(r27007);
        mpfr_init(r27008);
        mpfr_init(r27009);
        mpfr_init(r27010);
        mpfr_init(r27011);
        mpfr_init(r27012);
        mpfr_init(r27013);
        mpfr_init(r27014);
        mpfr_init(r27015);
}

double f_dm(double g, double h) {
        ;
        mpfr_set_d(r26997, g, MPFR_RNDN);
        mpfr_set_d(r26998, h, MPFR_RNDN);
        mpfr_div(r26999, r26997, r26998, MPFR_RNDN);
        mpfr_acos(r27000, r26999, MPFR_RNDN);
        ;
        mpfr_div(r27002, r27000, r27001, MPFR_RNDN);
        mpfr_cos(r27003, r27002, MPFR_RNDN);
        ;
        mpfr_add(r27005, r26996, r27004, MPFR_RNDN);
        mpfr_const_pi(r27006, MPFR_RNDN);
        mpfr_div(r27007, r27006, r27001, MPFR_RNDN);
        mpfr_mul(r27008, r27005, r27007, MPFR_RNDN);
        mpfr_cos(r27009, r27008, MPFR_RNDN);
        mpfr_mul(r27010, r27003, r27009, MPFR_RNDN);
        mpfr_sin(r27011, r27002, MPFR_RNDN);
        mpfr_sin(r27012, r27008, MPFR_RNDN);
        mpfr_mul(r27013, r27011, r27012, MPFR_RNDN);
        mpfr_add(r27014, r27010, r27013, MPFR_RNDN);
        mpfr_mul(r27015, r26996, r27014, MPFR_RNDN);
        return mpfr_get_d(r27015, MPFR_RNDN);
}