#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 r8820 = x;
        float r8821 = r8820 * r8820;
        float r8822 = 1;
        float r8823 = r8821 + r8822;
        float r8824 = r8820 / r8823;
        return r8824;
}

double f_id(double x) {
        double r8825 = x;
        double r8826 = r8825 * r8825;
        double r8827 = 1;
        double r8828 = r8826 + r8827;
        double r8829 = r8825 / r8828;
        return r8829;
}


double f_of(float x) {
        float r8830 = x;
        float r8831 = -457.61335473916245;
        bool r8832 = r8830 <= r8831;
        float r8833 = 1590.2337696015336;
        bool r8834 = r8830 <= r8833;
        float r8835 = !r8834;
        bool r8836 = r8832 || r8835;
        float r8837 = 1;
        float r8838 = r8837 / r8830;
        float r8839 = 5;
        float r8840 = pow(r8830, r8839);
        float r8841 = r8837 / r8840;
        float r8842 = r8838 + r8841;
        float r8843 = 3;
        float r8844 = pow(r8830, r8843);
        float r8845 = r8837 / r8844;
        float r8846 = r8842 - r8845;
        float r8847 = r8830 * r8830;
        float r8848 = r8847 * r8847;
        float r8849 = r8837 - r8847;
        float r8850 = r8848 + r8849;
        float r8851 = pow(r8837, r8843);
        float r8852 = pow(r8847, r8843);
        float r8853 = r8851 + r8852;
        float r8854 = r8830 / r8853;
        float r8855 = r8850 * r8854;
        float r8856 = r8836 ? r8846 : r8855;
        return r8856;
}

double f_od(double x) {
        double r8857 = x;
        double r8858 = -457.61335473916245;
        bool r8859 = r8857 <= r8858;
        double r8860 = 1590.2337696015336;
        bool r8861 = r8857 <= r8860;
        double r8862 = !r8861;
        bool r8863 = r8859 || r8862;
        double r8864 = 1;
        double r8865 = r8864 / r8857;
        double r8866 = 5;
        double r8867 = pow(r8857, r8866);
        double r8868 = r8864 / r8867;
        double r8869 = r8865 + r8868;
        double r8870 = 3;
        double r8871 = pow(r8857, r8870);
        double r8872 = r8864 / r8871;
        double r8873 = r8869 - r8872;
        double r8874 = r8857 * r8857;
        double r8875 = r8874 * r8874;
        double r8876 = r8864 - r8874;
        double r8877 = r8875 + r8876;
        double r8878 = pow(r8864, r8870);
        double r8879 = pow(r8874, r8870);
        double r8880 = r8878 + r8879;
        double r8881 = r8857 / r8880;
        double r8882 = r8877 * r8881;
        double r8883 = r8863 ? r8873 : r8882;
        return r8883;
}

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 r8884, r8885, r8886, r8887, r8888;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r8884);
        mpfr_init(r8885);
        mpfr_init_set_str(r8886, "1", 10, MPFR_RNDN);
        mpfr_init(r8887);
        mpfr_init(r8888);
}

double f_im(double x) {
        mpfr_set_d(r8884, x, MPFR_RNDN);
        mpfr_mul(r8885, r8884, r8884, MPFR_RNDN);
        ;
        mpfr_add(r8887, r8885, r8886, MPFR_RNDN);
        mpfr_div(r8888, r8884, r8887, MPFR_RNDN);
        return mpfr_get_d(r8888, MPFR_RNDN);
}

static mpfr_t r8889, r8890, r8891, r8892, r8893, r8894, r8895, r8896, r8897, r8898, r8899, r8900, r8901, r8902, r8903, r8904, r8905, r8906, r8907, r8908, r8909, r8910, r8911, r8912, r8913, r8914, r8915;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r8889);
        mpfr_init_set_str(r8890, "-457.61335473916245", 10, MPFR_RNDN);
        mpfr_init(r8891);
        mpfr_init_set_str(r8892, "1590.2337696015336", 10, MPFR_RNDN);
        mpfr_init(r8893);
        mpfr_init(r8894);
        mpfr_init(r8895);
        mpfr_init_set_str(r8896, "1", 10, MPFR_RNDN);
        mpfr_init(r8897);
        mpfr_init_set_str(r8898, "5", 10, MPFR_RNDN);
        mpfr_init(r8899);
        mpfr_init(r8900);
        mpfr_init(r8901);
        mpfr_init_set_str(r8902, "3", 10, MPFR_RNDN);
        mpfr_init(r8903);
        mpfr_init(r8904);
        mpfr_init(r8905);
        mpfr_init(r8906);
        mpfr_init(r8907);
        mpfr_init(r8908);
        mpfr_init(r8909);
        mpfr_init(r8910);
        mpfr_init(r8911);
        mpfr_init(r8912);
        mpfr_init(r8913);
        mpfr_init(r8914);
        mpfr_init(r8915);
}

double f_fm(double x) {
        mpfr_set_d(r8889, x, MPFR_RNDN);
        ;
        mpfr_set_si(r8891, mpfr_cmp(r8889, r8890) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r8893, mpfr_cmp(r8889, r8892) <= 0, MPFR_RNDN);
        mpfr_set_si(r8894, !mpfr_get_si(r8893, MPFR_RNDN), MPFR_RNDN);
        mpfr_set_si(r8895, mpfr_get_si(r8891, MPFR_RNDN) || mpfr_get_si(r8894, MPFR_RNDN), MPFR_RNDN);
        ;
        mpfr_div(r8897, r8896, r8889, MPFR_RNDN);
        ;
        mpfr_pow(r8899, r8889, r8898, MPFR_RNDN);
        mpfr_div(r8900, r8896, r8899, MPFR_RNDN);
        mpfr_add(r8901, r8897, r8900, MPFR_RNDN);
        ;
        mpfr_pow(r8903, r8889, r8902, MPFR_RNDN);
        mpfr_div(r8904, r8896, r8903, MPFR_RNDN);
        mpfr_sub(r8905, r8901, r8904, MPFR_RNDN);
        mpfr_mul(r8906, r8889, r8889, MPFR_RNDN);
        mpfr_mul(r8907, r8906, r8906, MPFR_RNDN);
        mpfr_sub(r8908, r8896, r8906, MPFR_RNDN);
        mpfr_add(r8909, r8907, r8908, MPFR_RNDN);
        mpfr_pow(r8910, r8896, r8902, MPFR_RNDN);
        mpfr_pow(r8911, r8906, r8902, MPFR_RNDN);
        mpfr_add(r8912, r8910, r8911, MPFR_RNDN);
        mpfr_div(r8913, r8889, r8912, MPFR_RNDN);
        mpfr_mul(r8914, r8909, r8913, MPFR_RNDN);
        if (mpfr_get_si(r8895, MPFR_RNDN)) { mpfr_set(r8915, r8905, MPFR_RNDN); } else { mpfr_set(r8915, r8914, MPFR_RNDN); };
        return mpfr_get_d(r8915, MPFR_RNDN);
}

static mpfr_t r8916, r8917, r8918, r8919, r8920, r8921, r8922, r8923, r8924, r8925, r8926, r8927, r8928, r8929, r8930, r8931, r8932, r8933, r8934, r8935, r8936, r8937, r8938, r8939, r8940, r8941, r8942;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r8916);
        mpfr_init_set_str(r8917, "-457.61335473916245", 10, MPFR_RNDN);
        mpfr_init(r8918);
        mpfr_init_set_str(r8919, "1590.2337696015336", 10, MPFR_RNDN);
        mpfr_init(r8920);
        mpfr_init(r8921);
        mpfr_init(r8922);
        mpfr_init_set_str(r8923, "1", 10, MPFR_RNDN);
        mpfr_init(r8924);
        mpfr_init_set_str(r8925, "5", 10, MPFR_RNDN);
        mpfr_init(r8926);
        mpfr_init(r8927);
        mpfr_init(r8928);
        mpfr_init_set_str(r8929, "3", 10, MPFR_RNDN);
        mpfr_init(r8930);
        mpfr_init(r8931);
        mpfr_init(r8932);
        mpfr_init(r8933);
        mpfr_init(r8934);
        mpfr_init(r8935);
        mpfr_init(r8936);
        mpfr_init(r8937);
        mpfr_init(r8938);
        mpfr_init(r8939);
        mpfr_init(r8940);
        mpfr_init(r8941);
        mpfr_init(r8942);
}

double f_dm(double x) {
        mpfr_set_d(r8916, x, MPFR_RNDN);
        ;
        mpfr_set_si(r8918, mpfr_cmp(r8916, r8917) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r8920, mpfr_cmp(r8916, r8919) <= 0, MPFR_RNDN);
        mpfr_set_si(r8921, !mpfr_get_si(r8920, MPFR_RNDN), MPFR_RNDN);
        mpfr_set_si(r8922, mpfr_get_si(r8918, MPFR_RNDN) || mpfr_get_si(r8921, MPFR_RNDN), MPFR_RNDN);
        ;
        mpfr_div(r8924, r8923, r8916, MPFR_RNDN);
        ;
        mpfr_pow(r8926, r8916, r8925, MPFR_RNDN);
        mpfr_div(r8927, r8923, r8926, MPFR_RNDN);
        mpfr_add(r8928, r8924, r8927, MPFR_RNDN);
        ;
        mpfr_pow(r8930, r8916, r8929, MPFR_RNDN);
        mpfr_div(r8931, r8923, r8930, MPFR_RNDN);
        mpfr_sub(r8932, r8928, r8931, MPFR_RNDN);
        mpfr_mul(r8933, r8916, r8916, MPFR_RNDN);
        mpfr_mul(r8934, r8933, r8933, MPFR_RNDN);
        mpfr_sub(r8935, r8923, r8933, MPFR_RNDN);
        mpfr_add(r8936, r8934, r8935, MPFR_RNDN);
        mpfr_pow(r8937, r8923, r8929, MPFR_RNDN);
        mpfr_pow(r8938, r8933, r8929, MPFR_RNDN);
        mpfr_add(r8939, r8937, r8938, MPFR_RNDN);
        mpfr_div(r8940, r8916, r8939, MPFR_RNDN);
        mpfr_mul(r8941, r8936, r8940, MPFR_RNDN);
        if (mpfr_get_si(r8922, MPFR_RNDN)) { mpfr_set(r8942, r8932, MPFR_RNDN); } else { mpfr_set(r8942, r8941, MPFR_RNDN); };
        return mpfr_get_d(r8942, MPFR_RNDN);
}