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

char *name = "Cubic critical, medium range";

double f_if(float a, float b, float c, float __attribute__((unused)) d) {
        float r26077 = b;
        float r26078 = -r26077;
        float r26079 = r26077 * r26077;
        float r26080 = 3;
        float r26081 = a;
        float r26082 = r26080 * r26081;
        float r26083 = c;
        float r26084 = r26082 * r26083;
        float r26085 = r26079 - r26084;
        float r26086 = sqrt(r26085);
        float r26087 = r26078 + r26086;
        float r26088 = r26087 / r26082;
        return r26088;
}

double f_id(double a, double b, double c, double __attribute__((unused)) d) {
        double r26089 = b;
        double r26090 = -r26089;
        double r26091 = r26089 * r26089;
        double r26092 = 3;
        double r26093 = a;
        double r26094 = r26092 * r26093;
        double r26095 = c;
        double r26096 = r26094 * r26095;
        double r26097 = r26091 - r26096;
        double r26098 = sqrt(r26097);
        double r26099 = r26090 + r26098;
        double r26100 = r26099 / r26094;
        return r26100;
}


double f_of(float a, float b, float c, float __attribute__((unused)) d) {
        float r26101 = 1;
        float r26102 = b;
        float r26103 = -r26102;
        float r26104 = r26102 * r26102;
        float r26105 = 3;
        float r26106 = c;
        float r26107 = a;
        float r26108 = r26106 * r26107;
        float r26109 = r26105 * r26108;
        float r26110 = r26104 - r26109;
        float r26111 = sqrt(r26110);
        float r26112 = r26103 - r26111;
        float r26113 = r26112 / r26106;
        float r26114 = r26101 / r26113;
        return r26114;
}

double f_od(double a, double b, double c, double __attribute__((unused)) d) {
        double r26115 = 1;
        double r26116 = b;
        double r26117 = -r26116;
        double r26118 = r26116 * r26116;
        double r26119 = 3;
        double r26120 = c;
        double r26121 = a;
        double r26122 = r26120 * r26121;
        double r26123 = r26119 * r26122;
        double r26124 = r26118 - r26123;
        double r26125 = sqrt(r26124);
        double r26126 = r26117 - r26125;
        double r26127 = r26126 / r26120;
        double r26128 = r26115 / r26127;
        return r26128;
}

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 r26129, r26130, r26131, r26132, r26133, r26134, r26135, r26136, r26137, r26138, r26139, r26140;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r26129);
        mpfr_init(r26130);
        mpfr_init(r26131);
        mpfr_init_set_str(r26132, "3", 10, MPFR_RNDN);
        mpfr_init(r26133);
        mpfr_init(r26134);
        mpfr_init(r26135);
        mpfr_init(r26136);
        mpfr_init(r26137);
        mpfr_init(r26138);
        mpfr_init(r26139);
        mpfr_init(r26140);
}

double f_im(double a, double b, double c, double __attribute__((unused)) d) {
        mpfr_set_d(r26129, b, MPFR_RNDN);
        mpfr_neg(r26130, r26129, MPFR_RNDN);
        mpfr_mul(r26131, r26129, r26129, MPFR_RNDN);
        ;
        mpfr_set_d(r26133, a, MPFR_RNDN);
        mpfr_mul(r26134, r26132, r26133, MPFR_RNDN);
        mpfr_set_d(r26135, c, MPFR_RNDN);
        mpfr_mul(r26136, r26134, r26135, MPFR_RNDN);
        mpfr_sub(r26137, r26131, r26136, MPFR_RNDN);
        mpfr_sqrt(r26138, r26137, MPFR_RNDN);
        mpfr_add(r26139, r26130, r26138, MPFR_RNDN);
        mpfr_div(r26140, r26139, r26134, MPFR_RNDN);
        return mpfr_get_d(r26140, MPFR_RNDN);
}

static mpfr_t r26141, r26142, r26143, r26144, r26145, r26146, r26147, r26148, r26149, r26150, r26151, r26152, r26153, r26154;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r26141, "1", 10, MPFR_RNDN);
        mpfr_init(r26142);
        mpfr_init(r26143);
        mpfr_init(r26144);
        mpfr_init_set_str(r26145, "3", 10, MPFR_RNDN);
        mpfr_init(r26146);
        mpfr_init(r26147);
        mpfr_init(r26148);
        mpfr_init(r26149);
        mpfr_init(r26150);
        mpfr_init(r26151);
        mpfr_init(r26152);
        mpfr_init(r26153);
        mpfr_init(r26154);
}

double f_fm(double a, double b, double c, double __attribute__((unused)) d) {
        ;
        mpfr_set_d(r26142, b, MPFR_RNDN);
        mpfr_neg(r26143, r26142, MPFR_RNDN);
        mpfr_mul(r26144, r26142, r26142, MPFR_RNDN);
        ;
        mpfr_set_d(r26146, c, MPFR_RNDN);
        mpfr_set_d(r26147, a, MPFR_RNDN);
        mpfr_mul(r26148, r26146, r26147, MPFR_RNDN);
        mpfr_mul(r26149, r26145, r26148, MPFR_RNDN);
        mpfr_sub(r26150, r26144, r26149, MPFR_RNDN);
        mpfr_sqrt(r26151, r26150, MPFR_RNDN);
        mpfr_sub(r26152, r26143, r26151, MPFR_RNDN);
        mpfr_div(r26153, r26152, r26146, MPFR_RNDN);
        mpfr_div(r26154, r26141, r26153, MPFR_RNDN);
        return mpfr_get_d(r26154, MPFR_RNDN);
}

static mpfr_t r26155, r26156, r26157, r26158, r26159, r26160, r26161, r26162, r26163, r26164, r26165, r26166, r26167, r26168;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r26155, "1", 10, MPFR_RNDN);
        mpfr_init(r26156);
        mpfr_init(r26157);
        mpfr_init(r26158);
        mpfr_init_set_str(r26159, "3", 10, MPFR_RNDN);
        mpfr_init(r26160);
        mpfr_init(r26161);
        mpfr_init(r26162);
        mpfr_init(r26163);
        mpfr_init(r26164);
        mpfr_init(r26165);
        mpfr_init(r26166);
        mpfr_init(r26167);
        mpfr_init(r26168);
}

double f_dm(double a, double b, double c, double __attribute__((unused)) d) {
        ;
        mpfr_set_d(r26156, b, MPFR_RNDN);
        mpfr_neg(r26157, r26156, MPFR_RNDN);
        mpfr_mul(r26158, r26156, r26156, MPFR_RNDN);
        ;
        mpfr_set_d(r26160, c, MPFR_RNDN);
        mpfr_set_d(r26161, a, MPFR_RNDN);
        mpfr_mul(r26162, r26160, r26161, MPFR_RNDN);
        mpfr_mul(r26163, r26159, r26162, MPFR_RNDN);
        mpfr_sub(r26164, r26158, r26163, MPFR_RNDN);
        mpfr_sqrt(r26165, r26164, MPFR_RNDN);
        mpfr_sub(r26166, r26157, r26165, MPFR_RNDN);
        mpfr_div(r26167, r26166, r26160, MPFR_RNDN);
        mpfr_div(r26168, r26155, r26167, MPFR_RNDN);
        return mpfr_get_d(r26168, MPFR_RNDN);
}