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

char *name = "tanhf (example 3.4)";

double f_if(float x) {
        float r20473 = 1;
        float r20474 = x;
        float r20475 = cos(r20474);
        float r20476 = r20473 - r20475;
        float r20477 = sin(r20474);
        float r20478 = r20476 / r20477;
        return r20478;
}

double f_id(double x) {
        double r20479 = 1;
        double r20480 = x;
        double r20481 = cos(r20480);
        double r20482 = r20479 - r20481;
        double r20483 = sin(r20480);
        double r20484 = r20482 / r20483;
        return r20484;
}


double f_of(float x) {
        float r20485 = x;
        float r20486 = -0.023957373082421775;
        bool r20487 = r20485 <= r20486;
        float r20488 = sin(r20485);
        float r20489 = r20488 * r20488;
        float r20490 = 1;
        float r20491 = cos(r20485);
        float r20492 = r20490 + r20491;
        float r20493 = r20489 / r20492;
        float r20494 = r20493 / r20488;
        float r20495 = 0.006272349724070426;
        bool r20496 = r20485 <= r20495;
        float r20497 = 1/24;
        float r20498 = 3;
        float r20499 = pow(r20485, r20498);
        float r20500 = r20497 * r20499;
        float r20501 = 1/240;
        float r20502 = 5;
        float r20503 = pow(r20485, r20502);
        float r20504 = r20501 * r20503;
        float r20505 = 1/2;
        float r20506 = r20505 * r20485;
        float r20507 = r20504 + r20506;
        float r20508 = r20500 + r20507;
        float r20509 = r20496 ? r20508 : r20494;
        float r20510 = r20487 ? r20494 : r20509;
        return r20510;
}

double f_od(double x) {
        double r20511 = x;
        double r20512 = -0.023957373082421775;
        bool r20513 = r20511 <= r20512;
        double r20514 = sin(r20511);
        double r20515 = r20514 * r20514;
        double r20516 = 1;
        double r20517 = cos(r20511);
        double r20518 = r20516 + r20517;
        double r20519 = r20515 / r20518;
        double r20520 = r20519 / r20514;
        double r20521 = 0.006272349724070426;
        bool r20522 = r20511 <= r20521;
        double r20523 = 1/24;
        double r20524 = 3;
        double r20525 = pow(r20511, r20524);
        double r20526 = r20523 * r20525;
        double r20527 = 1/240;
        double r20528 = 5;
        double r20529 = pow(r20511, r20528);
        double r20530 = r20527 * r20529;
        double r20531 = 1/2;
        double r20532 = r20531 * r20511;
        double r20533 = r20530 + r20532;
        double r20534 = r20526 + r20533;
        double r20535 = r20522 ? r20534 : r20520;
        double r20536 = r20513 ? r20520 : r20535;
        return r20536;
}

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 r20537, r20538, r20539, r20540, r20541, r20542;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2448);
        mpfr_init_set_str(r20537, "1", 10, MPFR_RNDN);
        mpfr_init(r20538);
        mpfr_init(r20539);
        mpfr_init(r20540);
        mpfr_init(r20541);
        mpfr_init(r20542);
}

double f_im(double x) {
        ;
        mpfr_set_d(r20538, x, MPFR_RNDN);
        mpfr_cos(r20539, r20538, MPFR_RNDN);
        mpfr_sub(r20540, r20537, r20539, MPFR_RNDN);
        mpfr_sin(r20541, r20538, MPFR_RNDN);
        mpfr_div(r20542, r20540, r20541, MPFR_RNDN);
        return mpfr_get_d(r20542, MPFR_RNDN);
}

static mpfr_t r20543, r20544, r20545, r20546, r20547, r20548, r20549, r20550, r20551, r20552, r20553, r20554, r20555, r20556, r20557, r20558, r20559, r20560, r20561, r20562, r20563, r20564, r20565, r20566, r20567, r20568;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r20543);
        mpfr_init_set_str(r20544, "-0.023957373082421775", 10, MPFR_RNDN);
        mpfr_init(r20545);
        mpfr_init(r20546);
        mpfr_init(r20547);
        mpfr_init_set_str(r20548, "1", 10, MPFR_RNDN);
        mpfr_init(r20549);
        mpfr_init(r20550);
        mpfr_init(r20551);
        mpfr_init(r20552);
        mpfr_init_set_str(r20553, "0.006272349724070426", 10, MPFR_RNDN);
        mpfr_init(r20554);
        mpfr_init_set_str(r20555, "1/24", 10, MPFR_RNDN);
        mpfr_init_set_str(r20556, "3", 10, MPFR_RNDN);
        mpfr_init(r20557);
        mpfr_init(r20558);
        mpfr_init_set_str(r20559, "1/240", 10, MPFR_RNDN);
        mpfr_init_set_str(r20560, "5", 10, MPFR_RNDN);
        mpfr_init(r20561);
        mpfr_init(r20562);
        mpfr_init_set_str(r20563, "1/2", 10, MPFR_RNDN);
        mpfr_init(r20564);
        mpfr_init(r20565);
        mpfr_init(r20566);
        mpfr_init(r20567);
        mpfr_init(r20568);
}

double f_fm(double x) {
        mpfr_set_d(r20543, x, MPFR_RNDN);
        ;
        mpfr_set_si(r20545, mpfr_cmp(r20543, r20544) <= 0, MPFR_RNDN);
        mpfr_sin(r20546, r20543, MPFR_RNDN);
        mpfr_mul(r20547, r20546, r20546, MPFR_RNDN);
        ;
        mpfr_cos(r20549, r20543, MPFR_RNDN);
        mpfr_add(r20550, r20548, r20549, MPFR_RNDN);
        mpfr_div(r20551, r20547, r20550, MPFR_RNDN);
        mpfr_div(r20552, r20551, r20546, MPFR_RNDN);
        ;
        mpfr_set_si(r20554, mpfr_cmp(r20543, r20553) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r20557, r20543, r20556, MPFR_RNDN);
        mpfr_mul(r20558, r20555, r20557, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r20561, r20543, r20560, MPFR_RNDN);
        mpfr_mul(r20562, r20559, r20561, MPFR_RNDN);
        ;
        mpfr_mul(r20564, r20563, r20543, MPFR_RNDN);
        mpfr_add(r20565, r20562, r20564, MPFR_RNDN);
        mpfr_add(r20566, r20558, r20565, MPFR_RNDN);
        if (mpfr_get_si(r20554, MPFR_RNDN)) { mpfr_set(r20567, r20566, MPFR_RNDN); } else { mpfr_set(r20567, r20552, MPFR_RNDN); };
        if (mpfr_get_si(r20545, MPFR_RNDN)) { mpfr_set(r20568, r20552, MPFR_RNDN); } else { mpfr_set(r20568, r20567, MPFR_RNDN); };
        return mpfr_get_d(r20568, MPFR_RNDN);
}

static mpfr_t r20569, r20570, r20571, r20572, r20573, r20574, r20575, r20576, r20577, r20578, r20579, r20580, r20581, r20582, r20583, r20584, r20585, r20586, r20587, r20588, r20589, r20590, r20591, r20592, r20593, r20594;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r20569);
        mpfr_init_set_str(r20570, "-0.023957373082421775", 10, MPFR_RNDN);
        mpfr_init(r20571);
        mpfr_init(r20572);
        mpfr_init(r20573);
        mpfr_init_set_str(r20574, "1", 10, MPFR_RNDN);
        mpfr_init(r20575);
        mpfr_init(r20576);
        mpfr_init(r20577);
        mpfr_init(r20578);
        mpfr_init_set_str(r20579, "0.006272349724070426", 10, MPFR_RNDN);
        mpfr_init(r20580);
        mpfr_init_set_str(r20581, "1/24", 10, MPFR_RNDN);
        mpfr_init_set_str(r20582, "3", 10, MPFR_RNDN);
        mpfr_init(r20583);
        mpfr_init(r20584);
        mpfr_init_set_str(r20585, "1/240", 10, MPFR_RNDN);
        mpfr_init_set_str(r20586, "5", 10, MPFR_RNDN);
        mpfr_init(r20587);
        mpfr_init(r20588);
        mpfr_init_set_str(r20589, "1/2", 10, MPFR_RNDN);
        mpfr_init(r20590);
        mpfr_init(r20591);
        mpfr_init(r20592);
        mpfr_init(r20593);
        mpfr_init(r20594);
}

double f_dm(double x) {
        mpfr_set_d(r20569, x, MPFR_RNDN);
        ;
        mpfr_set_si(r20571, mpfr_cmp(r20569, r20570) <= 0, MPFR_RNDN);
        mpfr_sin(r20572, r20569, MPFR_RNDN);
        mpfr_mul(r20573, r20572, r20572, MPFR_RNDN);
        ;
        mpfr_cos(r20575, r20569, MPFR_RNDN);
        mpfr_add(r20576, r20574, r20575, MPFR_RNDN);
        mpfr_div(r20577, r20573, r20576, MPFR_RNDN);
        mpfr_div(r20578, r20577, r20572, MPFR_RNDN);
        ;
        mpfr_set_si(r20580, mpfr_cmp(r20569, r20579) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r20583, r20569, r20582, MPFR_RNDN);
        mpfr_mul(r20584, r20581, r20583, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r20587, r20569, r20586, MPFR_RNDN);
        mpfr_mul(r20588, r20585, r20587, MPFR_RNDN);
        ;
        mpfr_mul(r20590, r20589, r20569, MPFR_RNDN);
        mpfr_add(r20591, r20588, r20590, MPFR_RNDN);
        mpfr_add(r20592, r20584, r20591, MPFR_RNDN);
        if (mpfr_get_si(r20580, MPFR_RNDN)) { mpfr_set(r20593, r20592, MPFR_RNDN); } else { mpfr_set(r20593, r20578, MPFR_RNDN); };
        if (mpfr_get_si(r20571, MPFR_RNDN)) { mpfr_set(r20594, r20578, MPFR_RNDN); } else { mpfr_set(r20594, r20593, MPFR_RNDN); };
        return mpfr_get_d(r20594, MPFR_RNDN);
}