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

char *name = "2nthrt (problem 3.4.6)";

double f_if(float x, float n) {
        float r20073 = x;
        float r20074 = 1;
        float r20075 = r20073 + r20074;
        float r20076 = n;
        float r20077 = r20074 / r20076;
        float r20078 = pow(r20075, r20077);
        float r20079 = pow(r20073, r20077);
        float r20080 = r20078 - r20079;
        return r20080;
}

double f_id(double x, double n) {
        double r20081 = x;
        double r20082 = 1;
        double r20083 = r20081 + r20082;
        double r20084 = n;
        double r20085 = r20082 / r20084;
        double r20086 = pow(r20083, r20085);
        double r20087 = pow(r20081, r20085);
        double r20088 = r20086 - r20087;
        return r20088;
}


double f_of(float x, float n) {
        float r20089 = n;
        float r20090 = -3.841865794502161e+23;
        bool r20091 = r20089 <= r20090;
        float r20092 = 1;
        float r20093 = x;
        float r20094 = r20092 / r20093;
        float r20095 = r20094 / r20089;
        float r20096 = 1/2;
        float r20097 = r20096 / r20089;
        float r20098 = r20093 * r20093;
        float r20099 = r20097 / r20098;
        float r20100 = r20095 - r20099;
        float r20101 = log(r20093);
        float r20102 = r20093 * r20089;
        float r20103 = r20101 / r20102;
        float r20104 = r20103 / r20089;
        float r20105 = r20100 - r20104;
        float r20106 = 53310404.15366335;
        bool r20107 = r20089 <= r20106;
        float r20108 = r20092 + r20093;
        float r20109 = r20092 / r20089;
        float r20110 = pow(r20108, r20109);
        float r20111 = pow(r20093, r20109);
        float r20112 = r20110 - r20111;
        float r20113 = exp(r20112);
        float r20114 = cbrt(r20113);
        float r20115 = r20114 * r20114;
        float r20116 = log(r20115);
        float r20117 = log(r20114);
        float r20118 = r20116 + r20117;
        float r20119 = r20107 ? r20118 : r20105;
        float r20120 = r20091 ? r20105 : r20119;
        return r20120;
}

double f_od(double x, double n) {
        double r20121 = n;
        double r20122 = -3.841865794502161e+23;
        bool r20123 = r20121 <= r20122;
        double r20124 = 1;
        double r20125 = x;
        double r20126 = r20124 / r20125;
        double r20127 = r20126 / r20121;
        double r20128 = 1/2;
        double r20129 = r20128 / r20121;
        double r20130 = r20125 * r20125;
        double r20131 = r20129 / r20130;
        double r20132 = r20127 - r20131;
        double r20133 = log(r20125);
        double r20134 = r20125 * r20121;
        double r20135 = r20133 / r20134;
        double r20136 = r20135 / r20121;
        double r20137 = r20132 - r20136;
        double r20138 = 53310404.15366335;
        bool r20139 = r20121 <= r20138;
        double r20140 = r20124 + r20125;
        double r20141 = r20124 / r20121;
        double r20142 = pow(r20140, r20141);
        double r20143 = pow(r20125, r20141);
        double r20144 = r20142 - r20143;
        double r20145 = exp(r20144);
        double r20146 = cbrt(r20145);
        double r20147 = r20146 * r20146;
        double r20148 = log(r20147);
        double r20149 = log(r20146);
        double r20150 = r20148 + r20149;
        double r20151 = r20139 ? r20150 : r20137;
        double r20152 = r20123 ? r20137 : r20151;
        return r20152;
}

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 r20153, r20154, r20155, r20156, r20157, r20158, r20159, r20160;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init(r20153);
        mpfr_init_set_str(r20154, "1", 10, MPFR_RNDN);
        mpfr_init(r20155);
        mpfr_init(r20156);
        mpfr_init(r20157);
        mpfr_init(r20158);
        mpfr_init(r20159);
        mpfr_init(r20160);
}

double f_im(double x, double n) {
        mpfr_set_d(r20153, x, MPFR_RNDN);
        ;
        mpfr_add(r20155, r20153, r20154, MPFR_RNDN);
        mpfr_set_d(r20156, n, MPFR_RNDN);
        mpfr_div(r20157, r20154, r20156, MPFR_RNDN);
        mpfr_pow(r20158, r20155, r20157, MPFR_RNDN);
        mpfr_pow(r20159, r20153, r20157, MPFR_RNDN);
        mpfr_sub(r20160, r20158, r20159, MPFR_RNDN);
        return mpfr_get_d(r20160, MPFR_RNDN);
}

static mpfr_t r20161, r20162, r20163, r20164, r20165, r20166, r20167, r20168, r20169, r20170, r20171, r20172, r20173, r20174, r20175, r20176, r20177, r20178, r20179, r20180, r20181, r20182, r20183, r20184, r20185, r20186, r20187, r20188, r20189, r20190, r20191, r20192;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init(r20161);
        mpfr_init_set_str(r20162, "-3.841865794502161e+23", 10, MPFR_RNDN);
        mpfr_init(r20163);
        mpfr_init_set_str(r20164, "1", 10, MPFR_RNDN);
        mpfr_init(r20165);
        mpfr_init(r20166);
        mpfr_init(r20167);
        mpfr_init_set_str(r20168, "1/2", 10, MPFR_RNDN);
        mpfr_init(r20169);
        mpfr_init(r20170);
        mpfr_init(r20171);
        mpfr_init(r20172);
        mpfr_init(r20173);
        mpfr_init(r20174);
        mpfr_init(r20175);
        mpfr_init(r20176);
        mpfr_init(r20177);
        mpfr_init_set_str(r20178, "53310404.15366335", 10, MPFR_RNDN);
        mpfr_init(r20179);
        mpfr_init(r20180);
        mpfr_init(r20181);
        mpfr_init(r20182);
        mpfr_init(r20183);
        mpfr_init(r20184);
        mpfr_init(r20185);
        mpfr_init(r20186);
        mpfr_init(r20187);
        mpfr_init(r20188);
        mpfr_init(r20189);
        mpfr_init(r20190);
        mpfr_init(r20191);
        mpfr_init(r20192);
}

double f_fm(double x, double n) {
        mpfr_set_d(r20161, n, MPFR_RNDN);
        ;
        mpfr_set_si(r20163, mpfr_cmp(r20161, r20162) <= 0, MPFR_RNDN);
        ;
        mpfr_set_d(r20165, x, MPFR_RNDN);
        mpfr_div(r20166, r20164, r20165, MPFR_RNDN);
        mpfr_div(r20167, r20166, r20161, MPFR_RNDN);
        ;
        mpfr_div(r20169, r20168, r20161, MPFR_RNDN);
        mpfr_mul(r20170, r20165, r20165, MPFR_RNDN);
        mpfr_div(r20171, r20169, r20170, MPFR_RNDN);
        mpfr_sub(r20172, r20167, r20171, MPFR_RNDN);
        mpfr_log(r20173, r20165, MPFR_RNDN);
        mpfr_mul(r20174, r20165, r20161, MPFR_RNDN);
        mpfr_div(r20175, r20173, r20174, MPFR_RNDN);
        mpfr_div(r20176, r20175, r20161, MPFR_RNDN);
        mpfr_sub(r20177, r20172, r20176, MPFR_RNDN);
        ;
        mpfr_set_si(r20179, mpfr_cmp(r20161, r20178) <= 0, MPFR_RNDN);
        mpfr_add(r20180, r20164, r20165, MPFR_RNDN);
        mpfr_div(r20181, r20164, r20161, MPFR_RNDN);
        mpfr_pow(r20182, r20180, r20181, MPFR_RNDN);
        mpfr_pow(r20183, r20165, r20181, MPFR_RNDN);
        mpfr_sub(r20184, r20182, r20183, MPFR_RNDN);
        mpfr_exp(r20185, r20184, MPFR_RNDN);
        mpfr_cbrt(r20186, r20185, MPFR_RNDN);
        mpfr_mul(r20187, r20186, r20186, MPFR_RNDN);
        mpfr_log(r20188, r20187, MPFR_RNDN);
        mpfr_log(r20189, r20186, MPFR_RNDN);
        mpfr_add(r20190, r20188, r20189, MPFR_RNDN);
        if (mpfr_get_si(r20179, MPFR_RNDN)) { mpfr_set(r20191, r20190, MPFR_RNDN); } else { mpfr_set(r20191, r20177, MPFR_RNDN); };
        if (mpfr_get_si(r20163, MPFR_RNDN)) { mpfr_set(r20192, r20177, MPFR_RNDN); } else { mpfr_set(r20192, r20191, MPFR_RNDN); };
        return mpfr_get_d(r20192, MPFR_RNDN);
}

static mpfr_t r20193, r20194, r20195, r20196, r20197, r20198, r20199, r20200, r20201, r20202, r20203, r20204, r20205, r20206, r20207, r20208, r20209, r20210, r20211, r20212, r20213, r20214, r20215, r20216, r20217, r20218, r20219, r20220, r20221, r20222, r20223, r20224;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init(r20193);
        mpfr_init_set_str(r20194, "-3.841865794502161e+23", 10, MPFR_RNDN);
        mpfr_init(r20195);
        mpfr_init_set_str(r20196, "1", 10, MPFR_RNDN);
        mpfr_init(r20197);
        mpfr_init(r20198);
        mpfr_init(r20199);
        mpfr_init_set_str(r20200, "1/2", 10, MPFR_RNDN);
        mpfr_init(r20201);
        mpfr_init(r20202);
        mpfr_init(r20203);
        mpfr_init(r20204);
        mpfr_init(r20205);
        mpfr_init(r20206);
        mpfr_init(r20207);
        mpfr_init(r20208);
        mpfr_init(r20209);
        mpfr_init_set_str(r20210, "53310404.15366335", 10, MPFR_RNDN);
        mpfr_init(r20211);
        mpfr_init(r20212);
        mpfr_init(r20213);
        mpfr_init(r20214);
        mpfr_init(r20215);
        mpfr_init(r20216);
        mpfr_init(r20217);
        mpfr_init(r20218);
        mpfr_init(r20219);
        mpfr_init(r20220);
        mpfr_init(r20221);
        mpfr_init(r20222);
        mpfr_init(r20223);
        mpfr_init(r20224);
}

double f_dm(double x, double n) {
        mpfr_set_d(r20193, n, MPFR_RNDN);
        ;
        mpfr_set_si(r20195, mpfr_cmp(r20193, r20194) <= 0, MPFR_RNDN);
        ;
        mpfr_set_d(r20197, x, MPFR_RNDN);
        mpfr_div(r20198, r20196, r20197, MPFR_RNDN);
        mpfr_div(r20199, r20198, r20193, MPFR_RNDN);
        ;
        mpfr_div(r20201, r20200, r20193, MPFR_RNDN);
        mpfr_mul(r20202, r20197, r20197, MPFR_RNDN);
        mpfr_div(r20203, r20201, r20202, MPFR_RNDN);
        mpfr_sub(r20204, r20199, r20203, MPFR_RNDN);
        mpfr_log(r20205, r20197, MPFR_RNDN);
        mpfr_mul(r20206, r20197, r20193, MPFR_RNDN);
        mpfr_div(r20207, r20205, r20206, MPFR_RNDN);
        mpfr_div(r20208, r20207, r20193, MPFR_RNDN);
        mpfr_sub(r20209, r20204, r20208, MPFR_RNDN);
        ;
        mpfr_set_si(r20211, mpfr_cmp(r20193, r20210) <= 0, MPFR_RNDN);
        mpfr_add(r20212, r20196, r20197, MPFR_RNDN);
        mpfr_div(r20213, r20196, r20193, MPFR_RNDN);
        mpfr_pow(r20214, r20212, r20213, MPFR_RNDN);
        mpfr_pow(r20215, r20197, r20213, MPFR_RNDN);
        mpfr_sub(r20216, r20214, r20215, MPFR_RNDN);
        mpfr_exp(r20217, r20216, MPFR_RNDN);
        mpfr_cbrt(r20218, r20217, MPFR_RNDN);
        mpfr_mul(r20219, r20218, r20218, MPFR_RNDN);
        mpfr_log(r20220, r20219, MPFR_RNDN);
        mpfr_log(r20221, r20218, MPFR_RNDN);
        mpfr_add(r20222, r20220, r20221, MPFR_RNDN);
        if (mpfr_get_si(r20211, MPFR_RNDN)) { mpfr_set(r20223, r20222, MPFR_RNDN); } else { mpfr_set(r20223, r20209, MPFR_RNDN); };
        if (mpfr_get_si(r20195, MPFR_RNDN)) { mpfr_set(r20224, r20209, MPFR_RNDN); } else { mpfr_set(r20224, r20223, MPFR_RNDN); };
        return mpfr_get_d(r20224, MPFR_RNDN);
}