#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r26524 = 0.5; float r26525 = re; float r26526 = sin(r26525); float r26527 = r26524 * r26526; float r26528 = im; float r26529 = -r26528; float r26530 = exp(r26529); float r26531 = exp(r26528); float r26532 = r26530 - r26531; float r26533 = r26527 * r26532; return r26533; } double f_id(double re, double im) { double r26534 = 0.5; double r26535 = re; double r26536 = sin(r26535); double r26537 = r26534 * r26536; double r26538 = im; double r26539 = -r26538; double r26540 = exp(r26539); double r26541 = exp(r26538); double r26542 = r26540 - r26541; double r26543 = r26537 * r26542; return r26543; } double f_of(float re, float im) { float r26544 = 0.5; float r26545 = re; float r26546 = sin(r26545); float r26547 = r26544 * r26546; float r26548 = 1/60; float r26549 = im; float r26550 = 5; float r26551 = pow(r26549, r26550); float r26552 = r26548 * r26551; float r26553 = exp(r26552); float r26554 = log(r26553); float r26555 = 2; float r26556 = r26555 * r26549; float r26557 = 1/3; float r26558 = 3; float r26559 = pow(r26549, r26558); float r26560 = r26557 * r26559; float r26561 = r26556 + r26560; float r26562 = r26554 + r26561; float r26563 = -r26562; float r26564 = r26547 * r26563; return r26564; } double f_od(double re, double im) { double r26565 = 0.5; double r26566 = re; double r26567 = sin(r26566); double r26568 = r26565 * r26567; double r26569 = 1/60; double r26570 = im; double r26571 = 5; double r26572 = pow(r26570, r26571); double r26573 = r26569 * r26572; double r26574 = exp(r26573); double r26575 = log(r26574); double r26576 = 2; double r26577 = r26576 * r26570; double r26578 = 1/3; double r26579 = 3; double r26580 = pow(r26570, r26579); double r26581 = r26578 * r26580; double r26582 = r26577 + r26581; double r26583 = r26575 + r26582; double r26584 = -r26583; double r26585 = r26568 * r26584; return r26585; } 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 r26586, r26587, r26588, r26589, r26590, r26591, r26592, r26593, r26594, r26595; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26586, "0.5", 10, MPFR_RNDN); mpfr_init(r26587); mpfr_init(r26588); mpfr_init(r26589); mpfr_init(r26590); mpfr_init(r26591); mpfr_init(r26592); mpfr_init(r26593); mpfr_init(r26594); mpfr_init(r26595); } double f_im(double re, double im) { ; mpfr_set_d(r26587, re, MPFR_RNDN); mpfr_sin(r26588, r26587, MPFR_RNDN); mpfr_mul(r26589, r26586, r26588, MPFR_RNDN); mpfr_set_d(r26590, im, MPFR_RNDN); mpfr_neg(r26591, r26590, MPFR_RNDN); mpfr_exp(r26592, r26591, MPFR_RNDN); mpfr_exp(r26593, r26590, MPFR_RNDN); mpfr_sub(r26594, r26592, r26593, MPFR_RNDN); mpfr_mul(r26595, r26589, r26594, MPFR_RNDN); return mpfr_get_d(r26595, MPFR_RNDN); } static mpfr_t r26596, r26597, r26598, r26599, r26600, r26601, r26602, r26603, r26604, r26605, r26606, r26607, r26608, r26609, r26610, r26611, r26612, r26613, r26614, r26615, r26616; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26596, "0.5", 10, MPFR_RNDN); mpfr_init(r26597); mpfr_init(r26598); mpfr_init(r26599); mpfr_init_set_str(r26600, "1/60", 10, MPFR_RNDN); mpfr_init(r26601); mpfr_init_set_str(r26602, "5", 10, MPFR_RNDN); mpfr_init(r26603); mpfr_init(r26604); mpfr_init(r26605); mpfr_init(r26606); mpfr_init_set_str(r26607, "2", 10, MPFR_RNDN); mpfr_init(r26608); mpfr_init_set_str(r26609, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26610, "3", 10, MPFR_RNDN); mpfr_init(r26611); mpfr_init(r26612); mpfr_init(r26613); mpfr_init(r26614); mpfr_init(r26615); mpfr_init(r26616); } double f_fm(double re, double im) { ; mpfr_set_d(r26597, re, MPFR_RNDN); mpfr_sin(r26598, r26597, MPFR_RNDN); mpfr_mul(r26599, r26596, r26598, MPFR_RNDN); ; mpfr_set_d(r26601, im, MPFR_RNDN); ; mpfr_pow(r26603, r26601, r26602, MPFR_RNDN); mpfr_mul(r26604, r26600, r26603, MPFR_RNDN); mpfr_exp(r26605, r26604, MPFR_RNDN); mpfr_log(r26606, r26605, MPFR_RNDN); ; mpfr_mul(r26608, r26607, r26601, MPFR_RNDN); ; ; mpfr_pow(r26611, r26601, r26610, MPFR_RNDN); mpfr_mul(r26612, r26609, r26611, MPFR_RNDN); mpfr_add(r26613, r26608, r26612, MPFR_RNDN); mpfr_add(r26614, r26606, r26613, MPFR_RNDN); mpfr_neg(r26615, r26614, MPFR_RNDN); mpfr_mul(r26616, r26599, r26615, MPFR_RNDN); return mpfr_get_d(r26616, MPFR_RNDN); } static mpfr_t r26617, r26618, r26619, r26620, r26621, r26622, r26623, r26624, r26625, r26626, r26627, r26628, r26629, r26630, r26631, r26632, r26633, r26634, r26635, r26636, r26637; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26617, "0.5", 10, MPFR_RNDN); mpfr_init(r26618); mpfr_init(r26619); mpfr_init(r26620); mpfr_init_set_str(r26621, "1/60", 10, MPFR_RNDN); mpfr_init(r26622); mpfr_init_set_str(r26623, "5", 10, MPFR_RNDN); mpfr_init(r26624); mpfr_init(r26625); mpfr_init(r26626); mpfr_init(r26627); mpfr_init_set_str(r26628, "2", 10, MPFR_RNDN); mpfr_init(r26629); mpfr_init_set_str(r26630, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26631, "3", 10, MPFR_RNDN); mpfr_init(r26632); mpfr_init(r26633); mpfr_init(r26634); mpfr_init(r26635); mpfr_init(r26636); mpfr_init(r26637); } double f_dm(double re, double im) { ; mpfr_set_d(r26618, re, MPFR_RNDN); mpfr_sin(r26619, r26618, MPFR_RNDN); mpfr_mul(r26620, r26617, r26619, MPFR_RNDN); ; mpfr_set_d(r26622, im, MPFR_RNDN); ; mpfr_pow(r26624, r26622, r26623, MPFR_RNDN); mpfr_mul(r26625, r26621, r26624, MPFR_RNDN); mpfr_exp(r26626, r26625, MPFR_RNDN); mpfr_log(r26627, r26626, MPFR_RNDN); ; mpfr_mul(r26629, r26628, r26622, MPFR_RNDN); ; ; mpfr_pow(r26632, r26622, r26631, MPFR_RNDN); mpfr_mul(r26633, r26630, r26632, MPFR_RNDN); mpfr_add(r26634, r26629, r26633, MPFR_RNDN); mpfr_add(r26635, r26627, r26634, MPFR_RNDN); mpfr_neg(r26636, r26635, MPFR_RNDN); mpfr_mul(r26637, r26620, r26636, MPFR_RNDN); return mpfr_get_d(r26637, MPFR_RNDN); }