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

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

double f_if(float re, float im) {
        float r21749 = 0.5;
        float r21750 = re;
        float r21751 = cos(r21750);
        float r21752 = r21749 * r21751;
        float r21753 = im;
        float r21754 = -r21753;
        float r21755 = exp(r21754);
        float r21756 = exp(r21753);
        float r21757 = r21755 + r21756;
        float r21758 = r21752 * r21757;
        return r21758;
}

double f_id(double re, double im) {
        double r21759 = 0.5;
        double r21760 = re;
        double r21761 = cos(r21760);
        double r21762 = r21759 * r21761;
        double r21763 = im;
        double r21764 = -r21763;
        double r21765 = exp(r21764);
        double r21766 = exp(r21763);
        double r21767 = r21765 + r21766;
        double r21768 = r21762 * r21767;
        return r21768;
}


double f_of(float re, float im) {
        float r21769 = 0.5;
        float r21770 = re;
        float r21771 = cos(r21770);
        float r21772 = r21769 * r21771;
        float r21773 = im;
        float r21774 = -r21773;
        float r21775 = exp(r21774);
        float r21776 = exp(r21773);
        float r21777 = r21775 + r21776;
        float r21778 = r21772 * r21777;
        return r21778;
}

double f_od(double re, double im) {
        double r21779 = 0.5;
        double r21780 = re;
        double r21781 = cos(r21780);
        double r21782 = r21779 * r21781;
        double r21783 = im;
        double r21784 = -r21783;
        double r21785 = exp(r21784);
        double r21786 = exp(r21783);
        double r21787 = r21785 + r21786;
        double r21788 = r21782 * r21787;
        return r21788;
}

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 r21789, r21790, r21791, r21792, r21793, r21794, r21795, r21796, r21797, r21798;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r21789, "0.5", 10, MPFR_RNDN);
        mpfr_init(r21790);
        mpfr_init(r21791);
        mpfr_init(r21792);
        mpfr_init(r21793);
        mpfr_init(r21794);
        mpfr_init(r21795);
        mpfr_init(r21796);
        mpfr_init(r21797);
        mpfr_init(r21798);
}

double f_im(double re, double im) {
        ;
        mpfr_set_d(r21790, re, MPFR_RNDN);
        mpfr_cos(r21791, r21790, MPFR_RNDN);
        mpfr_mul(r21792, r21789, r21791, MPFR_RNDN);
        mpfr_set_d(r21793, im, MPFR_RNDN);
        mpfr_neg(r21794, r21793, MPFR_RNDN);
        mpfr_exp(r21795, r21794, MPFR_RNDN);
        mpfr_exp(r21796, r21793, MPFR_RNDN);
        mpfr_add(r21797, r21795, r21796, MPFR_RNDN);
        mpfr_mul(r21798, r21792, r21797, MPFR_RNDN);
        return mpfr_get_d(r21798, MPFR_RNDN);
}

static mpfr_t r21799, r21800, r21801, r21802, r21803, r21804, r21805, r21806, r21807, r21808;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r21799, "0.5", 10, MPFR_RNDN);
        mpfr_init(r21800);
        mpfr_init(r21801);
        mpfr_init(r21802);
        mpfr_init(r21803);
        mpfr_init(r21804);
        mpfr_init(r21805);
        mpfr_init(r21806);
        mpfr_init(r21807);
        mpfr_init(r21808);
}

double f_fm(double re, double im) {
        ;
        mpfr_set_d(r21800, re, MPFR_RNDN);
        mpfr_cos(r21801, r21800, MPFR_RNDN);
        mpfr_mul(r21802, r21799, r21801, MPFR_RNDN);
        mpfr_set_d(r21803, im, MPFR_RNDN);
        mpfr_neg(r21804, r21803, MPFR_RNDN);
        mpfr_exp(r21805, r21804, MPFR_RNDN);
        mpfr_exp(r21806, r21803, MPFR_RNDN);
        mpfr_add(r21807, r21805, r21806, MPFR_RNDN);
        mpfr_mul(r21808, r21802, r21807, MPFR_RNDN);
        return mpfr_get_d(r21808, MPFR_RNDN);
}

static mpfr_t r21809, r21810, r21811, r21812, r21813, r21814, r21815, r21816, r21817, r21818;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r21809, "0.5", 10, MPFR_RNDN);
        mpfr_init(r21810);
        mpfr_init(r21811);
        mpfr_init(r21812);
        mpfr_init(r21813);
        mpfr_init(r21814);
        mpfr_init(r21815);
        mpfr_init(r21816);
        mpfr_init(r21817);
        mpfr_init(r21818);
}

double f_dm(double re, double im) {
        ;
        mpfr_set_d(r21810, re, MPFR_RNDN);
        mpfr_cos(r21811, r21810, MPFR_RNDN);
        mpfr_mul(r21812, r21809, r21811, MPFR_RNDN);
        mpfr_set_d(r21813, im, MPFR_RNDN);
        mpfr_neg(r21814, r21813, MPFR_RNDN);
        mpfr_exp(r21815, r21814, MPFR_RNDN);
        mpfr_exp(r21816, r21813, MPFR_RNDN);
        mpfr_add(r21817, r21815, r21816, MPFR_RNDN);
        mpfr_mul(r21818, r21812, r21817, MPFR_RNDN);
        return mpfr_get_d(r21818, MPFR_RNDN);
}