#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r26507 = 0.5; float r26508 = re; float r26509 = sin(r26508); float r26510 = r26507 * r26509; float r26511 = im; float r26512 = -r26511; float r26513 = exp(r26512); float r26514 = exp(r26511); float r26515 = r26513 - r26514; float r26516 = r26510 * r26515; return r26516; } double f_id(double re, double im) { double r26517 = 0.5; double r26518 = re; double r26519 = sin(r26518); double r26520 = r26517 * r26519; double r26521 = im; double r26522 = -r26521; double r26523 = exp(r26522); double r26524 = exp(r26521); double r26525 = r26523 - r26524; double r26526 = r26520 * r26525; return r26526; } double f_of(float re, float im) { float r26527 = 0.5; float r26528 = re; float r26529 = sin(r26528); float r26530 = r26527 * r26529; float r26531 = 1/60; float r26532 = im; float r26533 = 5; float r26534 = pow(r26532, r26533); float r26535 = r26531 * r26534; float r26536 = 2; float r26537 = r26536 * r26532; float r26538 = 1/3; float r26539 = 3; float r26540 = pow(r26532, r26539); float r26541 = r26538 * r26540; float r26542 = r26537 + r26541; float r26543 = r26535 + r26542; float r26544 = -r26543; float r26545 = r26530 * r26544; return r26545; } double f_od(double re, double im) { double r26546 = 0.5; double r26547 = re; double r26548 = sin(r26547); double r26549 = r26546 * r26548; double r26550 = 1/60; double r26551 = im; double r26552 = 5; double r26553 = pow(r26551, r26552); double r26554 = r26550 * r26553; double r26555 = 2; double r26556 = r26555 * r26551; double r26557 = 1/3; double r26558 = 3; double r26559 = pow(r26551, r26558); double r26560 = r26557 * r26559; double r26561 = r26556 + r26560; double r26562 = r26554 + r26561; double r26563 = -r26562; double r26564 = r26549 * r26563; return r26564; } 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 r26565, r26566, r26567, r26568, r26569, r26570, r26571, r26572, r26573, r26574; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26565, "0.5", 10, MPFR_RNDN); mpfr_init(r26566); mpfr_init(r26567); mpfr_init(r26568); mpfr_init(r26569); mpfr_init(r26570); mpfr_init(r26571); mpfr_init(r26572); mpfr_init(r26573); mpfr_init(r26574); } double f_im(double re, double im) { ; mpfr_set_d(r26566, re, MPFR_RNDN); mpfr_sin(r26567, r26566, MPFR_RNDN); mpfr_mul(r26568, r26565, r26567, MPFR_RNDN); mpfr_set_d(r26569, im, MPFR_RNDN); mpfr_neg(r26570, r26569, MPFR_RNDN); mpfr_exp(r26571, r26570, MPFR_RNDN); mpfr_exp(r26572, r26569, MPFR_RNDN); mpfr_sub(r26573, r26571, r26572, MPFR_RNDN); mpfr_mul(r26574, r26568, r26573, MPFR_RNDN); return mpfr_get_d(r26574, MPFR_RNDN); } static mpfr_t r26575, r26576, r26577, r26578, r26579, r26580, r26581, r26582, r26583, r26584, r26585, r26586, r26587, r26588, r26589, r26590, r26591, r26592, r26593; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26575, "0.5", 10, MPFR_RNDN); mpfr_init(r26576); mpfr_init(r26577); mpfr_init(r26578); mpfr_init_set_str(r26579, "1/60", 10, MPFR_RNDN); mpfr_init(r26580); mpfr_init_set_str(r26581, "5", 10, MPFR_RNDN); mpfr_init(r26582); mpfr_init(r26583); mpfr_init_set_str(r26584, "2", 10, MPFR_RNDN); mpfr_init(r26585); mpfr_init_set_str(r26586, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26587, "3", 10, MPFR_RNDN); mpfr_init(r26588); mpfr_init(r26589); mpfr_init(r26590); mpfr_init(r26591); mpfr_init(r26592); mpfr_init(r26593); } double f_fm(double re, double im) { ; mpfr_set_d(r26576, re, MPFR_RNDN); mpfr_sin(r26577, r26576, MPFR_RNDN); mpfr_mul(r26578, r26575, r26577, MPFR_RNDN); ; mpfr_set_d(r26580, im, MPFR_RNDN); ; mpfr_pow(r26582, r26580, r26581, MPFR_RNDN); mpfr_mul(r26583, r26579, r26582, MPFR_RNDN); ; mpfr_mul(r26585, r26584, r26580, MPFR_RNDN); ; ; mpfr_pow(r26588, r26580, r26587, MPFR_RNDN); mpfr_mul(r26589, r26586, r26588, MPFR_RNDN); mpfr_add(r26590, r26585, r26589, MPFR_RNDN); mpfr_add(r26591, r26583, r26590, MPFR_RNDN); mpfr_neg(r26592, r26591, MPFR_RNDN); mpfr_mul(r26593, r26578, r26592, MPFR_RNDN); return mpfr_get_d(r26593, MPFR_RNDN); } static mpfr_t r26594, r26595, r26596, r26597, r26598, r26599, r26600, r26601, r26602, r26603, r26604, r26605, r26606, r26607, r26608, r26609, r26610, r26611, r26612; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26594, "0.5", 10, MPFR_RNDN); mpfr_init(r26595); mpfr_init(r26596); mpfr_init(r26597); mpfr_init_set_str(r26598, "1/60", 10, MPFR_RNDN); mpfr_init(r26599); mpfr_init_set_str(r26600, "5", 10, MPFR_RNDN); mpfr_init(r26601); mpfr_init(r26602); mpfr_init_set_str(r26603, "2", 10, MPFR_RNDN); mpfr_init(r26604); mpfr_init_set_str(r26605, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26606, "3", 10, MPFR_RNDN); mpfr_init(r26607); mpfr_init(r26608); mpfr_init(r26609); mpfr_init(r26610); mpfr_init(r26611); mpfr_init(r26612); } double f_dm(double re, double im) { ; mpfr_set_d(r26595, re, MPFR_RNDN); mpfr_sin(r26596, r26595, MPFR_RNDN); mpfr_mul(r26597, r26594, r26596, MPFR_RNDN); ; mpfr_set_d(r26599, im, MPFR_RNDN); ; mpfr_pow(r26601, r26599, r26600, MPFR_RNDN); mpfr_mul(r26602, r26598, r26601, MPFR_RNDN); ; mpfr_mul(r26604, r26603, r26599, MPFR_RNDN); ; ; mpfr_pow(r26607, r26599, r26606, MPFR_RNDN); mpfr_mul(r26608, r26605, r26607, MPFR_RNDN); mpfr_add(r26609, r26604, r26608, MPFR_RNDN); mpfr_add(r26610, r26602, r26609, MPFR_RNDN); mpfr_neg(r26611, r26610, MPFR_RNDN); mpfr_mul(r26612, r26597, r26611, MPFR_RNDN); return mpfr_get_d(r26612, MPFR_RNDN); }