#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 r38687 = 1;
        float r38688 = x;
        float r38689 = r38687 + r38688;
        float r38690 = log(r38689);
        return r38690;
}

double f_id(double x) {
        double r38691 = 1;
        double r38692 = x;
        double r38693 = r38691 + r38692;
        double r38694 = log(r38693);
        return r38694;
}


double f_of(float x) {
        float r38695 = 1;
        float r38696 = x;
        float r38697 = r38695 + r38696;
        float r38698 = log(r38697);
        return r38698;
}

double f_od(double x) {
        double r38699 = 1;
        double r38700 = x;
        double r38701 = r38699 + r38700;
        double r38702 = log(r38701);
        return r38702;
}

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 r38703, r38704, r38705, r38706;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r38703, "1", 10, MPFR_RNDN);
        mpfr_init(r38704);
        mpfr_init(r38705);
        mpfr_init(r38706);
}

double f_im(double x) {
        ;
        mpfr_set_d(r38704, x, MPFR_RNDN);
        mpfr_add(r38705, r38703, r38704, MPFR_RNDN);
        mpfr_log(r38706, r38705, MPFR_RNDN);
        return mpfr_get_d(r38706, MPFR_RNDN);
}

static mpfr_t r38707, r38708, r38709, r38710;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r38707, "1", 10, MPFR_RNDN);
        mpfr_init(r38708);
        mpfr_init(r38709);
        mpfr_init(r38710);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r38708, x, MPFR_RNDN);
        mpfr_add(r38709, r38707, r38708, MPFR_RNDN);
        mpfr_log(r38710, r38709, MPFR_RNDN);
        return mpfr_get_d(r38710, MPFR_RNDN);
}

static mpfr_t r38711, r38712, r38713, r38714;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r38711, "1", 10, MPFR_RNDN);
        mpfr_init(r38712);
        mpfr_init(r38713);
        mpfr_init(r38714);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r38712, x, MPFR_RNDN);
        mpfr_add(r38713, r38711, r38712, MPFR_RNDN);
        mpfr_log(r38714, r38713, MPFR_RNDN);
        return mpfr_get_d(r38714, MPFR_RNDN);
}