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

char *name = "Cubic critical";

double f_if(float a, float b, float c, float __attribute__((unused)) d) {
        float r26120 = b;
        float r26121 = -r26120;
        float r26122 = r26120 * r26120;
        float r26123 = 3;
        float r26124 = a;
        float r26125 = r26123 * r26124;
        float r26126 = c;
        float r26127 = r26125 * r26126;
        float r26128 = r26122 - r26127;
        float r26129 = sqrt(r26128);
        float r26130 = r26121 + r26129;
        float r26131 = r26130 / r26125;
        return r26131;
}

double f_id(double a, double b, double c, double __attribute__((unused)) d) {
        double r26132 = b;
        double r26133 = -r26132;
        double r26134 = r26132 * r26132;
        double r26135 = 3;
        double r26136 = a;
        double r26137 = r26135 * r26136;
        double r26138 = c;
        double r26139 = r26137 * r26138;
        double r26140 = r26134 - r26139;
        double r26141 = sqrt(r26140);
        double r26142 = r26133 + r26141;
        double r26143 = r26142 / r26137;
        return r26143;
}


double f_of(float a, float b, float c, float __attribute__((unused)) d) {
        float r26144 = b;
        float r26145 = 3.2665271963354555e-291;
        bool r26146 = r26144 <= r26145;
        float r26147 = 1;
        float r26148 = 3;
        float r26149 = r26147 / r26148;
        float r26150 = a;
        float r26151 = r26148 * r26150;
        float r26152 = c;
        float r26153 = -r26152;
        float r26154 = r26144 * r26144;
        float r26155 = fma(r26151, r26153, r26154);
        float r26156 = sqrt(r26155);
        float r26157 = r26156 - r26144;
        float r26158 = r26157 / r26150;
        float r26159 = r26149 * r26158;
        float r26160 = 2.520267773383397e+124;
        bool r26161 = r26144 <= r26160;
        float r26162 = -r26148;
        float r26163 = r26152 * r26150;
        float r26164 = fma(r26162, r26163, r26154);
        float r26165 = sqrt(r26164);
        float r26166 = r26144 + r26165;
        float r26167 = r26153 / r26166;
        float r26168 = r26144 + r26144;
        float r26169 = r26153 / r26168;
        float r26170 = r26161 ? r26167 : r26169;
        float r26171 = r26146 ? r26159 : r26170;
        return r26171;
}

double f_od(double a, double b, double c, double __attribute__((unused)) d) {
        double r26172 = b;
        double r26173 = 3.2665271963354555e-291;
        bool r26174 = r26172 <= r26173;
        double r26175 = 1;
        double r26176 = 3;
        double r26177 = r26175 / r26176;
        double r26178 = a;
        double r26179 = r26176 * r26178;
        double r26180 = c;
        double r26181 = -r26180;
        double r26182 = r26172 * r26172;
        double r26183 = fma(r26179, r26181, r26182);
        double r26184 = sqrt(r26183);
        double r26185 = r26184 - r26172;
        double r26186 = r26185 / r26178;
        double r26187 = r26177 * r26186;
        double r26188 = 2.520267773383397e+124;
        bool r26189 = r26172 <= r26188;
        double r26190 = -r26176;
        double r26191 = r26180 * r26178;
        double r26192 = fma(r26190, r26191, r26182);
        double r26193 = sqrt(r26192);
        double r26194 = r26172 + r26193;
        double r26195 = r26181 / r26194;
        double r26196 = r26172 + r26172;
        double r26197 = r26181 / r26196;
        double r26198 = r26189 ? r26195 : r26197;
        double r26199 = r26174 ? r26187 : r26198;
        return r26199;
}

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 r26200, r26201, r26202, r26203, r26204, r26205, r26206, r26207, r26208, r26209, r26210, r26211;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(3408);
        mpfr_init(r26200);
        mpfr_init(r26201);
        mpfr_init(r26202);
        mpfr_init_set_str(r26203, "3", 10, MPFR_RNDN);
        mpfr_init(r26204);
        mpfr_init(r26205);
        mpfr_init(r26206);
        mpfr_init(r26207);
        mpfr_init(r26208);
        mpfr_init(r26209);
        mpfr_init(r26210);
        mpfr_init(r26211);
}

double f_im(double a, double b, double c, double __attribute__((unused)) d) {
        mpfr_set_d(r26200, b, MPFR_RNDN);
        mpfr_neg(r26201, r26200, MPFR_RNDN);
        mpfr_mul(r26202, r26200, r26200, MPFR_RNDN);
        ;
        mpfr_set_d(r26204, a, MPFR_RNDN);
        mpfr_mul(r26205, r26203, r26204, MPFR_RNDN);
        mpfr_set_d(r26206, c, MPFR_RNDN);
        mpfr_mul(r26207, r26205, r26206, MPFR_RNDN);
        mpfr_sub(r26208, r26202, r26207, MPFR_RNDN);
        mpfr_sqrt(r26209, r26208, MPFR_RNDN);
        mpfr_add(r26210, r26201, r26209, MPFR_RNDN);
        mpfr_div(r26211, r26210, r26205, MPFR_RNDN);
        return mpfr_get_d(r26211, MPFR_RNDN);
}

static mpfr_t r26212, r26213, r26214, r26215, r26216, r26217, r26218, r26219, r26220, r26221, r26222, r26223, r26224, r26225, r26226, r26227, r26228, r26229, r26230, r26231, r26232, r26233, r26234, r26235, r26236, r26237, r26238, r26239;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(3408);
        mpfr_init(r26212);
        mpfr_init_set_str(r26213, "3.2665271963354555e-291", 10, MPFR_RNDN);
        mpfr_init(r26214);
        mpfr_init_set_str(r26215, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r26216, "3", 10, MPFR_RNDN);
        mpfr_init(r26217);
        mpfr_init(r26218);
        mpfr_init(r26219);
        mpfr_init(r26220);
        mpfr_init(r26221);
        mpfr_init(r26222);
        mpfr_init(r26223);
        mpfr_init(r26224);
        mpfr_init(r26225);
        mpfr_init(r26226);
        mpfr_init(r26227);
        mpfr_init_set_str(r26228, "2.520267773383397e+124", 10, MPFR_RNDN);
        mpfr_init(r26229);
        mpfr_init(r26230);
        mpfr_init(r26231);
        mpfr_init(r26232);
        mpfr_init(r26233);
        mpfr_init(r26234);
        mpfr_init(r26235);
        mpfr_init(r26236);
        mpfr_init(r26237);
        mpfr_init(r26238);
        mpfr_init(r26239);
}

double f_fm(double a, double b, double c, double __attribute__((unused)) d) {
        mpfr_set_d(r26212, b, MPFR_RNDN);
        ;
        mpfr_set_si(r26214, mpfr_cmp(r26212, r26213) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_div(r26217, r26215, r26216, MPFR_RNDN);
        mpfr_set_d(r26218, a, MPFR_RNDN);
        mpfr_mul(r26219, r26216, r26218, MPFR_RNDN);
        mpfr_set_d(r26220, c, MPFR_RNDN);
        mpfr_neg(r26221, r26220, MPFR_RNDN);
        mpfr_mul(r26222, r26212, r26212, MPFR_RNDN);
        mpfr_fma(r26223, r26219, r26221, r26222, MPFR_RNDN);
        mpfr_sqrt(r26224, r26223, MPFR_RNDN);
        mpfr_sub(r26225, r26224, r26212, MPFR_RNDN);
        mpfr_div(r26226, r26225, r26218, MPFR_RNDN);
        mpfr_mul(r26227, r26217, r26226, MPFR_RNDN);
        ;
        mpfr_set_si(r26229, mpfr_cmp(r26212, r26228) <= 0, MPFR_RNDN);
        mpfr_neg(r26230, r26216, MPFR_RNDN);
        mpfr_mul(r26231, r26220, r26218, MPFR_RNDN);
        mpfr_fma(r26232, r26230, r26231, r26222, MPFR_RNDN);
        mpfr_sqrt(r26233, r26232, MPFR_RNDN);
        mpfr_add(r26234, r26212, r26233, MPFR_RNDN);
        mpfr_div(r26235, r26221, r26234, MPFR_RNDN);
        mpfr_add(r26236, r26212, r26212, MPFR_RNDN);
        mpfr_div(r26237, r26221, r26236, MPFR_RNDN);
        if (mpfr_get_si(r26229, MPFR_RNDN)) { mpfr_set(r26238, r26235, MPFR_RNDN); } else { mpfr_set(r26238, r26237, MPFR_RNDN); };
        if (mpfr_get_si(r26214, MPFR_RNDN)) { mpfr_set(r26239, r26227, MPFR_RNDN); } else { mpfr_set(r26239, r26238, MPFR_RNDN); };
        return mpfr_get_d(r26239, MPFR_RNDN);
}

static mpfr_t r26240, r26241, r26242, r26243, r26244, r26245, r26246, r26247, r26248, r26249, r26250, r26251, r26252, r26253, r26254, r26255, r26256, r26257, r26258, r26259, r26260, r26261, r26262, r26263, r26264, r26265, r26266, r26267;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(3408);
        mpfr_init(r26240);
        mpfr_init_set_str(r26241, "3.2665271963354555e-291", 10, MPFR_RNDN);
        mpfr_init(r26242);
        mpfr_init_set_str(r26243, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r26244, "3", 10, MPFR_RNDN);
        mpfr_init(r26245);
        mpfr_init(r26246);
        mpfr_init(r26247);
        mpfr_init(r26248);
        mpfr_init(r26249);
        mpfr_init(r26250);
        mpfr_init(r26251);
        mpfr_init(r26252);
        mpfr_init(r26253);
        mpfr_init(r26254);
        mpfr_init(r26255);
        mpfr_init_set_str(r26256, "2.520267773383397e+124", 10, MPFR_RNDN);
        mpfr_init(r26257);
        mpfr_init(r26258);
        mpfr_init(r26259);
        mpfr_init(r26260);
        mpfr_init(r26261);
        mpfr_init(r26262);
        mpfr_init(r26263);
        mpfr_init(r26264);
        mpfr_init(r26265);
        mpfr_init(r26266);
        mpfr_init(r26267);
}

double f_dm(double a, double b, double c, double __attribute__((unused)) d) {
        mpfr_set_d(r26240, b, MPFR_RNDN);
        ;
        mpfr_set_si(r26242, mpfr_cmp(r26240, r26241) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_div(r26245, r26243, r26244, MPFR_RNDN);
        mpfr_set_d(r26246, a, MPFR_RNDN);
        mpfr_mul(r26247, r26244, r26246, MPFR_RNDN);
        mpfr_set_d(r26248, c, MPFR_RNDN);
        mpfr_neg(r26249, r26248, MPFR_RNDN);
        mpfr_mul(r26250, r26240, r26240, MPFR_RNDN);
        mpfr_fma(r26251, r26247, r26249, r26250, MPFR_RNDN);
        mpfr_sqrt(r26252, r26251, MPFR_RNDN);
        mpfr_sub(r26253, r26252, r26240, MPFR_RNDN);
        mpfr_div(r26254, r26253, r26246, MPFR_RNDN);
        mpfr_mul(r26255, r26245, r26254, MPFR_RNDN);
        ;
        mpfr_set_si(r26257, mpfr_cmp(r26240, r26256) <= 0, MPFR_RNDN);
        mpfr_neg(r26258, r26244, MPFR_RNDN);
        mpfr_mul(r26259, r26248, r26246, MPFR_RNDN);
        mpfr_fma(r26260, r26258, r26259, r26250, MPFR_RNDN);
        mpfr_sqrt(r26261, r26260, MPFR_RNDN);
        mpfr_add(r26262, r26240, r26261, MPFR_RNDN);
        mpfr_div(r26263, r26249, r26262, MPFR_RNDN);
        mpfr_add(r26264, r26240, r26240, MPFR_RNDN);
        mpfr_div(r26265, r26249, r26264, MPFR_RNDN);
        if (mpfr_get_si(r26257, MPFR_RNDN)) { mpfr_set(r26266, r26263, MPFR_RNDN); } else { mpfr_set(r26266, r26265, MPFR_RNDN); };
        if (mpfr_get_si(r26242, MPFR_RNDN)) { mpfr_set(r26267, r26255, MPFR_RNDN); } else { mpfr_set(r26267, r26266, MPFR_RNDN); };
        return mpfr_get_d(r26267, MPFR_RNDN);
}