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

char *name = "Hyperbolic arc-(co)secant";

double f_if(float x) {
        float r8932 = 1.0f;
        float r8933 = x;
        float r8934 = r8932 / r8933;
        float r8935 = r8933 * r8933;
        float r8936 = r8932 - r8935;
        float r8937 = sqrt(r8936);
        float r8938 = r8937 / r8933;
        float r8939 = r8934 + r8938;
        float r8940 = log(r8939);
        return r8940;
}

double f_id(double x) {
        double r8941 = 1.0;
        double r8942 = x;
        double r8943 = r8941 / r8942;
        double r8944 = r8942 * r8942;
        double r8945 = r8941 - r8944;
        double r8946 = sqrt(r8945);
        double r8947 = r8946 / r8942;
        double r8948 = r8943 + r8947;
        double r8949 = log(r8948);
        return r8949;
}


double f_of(float x) {
        float r8950 = 1.0f;
        float r8951 = x;
        float r8952 = r8950 / r8951;
        float r8953 = r8951 * r8951;
        float r8954 = r8950 - r8953;
        float r8955 = sqrt(r8954);
        float r8956 = r8955 / r8951;
        float r8957 = r8952 + r8956;
        float r8958 = log(r8957);
        return r8958;
}

double f_od(double x) {
        double r8959 = 1.0;
        double r8960 = x;
        double r8961 = r8959 / r8960;
        double r8962 = r8960 * r8960;
        double r8963 = r8959 - r8962;
        double r8964 = sqrt(r8963);
        double r8965 = r8964 / r8960;
        double r8966 = r8961 + r8965;
        double r8967 = log(r8966);
        return r8967;
}

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 r8968, r8969, r8970, r8971, r8972, r8973, r8974, r8975, r8976;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r8968, "1", 10, MPFR_RNDN);
        mpfr_init(r8969);
        mpfr_init(r8970);
        mpfr_init(r8971);
        mpfr_init(r8972);
        mpfr_init(r8973);
        mpfr_init(r8974);
        mpfr_init(r8975);
        mpfr_init(r8976);
}

double f_im(double x) {
        ;
        mpfr_set_d(r8969, x, MPFR_RNDN);
        mpfr_div(r8970, r8968, r8969, MPFR_RNDN);
        mpfr_mul(r8971, r8969, r8969, MPFR_RNDN);
        mpfr_sub(r8972, r8968, r8971, MPFR_RNDN);
        mpfr_sqrt(r8973, r8972, MPFR_RNDN);
        mpfr_div(r8974, r8973, r8969, MPFR_RNDN);
        mpfr_add(r8975, r8970, r8974, MPFR_RNDN);
        mpfr_log(r8976, r8975, MPFR_RNDN);
        return mpfr_get_d(r8976, MPFR_RNDN);
}

static mpfr_t r8977, r8978, r8979, r8980, r8981, r8982, r8983, r8984, r8985;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r8977, "1", 10, MPFR_RNDN);
        mpfr_init(r8978);
        mpfr_init(r8979);
        mpfr_init(r8980);
        mpfr_init(r8981);
        mpfr_init(r8982);
        mpfr_init(r8983);
        mpfr_init(r8984);
        mpfr_init(r8985);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r8978, x, MPFR_RNDN);
        mpfr_div(r8979, r8977, r8978, MPFR_RNDN);
        mpfr_mul(r8980, r8978, r8978, MPFR_RNDN);
        mpfr_sub(r8981, r8977, r8980, MPFR_RNDN);
        mpfr_sqrt(r8982, r8981, MPFR_RNDN);
        mpfr_div(r8983, r8982, r8978, MPFR_RNDN);
        mpfr_add(r8984, r8979, r8983, MPFR_RNDN);
        mpfr_log(r8985, r8984, MPFR_RNDN);
        return mpfr_get_d(r8985, MPFR_RNDN);
}

static mpfr_t r8986, r8987, r8988, r8989, r8990, r8991, r8992, r8993, r8994;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r8986, "1", 10, MPFR_RNDN);
        mpfr_init(r8987);
        mpfr_init(r8988);
        mpfr_init(r8989);
        mpfr_init(r8990);
        mpfr_init(r8991);
        mpfr_init(r8992);
        mpfr_init(r8993);
        mpfr_init(r8994);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r8987, x, MPFR_RNDN);
        mpfr_div(r8988, r8986, r8987, MPFR_RNDN);
        mpfr_mul(r8989, r8987, r8987, MPFR_RNDN);
        mpfr_sub(r8990, r8986, r8989, MPFR_RNDN);
        mpfr_sqrt(r8991, r8990, MPFR_RNDN);
        mpfr_div(r8992, r8991, r8987, MPFR_RNDN);
        mpfr_add(r8993, r8988, r8992, MPFR_RNDN);
        mpfr_log(r8994, r8993, MPFR_RNDN);
        return mpfr_get_d(r8994, MPFR_RNDN);
}