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

char *name = "Quadratic roots, full range";

double f_if(float a, float b, float c) {
        float r24653 = b;
        float r24654 = -r24653;
        float r24655 = r24653 * r24653;
        float r24656 = 4;
        float r24657 = a;
        float r24658 = r24656 * r24657;
        float r24659 = c;
        float r24660 = r24658 * r24659;
        float r24661 = r24655 - r24660;
        float r24662 = sqrt(r24661);
        float r24663 = r24654 + r24662;
        float r24664 = 2;
        float r24665 = r24664 * r24657;
        float r24666 = r24663 / r24665;
        return r24666;
}

double f_id(double a, double b, double c) {
        double r24667 = b;
        double r24668 = -r24667;
        double r24669 = r24667 * r24667;
        double r24670 = 4;
        double r24671 = a;
        double r24672 = r24670 * r24671;
        double r24673 = c;
        double r24674 = r24672 * r24673;
        double r24675 = r24669 - r24674;
        double r24676 = sqrt(r24675);
        double r24677 = r24668 + r24676;
        double r24678 = 2;
        double r24679 = r24678 * r24671;
        double r24680 = r24677 / r24679;
        return r24680;
}


double f_of(float a, float b, float c) {
        float r24681 = b;
        float r24682 = -r24681;
        float r24683 = -1.6366096550735478e-45;
        bool r24684 = r24682 <= r24683;
        float r24685 = c;
        float r24686 = r24685 / r24681;
        float r24687 = -2;
        float r24688 = 2;
        float r24689 = r24687 / r24688;
        float r24690 = r24686 * r24689;
        float r24691 = 6.0685917336100174e+94;
        bool r24692 = r24682 <= r24691;
        float r24693 = r24681 * r24681;
        float r24694 = a;
        float r24695 = 4;
        float r24696 = r24694 * r24695;
        float r24697 = r24685 * r24696;
        float r24698 = r24693 - r24697;
        float r24699 = sqrt(r24698);
        float r24700 = r24699 + r24682;
        float r24701 = 1;
        float r24702 = r24694 * r24688;
        float r24703 = r24701 / r24702;
        float r24704 = r24700 * r24703;
        float r24705 = r24681 / r24694;
        float r24706 = r24686 - r24705;
        float r24707 = r24692 ? r24704 : r24706;
        float r24708 = r24684 ? r24690 : r24707;
        return r24708;
}

double f_od(double a, double b, double c) {
        double r24709 = b;
        double r24710 = -r24709;
        double r24711 = -1.6366096550735478e-45;
        bool r24712 = r24710 <= r24711;
        double r24713 = c;
        double r24714 = r24713 / r24709;
        double r24715 = -2;
        double r24716 = 2;
        double r24717 = r24715 / r24716;
        double r24718 = r24714 * r24717;
        double r24719 = 6.0685917336100174e+94;
        bool r24720 = r24710 <= r24719;
        double r24721 = r24709 * r24709;
        double r24722 = a;
        double r24723 = 4;
        double r24724 = r24722 * r24723;
        double r24725 = r24713 * r24724;
        double r24726 = r24721 - r24725;
        double r24727 = sqrt(r24726);
        double r24728 = r24727 + r24710;
        double r24729 = 1;
        double r24730 = r24722 * r24716;
        double r24731 = r24729 / r24730;
        double r24732 = r24728 * r24731;
        double r24733 = r24709 / r24722;
        double r24734 = r24714 - r24733;
        double r24735 = r24720 ? r24732 : r24734;
        double r24736 = r24712 ? r24718 : r24735;
        return r24736;
}

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 r24737, r24738, r24739, r24740, r24741, r24742, r24743, r24744, r24745, r24746, r24747, r24748, r24749, r24750;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(3408);
        mpfr_init(r24737);
        mpfr_init(r24738);
        mpfr_init(r24739);
        mpfr_init_set_str(r24740, "4", 10, MPFR_RNDN);
        mpfr_init(r24741);
        mpfr_init(r24742);
        mpfr_init(r24743);
        mpfr_init(r24744);
        mpfr_init(r24745);
        mpfr_init(r24746);
        mpfr_init(r24747);
        mpfr_init_set_str(r24748, "2", 10, MPFR_RNDN);
        mpfr_init(r24749);
        mpfr_init(r24750);
}

double f_im(double a, double b, double c) {
        mpfr_set_d(r24737, b, MPFR_RNDN);
        mpfr_neg(r24738, r24737, MPFR_RNDN);
        mpfr_mul(r24739, r24737, r24737, MPFR_RNDN);
        ;
        mpfr_set_d(r24741, a, MPFR_RNDN);
        mpfr_mul(r24742, r24740, r24741, MPFR_RNDN);
        mpfr_set_d(r24743, c, MPFR_RNDN);
        mpfr_mul(r24744, r24742, r24743, MPFR_RNDN);
        mpfr_sub(r24745, r24739, r24744, MPFR_RNDN);
        mpfr_sqrt(r24746, r24745, MPFR_RNDN);
        mpfr_add(r24747, r24738, r24746, MPFR_RNDN);
        ;
        mpfr_mul(r24749, r24748, r24741, MPFR_RNDN);
        mpfr_div(r24750, r24747, r24749, MPFR_RNDN);
        return mpfr_get_d(r24750, MPFR_RNDN);
}

static mpfr_t r24751, r24752, r24753, r24754, r24755, r24756, r24757, r24758, r24759, r24760, r24761, r24762, r24763, r24764, r24765, r24766, r24767, r24768, r24769, r24770, r24771, r24772, r24773, r24774, r24775, r24776, r24777, r24778;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(3408);
        mpfr_init(r24751);
        mpfr_init(r24752);
        mpfr_init_set_str(r24753, "-1.6366096550735478e-45", 10, MPFR_RNDN);
        mpfr_init(r24754);
        mpfr_init(r24755);
        mpfr_init(r24756);
        mpfr_init_set_str(r24757, "-2", 10, MPFR_RNDN);
        mpfr_init_set_str(r24758, "2", 10, MPFR_RNDN);
        mpfr_init(r24759);
        mpfr_init(r24760);
        mpfr_init_set_str(r24761, "6.0685917336100174e+94", 10, MPFR_RNDN);
        mpfr_init(r24762);
        mpfr_init(r24763);
        mpfr_init(r24764);
        mpfr_init_set_str(r24765, "4", 10, MPFR_RNDN);
        mpfr_init(r24766);
        mpfr_init(r24767);
        mpfr_init(r24768);
        mpfr_init(r24769);
        mpfr_init(r24770);
        mpfr_init_set_str(r24771, "1", 10, MPFR_RNDN);
        mpfr_init(r24772);
        mpfr_init(r24773);
        mpfr_init(r24774);
        mpfr_init(r24775);
        mpfr_init(r24776);
        mpfr_init(r24777);
        mpfr_init(r24778);
}

double f_fm(double a, double b, double c) {
        mpfr_set_d(r24751, b, MPFR_RNDN);
        mpfr_neg(r24752, r24751, MPFR_RNDN);
        ;
        mpfr_set_si(r24754, mpfr_cmp(r24752, r24753) <= 0, MPFR_RNDN);
        mpfr_set_d(r24755, c, MPFR_RNDN);
        mpfr_div(r24756, r24755, r24751, MPFR_RNDN);
        ;
        ;
        mpfr_div(r24759, r24757, r24758, MPFR_RNDN);
        mpfr_mul(r24760, r24756, r24759, MPFR_RNDN);
        ;
        mpfr_set_si(r24762, mpfr_cmp(r24752, r24761) <= 0, MPFR_RNDN);
        mpfr_mul(r24763, r24751, r24751, MPFR_RNDN);
        mpfr_set_d(r24764, a, MPFR_RNDN);
        ;
        mpfr_mul(r24766, r24764, r24765, MPFR_RNDN);
        mpfr_mul(r24767, r24755, r24766, MPFR_RNDN);
        mpfr_sub(r24768, r24763, r24767, MPFR_RNDN);
        mpfr_sqrt(r24769, r24768, MPFR_RNDN);
        mpfr_add(r24770, r24769, r24752, MPFR_RNDN);
        ;
        mpfr_mul(r24772, r24764, r24758, MPFR_RNDN);
        mpfr_div(r24773, r24771, r24772, MPFR_RNDN);
        mpfr_mul(r24774, r24770, r24773, MPFR_RNDN);
        mpfr_div(r24775, r24751, r24764, MPFR_RNDN);
        mpfr_sub(r24776, r24756, r24775, MPFR_RNDN);
        if (mpfr_get_si(r24762, MPFR_RNDN)) { mpfr_set(r24777, r24774, MPFR_RNDN); } else { mpfr_set(r24777, r24776, MPFR_RNDN); };
        if (mpfr_get_si(r24754, MPFR_RNDN)) { mpfr_set(r24778, r24760, MPFR_RNDN); } else { mpfr_set(r24778, r24777, MPFR_RNDN); };
        return mpfr_get_d(r24778, MPFR_RNDN);
}

static mpfr_t r24779, r24780, r24781, r24782, r24783, r24784, r24785, r24786, r24787, r24788, r24789, r24790, r24791, r24792, r24793, r24794, r24795, r24796, r24797, r24798, r24799, r24800, r24801, r24802, r24803, r24804, r24805, r24806;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(3408);
        mpfr_init(r24779);
        mpfr_init(r24780);
        mpfr_init_set_str(r24781, "-1.6366096550735478e-45", 10, MPFR_RNDN);
        mpfr_init(r24782);
        mpfr_init(r24783);
        mpfr_init(r24784);
        mpfr_init_set_str(r24785, "-2", 10, MPFR_RNDN);
        mpfr_init_set_str(r24786, "2", 10, MPFR_RNDN);
        mpfr_init(r24787);
        mpfr_init(r24788);
        mpfr_init_set_str(r24789, "6.0685917336100174e+94", 10, MPFR_RNDN);
        mpfr_init(r24790);
        mpfr_init(r24791);
        mpfr_init(r24792);
        mpfr_init_set_str(r24793, "4", 10, MPFR_RNDN);
        mpfr_init(r24794);
        mpfr_init(r24795);
        mpfr_init(r24796);
        mpfr_init(r24797);
        mpfr_init(r24798);
        mpfr_init_set_str(r24799, "1", 10, MPFR_RNDN);
        mpfr_init(r24800);
        mpfr_init(r24801);
        mpfr_init(r24802);
        mpfr_init(r24803);
        mpfr_init(r24804);
        mpfr_init(r24805);
        mpfr_init(r24806);
}

double f_dm(double a, double b, double c) {
        mpfr_set_d(r24779, b, MPFR_RNDN);
        mpfr_neg(r24780, r24779, MPFR_RNDN);
        ;
        mpfr_set_si(r24782, mpfr_cmp(r24780, r24781) <= 0, MPFR_RNDN);
        mpfr_set_d(r24783, c, MPFR_RNDN);
        mpfr_div(r24784, r24783, r24779, MPFR_RNDN);
        ;
        ;
        mpfr_div(r24787, r24785, r24786, MPFR_RNDN);
        mpfr_mul(r24788, r24784, r24787, MPFR_RNDN);
        ;
        mpfr_set_si(r24790, mpfr_cmp(r24780, r24789) <= 0, MPFR_RNDN);
        mpfr_mul(r24791, r24779, r24779, MPFR_RNDN);
        mpfr_set_d(r24792, a, MPFR_RNDN);
        ;
        mpfr_mul(r24794, r24792, r24793, MPFR_RNDN);
        mpfr_mul(r24795, r24783, r24794, MPFR_RNDN);
        mpfr_sub(r24796, r24791, r24795, MPFR_RNDN);
        mpfr_sqrt(r24797, r24796, MPFR_RNDN);
        mpfr_add(r24798, r24797, r24780, MPFR_RNDN);
        ;
        mpfr_mul(r24800, r24792, r24786, MPFR_RNDN);
        mpfr_div(r24801, r24799, r24800, MPFR_RNDN);
        mpfr_mul(r24802, r24798, r24801, MPFR_RNDN);
        mpfr_div(r24803, r24779, r24792, MPFR_RNDN);
        mpfr_sub(r24804, r24784, r24803, MPFR_RNDN);
        if (mpfr_get_si(r24790, MPFR_RNDN)) { mpfr_set(r24805, r24802, MPFR_RNDN); } else { mpfr_set(r24805, r24804, MPFR_RNDN); };
        if (mpfr_get_si(r24782, MPFR_RNDN)) { mpfr_set(r24806, r24788, MPFR_RNDN); } else { mpfr_set(r24806, r24805, MPFR_RNDN); };
        return mpfr_get_d(r24806, MPFR_RNDN);
}