#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 r21071 = 1;
        float r21072 = x;
        float r21073 = r21071 - r21072;
        float r21074 = log(r21073);
        float r21075 = r21071 + r21072;
        float r21076 = log(r21075);
        float r21077 = r21074 / r21076;
        return r21077;
}

double f_id(double x) {
        double r21078 = 1;
        double r21079 = x;
        double r21080 = r21078 - r21079;
        double r21081 = log(r21080);
        double r21082 = r21078 + r21079;
        double r21083 = log(r21082);
        double r21084 = r21081 / r21083;
        return r21084;
}


double f_of(float x) {
        float r21085 = 1/2;
        float r21086 = x;
        float r21087 = 2;
        float r21088 = pow(r21086, r21087);
        float r21089 = r21085 * r21088;
        float r21090 = 1;
        float r21091 = r21090 + r21086;
        float r21092 = r21089 + r21091;
        float r21093 = -r21092;
        return r21093;
}

double f_od(double x) {
        double r21094 = 1/2;
        double r21095 = x;
        double r21096 = 2;
        double r21097 = pow(r21095, r21096);
        double r21098 = r21094 * r21097;
        double r21099 = 1;
        double r21100 = r21099 + r21095;
        double r21101 = r21098 + r21100;
        double r21102 = -r21101;
        return r21102;
}

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 r21103, r21104, r21105, r21106, r21107, r21108, r21109;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r21103, "1", 10, MPFR_RNDN);
        mpfr_init(r21104);
        mpfr_init(r21105);
        mpfr_init(r21106);
        mpfr_init(r21107);
        mpfr_init(r21108);
        mpfr_init(r21109);
}

double f_im(double x) {
        ;
        mpfr_set_d(r21104, x, MPFR_RNDN);
        mpfr_sub(r21105, r21103, r21104, MPFR_RNDN);
        mpfr_log(r21106, r21105, MPFR_RNDN);
        mpfr_add(r21107, r21103, r21104, MPFR_RNDN);
        mpfr_log(r21108, r21107, MPFR_RNDN);
        mpfr_div(r21109, r21106, r21108, MPFR_RNDN);
        return mpfr_get_d(r21109, MPFR_RNDN);
}

static mpfr_t r21110, r21111, r21112, r21113, r21114, r21115, r21116, r21117, r21118;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r21110, "1/2", 10, MPFR_RNDN);
        mpfr_init(r21111);
        mpfr_init_set_str(r21112, "2", 10, MPFR_RNDN);
        mpfr_init(r21113);
        mpfr_init(r21114);
        mpfr_init_set_str(r21115, "1", 10, MPFR_RNDN);
        mpfr_init(r21116);
        mpfr_init(r21117);
        mpfr_init(r21118);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r21111, x, MPFR_RNDN);
        ;
        mpfr_pow(r21113, r21111, r21112, MPFR_RNDN);
        mpfr_mul(r21114, r21110, r21113, MPFR_RNDN);
        ;
        mpfr_add(r21116, r21115, r21111, MPFR_RNDN);
        mpfr_add(r21117, r21114, r21116, MPFR_RNDN);
        mpfr_neg(r21118, r21117, MPFR_RNDN);
        return mpfr_get_d(r21118, MPFR_RNDN);
}

static mpfr_t r21119, r21120, r21121, r21122, r21123, r21124, r21125, r21126, r21127;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r21119, "1/2", 10, MPFR_RNDN);
        mpfr_init(r21120);
        mpfr_init_set_str(r21121, "2", 10, MPFR_RNDN);
        mpfr_init(r21122);
        mpfr_init(r21123);
        mpfr_init_set_str(r21124, "1", 10, MPFR_RNDN);
        mpfr_init(r21125);
        mpfr_init(r21126);
        mpfr_init(r21127);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r21120, x, MPFR_RNDN);
        ;
        mpfr_pow(r21122, r21120, r21121, MPFR_RNDN);
        mpfr_mul(r21123, r21119, r21122, MPFR_RNDN);
        ;
        mpfr_add(r21125, r21124, r21120, MPFR_RNDN);
        mpfr_add(r21126, r21123, r21125, MPFR_RNDN);
        mpfr_neg(r21127, r21126, MPFR_RNDN);
        return mpfr_get_d(r21127, MPFR_RNDN);
}