#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r19697 = 0.5f; float r19698 = re; float r19699 = sin(r19698); float r19700 = r19697 * r19699; float r19701 = im; float r19702 = -r19701; float r19703 = exp(r19702); float r19704 = exp(r19701); float r19705 = r19703 - r19704; float r19706 = r19700 * r19705; return r19706; } double f_id(double re, double im) { double r19707 = 0.5; double r19708 = re; double r19709 = sin(r19708); double r19710 = r19707 * r19709; double r19711 = im; double r19712 = -r19711; double r19713 = exp(r19712); double r19714 = exp(r19711); double r19715 = r19713 - r19714; double r19716 = r19710 * r19715; return r19716; } double f_of(float re, float im) { float r19717 = 0.5f; float r19718 = re; float r19719 = sin(r19718); float r19720 = r19717 * r19719; float r19721 = 0.01666666753590107f; float r19722 = im; float r19723 = 5.0f; float r19724 = pow(r19722, r19723); float r19725 = r19721 * r19724; float r19726 = 2.0f; float r19727 = r19726 * r19722; float r19728 = 0.3333333432674408f; float r19729 = 3.0f; float r19730 = pow(r19722, r19729); float r19731 = r19728 * r19730; float r19732 = r19727 + r19731; float r19733 = r19725 + r19732; float r19734 = -r19733; float r19735 = r19720 * r19734; return r19735; } double f_od(double re, double im) { double r19736 = 0.5; double r19737 = re; double r19738 = sin(r19737); double r19739 = r19736 * r19738; double r19740 = 0.01666666753590107; double r19741 = im; double r19742 = 5.0; double r19743 = pow(r19741, r19742); double r19744 = r19740 * r19743; double r19745 = 2.0; double r19746 = r19745 * r19741; double r19747 = 0.3333333432674408; double r19748 = 3.0; double r19749 = pow(r19741, r19748); double r19750 = r19747 * r19749; double r19751 = r19746 + r19750; double r19752 = r19744 + r19751; double r19753 = -r19752; double r19754 = r19739 * r19753; return r19754; } 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 r19755, r19756, r19757, r19758, r19759, r19760, r19761, r19762, r19763, r19764; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r19755, "0.5", 10, MPFR_RNDN); mpfr_init(r19756); mpfr_init(r19757); mpfr_init(r19758); mpfr_init(r19759); mpfr_init(r19760); mpfr_init(r19761); mpfr_init(r19762); mpfr_init(r19763); mpfr_init(r19764); } double f_im(double re, double im) { ; mpfr_set_d(r19756, re, MPFR_RNDN); mpfr_sin(r19757, r19756, MPFR_RNDN); mpfr_mul(r19758, r19755, r19757, MPFR_RNDN); mpfr_set_d(r19759, im, MPFR_RNDN); mpfr_neg(r19760, r19759, MPFR_RNDN); mpfr_exp(r19761, r19760, MPFR_RNDN); mpfr_exp(r19762, r19759, MPFR_RNDN); mpfr_sub(r19763, r19761, r19762, MPFR_RNDN); mpfr_mul(r19764, r19758, r19763, MPFR_RNDN); return mpfr_get_d(r19764, MPFR_RNDN); } static mpfr_t r19765, r19766, r19767, r19768, r19769, r19770, r19771, r19772, r19773, r19774, r19775, r19776, r19777, r19778, r19779, r19780, r19781, r19782, r19783; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19765, "0.5", 10, MPFR_RNDN); mpfr_init(r19766); mpfr_init(r19767); mpfr_init(r19768); mpfr_init_set_str(r19769, "1/60", 10, MPFR_RNDN); mpfr_init(r19770); mpfr_init_set_str(r19771, "5", 10, MPFR_RNDN); mpfr_init(r19772); mpfr_init(r19773); mpfr_init_set_str(r19774, "2", 10, MPFR_RNDN); mpfr_init(r19775); mpfr_init_set_str(r19776, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19777, "3", 10, MPFR_RNDN); mpfr_init(r19778); mpfr_init(r19779); mpfr_init(r19780); mpfr_init(r19781); mpfr_init(r19782); mpfr_init(r19783); } double f_fm(double re, double im) { ; mpfr_set_d(r19766, re, MPFR_RNDN); mpfr_sin(r19767, r19766, MPFR_RNDN); mpfr_mul(r19768, r19765, r19767, MPFR_RNDN); ; mpfr_set_d(r19770, im, MPFR_RNDN); ; mpfr_pow(r19772, r19770, r19771, MPFR_RNDN); mpfr_mul(r19773, r19769, r19772, MPFR_RNDN); ; mpfr_mul(r19775, r19774, r19770, MPFR_RNDN); ; ; mpfr_pow(r19778, r19770, r19777, MPFR_RNDN); mpfr_mul(r19779, r19776, r19778, MPFR_RNDN); mpfr_add(r19780, r19775, r19779, MPFR_RNDN); mpfr_add(r19781, r19773, r19780, MPFR_RNDN); mpfr_neg(r19782, r19781, MPFR_RNDN); mpfr_mul(r19783, r19768, r19782, MPFR_RNDN); return mpfr_get_d(r19783, MPFR_RNDN); } static mpfr_t r19784, r19785, r19786, r19787, r19788, r19789, r19790, r19791, r19792, r19793, r19794, r19795, r19796, r19797, r19798, r19799, r19800, r19801, r19802; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19784, "0.5", 10, MPFR_RNDN); mpfr_init(r19785); mpfr_init(r19786); mpfr_init(r19787); mpfr_init_set_str(r19788, "1/60", 10, MPFR_RNDN); mpfr_init(r19789); mpfr_init_set_str(r19790, "5", 10, MPFR_RNDN); mpfr_init(r19791); mpfr_init(r19792); mpfr_init_set_str(r19793, "2", 10, MPFR_RNDN); mpfr_init(r19794); mpfr_init_set_str(r19795, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19796, "3", 10, MPFR_RNDN); mpfr_init(r19797); mpfr_init(r19798); mpfr_init(r19799); mpfr_init(r19800); mpfr_init(r19801); mpfr_init(r19802); } double f_dm(double re, double im) { ; mpfr_set_d(r19785, re, MPFR_RNDN); mpfr_sin(r19786, r19785, MPFR_RNDN); mpfr_mul(r19787, r19784, r19786, MPFR_RNDN); ; mpfr_set_d(r19789, im, MPFR_RNDN); ; mpfr_pow(r19791, r19789, r19790, MPFR_RNDN); mpfr_mul(r19792, r19788, r19791, MPFR_RNDN); ; mpfr_mul(r19794, r19793, r19789, MPFR_RNDN); ; ; mpfr_pow(r19797, r19789, r19796, MPFR_RNDN); mpfr_mul(r19798, r19795, r19797, MPFR_RNDN); mpfr_add(r19799, r19794, r19798, MPFR_RNDN); mpfr_add(r19800, r19792, r19799, MPFR_RNDN); mpfr_neg(r19801, r19800, MPFR_RNDN); mpfr_mul(r19802, r19787, r19801, MPFR_RNDN); return mpfr_get_d(r19802, MPFR_RNDN); }