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

char *name = "logq (problem 3.4.3)";

double f_if(float eps) {
        float r22080 = 1;
        float r22081 = eps;
        float r22082 = r22080 - r22081;
        float r22083 = r22080 + r22081;
        float r22084 = r22082 / r22083;
        float r22085 = log(r22084);
        return r22085;
}

double f_id(double eps) {
        double r22086 = 1;
        double r22087 = eps;
        double r22088 = r22086 - r22087;
        double r22089 = r22086 + r22087;
        double r22090 = r22088 / r22089;
        double r22091 = log(r22090);
        return r22091;
}


double f_of(float eps) {
        float r22092 = 2/3;
        float r22093 = eps;
        float r22094 = 3;
        float r22095 = pow(r22093, r22094);
        float r22096 = r22092 * r22095;
        float r22097 = 2/5;
        float r22098 = 5;
        float r22099 = pow(r22093, r22098);
        float r22100 = r22097 * r22099;
        float r22101 = 2;
        float r22102 = r22101 * r22093;
        float r22103 = r22100 + r22102;
        float r22104 = r22096 + r22103;
        float r22105 = -r22104;
        return r22105;
}

double f_od(double eps) {
        double r22106 = 2/3;
        double r22107 = eps;
        double r22108 = 3;
        double r22109 = pow(r22107, r22108);
        double r22110 = r22106 * r22109;
        double r22111 = 2/5;
        double r22112 = 5;
        double r22113 = pow(r22107, r22112);
        double r22114 = r22111 * r22113;
        double r22115 = 2;
        double r22116 = r22115 * r22107;
        double r22117 = r22114 + r22116;
        double r22118 = r22110 + r22117;
        double r22119 = -r22118;
        return r22119;
}

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 r22120, r22121, r22122, r22123, r22124, r22125;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r22120, "1", 10, MPFR_RNDN);
        mpfr_init(r22121);
        mpfr_init(r22122);
        mpfr_init(r22123);
        mpfr_init(r22124);
        mpfr_init(r22125);
}

double f_im(double eps) {
        ;
        mpfr_set_d(r22121, eps, MPFR_RNDN);
        mpfr_sub(r22122, r22120, r22121, MPFR_RNDN);
        mpfr_add(r22123, r22120, r22121, MPFR_RNDN);
        mpfr_div(r22124, r22122, r22123, MPFR_RNDN);
        mpfr_log(r22125, r22124, MPFR_RNDN);
        return mpfr_get_d(r22125, MPFR_RNDN);
}

static mpfr_t r22126, r22127, r22128, r22129, r22130, r22131, r22132, r22133, r22134, r22135, r22136, r22137, r22138, r22139;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r22126, "2/3", 10, MPFR_RNDN);
        mpfr_init(r22127);
        mpfr_init_set_str(r22128, "3", 10, MPFR_RNDN);
        mpfr_init(r22129);
        mpfr_init(r22130);
        mpfr_init_set_str(r22131, "2/5", 10, MPFR_RNDN);
        mpfr_init_set_str(r22132, "5", 10, MPFR_RNDN);
        mpfr_init(r22133);
        mpfr_init(r22134);
        mpfr_init_set_str(r22135, "2", 10, MPFR_RNDN);
        mpfr_init(r22136);
        mpfr_init(r22137);
        mpfr_init(r22138);
        mpfr_init(r22139);
}

double f_fm(double eps) {
        ;
        mpfr_set_d(r22127, eps, MPFR_RNDN);
        ;
        mpfr_pow(r22129, r22127, r22128, MPFR_RNDN);
        mpfr_mul(r22130, r22126, r22129, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r22133, r22127, r22132, MPFR_RNDN);
        mpfr_mul(r22134, r22131, r22133, MPFR_RNDN);
        ;
        mpfr_mul(r22136, r22135, r22127, MPFR_RNDN);
        mpfr_add(r22137, r22134, r22136, MPFR_RNDN);
        mpfr_add(r22138, r22130, r22137, MPFR_RNDN);
        mpfr_neg(r22139, r22138, MPFR_RNDN);
        return mpfr_get_d(r22139, MPFR_RNDN);
}

static mpfr_t r22140, r22141, r22142, r22143, r22144, r22145, r22146, r22147, r22148, r22149, r22150, r22151, r22152, r22153;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r22140, "2/3", 10, MPFR_RNDN);
        mpfr_init(r22141);
        mpfr_init_set_str(r22142, "3", 10, MPFR_RNDN);
        mpfr_init(r22143);
        mpfr_init(r22144);
        mpfr_init_set_str(r22145, "2/5", 10, MPFR_RNDN);
        mpfr_init_set_str(r22146, "5", 10, MPFR_RNDN);
        mpfr_init(r22147);
        mpfr_init(r22148);
        mpfr_init_set_str(r22149, "2", 10, MPFR_RNDN);
        mpfr_init(r22150);
        mpfr_init(r22151);
        mpfr_init(r22152);
        mpfr_init(r22153);
}

double f_dm(double eps) {
        ;
        mpfr_set_d(r22141, eps, MPFR_RNDN);
        ;
        mpfr_pow(r22143, r22141, r22142, MPFR_RNDN);
        mpfr_mul(r22144, r22140, r22143, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r22147, r22141, r22146, MPFR_RNDN);
        mpfr_mul(r22148, r22145, r22147, MPFR_RNDN);
        ;
        mpfr_mul(r22150, r22149, r22141, MPFR_RNDN);
        mpfr_add(r22151, r22148, r22150, MPFR_RNDN);
        mpfr_add(r22152, r22144, r22151, MPFR_RNDN);
        mpfr_neg(r22153, r22152, MPFR_RNDN);
        return mpfr_get_d(r22153, MPFR_RNDN);
}