#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r19457 = 0.5f; float r19458 = re; float r19459 = sin(r19458); float r19460 = r19457 * r19459; float r19461 = im; float r19462 = -r19461; float r19463 = exp(r19462); float r19464 = exp(r19461); float r19465 = r19463 - r19464; float r19466 = r19460 * r19465; return r19466; } double f_id(double re, double im) { double r19467 = 0.5; double r19468 = re; double r19469 = sin(r19468); double r19470 = r19467 * r19469; double r19471 = im; double r19472 = -r19471; double r19473 = exp(r19472); double r19474 = exp(r19471); double r19475 = r19473 - r19474; double r19476 = r19470 * r19475; return r19476; } double f_of(float re, float im) { float r19477 = 0.5f; float r19478 = re; float r19479 = sin(r19478); float r19480 = r19477 * r19479; float r19481 = 0.01666666753590107f; float r19482 = im; float r19483 = 5.0f; float r19484 = pow(r19482, r19483); float r19485 = r19481 * r19484; float r19486 = 2.0f; float r19487 = r19486 * r19482; float r19488 = 0.3333333432674408f; float r19489 = 3.0f; float r19490 = pow(r19482, r19489); float r19491 = r19488 * r19490; float r19492 = r19487 + r19491; float r19493 = r19485 + r19492; float r19494 = -r19493; float r19495 = r19480 * r19494; return r19495; } double f_od(double re, double im) { double r19496 = 0.5; double r19497 = re; double r19498 = sin(r19497); double r19499 = r19496 * r19498; double r19500 = 0.01666666753590107; double r19501 = im; double r19502 = 5.0; double r19503 = pow(r19501, r19502); double r19504 = r19500 * r19503; double r19505 = 2.0; double r19506 = r19505 * r19501; double r19507 = 0.3333333432674408; double r19508 = 3.0; double r19509 = pow(r19501, r19508); double r19510 = r19507 * r19509; double r19511 = r19506 + r19510; double r19512 = r19504 + r19511; double r19513 = -r19512; double r19514 = r19499 * r19513; return r19514; } 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 r19515, r19516, r19517, r19518, r19519, r19520, r19521, r19522, r19523, r19524; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r19515, "0.5", 10, MPFR_RNDN); mpfr_init(r19516); mpfr_init(r19517); mpfr_init(r19518); mpfr_init(r19519); mpfr_init(r19520); mpfr_init(r19521); mpfr_init(r19522); mpfr_init(r19523); mpfr_init(r19524); } double f_im(double re, double im) { ; mpfr_set_d(r19516, re, MPFR_RNDN); mpfr_sin(r19517, r19516, MPFR_RNDN); mpfr_mul(r19518, r19515, r19517, MPFR_RNDN); mpfr_set_d(r19519, im, MPFR_RNDN); mpfr_neg(r19520, r19519, MPFR_RNDN); mpfr_exp(r19521, r19520, MPFR_RNDN); mpfr_exp(r19522, r19519, MPFR_RNDN); mpfr_sub(r19523, r19521, r19522, MPFR_RNDN); mpfr_mul(r19524, r19518, r19523, MPFR_RNDN); return mpfr_get_d(r19524, MPFR_RNDN); } static mpfr_t r19525, r19526, r19527, r19528, r19529, r19530, r19531, r19532, r19533, r19534, r19535, r19536, r19537, r19538, r19539, r19540, r19541, r19542, r19543; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19525, "0.5", 10, MPFR_RNDN); mpfr_init(r19526); mpfr_init(r19527); mpfr_init(r19528); mpfr_init_set_str(r19529, "1/60", 10, MPFR_RNDN); mpfr_init(r19530); mpfr_init_set_str(r19531, "5", 10, MPFR_RNDN); mpfr_init(r19532); mpfr_init(r19533); mpfr_init_set_str(r19534, "2", 10, MPFR_RNDN); mpfr_init(r19535); mpfr_init_set_str(r19536, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19537, "3", 10, MPFR_RNDN); mpfr_init(r19538); mpfr_init(r19539); mpfr_init(r19540); mpfr_init(r19541); mpfr_init(r19542); mpfr_init(r19543); } double f_fm(double re, double im) { ; mpfr_set_d(r19526, re, MPFR_RNDN); mpfr_sin(r19527, r19526, MPFR_RNDN); mpfr_mul(r19528, r19525, r19527, MPFR_RNDN); ; mpfr_set_d(r19530, im, MPFR_RNDN); ; mpfr_pow(r19532, r19530, r19531, MPFR_RNDN); mpfr_mul(r19533, r19529, r19532, MPFR_RNDN); ; mpfr_mul(r19535, r19534, r19530, MPFR_RNDN); ; ; mpfr_pow(r19538, r19530, r19537, MPFR_RNDN); mpfr_mul(r19539, r19536, r19538, MPFR_RNDN); mpfr_add(r19540, r19535, r19539, MPFR_RNDN); mpfr_add(r19541, r19533, r19540, MPFR_RNDN); mpfr_neg(r19542, r19541, MPFR_RNDN); mpfr_mul(r19543, r19528, r19542, MPFR_RNDN); return mpfr_get_d(r19543, MPFR_RNDN); } static mpfr_t r19544, r19545, r19546, r19547, r19548, r19549, r19550, r19551, r19552, r19553, r19554, r19555, r19556, r19557, r19558, r19559, r19560, r19561, r19562; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19544, "0.5", 10, MPFR_RNDN); mpfr_init(r19545); mpfr_init(r19546); mpfr_init(r19547); mpfr_init_set_str(r19548, "1/60", 10, MPFR_RNDN); mpfr_init(r19549); mpfr_init_set_str(r19550, "5", 10, MPFR_RNDN); mpfr_init(r19551); mpfr_init(r19552); mpfr_init_set_str(r19553, "2", 10, MPFR_RNDN); mpfr_init(r19554); mpfr_init_set_str(r19555, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19556, "3", 10, MPFR_RNDN); mpfr_init(r19557); mpfr_init(r19558); mpfr_init(r19559); mpfr_init(r19560); mpfr_init(r19561); mpfr_init(r19562); } double f_dm(double re, double im) { ; mpfr_set_d(r19545, re, MPFR_RNDN); mpfr_sin(r19546, r19545, MPFR_RNDN); mpfr_mul(r19547, r19544, r19546, MPFR_RNDN); ; mpfr_set_d(r19549, im, MPFR_RNDN); ; mpfr_pow(r19551, r19549, r19550, MPFR_RNDN); mpfr_mul(r19552, r19548, r19551, MPFR_RNDN); ; mpfr_mul(r19554, r19553, r19549, MPFR_RNDN); ; ; mpfr_pow(r19557, r19549, r19556, MPFR_RNDN); mpfr_mul(r19558, r19555, r19557, MPFR_RNDN); mpfr_add(r19559, r19554, r19558, MPFR_RNDN); mpfr_add(r19560, r19552, r19559, MPFR_RNDN); mpfr_neg(r19561, r19560, MPFR_RNDN); mpfr_mul(r19562, r19547, r19561, MPFR_RNDN); return mpfr_get_d(r19562, MPFR_RNDN); }