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

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

double f_if(float x) {
        float r8855 = 1.0f;
        float r8856 = 2.0f;
        float r8857 = r8855 / r8856;
        float r8858 = x;
        float r8859 = r8855 + r8858;
        float r8860 = r8855 - r8858;
        float r8861 = r8859 / r8860;
        float r8862 = log(r8861);
        float r8863 = r8857 * r8862;
        return r8863;
}

double f_id(double x) {
        double r8864 = 1.0;
        double r8865 = 2.0;
        double r8866 = r8864 / r8865;
        double r8867 = x;
        double r8868 = r8864 + r8867;
        double r8869 = r8864 - r8867;
        double r8870 = r8868 / r8869;
        double r8871 = log(r8870);
        double r8872 = r8866 * r8871;
        return r8872;
}


double f_of(float x) {
        float r8873 = 1.0f;
        float r8874 = 2.0f;
        float r8875 = r8873 / r8874;
        float r8876 = x;
        float r8877 = r8876 * r8874;
        float r8878 = 5.0f;
        float r8879 = pow(r8876, r8878);
        float r8880 = 0.4f;
        float r8881 = r8879 * r8880;
        float r8882 = 3.0f;
        float r8883 = pow(r8876, r8882);
        float r8884 = 0.6666666666666666f;
        float r8885 = r8883 * r8884;
        float r8886 = r8881 + r8885;
        float r8887 = r8877 + r8886;
        float r8888 = r8875 * r8887;
        return r8888;
}

double f_od(double x) {
        double r8889 = 1.0;
        double r8890 = 2.0;
        double r8891 = r8889 / r8890;
        double r8892 = x;
        double r8893 = r8892 * r8890;
        double r8894 = 5.0;
        double r8895 = pow(r8892, r8894);
        double r8896 = 0.4;
        double r8897 = r8895 * r8896;
        double r8898 = 3.0;
        double r8899 = pow(r8892, r8898);
        double r8900 = 0.6666666666666666;
        double r8901 = r8899 * r8900;
        double r8902 = r8897 + r8901;
        double r8903 = r8893 + r8902;
        double r8904 = r8891 * r8903;
        return r8904;
}

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 r8905, r8906, r8907, r8908, r8909, r8910, r8911, r8912, r8913;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r8905, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8906, "2", 10, MPFR_RNDN);
        mpfr_init(r8907);
        mpfr_init(r8908);
        mpfr_init(r8909);
        mpfr_init(r8910);
        mpfr_init(r8911);
        mpfr_init(r8912);
        mpfr_init(r8913);
}

double f_im(double x) {
        ;
        ;
        mpfr_div(r8907, r8905, r8906, MPFR_RNDN);
        mpfr_set_d(r8908, x, MPFR_RNDN);
        mpfr_add(r8909, r8905, r8908, MPFR_RNDN);
        mpfr_sub(r8910, r8905, r8908, MPFR_RNDN);
        mpfr_div(r8911, r8909, r8910, MPFR_RNDN);
        mpfr_log(r8912, r8911, MPFR_RNDN);
        mpfr_mul(r8913, r8907, r8912, MPFR_RNDN);
        return mpfr_get_d(r8913, MPFR_RNDN);
}

static mpfr_t r8914, r8915, r8916, r8917, r8918, r8919, r8920, r8921, r8922, r8923, r8924, r8925, r8926, r8927, r8928, r8929;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r8914, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8915, "2", 10, MPFR_RNDN);
        mpfr_init(r8916);
        mpfr_init(r8917);
        mpfr_init(r8918);
        mpfr_init_set_str(r8919, "5", 10, MPFR_RNDN);
        mpfr_init(r8920);
        mpfr_init_set_str(r8921, "2/5", 10, MPFR_RNDN);
        mpfr_init(r8922);
        mpfr_init_set_str(r8923, "3", 10, MPFR_RNDN);
        mpfr_init(r8924);
        mpfr_init_set_str(r8925, "2/3", 10, MPFR_RNDN);
        mpfr_init(r8926);
        mpfr_init(r8927);
        mpfr_init(r8928);
        mpfr_init(r8929);
}

double f_fm(double x) {
        ;
        ;
        mpfr_div(r8916, r8914, r8915, MPFR_RNDN);
        mpfr_set_d(r8917, x, MPFR_RNDN);
        mpfr_mul(r8918, r8917, r8915, MPFR_RNDN);
        ;
        mpfr_pow(r8920, r8917, r8919, MPFR_RNDN);
        ;
        mpfr_mul(r8922, r8920, r8921, MPFR_RNDN);
        ;
        mpfr_pow(r8924, r8917, r8923, MPFR_RNDN);
        ;
        mpfr_mul(r8926, r8924, r8925, MPFR_RNDN);
        mpfr_add(r8927, r8922, r8926, MPFR_RNDN);
        mpfr_add(r8928, r8918, r8927, MPFR_RNDN);
        mpfr_mul(r8929, r8916, r8928, MPFR_RNDN);
        return mpfr_get_d(r8929, MPFR_RNDN);
}

static mpfr_t r8930, r8931, r8932, r8933, r8934, r8935, r8936, r8937, r8938, r8939, r8940, r8941, r8942, r8943, r8944, r8945;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r8930, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8931, "2", 10, MPFR_RNDN);
        mpfr_init(r8932);
        mpfr_init(r8933);
        mpfr_init(r8934);
        mpfr_init_set_str(r8935, "5", 10, MPFR_RNDN);
        mpfr_init(r8936);
        mpfr_init_set_str(r8937, "2/5", 10, MPFR_RNDN);
        mpfr_init(r8938);
        mpfr_init_set_str(r8939, "3", 10, MPFR_RNDN);
        mpfr_init(r8940);
        mpfr_init_set_str(r8941, "2/3", 10, MPFR_RNDN);
        mpfr_init(r8942);
        mpfr_init(r8943);
        mpfr_init(r8944);
        mpfr_init(r8945);
}

double f_dm(double x) {
        ;
        ;
        mpfr_div(r8932, r8930, r8931, MPFR_RNDN);
        mpfr_set_d(r8933, x, MPFR_RNDN);
        mpfr_mul(r8934, r8933, r8931, MPFR_RNDN);
        ;
        mpfr_pow(r8936, r8933, r8935, MPFR_RNDN);
        ;
        mpfr_mul(r8938, r8936, r8937, MPFR_RNDN);
        ;
        mpfr_pow(r8940, r8933, r8939, MPFR_RNDN);
        ;
        mpfr_mul(r8942, r8940, r8941, MPFR_RNDN);
        mpfr_add(r8943, r8938, r8942, MPFR_RNDN);
        mpfr_add(r8944, r8934, r8943, MPFR_RNDN);
        mpfr_mul(r8945, r8932, r8944, MPFR_RNDN);
        return mpfr_get_d(r8945, MPFR_RNDN);
}