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

char *name = "x / (x^2 + 1)";

double f_if(float x) {
        float r21723 = x;
        float r21724 = r21723 * r21723;
        float r21725 = 1;
        float r21726 = r21724 + r21725;
        float r21727 = r21723 / r21726;
        return r21727;
}

double f_id(double x) {
        double r21728 = x;
        double r21729 = r21728 * r21728;
        double r21730 = 1;
        double r21731 = r21729 + r21730;
        double r21732 = r21728 / r21731;
        return r21732;
}


double f_of(float x) {
        float r21733 = x;
        float r21734 = -59585817273.543884;
        bool r21735 = r21733 <= r21734;
        float r21736 = 1;
        float r21737 = 5;
        float r21738 = pow(r21733, r21737);
        float r21739 = r21736 / r21738;
        float r21740 = r21736 / r21733;
        float r21741 = r21739 + r21740;
        float r21742 = 3;
        float r21743 = pow(r21733, r21742);
        float r21744 = r21736 / r21743;
        float r21745 = r21741 - r21744;
        float r21746 = 15440424.524051264;
        bool r21747 = r21733 <= r21746;
        float r21748 = r21733 * r21733;
        float r21749 = r21736 - r21748;
        float r21750 = r21748 * r21748;
        float r21751 = r21749 + r21750;
        float r21752 = fma(r21743, r21743, r21736);
        float r21753 = r21733 / r21752;
        float r21754 = r21751 * r21753;
        float r21755 = r21747 ? r21754 : r21745;
        float r21756 = r21735 ? r21745 : r21755;
        return r21756;
}

double f_od(double x) {
        double r21757 = x;
        double r21758 = -59585817273.543884;
        bool r21759 = r21757 <= r21758;
        double r21760 = 1;
        double r21761 = 5;
        double r21762 = pow(r21757, r21761);
        double r21763 = r21760 / r21762;
        double r21764 = r21760 / r21757;
        double r21765 = r21763 + r21764;
        double r21766 = 3;
        double r21767 = pow(r21757, r21766);
        double r21768 = r21760 / r21767;
        double r21769 = r21765 - r21768;
        double r21770 = 15440424.524051264;
        bool r21771 = r21757 <= r21770;
        double r21772 = r21757 * r21757;
        double r21773 = r21760 - r21772;
        double r21774 = r21772 * r21772;
        double r21775 = r21773 + r21774;
        double r21776 = fma(r21767, r21767, r21760);
        double r21777 = r21757 / r21776;
        double r21778 = r21775 * r21777;
        double r21779 = r21771 ? r21778 : r21769;
        double r21780 = r21759 ? r21769 : r21779;
        return r21780;
}

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 r21781, r21782, r21783, r21784, r21785;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r21781);
        mpfr_init(r21782);
        mpfr_init_set_str(r21783, "1", 10, MPFR_RNDN);
        mpfr_init(r21784);
        mpfr_init(r21785);
}

double f_im(double x) {
        mpfr_set_d(r21781, x, MPFR_RNDN);
        mpfr_mul(r21782, r21781, r21781, MPFR_RNDN);
        ;
        mpfr_add(r21784, r21782, r21783, MPFR_RNDN);
        mpfr_div(r21785, r21781, r21784, MPFR_RNDN);
        return mpfr_get_d(r21785, MPFR_RNDN);
}

static mpfr_t r21786, r21787, r21788, r21789, r21790, r21791, r21792, r21793, r21794, r21795, r21796, r21797, r21798, r21799, r21800, r21801, r21802, r21803, r21804, r21805, r21806, r21807, r21808, r21809;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r21786);
        mpfr_init_set_str(r21787, "-59585817273.543884", 10, MPFR_RNDN);
        mpfr_init(r21788);
        mpfr_init_set_str(r21789, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r21790, "5", 10, MPFR_RNDN);
        mpfr_init(r21791);
        mpfr_init(r21792);
        mpfr_init(r21793);
        mpfr_init(r21794);
        mpfr_init_set_str(r21795, "3", 10, MPFR_RNDN);
        mpfr_init(r21796);
        mpfr_init(r21797);
        mpfr_init(r21798);
        mpfr_init_set_str(r21799, "15440424.524051264", 10, MPFR_RNDN);
        mpfr_init(r21800);
        mpfr_init(r21801);
        mpfr_init(r21802);
        mpfr_init(r21803);
        mpfr_init(r21804);
        mpfr_init(r21805);
        mpfr_init(r21806);
        mpfr_init(r21807);
        mpfr_init(r21808);
        mpfr_init(r21809);
}

double f_fm(double x) {
        mpfr_set_d(r21786, x, MPFR_RNDN);
        ;
        mpfr_set_si(r21788, mpfr_cmp(r21786, r21787) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r21791, r21786, r21790, MPFR_RNDN);
        mpfr_div(r21792, r21789, r21791, MPFR_RNDN);
        mpfr_div(r21793, r21789, r21786, MPFR_RNDN);
        mpfr_add(r21794, r21792, r21793, MPFR_RNDN);
        ;
        mpfr_pow(r21796, r21786, r21795, MPFR_RNDN);
        mpfr_div(r21797, r21789, r21796, MPFR_RNDN);
        mpfr_sub(r21798, r21794, r21797, MPFR_RNDN);
        ;
        mpfr_set_si(r21800, mpfr_cmp(r21786, r21799) <= 0, MPFR_RNDN);
        mpfr_mul(r21801, r21786, r21786, MPFR_RNDN);
        mpfr_sub(r21802, r21789, r21801, MPFR_RNDN);
        mpfr_mul(r21803, r21801, r21801, MPFR_RNDN);
        mpfr_add(r21804, r21802, r21803, MPFR_RNDN);
        mpfr_fma(r21805, r21796, r21796, r21789, MPFR_RNDN);
        mpfr_div(r21806, r21786, r21805, MPFR_RNDN);
        mpfr_mul(r21807, r21804, r21806, MPFR_RNDN);
        if (mpfr_get_si(r21800, MPFR_RNDN)) { mpfr_set(r21808, r21807, MPFR_RNDN); } else { mpfr_set(r21808, r21798, MPFR_RNDN); };
        if (mpfr_get_si(r21788, MPFR_RNDN)) { mpfr_set(r21809, r21798, MPFR_RNDN); } else { mpfr_set(r21809, r21808, MPFR_RNDN); };
        return mpfr_get_d(r21809, MPFR_RNDN);
}

static mpfr_t r21810, r21811, r21812, r21813, r21814, r21815, r21816, r21817, r21818, r21819, r21820, r21821, r21822, r21823, r21824, r21825, r21826, r21827, r21828, r21829, r21830, r21831, r21832, r21833;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r21810);
        mpfr_init_set_str(r21811, "-59585817273.543884", 10, MPFR_RNDN);
        mpfr_init(r21812);
        mpfr_init_set_str(r21813, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r21814, "5", 10, MPFR_RNDN);
        mpfr_init(r21815);
        mpfr_init(r21816);
        mpfr_init(r21817);
        mpfr_init(r21818);
        mpfr_init_set_str(r21819, "3", 10, MPFR_RNDN);
        mpfr_init(r21820);
        mpfr_init(r21821);
        mpfr_init(r21822);
        mpfr_init_set_str(r21823, "15440424.524051264", 10, MPFR_RNDN);
        mpfr_init(r21824);
        mpfr_init(r21825);
        mpfr_init(r21826);
        mpfr_init(r21827);
        mpfr_init(r21828);
        mpfr_init(r21829);
        mpfr_init(r21830);
        mpfr_init(r21831);
        mpfr_init(r21832);
        mpfr_init(r21833);
}

double f_dm(double x) {
        mpfr_set_d(r21810, x, MPFR_RNDN);
        ;
        mpfr_set_si(r21812, mpfr_cmp(r21810, r21811) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r21815, r21810, r21814, MPFR_RNDN);
        mpfr_div(r21816, r21813, r21815, MPFR_RNDN);
        mpfr_div(r21817, r21813, r21810, MPFR_RNDN);
        mpfr_add(r21818, r21816, r21817, MPFR_RNDN);
        ;
        mpfr_pow(r21820, r21810, r21819, MPFR_RNDN);
        mpfr_div(r21821, r21813, r21820, MPFR_RNDN);
        mpfr_sub(r21822, r21818, r21821, MPFR_RNDN);
        ;
        mpfr_set_si(r21824, mpfr_cmp(r21810, r21823) <= 0, MPFR_RNDN);
        mpfr_mul(r21825, r21810, r21810, MPFR_RNDN);
        mpfr_sub(r21826, r21813, r21825, MPFR_RNDN);
        mpfr_mul(r21827, r21825, r21825, MPFR_RNDN);
        mpfr_add(r21828, r21826, r21827, MPFR_RNDN);
        mpfr_fma(r21829, r21820, r21820, r21813, MPFR_RNDN);
        mpfr_div(r21830, r21810, r21829, MPFR_RNDN);
        mpfr_mul(r21831, r21828, r21830, MPFR_RNDN);
        if (mpfr_get_si(r21824, MPFR_RNDN)) { mpfr_set(r21832, r21831, MPFR_RNDN); } else { mpfr_set(r21832, r21822, MPFR_RNDN); };
        if (mpfr_get_si(r21812, MPFR_RNDN)) { mpfr_set(r21833, r21822, MPFR_RNDN); } else { mpfr_set(r21833, r21832, MPFR_RNDN); };
        return mpfr_get_d(r21833, MPFR_RNDN);
}