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

char *name = "jeff quadratic root 2";

double f_if(float a, float b, float c) {
        float r14985 = b;
        float r14986 = 0.0f;
        bool r14987 = r14985 >= r14986;
        float r14988 = 2.0f;
        float r14989 = c;
        float r14990 = r14988 * r14989;
        float r14991 = -r14985;
        float r14992 = r14985 * r14985;
        float r14993 = 4.0f;
        float r14994 = a;
        float r14995 = r14993 * r14994;
        float r14996 = r14995 * r14989;
        float r14997 = r14992 - r14996;
        float r14998 = sqrt(r14997);
        float r14999 = r14991 - r14998;
        float r15000 = r14990 / r14999;
        float r15001 = r14991 + r14998;
        float r15002 = r14988 * r14994;
        float r15003 = r15001 / r15002;
        float r15004 = r14987 ? r15000 : r15003;
        return r15004;
}

double f_id(double a, double b, double c) {
        double r15005 = b;
        double r15006 = 0.0;
        bool r15007 = r15005 >= r15006;
        double r15008 = 2.0;
        double r15009 = c;
        double r15010 = r15008 * r15009;
        double r15011 = -r15005;
        double r15012 = r15005 * r15005;
        double r15013 = 4.0;
        double r15014 = a;
        double r15015 = r15013 * r15014;
        double r15016 = r15015 * r15009;
        double r15017 = r15012 - r15016;
        double r15018 = sqrt(r15017);
        double r15019 = r15011 - r15018;
        double r15020 = r15010 / r15019;
        double r15021 = r15011 + r15018;
        double r15022 = r15008 * r15014;
        double r15023 = r15021 / r15022;
        double r15024 = r15007 ? r15020 : r15023;
        return r15024;
}


double f_of(float a, float b, float c) {
        float r15025 = b;
        float r15026 = -431232863.47265303f;
        bool r15027 = r15025 <= r15026;
        float r15028 = 0.0f;
        bool r15029 = r15025 >= r15028;
        float r15030 = c;
        float r15031 = 2.0f;
        float r15032 = r15030 * r15031;
        float r15033 = -r15025;
        float r15034 = r15025 * r15025;
        float r15035 = 4.0f;
        float r15036 = r15035 * r15030;
        float r15037 = a;
        float r15038 = r15036 * r15037;
        float r15039 = r15034 - r15038;
        float r15040 = sqrt(r15039);
        float r15041 = r15033 - r15040;
        float r15042 = r15032 / r15041;
        float r15043 = r15030 / r15025;
        float r15044 = r15025 / r15037;
        float r15045 = r15043 - r15044;
        float r15046 = r15029 ? r15042 : r15045;
        float r15047 = 1.4445095675228828e-303f;
        bool r15048 = r15025 <= r15047;
        float r15049 = r15043 * r15037;
        float r15050 = r15049 - r15025;
        float r15051 = r15030 / r15050;
        float r15052 = r15030 * r15037;
        float r15053 = r15052 * r15035;
        float r15054 = r15034 - r15053;
        float r15055 = sqrt(r15054);
        float r15056 = r15055 + r15033;
        float r15057 = r15037 * r15031;
        float r15058 = r15056 / r15057;
        float r15059 = r15029 ? r15051 : r15058;
        float r15060 = 7.953681720830793e+130f;
        bool r15061 = r15025 <= r15060;
        float r15062 = r15061 ? r15046 : r15059;
        float r15063 = r15048 ? r15059 : r15062;
        float r15064 = r15027 ? r15046 : r15063;
        return r15064;
}

double f_od(double a, double b, double c) {
        double r15065 = b;
        double r15066 = -431232863.47265303;
        bool r15067 = r15065 <= r15066;
        double r15068 = 0.0;
        bool r15069 = r15065 >= r15068;
        double r15070 = c;
        double r15071 = 2.0;
        double r15072 = r15070 * r15071;
        double r15073 = -r15065;
        double r15074 = r15065 * r15065;
        double r15075 = 4.0;
        double r15076 = r15075 * r15070;
        double r15077 = a;
        double r15078 = r15076 * r15077;
        double r15079 = r15074 - r15078;
        double r15080 = sqrt(r15079);
        double r15081 = r15073 - r15080;
        double r15082 = r15072 / r15081;
        double r15083 = r15070 / r15065;
        double r15084 = r15065 / r15077;
        double r15085 = r15083 - r15084;
        double r15086 = r15069 ? r15082 : r15085;
        double r15087 = 1.4445095675228828e-303;
        bool r15088 = r15065 <= r15087;
        double r15089 = r15083 * r15077;
        double r15090 = r15089 - r15065;
        double r15091 = r15070 / r15090;
        double r15092 = r15070 * r15077;
        double r15093 = r15092 * r15075;
        double r15094 = r15074 - r15093;
        double r15095 = sqrt(r15094);
        double r15096 = r15095 + r15073;
        double r15097 = r15077 * r15071;
        double r15098 = r15096 / r15097;
        double r15099 = r15069 ? r15091 : r15098;
        double r15100 = 7.953681720830793e+130;
        bool r15101 = r15065 <= r15100;
        double r15102 = r15101 ? r15086 : r15099;
        double r15103 = r15088 ? r15099 : r15102;
        double r15104 = r15067 ? r15086 : r15103;
        return r15104;
}

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 r15105, r15106, r15107, r15108, r15109, r15110, r15111, r15112, r15113, r15114, r15115, r15116, r15117, r15118, r15119, r15120, r15121, r15122, r15123, r15124;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r15105);
        mpfr_init_set_str(r15106, "0", 10, MPFR_RNDN);
        mpfr_init(r15107);
        mpfr_init_set_str(r15108, "2", 10, MPFR_RNDN);
        mpfr_init(r15109);
        mpfr_init(r15110);
        mpfr_init(r15111);
        mpfr_init(r15112);
        mpfr_init_set_str(r15113, "4", 10, MPFR_RNDN);
        mpfr_init(r15114);
        mpfr_init(r15115);
        mpfr_init(r15116);
        mpfr_init(r15117);
        mpfr_init(r15118);
        mpfr_init(r15119);
        mpfr_init(r15120);
        mpfr_init(r15121);
        mpfr_init(r15122);
        mpfr_init(r15123);
        mpfr_init(r15124);
}

double f_im(double a, double b, double c) {
        mpfr_set_d(r15105, b, MPFR_RNDN);
        ;
        mpfr_set_si(r15107, mpfr_cmp(r15105, r15106) >= 0, MPFR_RNDN);
        ;
        mpfr_set_d(r15109, c, MPFR_RNDN);
        mpfr_mul(r15110, r15108, r15109, MPFR_RNDN);
        mpfr_neg(r15111, r15105, MPFR_RNDN);
        mpfr_sqr(r15112, r15105, MPFR_RNDN);
        ;
        mpfr_set_d(r15114, a, MPFR_RNDN);
        mpfr_mul(r15115, r15113, r15114, MPFR_RNDN);
        mpfr_mul(r15116, r15115, r15109, MPFR_RNDN);
        mpfr_sub(r15117, r15112, r15116, MPFR_RNDN);
        mpfr_sqrt(r15118, r15117, MPFR_RNDN);
        mpfr_sub(r15119, r15111, r15118, MPFR_RNDN);
        mpfr_div(r15120, r15110, r15119, MPFR_RNDN);
        mpfr_add(r15121, r15111, r15118, MPFR_RNDN);
        mpfr_mul(r15122, r15108, r15114, MPFR_RNDN);
        mpfr_div(r15123, r15121, r15122, MPFR_RNDN);
        if (mpfr_get_si(r15107, MPFR_RNDN)) { mpfr_set(r15124, r15120, MPFR_RNDN); } else { mpfr_set(r15124, r15123, MPFR_RNDN); };
        return mpfr_get_d(r15124, MPFR_RNDN);
}

static mpfr_t r15125, r15126, r15127, r15128, r15129, r15130, r15131, r15132, r15133, r15134, r15135, r15136, r15137, r15138, r15139, r15140, r15141, r15142, r15143, r15144, r15145, r15146, r15147, r15148, r15149, r15150, r15151, r15152, r15153, r15154, r15155, r15156, r15157, r15158, r15159, r15160, r15161, r15162, r15163, r15164;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15125);
        mpfr_init_set_str(r15126, "-431232863.47265303", 10, MPFR_RNDN);
        mpfr_init(r15127);
        mpfr_init_set_str(r15128, "0", 10, MPFR_RNDN);
        mpfr_init(r15129);
        mpfr_init(r15130);
        mpfr_init_set_str(r15131, "2", 10, MPFR_RNDN);
        mpfr_init(r15132);
        mpfr_init(r15133);
        mpfr_init(r15134);
        mpfr_init_set_str(r15135, "4", 10, MPFR_RNDN);
        mpfr_init(r15136);
        mpfr_init(r15137);
        mpfr_init(r15138);
        mpfr_init(r15139);
        mpfr_init(r15140);
        mpfr_init(r15141);
        mpfr_init(r15142);
        mpfr_init(r15143);
        mpfr_init(r15144);
        mpfr_init(r15145);
        mpfr_init(r15146);
        mpfr_init_set_str(r15147, "1.4445095675228828e-303", 10, MPFR_RNDN);
        mpfr_init(r15148);
        mpfr_init(r15149);
        mpfr_init(r15150);
        mpfr_init(r15151);
        mpfr_init(r15152);
        mpfr_init(r15153);
        mpfr_init(r15154);
        mpfr_init(r15155);
        mpfr_init(r15156);
        mpfr_init(r15157);
        mpfr_init(r15158);
        mpfr_init(r15159);
        mpfr_init_set_str(r15160, "7.953681720830793e+130", 10, MPFR_RNDN);
        mpfr_init(r15161);
        mpfr_init(r15162);
        mpfr_init(r15163);
        mpfr_init(r15164);
}

double f_fm(double a, double b, double c) {
        mpfr_set_d(r15125, b, MPFR_RNDN);
        ;
        mpfr_set_si(r15127, mpfr_cmp(r15125, r15126) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r15129, mpfr_cmp(r15125, r15128) >= 0, MPFR_RNDN);
        mpfr_set_d(r15130, c, MPFR_RNDN);
        ;
        mpfr_mul(r15132, r15130, r15131, MPFR_RNDN);
        mpfr_neg(r15133, r15125, MPFR_RNDN);
        mpfr_sqr(r15134, r15125, MPFR_RNDN);
        ;
        mpfr_mul(r15136, r15135, r15130, MPFR_RNDN);
        mpfr_set_d(r15137, a, MPFR_RNDN);
        mpfr_mul(r15138, r15136, r15137, MPFR_RNDN);
        mpfr_sub(r15139, r15134, r15138, MPFR_RNDN);
        mpfr_sqrt(r15140, r15139, MPFR_RNDN);
        mpfr_sub(r15141, r15133, r15140, MPFR_RNDN);
        mpfr_div(r15142, r15132, r15141, MPFR_RNDN);
        mpfr_div(r15143, r15130, r15125, MPFR_RNDN);
        mpfr_div(r15144, r15125, r15137, MPFR_RNDN);
        mpfr_sub(r15145, r15143, r15144, MPFR_RNDN);
        if (mpfr_get_si(r15129, MPFR_RNDN)) { mpfr_set(r15146, r15142, MPFR_RNDN); } else { mpfr_set(r15146, r15145, MPFR_RNDN); };
        ;
        mpfr_set_si(r15148, mpfr_cmp(r15125, r15147) <= 0, MPFR_RNDN);
        mpfr_mul(r15149, r15143, r15137, MPFR_RNDN);
        mpfr_sub(r15150, r15149, r15125, MPFR_RNDN);
        mpfr_div(r15151, r15130, r15150, MPFR_RNDN);
        mpfr_mul(r15152, r15130, r15137, MPFR_RNDN);
        mpfr_mul(r15153, r15152, r15135, MPFR_RNDN);
        mpfr_sub(r15154, r15134, r15153, MPFR_RNDN);
        mpfr_sqrt(r15155, r15154, MPFR_RNDN);
        mpfr_add(r15156, r15155, r15133, MPFR_RNDN);
        mpfr_mul(r15157, r15137, r15131, MPFR_RNDN);
        mpfr_div(r15158, r15156, r15157, MPFR_RNDN);
        if (mpfr_get_si(r15129, MPFR_RNDN)) { mpfr_set(r15159, r15151, MPFR_RNDN); } else { mpfr_set(r15159, r15158, MPFR_RNDN); };
        ;
        mpfr_set_si(r15161, mpfr_cmp(r15125, r15160) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r15161, MPFR_RNDN)) { mpfr_set(r15162, r15146, MPFR_RNDN); } else { mpfr_set(r15162, r15159, MPFR_RNDN); };
        if (mpfr_get_si(r15148, MPFR_RNDN)) { mpfr_set(r15163, r15159, MPFR_RNDN); } else { mpfr_set(r15163, r15162, MPFR_RNDN); };
        if (mpfr_get_si(r15127, MPFR_RNDN)) { mpfr_set(r15164, r15146, MPFR_RNDN); } else { mpfr_set(r15164, r15163, MPFR_RNDN); };
        return mpfr_get_d(r15164, MPFR_RNDN);
}

static mpfr_t r15165, r15166, r15167, r15168, r15169, r15170, r15171, r15172, r15173, r15174, r15175, r15176, r15177, r15178, r15179, r15180, r15181, r15182, r15183, r15184, r15185, r15186, r15187, r15188, r15189, r15190, r15191, r15192, r15193, r15194, r15195, r15196, r15197, r15198, r15199, r15200, r15201, r15202, r15203, r15204;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15165);
        mpfr_init_set_str(r15166, "-431232863.47265303", 10, MPFR_RNDN);
        mpfr_init(r15167);
        mpfr_init_set_str(r15168, "0", 10, MPFR_RNDN);
        mpfr_init(r15169);
        mpfr_init(r15170);
        mpfr_init_set_str(r15171, "2", 10, MPFR_RNDN);
        mpfr_init(r15172);
        mpfr_init(r15173);
        mpfr_init(r15174);
        mpfr_init_set_str(r15175, "4", 10, MPFR_RNDN);
        mpfr_init(r15176);
        mpfr_init(r15177);
        mpfr_init(r15178);
        mpfr_init(r15179);
        mpfr_init(r15180);
        mpfr_init(r15181);
        mpfr_init(r15182);
        mpfr_init(r15183);
        mpfr_init(r15184);
        mpfr_init(r15185);
        mpfr_init(r15186);
        mpfr_init_set_str(r15187, "1.4445095675228828e-303", 10, MPFR_RNDN);
        mpfr_init(r15188);
        mpfr_init(r15189);
        mpfr_init(r15190);
        mpfr_init(r15191);
        mpfr_init(r15192);
        mpfr_init(r15193);
        mpfr_init(r15194);
        mpfr_init(r15195);
        mpfr_init(r15196);
        mpfr_init(r15197);
        mpfr_init(r15198);
        mpfr_init(r15199);
        mpfr_init_set_str(r15200, "7.953681720830793e+130", 10, MPFR_RNDN);
        mpfr_init(r15201);
        mpfr_init(r15202);
        mpfr_init(r15203);
        mpfr_init(r15204);
}

double f_dm(double a, double b, double c) {
        mpfr_set_d(r15165, b, MPFR_RNDN);
        ;
        mpfr_set_si(r15167, mpfr_cmp(r15165, r15166) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r15169, mpfr_cmp(r15165, r15168) >= 0, MPFR_RNDN);
        mpfr_set_d(r15170, c, MPFR_RNDN);
        ;
        mpfr_mul(r15172, r15170, r15171, MPFR_RNDN);
        mpfr_neg(r15173, r15165, MPFR_RNDN);
        mpfr_sqr(r15174, r15165, MPFR_RNDN);
        ;
        mpfr_mul(r15176, r15175, r15170, MPFR_RNDN);
        mpfr_set_d(r15177, a, MPFR_RNDN);
        mpfr_mul(r15178, r15176, r15177, MPFR_RNDN);
        mpfr_sub(r15179, r15174, r15178, MPFR_RNDN);
        mpfr_sqrt(r15180, r15179, MPFR_RNDN);
        mpfr_sub(r15181, r15173, r15180, MPFR_RNDN);
        mpfr_div(r15182, r15172, r15181, MPFR_RNDN);
        mpfr_div(r15183, r15170, r15165, MPFR_RNDN);
        mpfr_div(r15184, r15165, r15177, MPFR_RNDN);
        mpfr_sub(r15185, r15183, r15184, MPFR_RNDN);
        if (mpfr_get_si(r15169, MPFR_RNDN)) { mpfr_set(r15186, r15182, MPFR_RNDN); } else { mpfr_set(r15186, r15185, MPFR_RNDN); };
        ;
        mpfr_set_si(r15188, mpfr_cmp(r15165, r15187) <= 0, MPFR_RNDN);
        mpfr_mul(r15189, r15183, r15177, MPFR_RNDN);
        mpfr_sub(r15190, r15189, r15165, MPFR_RNDN);
        mpfr_div(r15191, r15170, r15190, MPFR_RNDN);
        mpfr_mul(r15192, r15170, r15177, MPFR_RNDN);
        mpfr_mul(r15193, r15192, r15175, MPFR_RNDN);
        mpfr_sub(r15194, r15174, r15193, MPFR_RNDN);
        mpfr_sqrt(r15195, r15194, MPFR_RNDN);
        mpfr_add(r15196, r15195, r15173, MPFR_RNDN);
        mpfr_mul(r15197, r15177, r15171, MPFR_RNDN);
        mpfr_div(r15198, r15196, r15197, MPFR_RNDN);
        if (mpfr_get_si(r15169, MPFR_RNDN)) { mpfr_set(r15199, r15191, MPFR_RNDN); } else { mpfr_set(r15199, r15198, MPFR_RNDN); };
        ;
        mpfr_set_si(r15201, mpfr_cmp(r15165, r15200) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r15201, MPFR_RNDN)) { mpfr_set(r15202, r15186, MPFR_RNDN); } else { mpfr_set(r15202, r15199, MPFR_RNDN); };
        if (mpfr_get_si(r15188, MPFR_RNDN)) { mpfr_set(r15203, r15199, MPFR_RNDN); } else { mpfr_set(r15203, r15202, MPFR_RNDN); };
        if (mpfr_get_si(r15167, MPFR_RNDN)) { mpfr_set(r15204, r15186, MPFR_RNDN); } else { mpfr_set(r15204, r15203, MPFR_RNDN); };
        return mpfr_get_d(r15204, MPFR_RNDN);
}