#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 r19125 = 0.5f;
        float r19126 = re;
        float r19127 = sin(r19126);
        float r19128 = r19125 * r19127;
        float r19129 = im;
        float r19130 = -r19129;
        float r19131 = exp(r19130);
        float r19132 = exp(r19129);
        float r19133 = r19131 - r19132;
        float r19134 = r19128 * r19133;
        return r19134;
}

double f_id(double re, double im) {
        double r19135 = 0.5;
        double r19136 = re;
        double r19137 = sin(r19136);
        double r19138 = r19135 * r19137;
        double r19139 = im;
        double r19140 = -r19139;
        double r19141 = exp(r19140);
        double r19142 = exp(r19139);
        double r19143 = r19141 - r19142;
        double r19144 = r19138 * r19143;
        return r19144;
}


double f_of(float re, float im) {
        float r19145 = re;
        float r19146 = sin(r19145);
        float r19147 = 0.5f;
        float r19148 = r19146 * r19147;
        float r19149 = -r19148;
        float r19150 = im;
        float r19151 = exp(r19150);
        float r19152 = sqrt(r19151);
        float r19153 = -r19150;
        float r19154 = exp(r19153);
        float r19155 = sqrt(r19154);
        float r19156 = r19152 + r19155;
        float r19157 = r19149 * r19156;
        float r19158 = 0.0005208333333333333f;
        float r19159 = 5.0f;
        float r19160 = pow(r19150, r19159);
        float r19161 = r19158 * r19160;
        float r19162 = 0.041666666666666664f;
        float r19163 = r19150 * (r19150 * r19150);
        float r19164 = r19162 * r19163;
        float r19165 = r19161 + r19164;
        float r19166 = r19165 + r19150;
        float r19167 = r19157 * r19166;
        return r19167;
}

double f_od(double re, double im) {
        double r19168 = re;
        double r19169 = sin(r19168);
        double r19170 = 0.5;
        double r19171 = r19169 * r19170;
        double r19172 = -r19171;
        double r19173 = im;
        double r19174 = exp(r19173);
        double r19175 = sqrt(r19174);
        double r19176 = -r19173;
        double r19177 = exp(r19176);
        double r19178 = sqrt(r19177);
        double r19179 = r19175 + r19178;
        double r19180 = r19172 * r19179;
        double r19181 = 0.0005208333333333333;
        double r19182 = 5.0;
        double r19183 = pow(r19173, r19182);
        double r19184 = r19181 * r19183;
        double r19185 = 0.041666666666666664;
        double r19186 = r19173 * (r19173 * r19173);
        double r19187 = r19185 * r19186;
        double r19188 = r19184 + r19187;
        double r19189 = r19188 + r19173;
        double r19190 = r19180 * r19189;
        return r19190;
}

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 r19191, r19192, r19193, r19194, r19195, r19196, r19197, r19198, r19199, r19200;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r19191, "0.5", 10, MPFR_RNDN);
        mpfr_init(r19192);
        mpfr_init(r19193);
        mpfr_init(r19194);
        mpfr_init(r19195);
        mpfr_init(r19196);
        mpfr_init(r19197);
        mpfr_init(r19198);
        mpfr_init(r19199);
        mpfr_init(r19200);
}

double f_im(double re, double im) {
        ;
        mpfr_set_d(r19192, re, MPFR_RNDN);
        mpfr_sin(r19193, r19192, MPFR_RNDN);
        mpfr_mul(r19194, r19191, r19193, MPFR_RNDN);
        mpfr_set_d(r19195, im, MPFR_RNDN);
        mpfr_neg(r19196, r19195, MPFR_RNDN);
        mpfr_exp(r19197, r19196, MPFR_RNDN);
        mpfr_exp(r19198, r19195, MPFR_RNDN);
        mpfr_sub(r19199, r19197, r19198, MPFR_RNDN);
        mpfr_mul(r19200, r19194, r19199, MPFR_RNDN);
        return mpfr_get_d(r19200, MPFR_RNDN);
}

static mpfr_t r19201, r19202, r19203, r19204, r19205, r19206, r19207, r19208, r19209, r19210, r19211, r19212, r19213, r19214, r19215, r19216, r19217, r19218, r19219, r19220, r19221, r19222, r19223;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r19201);
        mpfr_init(r19202);
        mpfr_init_set_str(r19203, "0.5", 10, MPFR_RNDN);
        mpfr_init(r19204);
        mpfr_init(r19205);
        mpfr_init(r19206);
        mpfr_init(r19207);
        mpfr_init(r19208);
        mpfr_init(r19209);
        mpfr_init(r19210);
        mpfr_init(r19211);
        mpfr_init(r19212);
        mpfr_init(r19213);
        mpfr_init_set_str(r19214, "1/1920", 10, MPFR_RNDN);
        mpfr_init_set_str(r19215, "5", 10, MPFR_RNDN);
        mpfr_init(r19216);
        mpfr_init(r19217);
        mpfr_init_set_str(r19218, "1/24", 10, MPFR_RNDN);
        mpfr_init(r19219);
        mpfr_init(r19220);
        mpfr_init(r19221);
        mpfr_init(r19222);
        mpfr_init(r19223);
}

double f_fm(double re, double im) {
        mpfr_set_d(r19201, re, MPFR_RNDN);
        mpfr_sin(r19202, r19201, MPFR_RNDN);
        ;
        mpfr_mul(r19204, r19202, r19203, MPFR_RNDN);
        mpfr_neg(r19205, r19204, MPFR_RNDN);
        mpfr_set_d(r19206, im, MPFR_RNDN);
        mpfr_exp(r19207, r19206, MPFR_RNDN);
        mpfr_sqrt(r19208, r19207, MPFR_RNDN);
        mpfr_neg(r19209, r19206, MPFR_RNDN);
        mpfr_exp(r19210, r19209, MPFR_RNDN);
        mpfr_sqrt(r19211, r19210, MPFR_RNDN);
        mpfr_add(r19212, r19208, r19211, MPFR_RNDN);
        mpfr_mul(r19213, r19205, r19212, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r19216, r19206, r19215, MPFR_RNDN);
        mpfr_mul(r19217, r19214, r19216, MPFR_RNDN);
        ;
        mpfr_mul(r19219, r19206, r19206, MPFR_RNDN); mpfr_mul(r19219, r19219, r19206, MPFR_RNDN);
        mpfr_mul(r19220, r19218, r19219, MPFR_RNDN);
        mpfr_add(r19221, r19217, r19220, MPFR_RNDN);
        mpfr_add(r19222, r19221, r19206, MPFR_RNDN);
        mpfr_mul(r19223, r19213, r19222, MPFR_RNDN);
        return mpfr_get_d(r19223, MPFR_RNDN);
}

static mpfr_t r19224, r19225, r19226, r19227, r19228, r19229, r19230, r19231, r19232, r19233, r19234, r19235, r19236, r19237, r19238, r19239, r19240, r19241, r19242, r19243, r19244, r19245, r19246;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r19224);
        mpfr_init(r19225);
        mpfr_init_set_str(r19226, "0.5", 10, MPFR_RNDN);
        mpfr_init(r19227);
        mpfr_init(r19228);
        mpfr_init(r19229);
        mpfr_init(r19230);
        mpfr_init(r19231);
        mpfr_init(r19232);
        mpfr_init(r19233);
        mpfr_init(r19234);
        mpfr_init(r19235);
        mpfr_init(r19236);
        mpfr_init_set_str(r19237, "1/1920", 10, MPFR_RNDN);
        mpfr_init_set_str(r19238, "5", 10, MPFR_RNDN);
        mpfr_init(r19239);
        mpfr_init(r19240);
        mpfr_init_set_str(r19241, "1/24", 10, MPFR_RNDN);
        mpfr_init(r19242);
        mpfr_init(r19243);
        mpfr_init(r19244);
        mpfr_init(r19245);
        mpfr_init(r19246);
}

double f_dm(double re, double im) {
        mpfr_set_d(r19224, re, MPFR_RNDN);
        mpfr_sin(r19225, r19224, MPFR_RNDN);
        ;
        mpfr_mul(r19227, r19225, r19226, MPFR_RNDN);
        mpfr_neg(r19228, r19227, MPFR_RNDN);
        mpfr_set_d(r19229, im, MPFR_RNDN);
        mpfr_exp(r19230, r19229, MPFR_RNDN);
        mpfr_sqrt(r19231, r19230, MPFR_RNDN);
        mpfr_neg(r19232, r19229, MPFR_RNDN);
        mpfr_exp(r19233, r19232, MPFR_RNDN);
        mpfr_sqrt(r19234, r19233, MPFR_RNDN);
        mpfr_add(r19235, r19231, r19234, MPFR_RNDN);
        mpfr_mul(r19236, r19228, r19235, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r19239, r19229, r19238, MPFR_RNDN);
        mpfr_mul(r19240, r19237, r19239, MPFR_RNDN);
        ;
        mpfr_mul(r19242, r19229, r19229, MPFR_RNDN); mpfr_mul(r19242, r19242, r19229, MPFR_RNDN);
        mpfr_mul(r19243, r19241, r19242, MPFR_RNDN);
        mpfr_add(r19244, r19240, r19243, MPFR_RNDN);
        mpfr_add(r19245, r19244, r19229, MPFR_RNDN);
        mpfr_mul(r19246, r19236, r19245, MPFR_RNDN);
        return mpfr_get_d(r19246, MPFR_RNDN);
}