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

char *name = "quad2p (problem 3.2.1, positive)";

double f_if(float a, float b_2, float c) {
        float r21635 = b_2;
        float r21636 = -r21635;
        float r21637 = r21635 * r21635;
        float r21638 = a;
        float r21639 = c;
        float r21640 = r21638 * r21639;
        float r21641 = r21637 - r21640;
        float r21642 = sqrt(r21641);
        float r21643 = r21636 + r21642;
        float r21644 = r21643 / r21638;
        return r21644;
}

double f_id(double a, double b_2, double c) {
        double r21645 = b_2;
        double r21646 = -r21645;
        double r21647 = r21645 * r21645;
        double r21648 = a;
        double r21649 = c;
        double r21650 = r21648 * r21649;
        double r21651 = r21647 - r21650;
        double r21652 = sqrt(r21651);
        double r21653 = r21646 + r21652;
        double r21654 = r21653 / r21648;
        return r21654;
}


double f_of(float a, float b_2, float c) {
        float r21655 = b_2;
        float r21656 = -1.1387810658296382e+116;
        bool r21657 = r21655 <= r21656;
        float r21658 = -2;
        float r21659 = a;
        float r21660 = r21655 / r21659;
        float r21661 = r21658 * r21660;
        float r21662 = 4.1715358376740176e-156;
        bool r21663 = r21655 <= r21662;
        float r21664 = -r21655;
        float r21665 = r21655 * r21655;
        float r21666 = c;
        float r21667 = r21659 * r21666;
        float r21668 = r21665 - r21667;
        float r21669 = sqrt(r21668);
        float r21670 = r21664 + r21669;
        float r21671 = r21670 / r21659;
        float r21672 = r21666 / r21655;
        float r21673 = 1/2;
        float r21674 = r21673 * r21659;
        float r21675 = fma(r21672, r21674, r21664);
        float r21676 = r21664 + r21675;
        float r21677 = r21666 / r21676;
        float r21678 = r21663 ? r21671 : r21677;
        float r21679 = r21657 ? r21661 : r21678;
        return r21679;
}

double f_od(double a, double b_2, double c) {
        double r21680 = b_2;
        double r21681 = -1.1387810658296382e+116;
        bool r21682 = r21680 <= r21681;
        double r21683 = -2;
        double r21684 = a;
        double r21685 = r21680 / r21684;
        double r21686 = r21683 * r21685;
        double r21687 = 4.1715358376740176e-156;
        bool r21688 = r21680 <= r21687;
        double r21689 = -r21680;
        double r21690 = r21680 * r21680;
        double r21691 = c;
        double r21692 = r21684 * r21691;
        double r21693 = r21690 - r21692;
        double r21694 = sqrt(r21693);
        double r21695 = r21689 + r21694;
        double r21696 = r21695 / r21684;
        double r21697 = r21691 / r21680;
        double r21698 = 1/2;
        double r21699 = r21698 * r21684;
        double r21700 = fma(r21697, r21699, r21689);
        double r21701 = r21689 + r21700;
        double r21702 = r21691 / r21701;
        double r21703 = r21688 ? r21696 : r21702;
        double r21704 = r21682 ? r21686 : r21703;
        return r21704;
}

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 r21705, r21706, r21707, r21708, r21709, r21710, r21711, r21712, r21713, r21714;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(3408);
        mpfr_init(r21705);
        mpfr_init(r21706);
        mpfr_init(r21707);
        mpfr_init(r21708);
        mpfr_init(r21709);
        mpfr_init(r21710);
        mpfr_init(r21711);
        mpfr_init(r21712);
        mpfr_init(r21713);
        mpfr_init(r21714);
}

double f_im(double a, double b_2, double c) {
        mpfr_set_d(r21705, b_2, MPFR_RNDN);
        mpfr_neg(r21706, r21705, MPFR_RNDN);
        mpfr_mul(r21707, r21705, r21705, MPFR_RNDN);
        mpfr_set_d(r21708, a, MPFR_RNDN);
        mpfr_set_d(r21709, c, MPFR_RNDN);
        mpfr_mul(r21710, r21708, r21709, MPFR_RNDN);
        mpfr_sub(r21711, r21707, r21710, MPFR_RNDN);
        mpfr_sqrt(r21712, r21711, MPFR_RNDN);
        mpfr_add(r21713, r21706, r21712, MPFR_RNDN);
        mpfr_div(r21714, r21713, r21708, MPFR_RNDN);
        return mpfr_get_d(r21714, MPFR_RNDN);
}

static mpfr_t r21715, r21716, r21717, r21718, r21719, r21720, r21721, r21722, r21723, r21724, r21725, r21726, r21727, r21728, r21729, r21730, r21731, r21732, r21733, r21734, r21735, r21736, r21737, r21738, r21739;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(3408);
        mpfr_init(r21715);
        mpfr_init_set_str(r21716, "-1.1387810658296382e+116", 10, MPFR_RNDN);
        mpfr_init(r21717);
        mpfr_init_set_str(r21718, "-2", 10, MPFR_RNDN);
        mpfr_init(r21719);
        mpfr_init(r21720);
        mpfr_init(r21721);
        mpfr_init_set_str(r21722, "4.1715358376740176e-156", 10, MPFR_RNDN);
        mpfr_init(r21723);
        mpfr_init(r21724);
        mpfr_init(r21725);
        mpfr_init(r21726);
        mpfr_init(r21727);
        mpfr_init(r21728);
        mpfr_init(r21729);
        mpfr_init(r21730);
        mpfr_init(r21731);
        mpfr_init(r21732);
        mpfr_init_set_str(r21733, "1/2", 10, MPFR_RNDN);
        mpfr_init(r21734);
        mpfr_init(r21735);
        mpfr_init(r21736);
        mpfr_init(r21737);
        mpfr_init(r21738);
        mpfr_init(r21739);
}

double f_fm(double a, double b_2, double c) {
        mpfr_set_d(r21715, b_2, MPFR_RNDN);
        ;
        mpfr_set_si(r21717, mpfr_cmp(r21715, r21716) <= 0, MPFR_RNDN);
        ;
        mpfr_set_d(r21719, a, MPFR_RNDN);
        mpfr_div(r21720, r21715, r21719, MPFR_RNDN);
        mpfr_mul(r21721, r21718, r21720, MPFR_RNDN);
        ;
        mpfr_set_si(r21723, mpfr_cmp(r21715, r21722) <= 0, MPFR_RNDN);
        mpfr_neg(r21724, r21715, MPFR_RNDN);
        mpfr_mul(r21725, r21715, r21715, MPFR_RNDN);
        mpfr_set_d(r21726, c, MPFR_RNDN);
        mpfr_mul(r21727, r21719, r21726, MPFR_RNDN);
        mpfr_sub(r21728, r21725, r21727, MPFR_RNDN);
        mpfr_sqrt(r21729, r21728, MPFR_RNDN);
        mpfr_add(r21730, r21724, r21729, MPFR_RNDN);
        mpfr_div(r21731, r21730, r21719, MPFR_RNDN);
        mpfr_div(r21732, r21726, r21715, MPFR_RNDN);
        ;
        mpfr_mul(r21734, r21733, r21719, MPFR_RNDN);
        mpfr_fma(r21735, r21732, r21734, r21724, MPFR_RNDN);
        mpfr_add(r21736, r21724, r21735, MPFR_RNDN);
        mpfr_div(r21737, r21726, r21736, MPFR_RNDN);
        if (mpfr_get_si(r21723, MPFR_RNDN)) { mpfr_set(r21738, r21731, MPFR_RNDN); } else { mpfr_set(r21738, r21737, MPFR_RNDN); };
        if (mpfr_get_si(r21717, MPFR_RNDN)) { mpfr_set(r21739, r21721, MPFR_RNDN); } else { mpfr_set(r21739, r21738, MPFR_RNDN); };
        return mpfr_get_d(r21739, MPFR_RNDN);
}

static mpfr_t r21740, r21741, r21742, r21743, r21744, r21745, r21746, r21747, r21748, r21749, r21750, r21751, r21752, r21753, r21754, r21755, r21756, r21757, r21758, r21759, r21760, r21761, r21762, r21763, r21764;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(3408);
        mpfr_init(r21740);
        mpfr_init_set_str(r21741, "-1.1387810658296382e+116", 10, MPFR_RNDN);
        mpfr_init(r21742);
        mpfr_init_set_str(r21743, "-2", 10, MPFR_RNDN);
        mpfr_init(r21744);
        mpfr_init(r21745);
        mpfr_init(r21746);
        mpfr_init_set_str(r21747, "4.1715358376740176e-156", 10, MPFR_RNDN);
        mpfr_init(r21748);
        mpfr_init(r21749);
        mpfr_init(r21750);
        mpfr_init(r21751);
        mpfr_init(r21752);
        mpfr_init(r21753);
        mpfr_init(r21754);
        mpfr_init(r21755);
        mpfr_init(r21756);
        mpfr_init(r21757);
        mpfr_init_set_str(r21758, "1/2", 10, MPFR_RNDN);
        mpfr_init(r21759);
        mpfr_init(r21760);
        mpfr_init(r21761);
        mpfr_init(r21762);
        mpfr_init(r21763);
        mpfr_init(r21764);
}

double f_dm(double a, double b_2, double c) {
        mpfr_set_d(r21740, b_2, MPFR_RNDN);
        ;
        mpfr_set_si(r21742, mpfr_cmp(r21740, r21741) <= 0, MPFR_RNDN);
        ;
        mpfr_set_d(r21744, a, MPFR_RNDN);
        mpfr_div(r21745, r21740, r21744, MPFR_RNDN);
        mpfr_mul(r21746, r21743, r21745, MPFR_RNDN);
        ;
        mpfr_set_si(r21748, mpfr_cmp(r21740, r21747) <= 0, MPFR_RNDN);
        mpfr_neg(r21749, r21740, MPFR_RNDN);
        mpfr_mul(r21750, r21740, r21740, MPFR_RNDN);
        mpfr_set_d(r21751, c, MPFR_RNDN);
        mpfr_mul(r21752, r21744, r21751, MPFR_RNDN);
        mpfr_sub(r21753, r21750, r21752, MPFR_RNDN);
        mpfr_sqrt(r21754, r21753, MPFR_RNDN);
        mpfr_add(r21755, r21749, r21754, MPFR_RNDN);
        mpfr_div(r21756, r21755, r21744, MPFR_RNDN);
        mpfr_div(r21757, r21751, r21740, MPFR_RNDN);
        ;
        mpfr_mul(r21759, r21758, r21744, MPFR_RNDN);
        mpfr_fma(r21760, r21757, r21759, r21749, MPFR_RNDN);
        mpfr_add(r21761, r21749, r21760, MPFR_RNDN);
        mpfr_div(r21762, r21751, r21761, MPFR_RNDN);
        if (mpfr_get_si(r21748, MPFR_RNDN)) { mpfr_set(r21763, r21756, MPFR_RNDN); } else { mpfr_set(r21763, r21762, MPFR_RNDN); };
        if (mpfr_get_si(r21742, MPFR_RNDN)) { mpfr_set(r21764, r21746, MPFR_RNDN); } else { mpfr_set(r21764, r21763, MPFR_RNDN); };
        return mpfr_get_d(r21764, MPFR_RNDN);
}