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