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

char *name = "Hyperbolic sine";

double f_if(float x) {
        float r8932 = x;
        float r8933 = exp(r8932);
        float r8934 = -r8932;
        float r8935 = exp(r8934);
        float r8936 = r8933 - r8935;
        float r8937 = 2;
        float r8938 = r8936 / r8937;
        return r8938;
}

double f_id(double x) {
        double r8939 = x;
        double r8940 = exp(r8939);
        double r8941 = -r8939;
        double r8942 = exp(r8941);
        double r8943 = r8940 - r8942;
        double r8944 = 2;
        double r8945 = r8943 / r8944;
        return r8945;
}


double f_of(float x) {
        float r8946 = x;
        float r8947 = 1/3;
        float r8948 = r8946 * r8946;
        float r8949 = 2;
        float r8950 = fma(r8947, r8948, r8949);
        float r8951 = 5;
        float r8952 = pow(r8946, r8951);
        float r8953 = 1/60;
        float r8954 = r8952 * r8953;
        float r8955 = fma(r8946, r8950, r8954);
        float r8956 = r8955 / r8949;
        return r8956;
}

double f_od(double x) {
        double r8957 = x;
        double r8958 = 1/3;
        double r8959 = r8957 * r8957;
        double r8960 = 2;
        double r8961 = fma(r8958, r8959, r8960);
        double r8962 = 5;
        double r8963 = pow(r8957, r8962);
        double r8964 = 1/60;
        double r8965 = r8963 * r8964;
        double r8966 = fma(r8957, r8961, r8965);
        double r8967 = r8966 / r8960;
        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;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r8968);
        mpfr_init(r8969);
        mpfr_init(r8970);
        mpfr_init(r8971);
        mpfr_init(r8972);
        mpfr_init_set_str(r8973, "2", 10, MPFR_RNDN);
        mpfr_init(r8974);
}

double f_im(double x) {
        mpfr_set_d(r8968, x, MPFR_RNDN);
        mpfr_exp(r8969, r8968, MPFR_RNDN);
        mpfr_neg(r8970, r8968, MPFR_RNDN);
        mpfr_exp(r8971, r8970, MPFR_RNDN);
        mpfr_sub(r8972, r8969, r8971, MPFR_RNDN);
        ;
        mpfr_div(r8974, r8972, r8973, MPFR_RNDN);
        return mpfr_get_d(r8974, MPFR_RNDN);
}

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

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r8975);
        mpfr_init_set_str(r8976, "1/3", 10, MPFR_RNDN);
        mpfr_init(r8977);
        mpfr_init_set_str(r8978, "2", 10, MPFR_RNDN);
        mpfr_init(r8979);
        mpfr_init_set_str(r8980, "5", 10, MPFR_RNDN);
        mpfr_init(r8981);
        mpfr_init_set_str(r8982, "1/60", 10, MPFR_RNDN);
        mpfr_init(r8983);
        mpfr_init(r8984);
        mpfr_init(r8985);
}

double f_fm(double x) {
        mpfr_set_d(r8975, x, MPFR_RNDN);
        ;
        mpfr_mul(r8977, r8975, r8975, MPFR_RNDN);
        ;
        mpfr_fma(r8979, r8976, r8977, r8978, MPFR_RNDN);
        ;
        mpfr_pow(r8981, r8975, r8980, MPFR_RNDN);
        ;
        mpfr_mul(r8983, r8981, r8982, MPFR_RNDN);
        mpfr_fma(r8984, r8975, r8979, r8983, MPFR_RNDN);
        mpfr_div(r8985, r8984, r8978, MPFR_RNDN);
        return mpfr_get_d(r8985, MPFR_RNDN);
}

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

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r8986);
        mpfr_init_set_str(r8987, "1/3", 10, MPFR_RNDN);
        mpfr_init(r8988);
        mpfr_init_set_str(r8989, "2", 10, MPFR_RNDN);
        mpfr_init(r8990);
        mpfr_init_set_str(r8991, "5", 10, MPFR_RNDN);
        mpfr_init(r8992);
        mpfr_init_set_str(r8993, "1/60", 10, MPFR_RNDN);
        mpfr_init(r8994);
        mpfr_init(r8995);
        mpfr_init(r8996);
}

double f_dm(double x) {
        mpfr_set_d(r8986, x, MPFR_RNDN);
        ;
        mpfr_mul(r8988, r8986, r8986, MPFR_RNDN);
        ;
        mpfr_fma(r8990, r8987, r8988, r8989, MPFR_RNDN);
        ;
        mpfr_pow(r8992, r8986, r8991, MPFR_RNDN);
        ;
        mpfr_mul(r8994, r8992, r8993, MPFR_RNDN);
        mpfr_fma(r8995, r8986, r8990, r8994, MPFR_RNDN);
        mpfr_div(r8996, r8995, r8989, MPFR_RNDN);
        return mpfr_get_d(r8996, MPFR_RNDN);
}

