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

char *name = "The quadratic formula (r2)";

double f_if(float a, float b, float c) {
        float r22899 = b;
        float r22900 = -r22899;
        float r22901 = r22899 * r22899;
        float r22902 = 4;
        float r22903 = a;
        float r22904 = c;
        float r22905 = r22903 * r22904;
        float r22906 = r22902 * r22905;
        float r22907 = r22901 - r22906;
        float r22908 = sqrt(r22907);
        float r22909 = r22900 - r22908;
        float r22910 = 2;
        float r22911 = r22910 * r22903;
        float r22912 = r22909 / r22911;
        return r22912;
}

double f_id(double a, double b, double c) {
        double r22913 = b;
        double r22914 = -r22913;
        double r22915 = r22913 * r22913;
        double r22916 = 4;
        double r22917 = a;
        double r22918 = c;
        double r22919 = r22917 * r22918;
        double r22920 = r22916 * r22919;
        double r22921 = r22915 - r22920;
        double r22922 = sqrt(r22921);
        double r22923 = r22914 - r22922;
        double r22924 = 2;
        double r22925 = r22924 * r22917;
        double r22926 = r22923 / r22925;
        return r22926;
}


double f_of(float a, float b, float c) {
        float r22927 = b;
        float r22928 = -9.339433638561125e-108;
        bool r22929 = r22927 <= r22928;
        float r22930 = c;
        float r22931 = -r22930;
        float r22932 = r22931 / r22927;
        float r22933 = 2.527965407286577e+82;
        bool r22934 = r22927 <= r22933;
        float r22935 = 1;
        float r22936 = a;
        float r22937 = 2;
        float r22938 = r22936 * r22937;
        float r22939 = -r22927;
        float r22940 = r22927 * r22927;
        float r22941 = r22936 * r22930;
        float r22942 = 4;
        float r22943 = r22941 * r22942;
        float r22944 = r22940 - r22943;
        float r22945 = sqrt(r22944);
        float r22946 = r22939 - r22945;
        float r22947 = r22938 / r22946;
        float r22948 = r22935 / r22947;
        float r22949 = r22927 / r22936;
        float r22950 = -r22949;
        float r22951 = r22934 ? r22948 : r22950;
        float r22952 = r22929 ? r22932 : r22951;
        return r22952;
}

double f_od(double a, double b, double c) {
        double r22953 = b;
        double r22954 = -9.339433638561125e-108;
        bool r22955 = r22953 <= r22954;
        double r22956 = c;
        double r22957 = -r22956;
        double r22958 = r22957 / r22953;
        double r22959 = 2.527965407286577e+82;
        bool r22960 = r22953 <= r22959;
        double r22961 = 1;
        double r22962 = a;
        double r22963 = 2;
        double r22964 = r22962 * r22963;
        double r22965 = -r22953;
        double r22966 = r22953 * r22953;
        double r22967 = r22962 * r22956;
        double r22968 = 4;
        double r22969 = r22967 * r22968;
        double r22970 = r22966 - r22969;
        double r22971 = sqrt(r22970);
        double r22972 = r22965 - r22971;
        double r22973 = r22964 / r22972;
        double r22974 = r22961 / r22973;
        double r22975 = r22953 / r22962;
        double r22976 = -r22975;
        double r22977 = r22960 ? r22974 : r22976;
        double r22978 = r22955 ? r22958 : r22977;
        return r22978;
}

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 r22979, r22980, r22981, r22982, r22983, r22984, r22985, r22986, r22987, r22988, r22989, r22990, r22991, r22992;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(3408);
        mpfr_init(r22979);
        mpfr_init(r22980);
        mpfr_init(r22981);
        mpfr_init_set_str(r22982, "4", 10, MPFR_RNDN);
        mpfr_init(r22983);
        mpfr_init(r22984);
        mpfr_init(r22985);
        mpfr_init(r22986);
        mpfr_init(r22987);
        mpfr_init(r22988);
        mpfr_init(r22989);
        mpfr_init_set_str(r22990, "2", 10, MPFR_RNDN);
        mpfr_init(r22991);
        mpfr_init(r22992);
}

double f_im(double a, double b, double c) {
        mpfr_set_d(r22979, b, MPFR_RNDN);
        mpfr_neg(r22980, r22979, MPFR_RNDN);
        mpfr_mul(r22981, r22979, r22979, MPFR_RNDN);
        ;
        mpfr_set_d(r22983, a, MPFR_RNDN);
        mpfr_set_d(r22984, c, MPFR_RNDN);
        mpfr_mul(r22985, r22983, r22984, MPFR_RNDN);
        mpfr_mul(r22986, r22982, r22985, MPFR_RNDN);
        mpfr_sub(r22987, r22981, r22986, MPFR_RNDN);
        mpfr_sqrt(r22988, r22987, MPFR_RNDN);
        mpfr_sub(r22989, r22980, r22988, MPFR_RNDN);
        ;
        mpfr_mul(r22991, r22990, r22983, MPFR_RNDN);
        mpfr_div(r22992, r22989, r22991, MPFR_RNDN);
        return mpfr_get_d(r22992, MPFR_RNDN);
}

static mpfr_t r22993, r22994, r22995, r22996, r22997, r22998, r22999, r23000, r23001, r23002, r23003, r23004, r23005, r23006, r23007, r23008, r23009, r23010, r23011, r23012, r23013, r23014, r23015, r23016, r23017, r23018;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(3408);
        mpfr_init(r22993);
        mpfr_init_set_str(r22994, "-9.339433638561125e-108", 10, MPFR_RNDN);
        mpfr_init(r22995);
        mpfr_init(r22996);
        mpfr_init(r22997);
        mpfr_init(r22998);
        mpfr_init_set_str(r22999, "2.527965407286577e+82", 10, MPFR_RNDN);
        mpfr_init(r23000);
        mpfr_init_set_str(r23001, "1", 10, MPFR_RNDN);
        mpfr_init(r23002);
        mpfr_init_set_str(r23003, "2", 10, MPFR_RNDN);
        mpfr_init(r23004);
        mpfr_init(r23005);
        mpfr_init(r23006);
        mpfr_init(r23007);
        mpfr_init_set_str(r23008, "4", 10, MPFR_RNDN);
        mpfr_init(r23009);
        mpfr_init(r23010);
        mpfr_init(r23011);
        mpfr_init(r23012);
        mpfr_init(r23013);
        mpfr_init(r23014);
        mpfr_init(r23015);
        mpfr_init(r23016);
        mpfr_init(r23017);
        mpfr_init(r23018);
}

double f_fm(double a, double b, double c) {
        mpfr_set_d(r22993, b, MPFR_RNDN);
        ;
        mpfr_set_si(r22995, mpfr_cmp(r22993, r22994) <= 0, MPFR_RNDN);
        mpfr_set_d(r22996, c, MPFR_RNDN);
        mpfr_neg(r22997, r22996, MPFR_RNDN);
        mpfr_div(r22998, r22997, r22993, MPFR_RNDN);
        ;
        mpfr_set_si(r23000, mpfr_cmp(r22993, r22999) <= 0, MPFR_RNDN);
        ;
        mpfr_set_d(r23002, a, MPFR_RNDN);
        ;
        mpfr_mul(r23004, r23002, r23003, MPFR_RNDN);
        mpfr_neg(r23005, r22993, MPFR_RNDN);
        mpfr_mul(r23006, r22993, r22993, MPFR_RNDN);
        mpfr_mul(r23007, r23002, r22996, MPFR_RNDN);
        ;
        mpfr_mul(r23009, r23007, r23008, MPFR_RNDN);
        mpfr_sub(r23010, r23006, r23009, MPFR_RNDN);
        mpfr_sqrt(r23011, r23010, MPFR_RNDN);
        mpfr_sub(r23012, r23005, r23011, MPFR_RNDN);
        mpfr_div(r23013, r23004, r23012, MPFR_RNDN);
        mpfr_div(r23014, r23001, r23013, MPFR_RNDN);
        mpfr_div(r23015, r22993, r23002, MPFR_RNDN);
        mpfr_neg(r23016, r23015, MPFR_RNDN);
        if (mpfr_get_si(r23000, MPFR_RNDN)) { mpfr_set(r23017, r23014, MPFR_RNDN); } else { mpfr_set(r23017, r23016, MPFR_RNDN); };
        if (mpfr_get_si(r22995, MPFR_RNDN)) { mpfr_set(r23018, r22998, MPFR_RNDN); } else { mpfr_set(r23018, r23017, MPFR_RNDN); };
        return mpfr_get_d(r23018, MPFR_RNDN);
}

static mpfr_t r23019, r23020, r23021, r23022, r23023, r23024, r23025, r23026, r23027, r23028, r23029, r23030, r23031, r23032, r23033, r23034, r23035, r23036, r23037, r23038, r23039, r23040, r23041, r23042, r23043, r23044;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(3408);
        mpfr_init(r23019);
        mpfr_init_set_str(r23020, "-9.339433638561125e-108", 10, MPFR_RNDN);
        mpfr_init(r23021);
        mpfr_init(r23022);
        mpfr_init(r23023);
        mpfr_init(r23024);
        mpfr_init_set_str(r23025, "2.527965407286577e+82", 10, MPFR_RNDN);
        mpfr_init(r23026);
        mpfr_init_set_str(r23027, "1", 10, MPFR_RNDN);
        mpfr_init(r23028);
        mpfr_init_set_str(r23029, "2", 10, MPFR_RNDN);
        mpfr_init(r23030);
        mpfr_init(r23031);
        mpfr_init(r23032);
        mpfr_init(r23033);
        mpfr_init_set_str(r23034, "4", 10, MPFR_RNDN);
        mpfr_init(r23035);
        mpfr_init(r23036);
        mpfr_init(r23037);
        mpfr_init(r23038);
        mpfr_init(r23039);
        mpfr_init(r23040);
        mpfr_init(r23041);
        mpfr_init(r23042);
        mpfr_init(r23043);
        mpfr_init(r23044);
}

double f_dm(double a, double b, double c) {
        mpfr_set_d(r23019, b, MPFR_RNDN);
        ;
        mpfr_set_si(r23021, mpfr_cmp(r23019, r23020) <= 0, MPFR_RNDN);
        mpfr_set_d(r23022, c, MPFR_RNDN);
        mpfr_neg(r23023, r23022, MPFR_RNDN);
        mpfr_div(r23024, r23023, r23019, MPFR_RNDN);
        ;
        mpfr_set_si(r23026, mpfr_cmp(r23019, r23025) <= 0, MPFR_RNDN);
        ;
        mpfr_set_d(r23028, a, MPFR_RNDN);
        ;
        mpfr_mul(r23030, r23028, r23029, MPFR_RNDN);
        mpfr_neg(r23031, r23019, MPFR_RNDN);
        mpfr_mul(r23032, r23019, r23019, MPFR_RNDN);
        mpfr_mul(r23033, r23028, r23022, MPFR_RNDN);
        ;
        mpfr_mul(r23035, r23033, r23034, MPFR_RNDN);
        mpfr_sub(r23036, r23032, r23035, MPFR_RNDN);
        mpfr_sqrt(r23037, r23036, MPFR_RNDN);
        mpfr_sub(r23038, r23031, r23037, MPFR_RNDN);
        mpfr_div(r23039, r23030, r23038, MPFR_RNDN);
        mpfr_div(r23040, r23027, r23039, MPFR_RNDN);
        mpfr_div(r23041, r23019, r23028, MPFR_RNDN);
        mpfr_neg(r23042, r23041, MPFR_RNDN);
        if (mpfr_get_si(r23026, MPFR_RNDN)) { mpfr_set(r23043, r23040, MPFR_RNDN); } else { mpfr_set(r23043, r23042, MPFR_RNDN); };
        if (mpfr_get_si(r23021, MPFR_RNDN)) { mpfr_set(r23044, r23024, MPFR_RNDN); } else { mpfr_set(r23044, r23043, MPFR_RNDN); };
        return mpfr_get_d(r23044, MPFR_RNDN);
}