#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r19589 = 0.5f; float r19590 = re; float r19591 = sin(r19590); float r19592 = r19589 * r19591; float r19593 = im; float r19594 = -r19593; float r19595 = exp(r19594); float r19596 = exp(r19593); float r19597 = r19595 - r19596; float r19598 = r19592 * r19597; return r19598; } double f_id(double re, double im) { double r19599 = 0.5; double r19600 = re; double r19601 = sin(r19600); double r19602 = r19599 * r19601; double r19603 = im; double r19604 = -r19603; double r19605 = exp(r19604); double r19606 = exp(r19603); double r19607 = r19605 - r19606; double r19608 = r19602 * r19607; return r19608; } double f_of(float re, float im) { float r19609 = 0.5f; float r19610 = re; float r19611 = sin(r19610); float r19612 = r19609 * r19611; float r19613 = 0.01666666753590107f; float r19614 = im; float r19615 = 5.0f; float r19616 = pow(r19614, r19615); float r19617 = r19613 * r19616; float r19618 = 2.0f; float r19619 = r19618 * r19614; float r19620 = 0.3333333432674408f; float r19621 = 3.0f; float r19622 = pow(r19614, r19621); float r19623 = r19620 * r19622; float r19624 = r19619 + r19623; float r19625 = r19617 + r19624; float r19626 = -r19625; float r19627 = r19612 * r19626; return r19627; } double f_od(double re, double im) { double r19628 = 0.5; double r19629 = re; double r19630 = sin(r19629); double r19631 = r19628 * r19630; double r19632 = 0.01666666753590107; double r19633 = im; double r19634 = 5.0; double r19635 = pow(r19633, r19634); double r19636 = r19632 * r19635; double r19637 = 2.0; double r19638 = r19637 * r19633; double r19639 = 0.3333333432674408; double r19640 = 3.0; double r19641 = pow(r19633, r19640); double r19642 = r19639 * r19641; double r19643 = r19638 + r19642; double r19644 = r19636 + r19643; double r19645 = -r19644; double r19646 = r19631 * r19645; return r19646; } 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 r19647, r19648, r19649, r19650, r19651, r19652, r19653, r19654, r19655, r19656; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r19647, "0.5", 10, MPFR_RNDN); mpfr_init(r19648); mpfr_init(r19649); mpfr_init(r19650); mpfr_init(r19651); mpfr_init(r19652); mpfr_init(r19653); mpfr_init(r19654); mpfr_init(r19655); mpfr_init(r19656); } double f_im(double re, double im) { ; mpfr_set_d(r19648, re, MPFR_RNDN); mpfr_sin(r19649, r19648, MPFR_RNDN); mpfr_mul(r19650, r19647, r19649, MPFR_RNDN); mpfr_set_d(r19651, im, MPFR_RNDN); mpfr_neg(r19652, r19651, MPFR_RNDN); mpfr_exp(r19653, r19652, MPFR_RNDN); mpfr_exp(r19654, r19651, MPFR_RNDN); mpfr_sub(r19655, r19653, r19654, MPFR_RNDN); mpfr_mul(r19656, r19650, r19655, MPFR_RNDN); return mpfr_get_d(r19656, MPFR_RNDN); } static mpfr_t r19657, r19658, r19659, r19660, r19661, r19662, r19663, r19664, r19665, r19666, r19667, r19668, r19669, r19670, r19671, r19672, r19673, r19674, r19675; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19657, "0.5", 10, MPFR_RNDN); mpfr_init(r19658); mpfr_init(r19659); mpfr_init(r19660); mpfr_init_set_str(r19661, "1/60", 10, MPFR_RNDN); mpfr_init(r19662); mpfr_init_set_str(r19663, "5", 10, MPFR_RNDN); mpfr_init(r19664); mpfr_init(r19665); mpfr_init_set_str(r19666, "2", 10, MPFR_RNDN); mpfr_init(r19667); mpfr_init_set_str(r19668, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19669, "3", 10, MPFR_RNDN); mpfr_init(r19670); mpfr_init(r19671); mpfr_init(r19672); mpfr_init(r19673); mpfr_init(r19674); mpfr_init(r19675); } double f_fm(double re, double im) { ; mpfr_set_d(r19658, re, MPFR_RNDN); mpfr_sin(r19659, r19658, MPFR_RNDN); mpfr_mul(r19660, r19657, r19659, MPFR_RNDN); ; mpfr_set_d(r19662, im, MPFR_RNDN); ; mpfr_pow(r19664, r19662, r19663, MPFR_RNDN); mpfr_mul(r19665, r19661, r19664, MPFR_RNDN); ; mpfr_mul(r19667, r19666, r19662, MPFR_RNDN); ; ; mpfr_pow(r19670, r19662, r19669, MPFR_RNDN); mpfr_mul(r19671, r19668, r19670, MPFR_RNDN); mpfr_add(r19672, r19667, r19671, MPFR_RNDN); mpfr_add(r19673, r19665, r19672, MPFR_RNDN); mpfr_neg(r19674, r19673, MPFR_RNDN); mpfr_mul(r19675, r19660, r19674, MPFR_RNDN); return mpfr_get_d(r19675, MPFR_RNDN); } static mpfr_t r19676, r19677, r19678, r19679, r19680, r19681, r19682, r19683, r19684, r19685, r19686, r19687, r19688, r19689, r19690, r19691, r19692, r19693, r19694; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19676, "0.5", 10, MPFR_RNDN); mpfr_init(r19677); mpfr_init(r19678); mpfr_init(r19679); mpfr_init_set_str(r19680, "1/60", 10, MPFR_RNDN); mpfr_init(r19681); mpfr_init_set_str(r19682, "5", 10, MPFR_RNDN); mpfr_init(r19683); mpfr_init(r19684); mpfr_init_set_str(r19685, "2", 10, MPFR_RNDN); mpfr_init(r19686); mpfr_init_set_str(r19687, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19688, "3", 10, MPFR_RNDN); mpfr_init(r19689); mpfr_init(r19690); mpfr_init(r19691); mpfr_init(r19692); mpfr_init(r19693); mpfr_init(r19694); } double f_dm(double re, double im) { ; mpfr_set_d(r19677, re, MPFR_RNDN); mpfr_sin(r19678, r19677, MPFR_RNDN); mpfr_mul(r19679, r19676, r19678, MPFR_RNDN); ; mpfr_set_d(r19681, im, MPFR_RNDN); ; mpfr_pow(r19683, r19681, r19682, MPFR_RNDN); mpfr_mul(r19684, r19680, r19683, MPFR_RNDN); ; mpfr_mul(r19686, r19685, r19681, MPFR_RNDN); ; ; mpfr_pow(r19689, r19681, r19688, MPFR_RNDN); mpfr_mul(r19690, r19687, r19689, MPFR_RNDN); mpfr_add(r19691, r19686, r19690, MPFR_RNDN); mpfr_add(r19692, r19684, r19691, MPFR_RNDN); mpfr_neg(r19693, r19692, MPFR_RNDN); mpfr_mul(r19694, r19679, r19693, MPFR_RNDN); return mpfr_get_d(r19694, MPFR_RNDN); }