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

char *name = "ln(1 + x)";

double f_if(float x) {
        float r23164 = 1;
        float r23165 = x;
        float r23166 = r23164 + r23165;
        float r23167 = log(r23166);
        return r23167;
}

double f_id(double x) {
        double r23168 = 1;
        double r23169 = x;
        double r23170 = r23168 + r23169;
        double r23171 = log(r23170);
        return r23171;
}


double f_of(float x) {
        float r23172 = 1;
        float r23173 = x;
        float r23174 = r23172 + r23173;
        float r23175 = log(r23174);
        float r23176 = 7.332343702277118e-05;
        bool r23177 = r23175 <= r23176;
        float r23178 = 1/2;
        float r23179 = 1/3;
        float r23180 = r23173 * r23179;
        float r23181 = r23178 - r23180;
        float r23182 = r23173 * r23173;
        float r23183 = r23181 * r23182;
        float r23184 = r23173 - r23183;
        float r23185 = r23177 ? r23184 : r23175;
        return r23185;
}

double f_od(double x) {
        double r23186 = 1;
        double r23187 = x;
        double r23188 = r23186 + r23187;
        double r23189 = log(r23188);
        double r23190 = 7.332343702277118e-05;
        bool r23191 = r23189 <= r23190;
        double r23192 = 1/2;
        double r23193 = 1/3;
        double r23194 = r23187 * r23193;
        double r23195 = r23192 - r23194;
        double r23196 = r23187 * r23187;
        double r23197 = r23195 * r23196;
        double r23198 = r23187 - r23197;
        double r23199 = r23191 ? r23198 : r23189;
        return r23199;
}

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 r23200, r23201, r23202, r23203;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r23200, "1", 10, MPFR_RNDN);
        mpfr_init(r23201);
        mpfr_init(r23202);
        mpfr_init(r23203);
}

double f_im(double x) {
        ;
        mpfr_set_d(r23201, x, MPFR_RNDN);
        mpfr_add(r23202, r23200, r23201, MPFR_RNDN);
        mpfr_log(r23203, r23202, MPFR_RNDN);
        return mpfr_get_d(r23203, MPFR_RNDN);
}

static mpfr_t r23204, r23205, r23206, r23207, r23208, r23209, r23210, r23211, r23212, r23213, r23214, r23215, r23216, r23217;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r23204, "1", 10, MPFR_RNDN);
        mpfr_init(r23205);
        mpfr_init(r23206);
        mpfr_init(r23207);
        mpfr_init_set_str(r23208, "7.332343702277118e-05", 10, MPFR_RNDN);
        mpfr_init(r23209);
        mpfr_init_set_str(r23210, "1/2", 10, MPFR_RNDN);
        mpfr_init_set_str(r23211, "1/3", 10, MPFR_RNDN);
        mpfr_init(r23212);
        mpfr_init(r23213);
        mpfr_init(r23214);
        mpfr_init(r23215);
        mpfr_init(r23216);
        mpfr_init(r23217);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r23205, x, MPFR_RNDN);
        mpfr_add(r23206, r23204, r23205, MPFR_RNDN);
        mpfr_log(r23207, r23206, MPFR_RNDN);
        ;
        mpfr_set_si(r23209, mpfr_cmp(r23207, r23208) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r23212, r23205, r23211, MPFR_RNDN);
        mpfr_sub(r23213, r23210, r23212, MPFR_RNDN);
        mpfr_mul(r23214, r23205, r23205, MPFR_RNDN);
        mpfr_mul(r23215, r23213, r23214, MPFR_RNDN);
        mpfr_sub(r23216, r23205, r23215, MPFR_RNDN);
        if (mpfr_get_si(r23209, MPFR_RNDN)) { mpfr_set(r23217, r23216, MPFR_RNDN); } else { mpfr_set(r23217, r23207, MPFR_RNDN); };
        return mpfr_get_d(r23217, MPFR_RNDN);
}

static mpfr_t r23218, r23219, r23220, r23221, r23222, r23223, r23224, r23225, r23226, r23227, r23228, r23229, r23230, r23231;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r23218, "1", 10, MPFR_RNDN);
        mpfr_init(r23219);
        mpfr_init(r23220);
        mpfr_init(r23221);
        mpfr_init_set_str(r23222, "7.332343702277118e-05", 10, MPFR_RNDN);
        mpfr_init(r23223);
        mpfr_init_set_str(r23224, "1/2", 10, MPFR_RNDN);
        mpfr_init_set_str(r23225, "1/3", 10, MPFR_RNDN);
        mpfr_init(r23226);
        mpfr_init(r23227);
        mpfr_init(r23228);
        mpfr_init(r23229);
        mpfr_init(r23230);
        mpfr_init(r23231);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r23219, x, MPFR_RNDN);
        mpfr_add(r23220, r23218, r23219, MPFR_RNDN);
        mpfr_log(r23221, r23220, MPFR_RNDN);
        ;
        mpfr_set_si(r23223, mpfr_cmp(r23221, r23222) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r23226, r23219, r23225, MPFR_RNDN);
        mpfr_sub(r23227, r23224, r23226, MPFR_RNDN);
        mpfr_mul(r23228, r23219, r23219, MPFR_RNDN);
        mpfr_mul(r23229, r23227, r23228, MPFR_RNDN);
        mpfr_sub(r23230, r23219, r23229, MPFR_RNDN);
        if (mpfr_get_si(r23223, MPFR_RNDN)) { mpfr_set(r23231, r23230, MPFR_RNDN); } else { mpfr_set(r23231, r23221, MPFR_RNDN); };
        return mpfr_get_d(r23231, MPFR_RNDN);
}