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

char *name = "math.cos on complex, imaginary part";

double f_if(float re, float im) {
        float r19470 = 0.5f;
        float r19471 = re;
        float r19472 = sin(r19471);
        float r19473 = r19470 * r19472;
        float r19474 = im;
        float r19475 = -r19474;
        float r19476 = exp(r19475);
        float r19477 = exp(r19474);
        float r19478 = r19476 - r19477;
        float r19479 = r19473 * r19478;
        return r19479;
}

double f_id(double re, double im) {
        double r19480 = 0.5;
        double r19481 = re;
        double r19482 = sin(r19481);
        double r19483 = r19480 * r19482;
        double r19484 = im;
        double r19485 = -r19484;
        double r19486 = exp(r19485);
        double r19487 = exp(r19484);
        double r19488 = r19486 - r19487;
        double r19489 = r19483 * r19488;
        return r19489;
}


double f_of(float re, float im) {
        float r19490 = 0.5f;
        float r19491 = re;
        float r19492 = sin(r19491);
        float r19493 = r19490 * r19492;
        float r19494 = 0.01666666753590107f;
        float r19495 = im;
        float r19496 = 5.0f;
        float r19497 = pow(r19495, r19496);
        float r19498 = r19494 * r19497;
        float r19499 = -r19498;
        float r19500 = r19493 * r19499;
        float r19501 = 2.0f;
        float r19502 = r19501 * r19495;
        float r19503 = 0.3333333432674408f;
        float r19504 = r19495 * (r19495 * r19495);
        float r19505 = r19503 * r19504;
        float r19506 = r19502 + r19505;
        float r19507 = -r19490;
        float r19508 = r19492 * r19507;
        float r19509 = r19506 * r19508;
        float r19510 = r19500 + r19509;
        return r19510;
}

double f_od(double re, double im) {
        double r19511 = 0.5;
        double r19512 = re;
        double r19513 = sin(r19512);
        double r19514 = r19511 * r19513;
        double r19515 = 0.01666666753590107;
        double r19516 = im;
        double r19517 = 5.0;
        double r19518 = pow(r19516, r19517);
        double r19519 = r19515 * r19518;
        double r19520 = -r19519;
        double r19521 = r19514 * r19520;
        double r19522 = 2.0;
        double r19523 = r19522 * r19516;
        double r19524 = 0.3333333432674408;
        double r19525 = r19516 * (r19516 * r19516);
        double r19526 = r19524 * r19525;
        double r19527 = r19523 + r19526;
        double r19528 = -r19511;
        double r19529 = r19513 * r19528;
        double r19530 = r19527 * r19529;
        double r19531 = r19521 + r19530;
        return r19531;
}

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 r19532, r19533, r19534, r19535, r19536, r19537, r19538, r19539, r19540, r19541;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r19532, "0.5", 10, MPFR_RNDN);
        mpfr_init(r19533);
        mpfr_init(r19534);
        mpfr_init(r19535);
        mpfr_init(r19536);
        mpfr_init(r19537);
        mpfr_init(r19538);
        mpfr_init(r19539);
        mpfr_init(r19540);
        mpfr_init(r19541);
}

double f_im(double re, double im) {
        ;
        mpfr_set_d(r19533, re, MPFR_RNDN);
        mpfr_sin(r19534, r19533, MPFR_RNDN);
        mpfr_mul(r19535, r19532, r19534, MPFR_RNDN);
        mpfr_set_d(r19536, im, MPFR_RNDN);
        mpfr_neg(r19537, r19536, MPFR_RNDN);
        mpfr_exp(r19538, r19537, MPFR_RNDN);
        mpfr_exp(r19539, r19536, MPFR_RNDN);
        mpfr_sub(r19540, r19538, r19539, MPFR_RNDN);
        mpfr_mul(r19541, r19535, r19540, MPFR_RNDN);
        return mpfr_get_d(r19541, MPFR_RNDN);
}

static mpfr_t r19542, r19543, r19544, r19545, r19546, r19547, r19548, r19549, r19550, r19551, r19552, r19553, r19554, r19555, r19556, r19557, r19558, r19559, r19560, r19561, r19562;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r19542, "0.5", 10, MPFR_RNDN);
        mpfr_init(r19543);
        mpfr_init(r19544);
        mpfr_init(r19545);
        mpfr_init_set_str(r19546, "1/60", 10, MPFR_RNDN);
        mpfr_init(r19547);
        mpfr_init_set_str(r19548, "5", 10, MPFR_RNDN);
        mpfr_init(r19549);
        mpfr_init(r19550);
        mpfr_init(r19551);
        mpfr_init(r19552);
        mpfr_init_set_str(r19553, "2", 10, MPFR_RNDN);
        mpfr_init(r19554);
        mpfr_init_set_str(r19555, "1/3", 10, MPFR_RNDN);
        mpfr_init(r19556);
        mpfr_init(r19557);
        mpfr_init(r19558);
        mpfr_init(r19559);
        mpfr_init(r19560);
        mpfr_init(r19561);
        mpfr_init(r19562);
}

double f_fm(double re, double im) {
        ;
        mpfr_set_d(r19543, re, MPFR_RNDN);
        mpfr_sin(r19544, r19543, MPFR_RNDN);
        mpfr_mul(r19545, r19542, r19544, MPFR_RNDN);
        ;
        mpfr_set_d(r19547, im, MPFR_RNDN);
        ;
        mpfr_pow(r19549, r19547, r19548, MPFR_RNDN);
        mpfr_mul(r19550, r19546, r19549, MPFR_RNDN);
        mpfr_neg(r19551, r19550, MPFR_RNDN);
        mpfr_mul(r19552, r19545, r19551, MPFR_RNDN);
        ;
        mpfr_mul(r19554, r19553, r19547, MPFR_RNDN);
        ;
        mpfr_mul(r19556, r19547, r19547, MPFR_RNDN); mpfr_mul(r19556, r19556, r19547, MPFR_RNDN);
        mpfr_mul(r19557, r19555, r19556, MPFR_RNDN);
        mpfr_add(r19558, r19554, r19557, MPFR_RNDN);
        mpfr_neg(r19559, r19542, MPFR_RNDN);
        mpfr_mul(r19560, r19544, r19559, MPFR_RNDN);
        mpfr_mul(r19561, r19558, r19560, MPFR_RNDN);
        mpfr_add(r19562, r19552, r19561, MPFR_RNDN);
        return mpfr_get_d(r19562, MPFR_RNDN);
}

static mpfr_t r19563, r19564, r19565, r19566, r19567, r19568, r19569, r19570, r19571, r19572, r19573, r19574, r19575, r19576, r19577, r19578, r19579, r19580, r19581, r19582, r19583;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r19563, "0.5", 10, MPFR_RNDN);
        mpfr_init(r19564);
        mpfr_init(r19565);
        mpfr_init(r19566);
        mpfr_init_set_str(r19567, "1/60", 10, MPFR_RNDN);
        mpfr_init(r19568);
        mpfr_init_set_str(r19569, "5", 10, MPFR_RNDN);
        mpfr_init(r19570);
        mpfr_init(r19571);
        mpfr_init(r19572);
        mpfr_init(r19573);
        mpfr_init_set_str(r19574, "2", 10, MPFR_RNDN);
        mpfr_init(r19575);
        mpfr_init_set_str(r19576, "1/3", 10, MPFR_RNDN);
        mpfr_init(r19577);
        mpfr_init(r19578);
        mpfr_init(r19579);
        mpfr_init(r19580);
        mpfr_init(r19581);
        mpfr_init(r19582);
        mpfr_init(r19583);
}

double f_dm(double re, double im) {
        ;
        mpfr_set_d(r19564, re, MPFR_RNDN);
        mpfr_sin(r19565, r19564, MPFR_RNDN);
        mpfr_mul(r19566, r19563, r19565, MPFR_RNDN);
        ;
        mpfr_set_d(r19568, im, MPFR_RNDN);
        ;
        mpfr_pow(r19570, r19568, r19569, MPFR_RNDN);
        mpfr_mul(r19571, r19567, r19570, MPFR_RNDN);
        mpfr_neg(r19572, r19571, MPFR_RNDN);
        mpfr_mul(r19573, r19566, r19572, MPFR_RNDN);
        ;
        mpfr_mul(r19575, r19574, r19568, MPFR_RNDN);
        ;
        mpfr_mul(r19577, r19568, r19568, MPFR_RNDN); mpfr_mul(r19577, r19577, r19568, MPFR_RNDN);
        mpfr_mul(r19578, r19576, r19577, MPFR_RNDN);
        mpfr_add(r19579, r19575, r19578, MPFR_RNDN);
        mpfr_neg(r19580, r19563, MPFR_RNDN);
        mpfr_mul(r19581, r19565, r19580, MPFR_RNDN);
        mpfr_mul(r19582, r19579, r19581, MPFR_RNDN);
        mpfr_add(r19583, r19573, r19582, MPFR_RNDN);
        return mpfr_get_d(r19583, MPFR_RNDN);
}