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

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

double f_if(float re, float im) {
        float r21574 = re;
        float r21575 = exp(r21574);
        float r21576 = im;
        float r21577 = cos(r21576);
        float r21578 = r21575 * r21577;
        return r21578;
}

double f_id(double re, double im) {
        double r21579 = re;
        double r21580 = exp(r21579);
        double r21581 = im;
        double r21582 = cos(r21581);
        double r21583 = r21580 * r21582;
        return r21583;
}


double f_of(float re, float im) {
        float r21584 = re;
        float r21585 = exp(r21584);
        float r21586 = im;
        float r21587 = cos(r21586);
        float r21588 = r21585 * r21587;
        return r21588;
}

double f_od(double re, double im) {
        double r21589 = re;
        double r21590 = exp(r21589);
        double r21591 = im;
        double r21592 = cos(r21591);
        double r21593 = r21590 * r21592;
        return r21593;
}

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 r21594, r21595, r21596, r21597, r21598;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r21594);
        mpfr_init(r21595);
        mpfr_init(r21596);
        mpfr_init(r21597);
        mpfr_init(r21598);
}

double f_im(double re, double im) {
        mpfr_set_d(r21594, re, MPFR_RNDN);
        mpfr_exp(r21595, r21594, MPFR_RNDN);
        mpfr_set_d(r21596, im, MPFR_RNDN);
        mpfr_cos(r21597, r21596, MPFR_RNDN);
        mpfr_mul(r21598, r21595, r21597, MPFR_RNDN);
        return mpfr_get_d(r21598, MPFR_RNDN);
}

static mpfr_t r21599, r21600, r21601, r21602, r21603;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r21599);
        mpfr_init(r21600);
        mpfr_init(r21601);
        mpfr_init(r21602);
        mpfr_init(r21603);
}

double f_fm(double re, double im) {
        mpfr_set_d(r21599, re, MPFR_RNDN);
        mpfr_exp(r21600, r21599, MPFR_RNDN);
        mpfr_set_d(r21601, im, MPFR_RNDN);
        mpfr_cos(r21602, r21601, MPFR_RNDN);
        mpfr_mul(r21603, r21600, r21602, MPFR_RNDN);
        return mpfr_get_d(r21603, MPFR_RNDN);
}

static mpfr_t r21604, r21605, r21606, r21607, r21608;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r21604);
        mpfr_init(r21605);
        mpfr_init(r21606);
        mpfr_init(r21607);
        mpfr_init(r21608);
}

double f_dm(double re, double im) {
        mpfr_set_d(r21604, re, MPFR_RNDN);
        mpfr_exp(r21605, r21604, MPFR_RNDN);
        mpfr_set_d(r21606, im, MPFR_RNDN);
        mpfr_cos(r21607, r21606, MPFR_RNDN);
        mpfr_mul(r21608, r21605, r21607, MPFR_RNDN);
        return mpfr_get_d(r21608, MPFR_RNDN);
}