#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 r25393 = 1;
        float r25394 = x;
        float r25395 = r25393 + r25394;
        float r25396 = log(r25395);
        return r25396;
}

double f_id(double x) {
        double r25397 = 1;
        double r25398 = x;
        double r25399 = r25397 + r25398;
        double r25400 = log(r25399);
        return r25400;
}


double f_of(float x) {
        float r25401 = 1;
        float r25402 = x;
        float r25403 = r25401 + r25402;
        float r25404 = log(r25403);
        float r25405 = 6.8767415579994e-310;
        bool r25406 = r25404 <= r25405;
        float r25407 = 1/2;
        float r25408 = 1/3;
        float r25409 = r25402 * r25408;
        float r25410 = r25407 - r25409;
        float r25411 = r25402 * r25402;
        float r25412 = r25410 * r25411;
        float r25413 = r25402 - r25412;
        float r25414 = r25406 ? r25413 : r25404;
        return r25414;
}

double f_od(double x) {
        double r25415 = 1;
        double r25416 = x;
        double r25417 = r25415 + r25416;
        double r25418 = log(r25417);
        double r25419 = 6.8767415579994e-310;
        bool r25420 = r25418 <= r25419;
        double r25421 = 1/2;
        double r25422 = 1/3;
        double r25423 = r25416 * r25422;
        double r25424 = r25421 - r25423;
        double r25425 = r25416 * r25416;
        double r25426 = r25424 * r25425;
        double r25427 = r25416 - r25426;
        double r25428 = r25420 ? r25427 : r25418;
        return r25428;
}

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 r25429, r25430, r25431, r25432;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r25429, "1", 10, MPFR_RNDN);
        mpfr_init(r25430);
        mpfr_init(r25431);
        mpfr_init(r25432);
}

double f_im(double x) {
        ;
        mpfr_set_d(r25430, x, MPFR_RNDN);
        mpfr_add(r25431, r25429, r25430, MPFR_RNDN);
        mpfr_log(r25432, r25431, MPFR_RNDN);
        return mpfr_get_d(r25432, MPFR_RNDN);
}

static mpfr_t r25433, r25434, r25435, r25436, r25437, r25438, r25439, r25440, r25441, r25442, r25443, r25444, r25445, r25446;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r25433, "1", 10, MPFR_RNDN);
        mpfr_init(r25434);
        mpfr_init(r25435);
        mpfr_init(r25436);
        mpfr_init_set_str(r25437, "6.8767415579994e-310", 10, MPFR_RNDN);
        mpfr_init(r25438);
        mpfr_init_set_str(r25439, "1/2", 10, MPFR_RNDN);
        mpfr_init_set_str(r25440, "1/3", 10, MPFR_RNDN);
        mpfr_init(r25441);
        mpfr_init(r25442);
        mpfr_init(r25443);
        mpfr_init(r25444);
        mpfr_init(r25445);
        mpfr_init(r25446);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r25434, x, MPFR_RNDN);
        mpfr_add(r25435, r25433, r25434, MPFR_RNDN);
        mpfr_log(r25436, r25435, MPFR_RNDN);
        ;
        mpfr_set_si(r25438, mpfr_cmp(r25436, r25437) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r25441, r25434, r25440, MPFR_RNDN);
        mpfr_sub(r25442, r25439, r25441, MPFR_RNDN);
        mpfr_mul(r25443, r25434, r25434, MPFR_RNDN);
        mpfr_mul(r25444, r25442, r25443, MPFR_RNDN);
        mpfr_sub(r25445, r25434, r25444, MPFR_RNDN);
        if (mpfr_get_si(r25438, MPFR_RNDN)) { mpfr_set(r25446, r25445, MPFR_RNDN); } else { mpfr_set(r25446, r25436, MPFR_RNDN); };
        return mpfr_get_d(r25446, MPFR_RNDN);
}

static mpfr_t r25447, r25448, r25449, r25450, r25451, r25452, r25453, r25454, r25455, r25456, r25457, r25458, r25459, r25460;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r25447, "1", 10, MPFR_RNDN);
        mpfr_init(r25448);
        mpfr_init(r25449);
        mpfr_init(r25450);
        mpfr_init_set_str(r25451, "6.8767415579994e-310", 10, MPFR_RNDN);
        mpfr_init(r25452);
        mpfr_init_set_str(r25453, "1/2", 10, MPFR_RNDN);
        mpfr_init_set_str(r25454, "1/3", 10, MPFR_RNDN);
        mpfr_init(r25455);
        mpfr_init(r25456);
        mpfr_init(r25457);
        mpfr_init(r25458);
        mpfr_init(r25459);
        mpfr_init(r25460);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r25448, x, MPFR_RNDN);
        mpfr_add(r25449, r25447, r25448, MPFR_RNDN);
        mpfr_log(r25450, r25449, MPFR_RNDN);
        ;
        mpfr_set_si(r25452, mpfr_cmp(r25450, r25451) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r25455, r25448, r25454, MPFR_RNDN);
        mpfr_sub(r25456, r25453, r25455, MPFR_RNDN);
        mpfr_mul(r25457, r25448, r25448, MPFR_RNDN);
        mpfr_mul(r25458, r25456, r25457, MPFR_RNDN);
        mpfr_sub(r25459, r25448, r25458, MPFR_RNDN);
        if (mpfr_get_si(r25452, MPFR_RNDN)) { mpfr_set(r25460, r25459, MPFR_RNDN); } else { mpfr_set(r25460, r25450, MPFR_RNDN); };
        return mpfr_get_d(r25460, MPFR_RNDN);
}