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

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

double f_if(float g, float a) {
        float r26902 = g;
        float r26903 = 2;
        float r26904 = a;
        float r26905 = r26903 * r26904;
        float r26906 = r26902 / r26905;
        float r26907 = cbrt(r26906);
        return r26907;
}

double f_id(double g, double a) {
        double r26908 = g;
        double r26909 = 2;
        double r26910 = a;
        double r26911 = r26909 * r26910;
        double r26912 = r26908 / r26911;
        double r26913 = cbrt(r26912);
        return r26913;
}


double f_of(float g, float a) {
        float r26914 = g;
        float r26915 = cbrt(r26914);
        float r26916 = -1/2;
        float r26917 = cbrt(r26916);
        float r26918 = cbrt(r26917);
        float r26919 = r26918 * r26918;
        float r26920 = r26915 * r26919;
        float r26921 = r26920 * r26918;
        float r26922 = -1;
        float r26923 = a;
        float r26924 = r26922 / r26923;
        float r26925 = cbrt(r26924);
        float r26926 = r26921 * r26925;
        return r26926;
}

double f_od(double g, double a) {
        double r26927 = g;
        double r26928 = cbrt(r26927);
        double r26929 = -1/2;
        double r26930 = cbrt(r26929);
        double r26931 = cbrt(r26930);
        double r26932 = r26931 * r26931;
        double r26933 = r26928 * r26932;
        double r26934 = r26933 * r26931;
        double r26935 = -1;
        double r26936 = a;
        double r26937 = r26935 / r26936;
        double r26938 = cbrt(r26937);
        double r26939 = r26934 * r26938;
        return r26939;
}

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 r26940, r26941, r26942, r26943, r26944, r26945;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r26940);
        mpfr_init_set_str(r26941, "2", 10, MPFR_RNDN);
        mpfr_init(r26942);
        mpfr_init(r26943);
        mpfr_init(r26944);
        mpfr_init(r26945);
}

double f_im(double g, double a) {
        mpfr_set_d(r26940, g, MPFR_RNDN);
        ;
        mpfr_set_d(r26942, a, MPFR_RNDN);
        mpfr_mul(r26943, r26941, r26942, MPFR_RNDN);
        mpfr_div(r26944, r26940, r26943, MPFR_RNDN);
        mpfr_cbrt(r26945, r26944, MPFR_RNDN);
        return mpfr_get_d(r26945, MPFR_RNDN);
}

static mpfr_t r26946, r26947, r26948, r26949, r26950, r26951, r26952, r26953, r26954, r26955, r26956, r26957, r26958;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r26946);
        mpfr_init(r26947);
        mpfr_init_set_str(r26948, "-1/2", 10, MPFR_RNDN);
        mpfr_init(r26949);
        mpfr_init(r26950);
        mpfr_init(r26951);
        mpfr_init(r26952);
        mpfr_init(r26953);
        mpfr_init_set_str(r26954, "-1", 10, MPFR_RNDN);
        mpfr_init(r26955);
        mpfr_init(r26956);
        mpfr_init(r26957);
        mpfr_init(r26958);
}

double f_fm(double g, double a) {
        mpfr_set_d(r26946, g, MPFR_RNDN);
        mpfr_cbrt(r26947, r26946, MPFR_RNDN);
        ;
        mpfr_cbrt(r26949, r26948, MPFR_RNDN);
        mpfr_cbrt(r26950, r26949, MPFR_RNDN);
        mpfr_mul(r26951, r26950, r26950, MPFR_RNDN);
        mpfr_mul(r26952, r26947, r26951, MPFR_RNDN);
        mpfr_mul(r26953, r26952, r26950, MPFR_RNDN);
        ;
        mpfr_set_d(r26955, a, MPFR_RNDN);
        mpfr_div(r26956, r26954, r26955, MPFR_RNDN);
        mpfr_cbrt(r26957, r26956, MPFR_RNDN);
        mpfr_mul(r26958, r26953, r26957, MPFR_RNDN);
        return mpfr_get_d(r26958, MPFR_RNDN);
}

static mpfr_t r26959, r26960, r26961, r26962, r26963, r26964, r26965, r26966, r26967, r26968, r26969, r26970, r26971;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r26959);
        mpfr_init(r26960);
        mpfr_init_set_str(r26961, "-1/2", 10, MPFR_RNDN);
        mpfr_init(r26962);
        mpfr_init(r26963);
        mpfr_init(r26964);
        mpfr_init(r26965);
        mpfr_init(r26966);
        mpfr_init_set_str(r26967, "-1", 10, MPFR_RNDN);
        mpfr_init(r26968);
        mpfr_init(r26969);
        mpfr_init(r26970);
        mpfr_init(r26971);
}

double f_dm(double g, double a) {
        mpfr_set_d(r26959, g, MPFR_RNDN);
        mpfr_cbrt(r26960, r26959, MPFR_RNDN);
        ;
        mpfr_cbrt(r26962, r26961, MPFR_RNDN);
        mpfr_cbrt(r26963, r26962, MPFR_RNDN);
        mpfr_mul(r26964, r26963, r26963, MPFR_RNDN);
        mpfr_mul(r26965, r26960, r26964, MPFR_RNDN);
        mpfr_mul(r26966, r26965, r26963, MPFR_RNDN);
        ;
        mpfr_set_d(r26968, a, MPFR_RNDN);
        mpfr_div(r26969, r26967, r26968, MPFR_RNDN);
        mpfr_cbrt(r26970, r26969, MPFR_RNDN);
        mpfr_mul(r26971, r26966, r26970, MPFR_RNDN);
        return mpfr_get_d(r26971, MPFR_RNDN);
}

