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

char *name = "Hyperbolic arcsine";

double f_if(float x) {
        float r25028 = x;
        float r25029 = r25028 * r25028;
        float r25030 = 1;
        float r25031 = r25029 + r25030;
        float r25032 = sqrt(r25031);
        float r25033 = r25028 + r25032;
        float r25034 = log(r25033);
        return r25034;
}

double f_id(double x) {
        double r25035 = x;
        double r25036 = r25035 * r25035;
        double r25037 = 1;
        double r25038 = r25036 + r25037;
        double r25039 = sqrt(r25038);
        double r25040 = r25035 + r25039;
        double r25041 = log(r25040);
        return r25041;
}


double f_of(float x) {
        float r25042 = x;
        float r25043 = -1.201185760813165;
        bool r25044 = r25042 <= r25043;
        float r25045 = 1/8;
        float r25046 = r25045 / r25042;
        float r25047 = r25042 * r25042;
        float r25048 = r25046 / r25047;
        float r25049 = 1/2;
        float r25050 = r25049 / r25042;
        float r25051 = r25048 - r25050;
        float r25052 = log(r25051);
        float r25053 = 0.9564047901924114;
        bool r25054 = r25042 <= r25053;
        float r25055 = 3/40;
        float r25056 = 5;
        float r25057 = pow(r25042, r25056);
        float r25058 = r25055 * r25057;
        float r25059 = r25058 + r25042;
        float r25060 = 1/6;
        float r25061 = 3;
        float r25062 = pow(r25042, r25061);
        float r25063 = r25060 * r25062;
        float r25064 = r25059 - r25063;
        float r25065 = r25042 + r25042;
        float r25066 = r25065 + r25050;
        float r25067 = r25066 - r25048;
        float r25068 = log(r25067);
        float r25069 = r25054 ? r25064 : r25068;
        float r25070 = r25044 ? r25052 : r25069;
        return r25070;
}

double f_od(double x) {
        double r25071 = x;
        double r25072 = -1.201185760813165;
        bool r25073 = r25071 <= r25072;
        double r25074 = 1/8;
        double r25075 = r25074 / r25071;
        double r25076 = r25071 * r25071;
        double r25077 = r25075 / r25076;
        double r25078 = 1/2;
        double r25079 = r25078 / r25071;
        double r25080 = r25077 - r25079;
        double r25081 = log(r25080);
        double r25082 = 0.9564047901924114;
        bool r25083 = r25071 <= r25082;
        double r25084 = 3/40;
        double r25085 = 5;
        double r25086 = pow(r25071, r25085);
        double r25087 = r25084 * r25086;
        double r25088 = r25087 + r25071;
        double r25089 = 1/6;
        double r25090 = 3;
        double r25091 = pow(r25071, r25090);
        double r25092 = r25089 * r25091;
        double r25093 = r25088 - r25092;
        double r25094 = r25071 + r25071;
        double r25095 = r25094 + r25079;
        double r25096 = r25095 - r25077;
        double r25097 = log(r25096);
        double r25098 = r25083 ? r25093 : r25097;
        double r25099 = r25073 ? r25081 : r25098;
        return r25099;
}

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 r25100, r25101, r25102, r25103, r25104, r25105, r25106;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2384);
        mpfr_init(r25100);
        mpfr_init(r25101);
        mpfr_init_set_str(r25102, "1", 10, MPFR_RNDN);
        mpfr_init(r25103);
        mpfr_init(r25104);
        mpfr_init(r25105);
        mpfr_init(r25106);
}

double f_im(double x) {
        mpfr_set_d(r25100, x, MPFR_RNDN);
        mpfr_mul(r25101, r25100, r25100, MPFR_RNDN);
        ;
        mpfr_add(r25103, r25101, r25102, MPFR_RNDN);
        mpfr_sqrt(r25104, r25103, MPFR_RNDN);
        mpfr_add(r25105, r25100, r25104, MPFR_RNDN);
        mpfr_log(r25106, r25105, MPFR_RNDN);
        return mpfr_get_d(r25106, MPFR_RNDN);
}

static mpfr_t r25107, r25108, r25109, r25110, r25111, r25112, r25113, r25114, r25115, r25116, r25117, r25118, r25119, r25120, r25121, r25122, r25123, r25124, r25125, r25126, r25127, r25128, r25129, r25130, r25131, r25132, r25133, r25134, r25135;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r25107);
        mpfr_init_set_str(r25108, "-1.201185760813165", 10, MPFR_RNDN);
        mpfr_init(r25109);
        mpfr_init_set_str(r25110, "1/8", 10, MPFR_RNDN);
        mpfr_init(r25111);
        mpfr_init(r25112);
        mpfr_init(r25113);
        mpfr_init_set_str(r25114, "1/2", 10, MPFR_RNDN);
        mpfr_init(r25115);
        mpfr_init(r25116);
        mpfr_init(r25117);
        mpfr_init_set_str(r25118, "0.9564047901924114", 10, MPFR_RNDN);
        mpfr_init(r25119);
        mpfr_init_set_str(r25120, "3/40", 10, MPFR_RNDN);
        mpfr_init_set_str(r25121, "5", 10, MPFR_RNDN);
        mpfr_init(r25122);
        mpfr_init(r25123);
        mpfr_init(r25124);
        mpfr_init_set_str(r25125, "1/6", 10, MPFR_RNDN);
        mpfr_init_set_str(r25126, "3", 10, MPFR_RNDN);
        mpfr_init(r25127);
        mpfr_init(r25128);
        mpfr_init(r25129);
        mpfr_init(r25130);
        mpfr_init(r25131);
        mpfr_init(r25132);
        mpfr_init(r25133);
        mpfr_init(r25134);
        mpfr_init(r25135);
}

double f_fm(double x) {
        mpfr_set_d(r25107, x, MPFR_RNDN);
        ;
        mpfr_set_si(r25109, mpfr_cmp(r25107, r25108) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r25111, r25110, r25107, MPFR_RNDN);
        mpfr_mul(r25112, r25107, r25107, MPFR_RNDN);
        mpfr_div(r25113, r25111, r25112, MPFR_RNDN);
        ;
        mpfr_div(r25115, r25114, r25107, MPFR_RNDN);
        mpfr_sub(r25116, r25113, r25115, MPFR_RNDN);
        mpfr_log(r25117, r25116, MPFR_RNDN);
        ;
        mpfr_set_si(r25119, mpfr_cmp(r25107, r25118) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r25122, r25107, r25121, MPFR_RNDN);
        mpfr_mul(r25123, r25120, r25122, MPFR_RNDN);
        mpfr_add(r25124, r25123, r25107, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r25127, r25107, r25126, MPFR_RNDN);
        mpfr_mul(r25128, r25125, r25127, MPFR_RNDN);
        mpfr_sub(r25129, r25124, r25128, MPFR_RNDN);
        mpfr_add(r25130, r25107, r25107, MPFR_RNDN);
        mpfr_add(r25131, r25130, r25115, MPFR_RNDN);
        mpfr_sub(r25132, r25131, r25113, MPFR_RNDN);
        mpfr_log(r25133, r25132, MPFR_RNDN);
        if (mpfr_get_si(r25119, MPFR_RNDN)) { mpfr_set(r25134, r25129, MPFR_RNDN); } else { mpfr_set(r25134, r25133, MPFR_RNDN); };
        if (mpfr_get_si(r25109, MPFR_RNDN)) { mpfr_set(r25135, r25117, MPFR_RNDN); } else { mpfr_set(r25135, r25134, MPFR_RNDN); };
        return mpfr_get_d(r25135, MPFR_RNDN);
}

static mpfr_t r25136, r25137, r25138, r25139, r25140, r25141, r25142, r25143, r25144, r25145, r25146, r25147, r25148, r25149, r25150, r25151, r25152, r25153, r25154, r25155, r25156, r25157, r25158, r25159, r25160, r25161, r25162, r25163, r25164;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r25136);
        mpfr_init_set_str(r25137, "-1.201185760813165", 10, MPFR_RNDN);
        mpfr_init(r25138);
        mpfr_init_set_str(r25139, "1/8", 10, MPFR_RNDN);
        mpfr_init(r25140);
        mpfr_init(r25141);
        mpfr_init(r25142);
        mpfr_init_set_str(r25143, "1/2", 10, MPFR_RNDN);
        mpfr_init(r25144);
        mpfr_init(r25145);
        mpfr_init(r25146);
        mpfr_init_set_str(r25147, "0.9564047901924114", 10, MPFR_RNDN);
        mpfr_init(r25148);
        mpfr_init_set_str(r25149, "3/40", 10, MPFR_RNDN);
        mpfr_init_set_str(r25150, "5", 10, MPFR_RNDN);
        mpfr_init(r25151);
        mpfr_init(r25152);
        mpfr_init(r25153);
        mpfr_init_set_str(r25154, "1/6", 10, MPFR_RNDN);
        mpfr_init_set_str(r25155, "3", 10, MPFR_RNDN);
        mpfr_init(r25156);
        mpfr_init(r25157);
        mpfr_init(r25158);
        mpfr_init(r25159);
        mpfr_init(r25160);
        mpfr_init(r25161);
        mpfr_init(r25162);
        mpfr_init(r25163);
        mpfr_init(r25164);
}

double f_dm(double x) {
        mpfr_set_d(r25136, x, MPFR_RNDN);
        ;
        mpfr_set_si(r25138, mpfr_cmp(r25136, r25137) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r25140, r25139, r25136, MPFR_RNDN);
        mpfr_mul(r25141, r25136, r25136, MPFR_RNDN);
        mpfr_div(r25142, r25140, r25141, MPFR_RNDN);
        ;
        mpfr_div(r25144, r25143, r25136, MPFR_RNDN);
        mpfr_sub(r25145, r25142, r25144, MPFR_RNDN);
        mpfr_log(r25146, r25145, MPFR_RNDN);
        ;
        mpfr_set_si(r25148, mpfr_cmp(r25136, r25147) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r25151, r25136, r25150, MPFR_RNDN);
        mpfr_mul(r25152, r25149, r25151, MPFR_RNDN);
        mpfr_add(r25153, r25152, r25136, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r25156, r25136, r25155, MPFR_RNDN);
        mpfr_mul(r25157, r25154, r25156, MPFR_RNDN);
        mpfr_sub(r25158, r25153, r25157, MPFR_RNDN);
        mpfr_add(r25159, r25136, r25136, MPFR_RNDN);
        mpfr_add(r25160, r25159, r25144, MPFR_RNDN);
        mpfr_sub(r25161, r25160, r25142, MPFR_RNDN);
        mpfr_log(r25162, r25161, MPFR_RNDN);
        if (mpfr_get_si(r25148, MPFR_RNDN)) { mpfr_set(r25163, r25158, MPFR_RNDN); } else { mpfr_set(r25163, r25162, MPFR_RNDN); };
        if (mpfr_get_si(r25138, MPFR_RNDN)) { mpfr_set(r25164, r25146, MPFR_RNDN); } else { mpfr_set(r25164, r25163, MPFR_RNDN); };
        return mpfr_get_d(r25164, MPFR_RNDN);
}