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

char *name = "sintan (problem 3.4.5)";

double f_if(float x) {
        float r21361 = x;
        float r21362 = sin(r21361);
        float r21363 = r21361 - r21362;
        float r21364 = tan(r21361);
        float r21365 = r21361 - r21364;
        float r21366 = r21363 / r21365;
        return r21366;
}

double f_id(double x) {
        double r21367 = x;
        double r21368 = sin(r21367);
        double r21369 = r21367 - r21368;
        double r21370 = tan(r21367);
        double r21371 = r21367 - r21370;
        double r21372 = r21369 / r21371;
        return r21372;
}


double f_of(float x) {
        float r21373 = x;
        float r21374 = 9/40;
        float r21375 = r21373 * r21374;
        float r21376 = r21373 * r21375;
        float r21377 = 27/2800;
        float r21378 = 4;
        float r21379 = pow(r21373, r21378);
        float r21380 = 1/2;
        float r21381 = fma(r21377, r21379, r21380);
        float r21382 = r21376 - r21381;
        float r21383 = -0.5417996551997329;
        bool r21384 = r21382 <= r21383;
        float r21385 = sin(r21373);
        float r21386 = r21373 - r21385;
        float r21387 = tan(r21373);
        float r21388 = r21373 - r21387;
        float r21389 = r21386 / r21388;
        float r21390 = log1p(r21389);
        float r21391 = expm1(r21390);
        float r21392 = -0.49998997220311425;
        bool r21393 = r21382 <= r21392;
        float r21394 = cbrt(r21389);
        float r21395 = r21394 * r21394;
        float r21396 = r21395 * r21394;
        float r21397 = r21393 ? r21382 : r21396;
        float r21398 = r21384 ? r21391 : r21397;
        return r21398;
}

double f_od(double x) {
        double r21399 = x;
        double r21400 = 9/40;
        double r21401 = r21399 * r21400;
        double r21402 = r21399 * r21401;
        double r21403 = 27/2800;
        double r21404 = 4;
        double r21405 = pow(r21399, r21404);
        double r21406 = 1/2;
        double r21407 = fma(r21403, r21405, r21406);
        double r21408 = r21402 - r21407;
        double r21409 = -0.5417996551997329;
        bool r21410 = r21408 <= r21409;
        double r21411 = sin(r21399);
        double r21412 = r21399 - r21411;
        double r21413 = tan(r21399);
        double r21414 = r21399 - r21413;
        double r21415 = r21412 / r21414;
        double r21416 = log1p(r21415);
        double r21417 = expm1(r21416);
        double r21418 = -0.49998997220311425;
        bool r21419 = r21408 <= r21418;
        double r21420 = cbrt(r21415);
        double r21421 = r21420 * r21420;
        double r21422 = r21421 * r21420;
        double r21423 = r21419 ? r21408 : r21422;
        double r21424 = r21410 ? r21417 : r21423;
        return r21424;
}

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 r21425, r21426, r21427, r21428, r21429, r21430;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2384);
        mpfr_init(r21425);
        mpfr_init(r21426);
        mpfr_init(r21427);
        mpfr_init(r21428);
        mpfr_init(r21429);
        mpfr_init(r21430);
}

double f_im(double x) {
        mpfr_set_d(r21425, x, MPFR_RNDN);
        mpfr_sin(r21426, r21425, MPFR_RNDN);
        mpfr_sub(r21427, r21425, r21426, MPFR_RNDN);
        mpfr_tan(r21428, r21425, MPFR_RNDN);
        mpfr_sub(r21429, r21425, r21428, MPFR_RNDN);
        mpfr_div(r21430, r21427, r21429, MPFR_RNDN);
        return mpfr_get_d(r21430, MPFR_RNDN);
}

static mpfr_t r21431, r21432, r21433, r21434, r21435, r21436, r21437, r21438, r21439, r21440, r21441, r21442, r21443, r21444, r21445, r21446, r21447, r21448, r21449, r21450, r21451, r21452, r21453, r21454, r21455, r21456;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r21431);
        mpfr_init_set_str(r21432, "9/40", 10, MPFR_RNDN);
        mpfr_init(r21433);
        mpfr_init(r21434);
        mpfr_init_set_str(r21435, "27/2800", 10, MPFR_RNDN);
        mpfr_init_set_str(r21436, "4", 10, MPFR_RNDN);
        mpfr_init(r21437);
        mpfr_init_set_str(r21438, "1/2", 10, MPFR_RNDN);
        mpfr_init(r21439);
        mpfr_init(r21440);
        mpfr_init_set_str(r21441, "-0.5417996551997329", 10, MPFR_RNDN);
        mpfr_init(r21442);
        mpfr_init(r21443);
        mpfr_init(r21444);
        mpfr_init(r21445);
        mpfr_init(r21446);
        mpfr_init(r21447);
        mpfr_init(r21448);
        mpfr_init(r21449);
        mpfr_init_set_str(r21450, "-0.49998997220311425", 10, MPFR_RNDN);
        mpfr_init(r21451);
        mpfr_init(r21452);
        mpfr_init(r21453);
        mpfr_init(r21454);
        mpfr_init(r21455);
        mpfr_init(r21456);
}

double f_fm(double x) {
        mpfr_set_d(r21431, x, MPFR_RNDN);
        ;
        mpfr_mul(r21433, r21431, r21432, MPFR_RNDN);
        mpfr_mul(r21434, r21431, r21433, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r21437, r21431, r21436, MPFR_RNDN);
        ;
        mpfr_fma(r21439, r21435, r21437, r21438, MPFR_RNDN);
        mpfr_sub(r21440, r21434, r21439, MPFR_RNDN);
        ;
        mpfr_set_si(r21442, mpfr_cmp(r21440, r21441) <= 0, MPFR_RNDN);
        mpfr_sin(r21443, r21431, MPFR_RNDN);
        mpfr_sub(r21444, r21431, r21443, MPFR_RNDN);
        mpfr_tan(r21445, r21431, MPFR_RNDN);
        mpfr_sub(r21446, r21431, r21445, MPFR_RNDN);
        mpfr_div(r21447, r21444, r21446, MPFR_RNDN);
        mpfr_log1p(r21448, r21447, MPFR_RNDN);
        mpfr_expm1(r21449, r21448, MPFR_RNDN);
        ;
        mpfr_set_si(r21451, mpfr_cmp(r21440, r21450) <= 0, MPFR_RNDN);
        mpfr_cbrt(r21452, r21447, MPFR_RNDN);
        mpfr_mul(r21453, r21452, r21452, MPFR_RNDN);
        mpfr_mul(r21454, r21453, r21452, MPFR_RNDN);
        if (mpfr_get_si(r21451, MPFR_RNDN)) { mpfr_set(r21455, r21440, MPFR_RNDN); } else { mpfr_set(r21455, r21454, MPFR_RNDN); };
        if (mpfr_get_si(r21442, MPFR_RNDN)) { mpfr_set(r21456, r21449, MPFR_RNDN); } else { mpfr_set(r21456, r21455, MPFR_RNDN); };
        return mpfr_get_d(r21456, MPFR_RNDN);
}

static mpfr_t r21457, r21458, r21459, r21460, r21461, r21462, r21463, r21464, r21465, r21466, r21467, r21468, r21469, r21470, r21471, r21472, r21473, r21474, r21475, r21476, r21477, r21478, r21479, r21480, r21481, r21482;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r21457);
        mpfr_init_set_str(r21458, "9/40", 10, MPFR_RNDN);
        mpfr_init(r21459);
        mpfr_init(r21460);
        mpfr_init_set_str(r21461, "27/2800", 10, MPFR_RNDN);
        mpfr_init_set_str(r21462, "4", 10, MPFR_RNDN);
        mpfr_init(r21463);
        mpfr_init_set_str(r21464, "1/2", 10, MPFR_RNDN);
        mpfr_init(r21465);
        mpfr_init(r21466);
        mpfr_init_set_str(r21467, "-0.5417996551997329", 10, MPFR_RNDN);
        mpfr_init(r21468);
        mpfr_init(r21469);
        mpfr_init(r21470);
        mpfr_init(r21471);
        mpfr_init(r21472);
        mpfr_init(r21473);
        mpfr_init(r21474);
        mpfr_init(r21475);
        mpfr_init_set_str(r21476, "-0.49998997220311425", 10, MPFR_RNDN);
        mpfr_init(r21477);
        mpfr_init(r21478);
        mpfr_init(r21479);
        mpfr_init(r21480);
        mpfr_init(r21481);
        mpfr_init(r21482);
}

double f_dm(double x) {
        mpfr_set_d(r21457, x, MPFR_RNDN);
        ;
        mpfr_mul(r21459, r21457, r21458, MPFR_RNDN);
        mpfr_mul(r21460, r21457, r21459, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r21463, r21457, r21462, MPFR_RNDN);
        ;
        mpfr_fma(r21465, r21461, r21463, r21464, MPFR_RNDN);
        mpfr_sub(r21466, r21460, r21465, MPFR_RNDN);
        ;
        mpfr_set_si(r21468, mpfr_cmp(r21466, r21467) <= 0, MPFR_RNDN);
        mpfr_sin(r21469, r21457, MPFR_RNDN);
        mpfr_sub(r21470, r21457, r21469, MPFR_RNDN);
        mpfr_tan(r21471, r21457, MPFR_RNDN);
        mpfr_sub(r21472, r21457, r21471, MPFR_RNDN);
        mpfr_div(r21473, r21470, r21472, MPFR_RNDN);
        mpfr_log1p(r21474, r21473, MPFR_RNDN);
        mpfr_expm1(r21475, r21474, MPFR_RNDN);
        ;
        mpfr_set_si(r21477, mpfr_cmp(r21466, r21476) <= 0, MPFR_RNDN);
        mpfr_cbrt(r21478, r21473, MPFR_RNDN);
        mpfr_mul(r21479, r21478, r21478, MPFR_RNDN);
        mpfr_mul(r21480, r21479, r21478, MPFR_RNDN);
        if (mpfr_get_si(r21477, MPFR_RNDN)) { mpfr_set(r21481, r21466, MPFR_RNDN); } else { mpfr_set(r21481, r21480, MPFR_RNDN); };
        if (mpfr_get_si(r21468, MPFR_RNDN)) { mpfr_set(r21482, r21475, MPFR_RNDN); } else { mpfr_set(r21482, r21481, MPFR_RNDN); };
        return mpfr_get_d(r21482, MPFR_RNDN);
}