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

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

double f_if(float re, float im) {
        float r25685 = 0.5;
        float r25686 = re;
        float r25687 = cos(r25686);
        float r25688 = r25685 * r25687;
        float r25689 = 0;
        float r25690 = im;
        float r25691 = r25689 - r25690;
        float r25692 = exp(r25691);
        float r25693 = exp(r25690);
        float r25694 = r25692 - r25693;
        float r25695 = r25688 * r25694;
        return r25695;
}

double f_id(double re, double im) {
        double r25696 = 0.5;
        double r25697 = re;
        double r25698 = cos(r25697);
        double r25699 = r25696 * r25698;
        double r25700 = 0;
        double r25701 = im;
        double r25702 = r25700 - r25701;
        double r25703 = exp(r25702);
        double r25704 = exp(r25701);
        double r25705 = r25703 - r25704;
        double r25706 = r25699 * r25705;
        return r25706;
}


double f_of(float re, float im) {
        float r25707 = im;
        float r25708 = 1/3;
        float r25709 = r25708 * r25707;
        float r25710 = 2;
        float r25711 = fma(r25709, r25707, r25710);
        float r25712 = 5;
        float r25713 = pow(r25707, r25712);
        float r25714 = 1/60;
        float r25715 = r25713 * r25714;
        float r25716 = fma(r25707, r25711, r25715);
        float r25717 = re;
        float r25718 = cos(r25717);
        float r25719 = 0.5;
        float r25720 = -r25719;
        float r25721 = r25718 * r25720;
        float r25722 = r25716 * r25721;
        return r25722;
}

double f_od(double re, double im) {
        double r25723 = im;
        double r25724 = 1/3;
        double r25725 = r25724 * r25723;
        double r25726 = 2;
        double r25727 = fma(r25725, r25723, r25726);
        double r25728 = 5;
        double r25729 = pow(r25723, r25728);
        double r25730 = 1/60;
        double r25731 = r25729 * r25730;
        double r25732 = fma(r25723, r25727, r25731);
        double r25733 = re;
        double r25734 = cos(r25733);
        double r25735 = 0.5;
        double r25736 = -r25735;
        double r25737 = r25734 * r25736;
        double r25738 = r25732 * r25737;
        return r25738;
}

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 r25739, r25740, r25741, r25742, r25743, r25744, r25745, r25746, r25747, r25748, r25749;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r25739, "0.5", 10, MPFR_RNDN);
        mpfr_init(r25740);
        mpfr_init(r25741);
        mpfr_init(r25742);
        mpfr_init_set_str(r25743, "0", 10, MPFR_RNDN);
        mpfr_init(r25744);
        mpfr_init(r25745);
        mpfr_init(r25746);
        mpfr_init(r25747);
        mpfr_init(r25748);
        mpfr_init(r25749);
}

double f_im(double re, double im) {
        ;
        mpfr_set_d(r25740, re, MPFR_RNDN);
        mpfr_cos(r25741, r25740, MPFR_RNDN);
        mpfr_mul(r25742, r25739, r25741, MPFR_RNDN);
        ;
        mpfr_set_d(r25744, im, MPFR_RNDN);
        mpfr_sub(r25745, r25743, r25744, MPFR_RNDN);
        mpfr_exp(r25746, r25745, MPFR_RNDN);
        mpfr_exp(r25747, r25744, MPFR_RNDN);
        mpfr_sub(r25748, r25746, r25747, MPFR_RNDN);
        mpfr_mul(r25749, r25742, r25748, MPFR_RNDN);
        return mpfr_get_d(r25749, MPFR_RNDN);
}

static mpfr_t r25750, r25751, r25752, r25753, r25754, r25755, r25756, r25757, r25758, r25759, r25760, r25761, r25762, r25763, r25764, r25765;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r25750);
        mpfr_init_set_str(r25751, "1/3", 10, MPFR_RNDN);
        mpfr_init(r25752);
        mpfr_init_set_str(r25753, "2", 10, MPFR_RNDN);
        mpfr_init(r25754);
        mpfr_init_set_str(r25755, "5", 10, MPFR_RNDN);
        mpfr_init(r25756);
        mpfr_init_set_str(r25757, "1/60", 10, MPFR_RNDN);
        mpfr_init(r25758);
        mpfr_init(r25759);
        mpfr_init(r25760);
        mpfr_init(r25761);
        mpfr_init_set_str(r25762, "0.5", 10, MPFR_RNDN);
        mpfr_init(r25763);
        mpfr_init(r25764);
        mpfr_init(r25765);
}

double f_fm(double re, double im) {
        mpfr_set_d(r25750, im, MPFR_RNDN);
        ;
        mpfr_mul(r25752, r25751, r25750, MPFR_RNDN);
        ;
        mpfr_fma(r25754, r25752, r25750, r25753, MPFR_RNDN);
        ;
        mpfr_pow(r25756, r25750, r25755, MPFR_RNDN);
        ;
        mpfr_mul(r25758, r25756, r25757, MPFR_RNDN);
        mpfr_fma(r25759, r25750, r25754, r25758, MPFR_RNDN);
        mpfr_set_d(r25760, re, MPFR_RNDN);
        mpfr_cos(r25761, r25760, MPFR_RNDN);
        ;
        mpfr_neg(r25763, r25762, MPFR_RNDN);
        mpfr_mul(r25764, r25761, r25763, MPFR_RNDN);
        mpfr_mul(r25765, r25759, r25764, MPFR_RNDN);
        return mpfr_get_d(r25765, MPFR_RNDN);
}

static mpfr_t r25766, r25767, r25768, r25769, r25770, r25771, r25772, r25773, r25774, r25775, r25776, r25777, r25778, r25779, r25780, r25781;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r25766);
        mpfr_init_set_str(r25767, "1/3", 10, MPFR_RNDN);
        mpfr_init(r25768);
        mpfr_init_set_str(r25769, "2", 10, MPFR_RNDN);
        mpfr_init(r25770);
        mpfr_init_set_str(r25771, "5", 10, MPFR_RNDN);
        mpfr_init(r25772);
        mpfr_init_set_str(r25773, "1/60", 10, MPFR_RNDN);
        mpfr_init(r25774);
        mpfr_init(r25775);
        mpfr_init(r25776);
        mpfr_init(r25777);
        mpfr_init_set_str(r25778, "0.5", 10, MPFR_RNDN);
        mpfr_init(r25779);
        mpfr_init(r25780);
        mpfr_init(r25781);
}

double f_dm(double re, double im) {
        mpfr_set_d(r25766, im, MPFR_RNDN);
        ;
        mpfr_mul(r25768, r25767, r25766, MPFR_RNDN);
        ;
        mpfr_fma(r25770, r25768, r25766, r25769, MPFR_RNDN);
        ;
        mpfr_pow(r25772, r25766, r25771, MPFR_RNDN);
        ;
        mpfr_mul(r25774, r25772, r25773, MPFR_RNDN);
        mpfr_fma(r25775, r25766, r25770, r25774, MPFR_RNDN);
        mpfr_set_d(r25776, re, MPFR_RNDN);
        mpfr_cos(r25777, r25776, MPFR_RNDN);
        ;
        mpfr_neg(r25779, r25778, MPFR_RNDN);
        mpfr_mul(r25780, r25777, r25779, MPFR_RNDN);
        mpfr_mul(r25781, r25775, r25780, MPFR_RNDN);
        return mpfr_get_d(r25781, MPFR_RNDN);
}