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

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

double f_if(float re, float im) {
        float r8328 = 0.5;
        float r8329 = re;
        float r8330 = sin(r8329);
        float r8331 = r8328 * r8330;
        float r8332 = 0;
        float r8333 = im;
        float r8334 = r8332 - r8333;
        float r8335 = exp(r8334);
        float r8336 = exp(r8333);
        float r8337 = r8335 + r8336;
        float r8338 = r8331 * r8337;
        return r8338;
}

double f_id(double re, double im) {
        double r8339 = 0.5;
        double r8340 = re;
        double r8341 = sin(r8340);
        double r8342 = r8339 * r8341;
        double r8343 = 0;
        double r8344 = im;
        double r8345 = r8343 - r8344;
        double r8346 = exp(r8345);
        double r8347 = exp(r8344);
        double r8348 = r8346 + r8347;
        double r8349 = r8342 * r8348;
        return r8349;
}


double f_of(float re, float im) {
        float r8350 = 0.5;
        float r8351 = re;
        float r8352 = sin(r8351);
        float r8353 = r8350 * r8352;
        float r8354 = im;
        float r8355 = -r8354;
        float r8356 = exp(r8355);
        float r8357 = exp(r8354);
        float r8358 = r8356 + r8357;
        float r8359 = r8353 * r8358;
        return r8359;
}

double f_od(double re, double im) {
        double r8360 = 0.5;
        double r8361 = re;
        double r8362 = sin(r8361);
        double r8363 = r8360 * r8362;
        double r8364 = im;
        double r8365 = -r8364;
        double r8366 = exp(r8365);
        double r8367 = exp(r8364);
        double r8368 = r8366 + r8367;
        double r8369 = r8363 * r8368;
        return r8369;
}

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 r8370, r8371, r8372, r8373, r8374, r8375, r8376, r8377, r8378, r8379, r8380;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r8370, "0.5", 10, MPFR_RNDN);
        mpfr_init(r8371);
        mpfr_init(r8372);
        mpfr_init(r8373);
        mpfr_init_set_str(r8374, "0", 10, MPFR_RNDN);
        mpfr_init(r8375);
        mpfr_init(r8376);
        mpfr_init(r8377);
        mpfr_init(r8378);
        mpfr_init(r8379);
        mpfr_init(r8380);
}

double f_im(double re, double im) {
        ;
        mpfr_set_d(r8371, re, MPFR_RNDN);
        mpfr_sin(r8372, r8371, MPFR_RNDN);
        mpfr_mul(r8373, r8370, r8372, MPFR_RNDN);
        ;
        mpfr_set_d(r8375, im, MPFR_RNDN);
        mpfr_sub(r8376, r8374, r8375, MPFR_RNDN);
        mpfr_exp(r8377, r8376, MPFR_RNDN);
        mpfr_exp(r8378, r8375, MPFR_RNDN);
        mpfr_add(r8379, r8377, r8378, MPFR_RNDN);
        mpfr_mul(r8380, r8373, r8379, MPFR_RNDN);
        return mpfr_get_d(r8380, MPFR_RNDN);
}

static mpfr_t r8381, r8382, r8383, r8384, r8385, r8386, r8387, r8388, r8389, r8390;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r8381, "0.5", 10, MPFR_RNDN);
        mpfr_init(r8382);
        mpfr_init(r8383);
        mpfr_init(r8384);
        mpfr_init(r8385);
        mpfr_init(r8386);
        mpfr_init(r8387);
        mpfr_init(r8388);
        mpfr_init(r8389);
        mpfr_init(r8390);
}

double f_fm(double re, double im) {
        ;
        mpfr_set_d(r8382, re, MPFR_RNDN);
        mpfr_sin(r8383, r8382, MPFR_RNDN);
        mpfr_mul(r8384, r8381, r8383, MPFR_RNDN);
        mpfr_set_d(r8385, im, MPFR_RNDN);
        mpfr_neg(r8386, r8385, MPFR_RNDN);
        mpfr_exp(r8387, r8386, MPFR_RNDN);
        mpfr_exp(r8388, r8385, MPFR_RNDN);
        mpfr_add(r8389, r8387, r8388, MPFR_RNDN);
        mpfr_mul(r8390, r8384, r8389, MPFR_RNDN);
        return mpfr_get_d(r8390, MPFR_RNDN);
}

static mpfr_t r8391, r8392, r8393, r8394, r8395, r8396, r8397, r8398, r8399, r8400;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r8391, "0.5", 10, MPFR_RNDN);
        mpfr_init(r8392);
        mpfr_init(r8393);
        mpfr_init(r8394);
        mpfr_init(r8395);
        mpfr_init(r8396);
        mpfr_init(r8397);
        mpfr_init(r8398);
        mpfr_init(r8399);
        mpfr_init(r8400);
}

double f_dm(double re, double im) {
        ;
        mpfr_set_d(r8392, re, MPFR_RNDN);
        mpfr_sin(r8393, r8392, MPFR_RNDN);
        mpfr_mul(r8394, r8391, r8393, MPFR_RNDN);
        mpfr_set_d(r8395, im, MPFR_RNDN);
        mpfr_neg(r8396, r8395, MPFR_RNDN);
        mpfr_exp(r8397, r8396, MPFR_RNDN);
        mpfr_exp(r8398, r8395, MPFR_RNDN);
        mpfr_add(r8399, r8397, r8398, MPFR_RNDN);
        mpfr_mul(r8400, r8394, r8399, MPFR_RNDN);
        return mpfr_get_d(r8400, MPFR_RNDN);
}