#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 r25677 = 0.5;
        float r25678 = re;
        float r25679 = sin(r25678);
        float r25680 = r25677 * r25679;
        float r25681 = im;
        float r25682 = -r25681;
        float r25683 = exp(r25682);
        float r25684 = exp(r25681);
        float r25685 = r25683 - r25684;
        float r25686 = r25680 * r25685;
        return r25686;
}

double f_id(double re, double im) {
        double r25687 = 0.5;
        double r25688 = re;
        double r25689 = sin(r25688);
        double r25690 = r25687 * r25689;
        double r25691 = im;
        double r25692 = -r25691;
        double r25693 = exp(r25692);
        double r25694 = exp(r25691);
        double r25695 = r25693 - r25694;
        double r25696 = r25690 * r25695;
        return r25696;
}


double f_of(float re, float im) {
        float r25697 = im;
        float r25698 = 1/3;
        float r25699 = r25698 * r25697;
        float r25700 = 2;
        float r25701 = fma(r25699, r25697, r25700);
        float r25702 = 5;
        float r25703 = pow(r25697, r25702);
        float r25704 = 1/60;
        float r25705 = r25703 * r25704;
        float r25706 = fma(r25697, r25701, r25705);
        float r25707 = re;
        float r25708 = sin(r25707);
        float r25709 = 0.5;
        float r25710 = -r25709;
        float r25711 = r25708 * r25710;
        float r25712 = r25706 * r25711;
        return r25712;
}

double f_od(double re, double im) {
        double r25713 = im;
        double r25714 = 1/3;
        double r25715 = r25714 * r25713;
        double r25716 = 2;
        double r25717 = fma(r25715, r25713, r25716);
        double r25718 = 5;
        double r25719 = pow(r25713, r25718);
        double r25720 = 1/60;
        double r25721 = r25719 * r25720;
        double r25722 = fma(r25713, r25717, r25721);
        double r25723 = re;
        double r25724 = sin(r25723);
        double r25725 = 0.5;
        double r25726 = -r25725;
        double r25727 = r25724 * r25726;
        double r25728 = r25722 * r25727;
        return r25728;
}

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 r25729, r25730, r25731, r25732, r25733, r25734, r25735, r25736, r25737, r25738;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r25729, "0.5", 10, MPFR_RNDN);
        mpfr_init(r25730);
        mpfr_init(r25731);
        mpfr_init(r25732);
        mpfr_init(r25733);
        mpfr_init(r25734);
        mpfr_init(r25735);
        mpfr_init(r25736);
        mpfr_init(r25737);
        mpfr_init(r25738);
}

double f_im(double re, double im) {
        ;
        mpfr_set_d(r25730, re, MPFR_RNDN);
        mpfr_sin(r25731, r25730, MPFR_RNDN);
        mpfr_mul(r25732, r25729, r25731, MPFR_RNDN);
        mpfr_set_d(r25733, im, MPFR_RNDN);
        mpfr_neg(r25734, r25733, MPFR_RNDN);
        mpfr_exp(r25735, r25734, MPFR_RNDN);
        mpfr_exp(r25736, r25733, MPFR_RNDN);
        mpfr_sub(r25737, r25735, r25736, MPFR_RNDN);
        mpfr_mul(r25738, r25732, r25737, MPFR_RNDN);
        return mpfr_get_d(r25738, MPFR_RNDN);
}

static mpfr_t r25739, r25740, r25741, r25742, r25743, r25744, r25745, r25746, r25747, r25748, r25749, r25750, r25751, r25752, r25753, r25754;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init(r25739);
        mpfr_init_set_str(r25740, "1/3", 10, MPFR_RNDN);
        mpfr_init(r25741);
        mpfr_init_set_str(r25742, "2", 10, MPFR_RNDN);
        mpfr_init(r25743);
        mpfr_init_set_str(r25744, "5", 10, MPFR_RNDN);
        mpfr_init(r25745);
        mpfr_init_set_str(r25746, "1/60", 10, MPFR_RNDN);
        mpfr_init(r25747);
        mpfr_init(r25748);
        mpfr_init(r25749);
        mpfr_init(r25750);
        mpfr_init_set_str(r25751, "0.5", 10, MPFR_RNDN);
        mpfr_init(r25752);
        mpfr_init(r25753);
        mpfr_init(r25754);
}

double f_fm(double re, double im) {
        mpfr_set_d(r25739, im, MPFR_RNDN);
        ;
        mpfr_mul(r25741, r25740, r25739, MPFR_RNDN);
        ;
        mpfr_fma(r25743, r25741, r25739, r25742, MPFR_RNDN);
        ;
        mpfr_pow(r25745, r25739, r25744, MPFR_RNDN);
        ;
        mpfr_mul(r25747, r25745, r25746, MPFR_RNDN);
        mpfr_fma(r25748, r25739, r25743, r25747, MPFR_RNDN);
        mpfr_set_d(r25749, re, MPFR_RNDN);
        mpfr_sin(r25750, r25749, MPFR_RNDN);
        ;
        mpfr_neg(r25752, r25751, MPFR_RNDN);
        mpfr_mul(r25753, r25750, r25752, MPFR_RNDN);
        mpfr_mul(r25754, r25748, r25753, MPFR_RNDN);
        return mpfr_get_d(r25754, MPFR_RNDN);
}

static mpfr_t r25755, r25756, r25757, r25758, r25759, r25760, r25761, r25762, r25763, r25764, r25765, r25766, r25767, r25768, r25769, r25770;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init(r25755);
        mpfr_init_set_str(r25756, "1/3", 10, MPFR_RNDN);
        mpfr_init(r25757);
        mpfr_init_set_str(r25758, "2", 10, MPFR_RNDN);
        mpfr_init(r25759);
        mpfr_init_set_str(r25760, "5", 10, MPFR_RNDN);
        mpfr_init(r25761);
        mpfr_init_set_str(r25762, "1/60", 10, MPFR_RNDN);
        mpfr_init(r25763);
        mpfr_init(r25764);
        mpfr_init(r25765);
        mpfr_init(r25766);
        mpfr_init_set_str(r25767, "0.5", 10, MPFR_RNDN);
        mpfr_init(r25768);
        mpfr_init(r25769);
        mpfr_init(r25770);
}

double f_dm(double re, double im) {
        mpfr_set_d(r25755, im, MPFR_RNDN);
        ;
        mpfr_mul(r25757, r25756, r25755, MPFR_RNDN);
        ;
        mpfr_fma(r25759, r25757, r25755, r25758, MPFR_RNDN);
        ;
        mpfr_pow(r25761, r25755, r25760, MPFR_RNDN);
        ;
        mpfr_mul(r25763, r25761, r25762, MPFR_RNDN);
        mpfr_fma(r25764, r25755, r25759, r25763, MPFR_RNDN);
        mpfr_set_d(r25765, re, MPFR_RNDN);
        mpfr_sin(r25766, r25765, MPFR_RNDN);
        ;
        mpfr_neg(r25768, r25767, MPFR_RNDN);
        mpfr_mul(r25769, r25766, r25768, MPFR_RNDN);
        mpfr_mul(r25770, r25764, r25769, MPFR_RNDN);
        return mpfr_get_d(r25770, MPFR_RNDN);
}