#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 r26764 = 2;
        float r26765 = atan2(1.0, 0.0);
        float r26766 = r26764 * r26765;
        float r26767 = 3;
        float r26768 = r26766 / r26767;
        float r26769 = g;
        float r26770 = -r26769;
        float r26771 = h;
        float r26772 = r26770 / r26771;
        float r26773 = acos(r26772);
        float r26774 = r26773 / r26767;
        float r26775 = r26768 + r26774;
        float r26776 = cos(r26775);
        float r26777 = r26764 * r26776;
        return r26777;
}

double f_id(double g, double h) {
        double r26778 = 2;
        double r26779 = atan2(1.0, 0.0);
        double r26780 = r26778 * r26779;
        double r26781 = 3;
        double r26782 = r26780 / r26781;
        double r26783 = g;
        double r26784 = -r26783;
        double r26785 = h;
        double r26786 = r26784 / r26785;
        double r26787 = acos(r26786);
        double r26788 = r26787 / r26781;
        double r26789 = r26782 + r26788;
        double r26790 = cos(r26789);
        double r26791 = r26778 * r26790;
        return r26791;
}


double f_of(float g, float h) {
        float r26792 = 2;
        float r26793 = g;
        float r26794 = h;
        float r26795 = r26793 / r26794;
        float r26796 = acos(r26795);
        float r26797 = 3;
        float r26798 = r26796 / r26797;
        float r26799 = cos(r26798);
        float r26800 = 1;
        float r26801 = r26792 + r26800;
        float r26802 = atan2(1.0, 0.0);
        float r26803 = r26802 / r26797;
        float r26804 = r26801 * r26803;
        float r26805 = cos(r26804);
        float r26806 = r26799 * r26805;
        float r26807 = sin(r26798);
        float r26808 = sin(r26804);
        float r26809 = r26807 * r26808;
        float r26810 = r26806 + r26809;
        float r26811 = r26792 * r26810;
        return r26811;
}

double f_od(double g, double h) {
        double r26812 = 2;
        double r26813 = g;
        double r26814 = h;
        double r26815 = r26813 / r26814;
        double r26816 = acos(r26815);
        double r26817 = 3;
        double r26818 = r26816 / r26817;
        double r26819 = cos(r26818);
        double r26820 = 1;
        double r26821 = r26812 + r26820;
        double r26822 = atan2(1.0, 0.0);
        double r26823 = r26822 / r26817;
        double r26824 = r26821 * r26823;
        double r26825 = cos(r26824);
        double r26826 = r26819 * r26825;
        double r26827 = sin(r26818);
        double r26828 = sin(r26824);
        double r26829 = r26827 * r26828;
        double r26830 = r26826 + r26829;
        double r26831 = r26812 * r26830;
        return r26831;
}

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 r26832, r26833, r26834, r26835, r26836, r26837, r26838, r26839, r26840, r26841, r26842, r26843, r26844, r26845;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r26832, "2", 10, MPFR_RNDN);
        mpfr_init(r26833);
        mpfr_init(r26834);
        mpfr_init_set_str(r26835, "3", 10, MPFR_RNDN);
        mpfr_init(r26836);
        mpfr_init(r26837);
        mpfr_init(r26838);
        mpfr_init(r26839);
        mpfr_init(r26840);
        mpfr_init(r26841);
        mpfr_init(r26842);
        mpfr_init(r26843);
        mpfr_init(r26844);
        mpfr_init(r26845);
}

double f_im(double g, double h) {
        ;
        mpfr_const_pi(r26833, MPFR_RNDN);
        mpfr_mul(r26834, r26832, r26833, MPFR_RNDN);
        ;
        mpfr_div(r26836, r26834, r26835, MPFR_RNDN);
        mpfr_set_d(r26837, g, MPFR_RNDN);
        mpfr_neg(r26838, r26837, MPFR_RNDN);
        mpfr_set_d(r26839, h, MPFR_RNDN);
        mpfr_div(r26840, r26838, r26839, MPFR_RNDN);
        mpfr_acos(r26841, r26840, MPFR_RNDN);
        mpfr_div(r26842, r26841, r26835, MPFR_RNDN);
        mpfr_add(r26843, r26836, r26842, MPFR_RNDN);
        mpfr_cos(r26844, r26843, MPFR_RNDN);
        mpfr_mul(r26845, r26832, r26844, MPFR_RNDN);
        return mpfr_get_d(r26845, MPFR_RNDN);
}

static mpfr_t r26846, r26847, r26848, r26849, r26850, r26851, r26852, r26853, r26854, r26855, r26856, r26857, r26858, r26859, r26860, r26861, r26862, r26863, r26864, r26865;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r26846, "2", 10, MPFR_RNDN);
        mpfr_init(r26847);
        mpfr_init(r26848);
        mpfr_init(r26849);
        mpfr_init(r26850);
        mpfr_init_set_str(r26851, "3", 10, MPFR_RNDN);
        mpfr_init(r26852);
        mpfr_init(r26853);
        mpfr_init_set_str(r26854, "1", 10, MPFR_RNDN);
        mpfr_init(r26855);
        mpfr_init(r26856);
        mpfr_init(r26857);
        mpfr_init(r26858);
        mpfr_init(r26859);
        mpfr_init(r26860);
        mpfr_init(r26861);
        mpfr_init(r26862);
        mpfr_init(r26863);
        mpfr_init(r26864);
        mpfr_init(r26865);
}

double f_fm(double g, double h) {
        ;
        mpfr_set_d(r26847, g, MPFR_RNDN);
        mpfr_set_d(r26848, h, MPFR_RNDN);
        mpfr_div(r26849, r26847, r26848, MPFR_RNDN);
        mpfr_acos(r26850, r26849, MPFR_RNDN);
        ;
        mpfr_div(r26852, r26850, r26851, MPFR_RNDN);
        mpfr_cos(r26853, r26852, MPFR_RNDN);
        ;
        mpfr_add(r26855, r26846, r26854, MPFR_RNDN);
        mpfr_const_pi(r26856, MPFR_RNDN);
        mpfr_div(r26857, r26856, r26851, MPFR_RNDN);
        mpfr_mul(r26858, r26855, r26857, MPFR_RNDN);
        mpfr_cos(r26859, r26858, MPFR_RNDN);
        mpfr_mul(r26860, r26853, r26859, MPFR_RNDN);
        mpfr_sin(r26861, r26852, MPFR_RNDN);
        mpfr_sin(r26862, r26858, MPFR_RNDN);
        mpfr_mul(r26863, r26861, r26862, MPFR_RNDN);
        mpfr_add(r26864, r26860, r26863, MPFR_RNDN);
        mpfr_mul(r26865, r26846, r26864, MPFR_RNDN);
        return mpfr_get_d(r26865, MPFR_RNDN);
}

static mpfr_t r26866, r26867, r26868, r26869, r26870, r26871, r26872, r26873, r26874, r26875, r26876, r26877, r26878, r26879, r26880, r26881, r26882, r26883, r26884, r26885;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r26866, "2", 10, MPFR_RNDN);
        mpfr_init(r26867);
        mpfr_init(r26868);
        mpfr_init(r26869);
        mpfr_init(r26870);
        mpfr_init_set_str(r26871, "3", 10, MPFR_RNDN);
        mpfr_init(r26872);
        mpfr_init(r26873);
        mpfr_init_set_str(r26874, "1", 10, MPFR_RNDN);
        mpfr_init(r26875);
        mpfr_init(r26876);
        mpfr_init(r26877);
        mpfr_init(r26878);
        mpfr_init(r26879);
        mpfr_init(r26880);
        mpfr_init(r26881);
        mpfr_init(r26882);
        mpfr_init(r26883);
        mpfr_init(r26884);
        mpfr_init(r26885);
}

double f_dm(double g, double h) {
        ;
        mpfr_set_d(r26867, g, MPFR_RNDN);
        mpfr_set_d(r26868, h, MPFR_RNDN);
        mpfr_div(r26869, r26867, r26868, MPFR_RNDN);
        mpfr_acos(r26870, r26869, MPFR_RNDN);
        ;
        mpfr_div(r26872, r26870, r26871, MPFR_RNDN);
        mpfr_cos(r26873, r26872, MPFR_RNDN);
        ;
        mpfr_add(r26875, r26866, r26874, MPFR_RNDN);
        mpfr_const_pi(r26876, MPFR_RNDN);
        mpfr_div(r26877, r26876, r26871, MPFR_RNDN);
        mpfr_mul(r26878, r26875, r26877, MPFR_RNDN);
        mpfr_cos(r26879, r26878, MPFR_RNDN);
        mpfr_mul(r26880, r26873, r26879, MPFR_RNDN);
        mpfr_sin(r26881, r26872, MPFR_RNDN);
        mpfr_sin(r26882, r26878, MPFR_RNDN);
        mpfr_mul(r26883, r26881, r26882, MPFR_RNDN);
        mpfr_add(r26884, r26880, r26883, MPFR_RNDN);
        mpfr_mul(r26885, r26866, r26884, MPFR_RNDN);
        return mpfr_get_d(r26885, MPFR_RNDN);
}