#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r20449 = 0.5f; float r20450 = re; float r20451 = sin(r20450); float r20452 = r20449 * r20451; float r20453 = im; float r20454 = -r20453; float r20455 = exp(r20454); float r20456 = exp(r20453); float r20457 = r20455 - r20456; float r20458 = r20452 * r20457; return r20458; } double f_id(double re, double im) { double r20459 = 0.5; double r20460 = re; double r20461 = sin(r20460); double r20462 = r20459 * r20461; double r20463 = im; double r20464 = -r20463; double r20465 = exp(r20464); double r20466 = exp(r20463); double r20467 = r20465 - r20466; double r20468 = r20462 * r20467; return r20468; } double f_of(float re, float im) { float r20469 = 0.5f; float r20470 = re; float r20471 = sin(r20470); float r20472 = r20469 * r20471; float r20473 = 0.016666666666666666f; float r20474 = im; float r20475 = 5.0f; float r20476 = pow(r20474, r20475); float r20477 = r20473 * r20476; float r20478 = 2.0f; float r20479 = r20478 * r20474; float r20480 = 0.3333333333333333f; float r20481 = 3.0f; float r20482 = pow(r20474, r20481); float r20483 = r20480 * r20482; float r20484 = r20479 + r20483; float r20485 = r20477 + r20484; float r20486 = -r20485; float r20487 = r20472 * r20486; return r20487; } double f_od(double re, double im) { double r20488 = 0.5; double r20489 = re; double r20490 = sin(r20489); double r20491 = r20488 * r20490; double r20492 = 0.016666666666666666; double r20493 = im; double r20494 = 5.0; double r20495 = pow(r20493, r20494); double r20496 = r20492 * r20495; double r20497 = 2.0; double r20498 = r20497 * r20493; double r20499 = 0.3333333333333333; double r20500 = 3.0; double r20501 = pow(r20493, r20500); double r20502 = r20499 * r20501; double r20503 = r20498 + r20502; double r20504 = r20496 + r20503; double r20505 = -r20504; double r20506 = r20491 * r20505; return r20506; } 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 r20507, r20508, r20509, r20510, r20511, r20512, r20513, r20514, r20515, r20516; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r20507, "0.5", 10, MPFR_RNDN); mpfr_init(r20508); mpfr_init(r20509); mpfr_init(r20510); mpfr_init(r20511); mpfr_init(r20512); mpfr_init(r20513); mpfr_init(r20514); mpfr_init(r20515); mpfr_init(r20516); } double f_im(double re, double im) { ; mpfr_set_d(r20508, re, MPFR_RNDN); mpfr_sin(r20509, r20508, MPFR_RNDN); mpfr_mul(r20510, r20507, r20509, MPFR_RNDN); mpfr_set_d(r20511, im, MPFR_RNDN); mpfr_neg(r20512, r20511, MPFR_RNDN); mpfr_exp(r20513, r20512, MPFR_RNDN); mpfr_exp(r20514, r20511, MPFR_RNDN); mpfr_sub(r20515, r20513, r20514, MPFR_RNDN); mpfr_mul(r20516, r20510, r20515, MPFR_RNDN); return mpfr_get_d(r20516, MPFR_RNDN); } static mpfr_t r20517, r20518, r20519, r20520, r20521, r20522, r20523, r20524, r20525, r20526, r20527, r20528, r20529, r20530, r20531, r20532, r20533, r20534, r20535; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r20517, "0.5", 10, MPFR_RNDN); mpfr_init(r20518); mpfr_init(r20519); mpfr_init(r20520); mpfr_init_set_str(r20521, "1/60", 10, MPFR_RNDN); mpfr_init(r20522); mpfr_init_set_str(r20523, "5", 10, MPFR_RNDN); mpfr_init(r20524); mpfr_init(r20525); mpfr_init_set_str(r20526, "2", 10, MPFR_RNDN); mpfr_init(r20527); mpfr_init_set_str(r20528, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r20529, "3", 10, MPFR_RNDN); mpfr_init(r20530); mpfr_init(r20531); mpfr_init(r20532); mpfr_init(r20533); mpfr_init(r20534); mpfr_init(r20535); } double f_fm(double re, double im) { ; mpfr_set_d(r20518, re, MPFR_RNDN); mpfr_sin(r20519, r20518, MPFR_RNDN); mpfr_mul(r20520, r20517, r20519, MPFR_RNDN); ; mpfr_set_d(r20522, im, MPFR_RNDN); ; mpfr_pow(r20524, r20522, r20523, MPFR_RNDN); mpfr_mul(r20525, r20521, r20524, MPFR_RNDN); ; mpfr_mul(r20527, r20526, r20522, MPFR_RNDN); ; ; mpfr_pow(r20530, r20522, r20529, MPFR_RNDN); mpfr_mul(r20531, r20528, r20530, MPFR_RNDN); mpfr_add(r20532, r20527, r20531, MPFR_RNDN); mpfr_add(r20533, r20525, r20532, MPFR_RNDN); mpfr_neg(r20534, r20533, MPFR_RNDN); mpfr_mul(r20535, r20520, r20534, MPFR_RNDN); return mpfr_get_d(r20535, MPFR_RNDN); } static mpfr_t r20536, r20537, r20538, r20539, r20540, r20541, r20542, r20543, r20544, r20545, r20546, r20547, r20548, r20549, r20550, r20551, r20552, r20553, r20554; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r20536, "0.5", 10, MPFR_RNDN); mpfr_init(r20537); mpfr_init(r20538); mpfr_init(r20539); mpfr_init_set_str(r20540, "1/60", 10, MPFR_RNDN); mpfr_init(r20541); mpfr_init_set_str(r20542, "5", 10, MPFR_RNDN); mpfr_init(r20543); mpfr_init(r20544); mpfr_init_set_str(r20545, "2", 10, MPFR_RNDN); mpfr_init(r20546); mpfr_init_set_str(r20547, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r20548, "3", 10, MPFR_RNDN); mpfr_init(r20549); mpfr_init(r20550); mpfr_init(r20551); mpfr_init(r20552); mpfr_init(r20553); mpfr_init(r20554); } double f_dm(double re, double im) { ; mpfr_set_d(r20537, re, MPFR_RNDN); mpfr_sin(r20538, r20537, MPFR_RNDN); mpfr_mul(r20539, r20536, r20538, MPFR_RNDN); ; mpfr_set_d(r20541, im, MPFR_RNDN); ; mpfr_pow(r20543, r20541, r20542, MPFR_RNDN); mpfr_mul(r20544, r20540, r20543, MPFR_RNDN); ; mpfr_mul(r20546, r20545, r20541, MPFR_RNDN); ; ; mpfr_pow(r20549, r20541, r20548, MPFR_RNDN); mpfr_mul(r20550, r20547, r20549, MPFR_RNDN); mpfr_add(r20551, r20546, r20550, MPFR_RNDN); mpfr_add(r20552, r20544, r20551, MPFR_RNDN); mpfr_neg(r20553, r20552, MPFR_RNDN); mpfr_mul(r20554, r20539, r20553, MPFR_RNDN); return mpfr_get_d(r20554, MPFR_RNDN); }