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

char *name = "qlog (example 3.10)";

double f_if(float x) {
        float r10454 = 1;
        float r10455 = x;
        float r10456 = r10454 - r10455;
        float r10457 = log(r10456);
        float r10458 = r10454 + r10455;
        float r10459 = log(r10458);
        float r10460 = r10457 / r10459;
        return r10460;
}

double f_id(double x) {
        double r10461 = 1;
        double r10462 = x;
        double r10463 = r10461 - r10462;
        double r10464 = log(r10463);
        double r10465 = r10461 + r10462;
        double r10466 = log(r10465);
        double r10467 = r10464 / r10466;
        return r10467;
}


double f_of(float x) {
        float r10468 = x;
        float r10469 = -r10468;
        float r10470 = log1p(r10469);
        float r10471 = log1p(r10468);
        float r10472 = r10470 / r10471;
        return r10472;
}

double f_od(double x) {
        double r10473 = x;
        double r10474 = -r10473;
        double r10475 = log1p(r10474);
        double r10476 = log1p(r10473);
        double r10477 = r10475 / r10476;
        return r10477;
}

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 r10478, r10479, r10480, r10481, r10482, r10483, r10484;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r10478, "1", 10, MPFR_RNDN);
        mpfr_init(r10479);
        mpfr_init(r10480);
        mpfr_init(r10481);
        mpfr_init(r10482);
        mpfr_init(r10483);
        mpfr_init(r10484);
}

double f_im(double x) {
        ;
        mpfr_set_d(r10479, x, MPFR_RNDN);
        mpfr_sub(r10480, r10478, r10479, MPFR_RNDN);
        mpfr_log(r10481, r10480, MPFR_RNDN);
        mpfr_add(r10482, r10478, r10479, MPFR_RNDN);
        mpfr_log(r10483, r10482, MPFR_RNDN);
        mpfr_div(r10484, r10481, r10483, MPFR_RNDN);
        return mpfr_get_d(r10484, MPFR_RNDN);
}

static mpfr_t r10485, r10486, r10487, r10488, r10489;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r10485);
        mpfr_init(r10486);
        mpfr_init(r10487);
        mpfr_init(r10488);
        mpfr_init(r10489);
}

double f_fm(double x) {
        mpfr_set_d(r10485, x, MPFR_RNDN);
        mpfr_neg(r10486, r10485, MPFR_RNDN);
        mpfr_log1p(r10487, r10486, MPFR_RNDN);
        mpfr_log1p(r10488, r10485, MPFR_RNDN);
        mpfr_div(r10489, r10487, r10488, MPFR_RNDN);
        return mpfr_get_d(r10489, MPFR_RNDN);
}

static mpfr_t r10490, r10491, r10492, r10493, r10494;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r10490);
        mpfr_init(r10491);
        mpfr_init(r10492);
        mpfr_init(r10493);
        mpfr_init(r10494);
}

double f_dm(double x) {
        mpfr_set_d(r10490, x, MPFR_RNDN);
        mpfr_neg(r10491, r10490, MPFR_RNDN);
        mpfr_log1p(r10492, r10491, MPFR_RNDN);
        mpfr_log1p(r10493, r10490, MPFR_RNDN);
        mpfr_div(r10494, r10492, r10493, MPFR_RNDN);
        return mpfr_get_d(r10494, MPFR_RNDN);
}