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

char *name = "Hyperbolic secant";

double f_if(float x) {
        float r9124 = 2;
        float r9125 = x;
        float r9126 = exp(r9125);
        float r9127 = -r9125;
        float r9128 = exp(r9127);
        float r9129 = r9126 + r9128;
        float r9130 = r9124 / r9129;
        return r9130;
}

double f_id(double x) {
        double r9131 = 2;
        double r9132 = x;
        double r9133 = exp(r9132);
        double r9134 = -r9132;
        double r9135 = exp(r9134);
        double r9136 = r9133 + r9135;
        double r9137 = r9131 / r9136;
        return r9137;
}


double f_of(float x) {
        float r9138 = 2;
        float r9139 = x;
        float r9140 = exp(r9139);
        float r9141 = -r9139;
        float r9142 = exp(r9141);
        float r9143 = r9140 + r9142;
        float r9144 = r9138 / r9143;
        return r9144;
}

double f_od(double x) {
        double r9145 = 2;
        double r9146 = x;
        double r9147 = exp(r9146);
        double r9148 = -r9146;
        double r9149 = exp(r9148);
        double r9150 = r9147 + r9149;
        double r9151 = r9145 / r9150;
        return r9151;
}

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 r9152, r9153, r9154, r9155, r9156, r9157, r9158;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9152, "2", 10, MPFR_RNDN);
        mpfr_init(r9153);
        mpfr_init(r9154);
        mpfr_init(r9155);
        mpfr_init(r9156);
        mpfr_init(r9157);
        mpfr_init(r9158);
}

double f_im(double x) {
        ;
        mpfr_set_d(r9153, x, MPFR_RNDN);
        mpfr_exp(r9154, r9153, MPFR_RNDN);
        mpfr_neg(r9155, r9153, MPFR_RNDN);
        mpfr_exp(r9156, r9155, MPFR_RNDN);
        mpfr_add(r9157, r9154, r9156, MPFR_RNDN);
        mpfr_div(r9158, r9152, r9157, MPFR_RNDN);
        return mpfr_get_d(r9158, MPFR_RNDN);
}

static mpfr_t r9159, r9160, r9161, r9162, r9163, r9164, r9165;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9159, "2", 10, MPFR_RNDN);
        mpfr_init(r9160);
        mpfr_init(r9161);
        mpfr_init(r9162);
        mpfr_init(r9163);
        mpfr_init(r9164);
        mpfr_init(r9165);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r9160, x, MPFR_RNDN);
        mpfr_exp(r9161, r9160, MPFR_RNDN);
        mpfr_neg(r9162, r9160, MPFR_RNDN);
        mpfr_exp(r9163, r9162, MPFR_RNDN);
        mpfr_add(r9164, r9161, r9163, MPFR_RNDN);
        mpfr_div(r9165, r9159, r9164, MPFR_RNDN);
        return mpfr_get_d(r9165, MPFR_RNDN);
}

static mpfr_t r9166, r9167, r9168, r9169, r9170, r9171, r9172;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9166, "2", 10, MPFR_RNDN);
        mpfr_init(r9167);
        mpfr_init(r9168);
        mpfr_init(r9169);
        mpfr_init(r9170);
        mpfr_init(r9171);
        mpfr_init(r9172);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r9167, x, MPFR_RNDN);
        mpfr_exp(r9168, r9167, MPFR_RNDN);
        mpfr_neg(r9169, r9167, MPFR_RNDN);
        mpfr_exp(r9170, r9169, MPFR_RNDN);
        mpfr_add(r9171, r9168, r9170, MPFR_RNDN);
        mpfr_div(r9172, r9166, r9171, MPFR_RNDN);
        return mpfr_get_d(r9172, MPFR_RNDN);
}