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

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

double f_if(float a, float b, float c) {
        float r17192 = b;
        float r17193 = -r17192;
        float r17194 = r17192 * r17192;
        float r17195 = 4.0f;
        float r17196 = a;
        float r17197 = r17195 * r17196;
        float r17198 = c;
        float r17199 = r17197 * r17198;
        float r17200 = r17194 - r17199;
        float r17201 = sqrt(r17200);
        float r17202 = r17193 + r17201;
        float r17203 = 2.0f;
        float r17204 = r17203 * r17196;
        float r17205 = r17202 / r17204;
        return r17205;
}

double f_id(double a, double b, double c) {
        double r17206 = b;
        double r17207 = -r17206;
        double r17208 = r17206 * r17206;
        double r17209 = 4.0;
        double r17210 = a;
        double r17211 = r17209 * r17210;
        double r17212 = c;
        double r17213 = r17211 * r17212;
        double r17214 = r17208 - r17213;
        double r17215 = sqrt(r17214);
        double r17216 = r17207 + r17215;
        double r17217 = 2.0;
        double r17218 = r17217 * r17210;
        double r17219 = r17216 / r17218;
        return r17219;
}


double f_of(float a, float b, float c) {
        float r17220 = b;
        float r17221 = -2.2913476789857995e+35f;
        bool r17222 = r17220 <= r17221;
        float r17223 = c;
        float r17224 = r17223 / r17220;
        float r17225 = 1.0f;
        float r17226 = r17224 / r17225;
        float r17227 = a;
        float r17228 = r17220 / r17227;
        float r17229 = r17226 - r17228;
        float r17230 = 2.890760014197913e-73f;
        bool r17231 = r17220 <= r17230;
        float r17232 = -r17220;
        float r17233 = r17220 * r17220;
        float r17234 = 4.0f;
        float r17235 = r17234 * r17227;
        float r17236 = r17235 * r17223;
        float r17237 = r17233 - r17236;
        float r17238 = sqrt(r17237);
        float r17239 = r17232 + r17238;
        float r17240 = 2.0f;
        float r17241 = r17240 * r17227;
        float r17242 = r17239 / r17241;
        float r17243 = r17223 * r17234;
        float r17244 = r17240 * r17240;
        float r17245 = r17243 / r17244;
        float r17246 = r17223 / r17228;
        float r17247 = r17246 - r17220;
        float r17248 = r17245 / r17247;
        float r17249 = r17231 ? r17242 : r17248;
        float r17250 = r17222 ? r17229 : r17249;
        return r17250;
}

double f_od(double a, double b, double c) {
        double r17251 = b;
        double r17252 = -2.2913476789857995e+35;
        bool r17253 = r17251 <= r17252;
        double r17254 = c;
        double r17255 = r17254 / r17251;
        double r17256 = 1.0;
        double r17257 = r17255 / r17256;
        double r17258 = a;
        double r17259 = r17251 / r17258;
        double r17260 = r17257 - r17259;
        double r17261 = 2.890760014197913e-73;
        bool r17262 = r17251 <= r17261;
        double r17263 = -r17251;
        double r17264 = r17251 * r17251;
        double r17265 = 4.0;
        double r17266 = r17265 * r17258;
        double r17267 = r17266 * r17254;
        double r17268 = r17264 - r17267;
        double r17269 = sqrt(r17268);
        double r17270 = r17263 + r17269;
        double r17271 = 2.0;
        double r17272 = r17271 * r17258;
        double r17273 = r17270 / r17272;
        double r17274 = r17254 * r17265;
        double r17275 = r17271 * r17271;
        double r17276 = r17274 / r17275;
        double r17277 = r17254 / r17259;
        double r17278 = r17277 - r17251;
        double r17279 = r17276 / r17278;
        double r17280 = r17262 ? r17273 : r17279;
        double r17281 = r17253 ? r17260 : r17280;
        return r17281;
}

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 r17282, r17283, r17284, r17285, r17286, r17287, r17288, r17289, r17290, r17291, r17292, r17293, r17294, r17295;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17282);
        mpfr_init(r17283);
        mpfr_init(r17284);
        mpfr_init_set_str(r17285, "4", 10, MPFR_RNDN);
        mpfr_init(r17286);
        mpfr_init(r17287);
        mpfr_init(r17288);
        mpfr_init(r17289);
        mpfr_init(r17290);
        mpfr_init(r17291);
        mpfr_init(r17292);
        mpfr_init_set_str(r17293, "2", 10, MPFR_RNDN);
        mpfr_init(r17294);
        mpfr_init(r17295);
}

double f_im(double a, double b, double c) {
        mpfr_set_d(r17282, b, MPFR_RNDN);
        mpfr_neg(r17283, r17282, MPFR_RNDN);
        mpfr_sqr(r17284, r17282, MPFR_RNDN);
        ;
        mpfr_set_d(r17286, a, MPFR_RNDN);
        mpfr_mul(r17287, r17285, r17286, MPFR_RNDN);
        mpfr_set_d(r17288, c, MPFR_RNDN);
        mpfr_mul(r17289, r17287, r17288, MPFR_RNDN);
        mpfr_sub(r17290, r17284, r17289, MPFR_RNDN);
        mpfr_sqrt(r17291, r17290, MPFR_RNDN);
        mpfr_add(r17292, r17283, r17291, MPFR_RNDN);
        ;
        mpfr_mul(r17294, r17293, r17286, MPFR_RNDN);
        mpfr_div(r17295, r17292, r17294, MPFR_RNDN);
        return mpfr_get_d(r17295, MPFR_RNDN);
}

static mpfr_t r17296, r17297, r17298, r17299, r17300, r17301, r17302, r17303, r17304, r17305, r17306, r17307, r17308, r17309, r17310, r17311, r17312, r17313, r17314, r17315, r17316, r17317, r17318, r17319, r17320, r17321, r17322, r17323, r17324, r17325, r17326;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17296);
        mpfr_init_set_str(r17297, "-2.2913476789857995e+35", 10, MPFR_RNDN);
        mpfr_init(r17298);
        mpfr_init(r17299);
        mpfr_init(r17300);
        mpfr_init_set_str(r17301, "1", 10, MPFR_RNDN);
        mpfr_init(r17302);
        mpfr_init(r17303);
        mpfr_init(r17304);
        mpfr_init(r17305);
        mpfr_init_set_str(r17306, "2.890760014197913e-73", 10, MPFR_RNDN);
        mpfr_init(r17307);
        mpfr_init(r17308);
        mpfr_init(r17309);
        mpfr_init_set_str(r17310, "4", 10, MPFR_RNDN);
        mpfr_init(r17311);
        mpfr_init(r17312);
        mpfr_init(r17313);
        mpfr_init(r17314);
        mpfr_init(r17315);
        mpfr_init_set_str(r17316, "2", 10, MPFR_RNDN);
        mpfr_init(r17317);
        mpfr_init(r17318);
        mpfr_init(r17319);
        mpfr_init(r17320);
        mpfr_init(r17321);
        mpfr_init(r17322);
        mpfr_init(r17323);
        mpfr_init(r17324);
        mpfr_init(r17325);
        mpfr_init(r17326);
}

double f_fm(double a, double b, double c) {
        mpfr_set_d(r17296, b, MPFR_RNDN);
        ;
        mpfr_set_si(r17298, mpfr_cmp(r17296, r17297) <= 0, MPFR_RNDN);
        mpfr_set_d(r17299, c, MPFR_RNDN);
        mpfr_div(r17300, r17299, r17296, MPFR_RNDN);
        ;
        mpfr_div(r17302, r17300, r17301, MPFR_RNDN);
        mpfr_set_d(r17303, a, MPFR_RNDN);
        mpfr_div(r17304, r17296, r17303, MPFR_RNDN);
        mpfr_sub(r17305, r17302, r17304, MPFR_RNDN);
        ;
        mpfr_set_si(r17307, mpfr_cmp(r17296, r17306) <= 0, MPFR_RNDN);
        mpfr_neg(r17308, r17296, MPFR_RNDN);
        mpfr_sqr(r17309, r17296, MPFR_RNDN);
        ;
        mpfr_mul(r17311, r17310, r17303, MPFR_RNDN);
        mpfr_mul(r17312, r17311, r17299, MPFR_RNDN);
        mpfr_sub(r17313, r17309, r17312, MPFR_RNDN);
        mpfr_sqrt(r17314, r17313, MPFR_RNDN);
        mpfr_add(r17315, r17308, r17314, MPFR_RNDN);
        ;
        mpfr_mul(r17317, r17316, r17303, MPFR_RNDN);
        mpfr_div(r17318, r17315, r17317, MPFR_RNDN);
        mpfr_mul(r17319, r17299, r17310, MPFR_RNDN);
        mpfr_mul(r17320, r17316, r17316, MPFR_RNDN);
        mpfr_div(r17321, r17319, r17320, MPFR_RNDN);
        mpfr_div(r17322, r17299, r17304, MPFR_RNDN);
        mpfr_sub(r17323, r17322, r17296, MPFR_RNDN);
        mpfr_div(r17324, r17321, r17323, MPFR_RNDN);
        if (mpfr_get_si(r17307, MPFR_RNDN)) { mpfr_set(r17325, r17318, MPFR_RNDN); } else { mpfr_set(r17325, r17324, MPFR_RNDN); };
        if (mpfr_get_si(r17298, MPFR_RNDN)) { mpfr_set(r17326, r17305, MPFR_RNDN); } else { mpfr_set(r17326, r17325, MPFR_RNDN); };
        return mpfr_get_d(r17326, MPFR_RNDN);
}

static mpfr_t r17327, r17328, r17329, r17330, r17331, r17332, r17333, r17334, r17335, r17336, r17337, r17338, r17339, r17340, r17341, r17342, r17343, r17344, r17345, r17346, r17347, r17348, r17349, r17350, r17351, r17352, r17353, r17354, r17355, r17356, r17357;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17327);
        mpfr_init_set_str(r17328, "-2.2913476789857995e+35", 10, MPFR_RNDN);
        mpfr_init(r17329);
        mpfr_init(r17330);
        mpfr_init(r17331);
        mpfr_init_set_str(r17332, "1", 10, MPFR_RNDN);
        mpfr_init(r17333);
        mpfr_init(r17334);
        mpfr_init(r17335);
        mpfr_init(r17336);
        mpfr_init_set_str(r17337, "2.890760014197913e-73", 10, MPFR_RNDN);
        mpfr_init(r17338);
        mpfr_init(r17339);
        mpfr_init(r17340);
        mpfr_init_set_str(r17341, "4", 10, MPFR_RNDN);
        mpfr_init(r17342);
        mpfr_init(r17343);
        mpfr_init(r17344);
        mpfr_init(r17345);
        mpfr_init(r17346);
        mpfr_init_set_str(r17347, "2", 10, MPFR_RNDN);
        mpfr_init(r17348);
        mpfr_init(r17349);
        mpfr_init(r17350);
        mpfr_init(r17351);
        mpfr_init(r17352);
        mpfr_init(r17353);
        mpfr_init(r17354);
        mpfr_init(r17355);
        mpfr_init(r17356);
        mpfr_init(r17357);
}

double f_dm(double a, double b, double c) {
        mpfr_set_d(r17327, b, MPFR_RNDN);
        ;
        mpfr_set_si(r17329, mpfr_cmp(r17327, r17328) <= 0, MPFR_RNDN);
        mpfr_set_d(r17330, c, MPFR_RNDN);
        mpfr_div(r17331, r17330, r17327, MPFR_RNDN);
        ;
        mpfr_div(r17333, r17331, r17332, MPFR_RNDN);
        mpfr_set_d(r17334, a, MPFR_RNDN);
        mpfr_div(r17335, r17327, r17334, MPFR_RNDN);
        mpfr_sub(r17336, r17333, r17335, MPFR_RNDN);
        ;
        mpfr_set_si(r17338, mpfr_cmp(r17327, r17337) <= 0, MPFR_RNDN);
        mpfr_neg(r17339, r17327, MPFR_RNDN);
        mpfr_sqr(r17340, r17327, MPFR_RNDN);
        ;
        mpfr_mul(r17342, r17341, r17334, MPFR_RNDN);
        mpfr_mul(r17343, r17342, r17330, MPFR_RNDN);
        mpfr_sub(r17344, r17340, r17343, MPFR_RNDN);
        mpfr_sqrt(r17345, r17344, MPFR_RNDN);
        mpfr_add(r17346, r17339, r17345, MPFR_RNDN);
        ;
        mpfr_mul(r17348, r17347, r17334, MPFR_RNDN);
        mpfr_div(r17349, r17346, r17348, MPFR_RNDN);
        mpfr_mul(r17350, r17330, r17341, MPFR_RNDN);
        mpfr_mul(r17351, r17347, r17347, MPFR_RNDN);
        mpfr_div(r17352, r17350, r17351, MPFR_RNDN);
        mpfr_div(r17353, r17330, r17335, MPFR_RNDN);
        mpfr_sub(r17354, r17353, r17327, MPFR_RNDN);
        mpfr_div(r17355, r17352, r17354, MPFR_RNDN);
        if (mpfr_get_si(r17338, MPFR_RNDN)) { mpfr_set(r17356, r17349, MPFR_RNDN); } else { mpfr_set(r17356, r17355, MPFR_RNDN); };
        if (mpfr_get_si(r17329, MPFR_RNDN)) { mpfr_set(r17357, r17336, MPFR_RNDN); } else { mpfr_set(r17357, r17356, MPFR_RNDN); };
        return mpfr_get_d(r17357, MPFR_RNDN);
}