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

char *name = "quadm (p42, negative)";

double f_if(float a, float b, float c) {
        float r20857 = b;
        float r20858 = -r20857;
        float r20859 = r20857 * r20857;
        float r20860 = 4;
        float r20861 = a;
        float r20862 = c;
        float r20863 = r20861 * r20862;
        float r20864 = r20860 * r20863;
        float r20865 = r20859 - r20864;
        float r20866 = sqrt(r20865);
        float r20867 = r20858 - r20866;
        float r20868 = 2;
        float r20869 = r20868 * r20861;
        float r20870 = r20867 / r20869;
        return r20870;
}

double f_id(double a, double b, double c) {
        double r20871 = b;
        double r20872 = -r20871;
        double r20873 = r20871 * r20871;
        double r20874 = 4;
        double r20875 = a;
        double r20876 = c;
        double r20877 = r20875 * r20876;
        double r20878 = r20874 * r20877;
        double r20879 = r20873 - r20878;
        double r20880 = sqrt(r20879);
        double r20881 = r20872 - r20880;
        double r20882 = 2;
        double r20883 = r20882 * r20875;
        double r20884 = r20881 / r20883;
        return r20884;
}


double f_of(float a, float b, float c) {
        float r20885 = b;
        float r20886 = -1.722675289630694e-36;
        bool r20887 = r20885 <= r20886;
        float r20888 = -r20885;
        float r20889 = r20888 + r20885;
        float r20890 = a;
        float r20891 = r20890 + r20890;
        float r20892 = r20889 / r20891;
        float r20893 = c;
        float r20894 = r20893 / r20885;
        float r20895 = r20892 - r20894;
        float r20896 = 2.668929577274876e+121;
        bool r20897 = r20885 <= r20896;
        float r20898 = r20885 * r20885;
        float r20899 = 4;
        float r20900 = r20890 * r20893;
        float r20901 = r20899 * r20900;
        float r20902 = r20898 - r20901;
        float r20903 = sqrt(r20902);
        float r20904 = r20888 - r20903;
        float r20905 = 2;
        float r20906 = r20905 * r20890;
        float r20907 = r20904 / r20906;
        float r20908 = r20885 / r20890;
        float r20909 = r20894 - r20908;
        float r20910 = r20897 ? r20907 : r20909;
        float r20911 = r20887 ? r20895 : r20910;
        return r20911;
}

double f_od(double a, double b, double c) {
        double r20912 = b;
        double r20913 = -1.722675289630694e-36;
        bool r20914 = r20912 <= r20913;
        double r20915 = -r20912;
        double r20916 = r20915 + r20912;
        double r20917 = a;
        double r20918 = r20917 + r20917;
        double r20919 = r20916 / r20918;
        double r20920 = c;
        double r20921 = r20920 / r20912;
        double r20922 = r20919 - r20921;
        double r20923 = 2.668929577274876e+121;
        bool r20924 = r20912 <= r20923;
        double r20925 = r20912 * r20912;
        double r20926 = 4;
        double r20927 = r20917 * r20920;
        double r20928 = r20926 * r20927;
        double r20929 = r20925 - r20928;
        double r20930 = sqrt(r20929);
        double r20931 = r20915 - r20930;
        double r20932 = 2;
        double r20933 = r20932 * r20917;
        double r20934 = r20931 / r20933;
        double r20935 = r20912 / r20917;
        double r20936 = r20921 - r20935;
        double r20937 = r20924 ? r20934 : r20936;
        double r20938 = r20914 ? r20922 : r20937;
        return r20938;
}

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 r20939, r20940, r20941, r20942, r20943, r20944, r20945, r20946, r20947, r20948, r20949, r20950, r20951, r20952;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2960);
        mpfr_init(r20939);
        mpfr_init(r20940);
        mpfr_init(r20941);
        mpfr_init_set_str(r20942, "4", 10, MPFR_RNDN);
        mpfr_init(r20943);
        mpfr_init(r20944);
        mpfr_init(r20945);
        mpfr_init(r20946);
        mpfr_init(r20947);
        mpfr_init(r20948);
        mpfr_init(r20949);
        mpfr_init_set_str(r20950, "2", 10, MPFR_RNDN);
        mpfr_init(r20951);
        mpfr_init(r20952);
}

double f_im(double a, double b, double c) {
        mpfr_set_d(r20939, b, MPFR_RNDN);
        mpfr_neg(r20940, r20939, MPFR_RNDN);
        mpfr_mul(r20941, r20939, r20939, MPFR_RNDN);
        ;
        mpfr_set_d(r20943, a, MPFR_RNDN);
        mpfr_set_d(r20944, c, MPFR_RNDN);
        mpfr_mul(r20945, r20943, r20944, MPFR_RNDN);
        mpfr_mul(r20946, r20942, r20945, MPFR_RNDN);
        mpfr_sub(r20947, r20941, r20946, MPFR_RNDN);
        mpfr_sqrt(r20948, r20947, MPFR_RNDN);
        mpfr_sub(r20949, r20940, r20948, MPFR_RNDN);
        ;
        mpfr_mul(r20951, r20950, r20943, MPFR_RNDN);
        mpfr_div(r20952, r20949, r20951, MPFR_RNDN);
        return mpfr_get_d(r20952, MPFR_RNDN);
}

static mpfr_t r20953, r20954, r20955, r20956, r20957, r20958, r20959, r20960, r20961, r20962, r20963, r20964, r20965, r20966, r20967, r20968, r20969, r20970, r20971, r20972, r20973, r20974, r20975, r20976, r20977, r20978, r20979;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2960);
        mpfr_init(r20953);
        mpfr_init_set_str(r20954, "-1.722675289630694e-36", 10, MPFR_RNDN);
        mpfr_init(r20955);
        mpfr_init(r20956);
        mpfr_init(r20957);
        mpfr_init(r20958);
        mpfr_init(r20959);
        mpfr_init(r20960);
        mpfr_init(r20961);
        mpfr_init(r20962);
        mpfr_init(r20963);
        mpfr_init_set_str(r20964, "2.668929577274876e+121", 10, MPFR_RNDN);
        mpfr_init(r20965);
        mpfr_init(r20966);
        mpfr_init_set_str(r20967, "4", 10, MPFR_RNDN);
        mpfr_init(r20968);
        mpfr_init(r20969);
        mpfr_init(r20970);
        mpfr_init(r20971);
        mpfr_init(r20972);
        mpfr_init_set_str(r20973, "2", 10, MPFR_RNDN);
        mpfr_init(r20974);
        mpfr_init(r20975);
        mpfr_init(r20976);
        mpfr_init(r20977);
        mpfr_init(r20978);
        mpfr_init(r20979);
}

double f_fm(double a, double b, double c) {
        mpfr_set_d(r20953, b, MPFR_RNDN);
        ;
        mpfr_set_si(r20955, mpfr_cmp(r20953, r20954) <= 0, MPFR_RNDN);
        mpfr_neg(r20956, r20953, MPFR_RNDN);
        mpfr_add(r20957, r20956, r20953, MPFR_RNDN);
        mpfr_set_d(r20958, a, MPFR_RNDN);
        mpfr_add(r20959, r20958, r20958, MPFR_RNDN);
        mpfr_div(r20960, r20957, r20959, MPFR_RNDN);
        mpfr_set_d(r20961, c, MPFR_RNDN);
        mpfr_div(r20962, r20961, r20953, MPFR_RNDN);
        mpfr_sub(r20963, r20960, r20962, MPFR_RNDN);
        ;
        mpfr_set_si(r20965, mpfr_cmp(r20953, r20964) <= 0, MPFR_RNDN);
        mpfr_mul(r20966, r20953, r20953, MPFR_RNDN);
        ;
        mpfr_mul(r20968, r20958, r20961, MPFR_RNDN);
        mpfr_mul(r20969, r20967, r20968, MPFR_RNDN);
        mpfr_sub(r20970, r20966, r20969, MPFR_RNDN);
        mpfr_sqrt(r20971, r20970, MPFR_RNDN);
        mpfr_sub(r20972, r20956, r20971, MPFR_RNDN);
        ;
        mpfr_mul(r20974, r20973, r20958, MPFR_RNDN);
        mpfr_div(r20975, r20972, r20974, MPFR_RNDN);
        mpfr_div(r20976, r20953, r20958, MPFR_RNDN);
        mpfr_sub(r20977, r20962, r20976, MPFR_RNDN);
        if (mpfr_get_si(r20965, MPFR_RNDN)) { mpfr_set(r20978, r20975, MPFR_RNDN); } else { mpfr_set(r20978, r20977, MPFR_RNDN); };
        if (mpfr_get_si(r20955, MPFR_RNDN)) { mpfr_set(r20979, r20963, MPFR_RNDN); } else { mpfr_set(r20979, r20978, MPFR_RNDN); };
        return mpfr_get_d(r20979, MPFR_RNDN);
}

static mpfr_t r20980, r20981, r20982, r20983, r20984, r20985, r20986, r20987, r20988, r20989, r20990, r20991, r20992, r20993, r20994, r20995, r20996, r20997, r20998, r20999, r21000, r21001, r21002, r21003, r21004, r21005, r21006;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2960);
        mpfr_init(r20980);
        mpfr_init_set_str(r20981, "-1.722675289630694e-36", 10, MPFR_RNDN);
        mpfr_init(r20982);
        mpfr_init(r20983);
        mpfr_init(r20984);
        mpfr_init(r20985);
        mpfr_init(r20986);
        mpfr_init(r20987);
        mpfr_init(r20988);
        mpfr_init(r20989);
        mpfr_init(r20990);
        mpfr_init_set_str(r20991, "2.668929577274876e+121", 10, MPFR_RNDN);
        mpfr_init(r20992);
        mpfr_init(r20993);
        mpfr_init_set_str(r20994, "4", 10, MPFR_RNDN);
        mpfr_init(r20995);
        mpfr_init(r20996);
        mpfr_init(r20997);
        mpfr_init(r20998);
        mpfr_init(r20999);
        mpfr_init_set_str(r21000, "2", 10, MPFR_RNDN);
        mpfr_init(r21001);
        mpfr_init(r21002);
        mpfr_init(r21003);
        mpfr_init(r21004);
        mpfr_init(r21005);
        mpfr_init(r21006);
}

double f_dm(double a, double b, double c) {
        mpfr_set_d(r20980, b, MPFR_RNDN);
        ;
        mpfr_set_si(r20982, mpfr_cmp(r20980, r20981) <= 0, MPFR_RNDN);
        mpfr_neg(r20983, r20980, MPFR_RNDN);
        mpfr_add(r20984, r20983, r20980, MPFR_RNDN);
        mpfr_set_d(r20985, a, MPFR_RNDN);
        mpfr_add(r20986, r20985, r20985, MPFR_RNDN);
        mpfr_div(r20987, r20984, r20986, MPFR_RNDN);
        mpfr_set_d(r20988, c, MPFR_RNDN);
        mpfr_div(r20989, r20988, r20980, MPFR_RNDN);
        mpfr_sub(r20990, r20987, r20989, MPFR_RNDN);
        ;
        mpfr_set_si(r20992, mpfr_cmp(r20980, r20991) <= 0, MPFR_RNDN);
        mpfr_mul(r20993, r20980, r20980, MPFR_RNDN);
        ;
        mpfr_mul(r20995, r20985, r20988, MPFR_RNDN);
        mpfr_mul(r20996, r20994, r20995, MPFR_RNDN);
        mpfr_sub(r20997, r20993, r20996, MPFR_RNDN);
        mpfr_sqrt(r20998, r20997, MPFR_RNDN);
        mpfr_sub(r20999, r20983, r20998, MPFR_RNDN);
        ;
        mpfr_mul(r21001, r21000, r20985, MPFR_RNDN);
        mpfr_div(r21002, r20999, r21001, MPFR_RNDN);
        mpfr_div(r21003, r20980, r20985, MPFR_RNDN);
        mpfr_sub(r21004, r20989, r21003, MPFR_RNDN);
        if (mpfr_get_si(r20992, MPFR_RNDN)) { mpfr_set(r21005, r21002, MPFR_RNDN); } else { mpfr_set(r21005, r21004, MPFR_RNDN); };
        if (mpfr_get_si(r20982, MPFR_RNDN)) { mpfr_set(r21006, r20990, MPFR_RNDN); } else { mpfr_set(r21006, r21005, MPFR_RNDN); };
        return mpfr_get_d(r21006, MPFR_RNDN);
}