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

char *name = "VandenBroeck and Keller, Equation (24)";

double f_if(float B, float x) {
        float r8068 = x;
        float r8069 = 1;
        float r8070 = B;
        float r8071 = tan(r8070);
        float r8072 = r8069 / r8071;
        float r8073 = r8068 * r8072;
        float r8074 = -r8073;
        float r8075 = sin(r8070);
        float r8076 = r8069 / r8075;
        float r8077 = r8074 + r8076;
        return r8077;
}

double f_id(double B, double x) {
        double r8078 = x;
        double r8079 = 1;
        double r8080 = B;
        double r8081 = tan(r8080);
        double r8082 = r8079 / r8081;
        double r8083 = r8078 * r8082;
        double r8084 = -r8083;
        double r8085 = sin(r8080);
        double r8086 = r8079 / r8085;
        double r8087 = r8084 + r8086;
        return r8087;
}


double f_of(float B, float x) {
        float r8088 = 1;
        float r8089 = B;
        float r8090 = sin(r8089);
        float r8091 = r8088 / r8090;
        float r8092 = x;
        float r8093 = r8092 / r8090;
        float r8094 = cos(r8089);
        float r8095 = r8093 * r8094;
        float r8096 = r8091 - r8095;
        return r8096;
}

double f_od(double B, double x) {
        double r8097 = 1;
        double r8098 = B;
        double r8099 = sin(r8098);
        double r8100 = r8097 / r8099;
        double r8101 = x;
        double r8102 = r8101 / r8099;
        double r8103 = cos(r8098);
        double r8104 = r8102 * r8103;
        double r8105 = r8100 - r8104;
        return r8105;
}

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 r8106, r8107, r8108, r8109, r8110, r8111, r8112, r8113, r8114, r8115;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r8106);
        mpfr_init_set_str(r8107, "1", 10, MPFR_RNDN);
        mpfr_init(r8108);
        mpfr_init(r8109);
        mpfr_init(r8110);
        mpfr_init(r8111);
        mpfr_init(r8112);
        mpfr_init(r8113);
        mpfr_init(r8114);
        mpfr_init(r8115);
}

double f_im(double B, double x) {
        mpfr_set_d(r8106, x, MPFR_RNDN);
        ;
        mpfr_set_d(r8108, B, MPFR_RNDN);
        mpfr_tan(r8109, r8108, MPFR_RNDN);
        mpfr_div(r8110, r8107, r8109, MPFR_RNDN);
        mpfr_mul(r8111, r8106, r8110, MPFR_RNDN);
        mpfr_neg(r8112, r8111, MPFR_RNDN);
        mpfr_sin(r8113, r8108, MPFR_RNDN);
        mpfr_div(r8114, r8107, r8113, MPFR_RNDN);
        mpfr_add(r8115, r8112, r8114, MPFR_RNDN);
        return mpfr_get_d(r8115, MPFR_RNDN);
}

static mpfr_t r8116, r8117, r8118, r8119, r8120, r8121, r8122, r8123, r8124;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r8116, "1", 10, MPFR_RNDN);
        mpfr_init(r8117);
        mpfr_init(r8118);
        mpfr_init(r8119);
        mpfr_init(r8120);
        mpfr_init(r8121);
        mpfr_init(r8122);
        mpfr_init(r8123);
        mpfr_init(r8124);
}

double f_fm(double B, double x) {
        ;
        mpfr_set_d(r8117, B, MPFR_RNDN);
        mpfr_sin(r8118, r8117, MPFR_RNDN);
        mpfr_div(r8119, r8116, r8118, MPFR_RNDN);
        mpfr_set_d(r8120, x, MPFR_RNDN);
        mpfr_div(r8121, r8120, r8118, MPFR_RNDN);
        mpfr_cos(r8122, r8117, MPFR_RNDN);
        mpfr_mul(r8123, r8121, r8122, MPFR_RNDN);
        mpfr_sub(r8124, r8119, r8123, MPFR_RNDN);
        return mpfr_get_d(r8124, MPFR_RNDN);
}

static mpfr_t r8125, r8126, r8127, r8128, r8129, r8130, r8131, r8132, r8133;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r8125, "1", 10, MPFR_RNDN);
        mpfr_init(r8126);
        mpfr_init(r8127);
        mpfr_init(r8128);
        mpfr_init(r8129);
        mpfr_init(r8130);
        mpfr_init(r8131);
        mpfr_init(r8132);
        mpfr_init(r8133);
}

double f_dm(double B, double x) {
        ;
        mpfr_set_d(r8126, B, MPFR_RNDN);
        mpfr_sin(r8127, r8126, MPFR_RNDN);
        mpfr_div(r8128, r8125, r8127, MPFR_RNDN);
        mpfr_set_d(r8129, x, MPFR_RNDN);
        mpfr_div(r8130, r8129, r8127, MPFR_RNDN);
        mpfr_cos(r8131, r8126, MPFR_RNDN);
        mpfr_mul(r8132, r8130, r8131, MPFR_RNDN);
        mpfr_sub(r8133, r8128, r8132, MPFR_RNDN);
        return mpfr_get_d(r8133, MPFR_RNDN);
}