#include #include #include #include #include char *name = "math.sin on complex, imaginary part"; double f_if(float re, float im) { float r19671 = 0.5f; float r19672 = re; float r19673 = cos(r19672); float r19674 = r19671 * r19673; float r19675 = 0.0f; float r19676 = im; float r19677 = r19675 - r19676; float r19678 = exp(r19677); float r19679 = exp(r19676); float r19680 = r19678 - r19679; float r19681 = r19674 * r19680; return r19681; } double f_id(double re, double im) { double r19682 = 0.5; double r19683 = re; double r19684 = cos(r19683); double r19685 = r19682 * r19684; double r19686 = 0.0; double r19687 = im; double r19688 = r19686 - r19687; double r19689 = exp(r19688); double r19690 = exp(r19687); double r19691 = r19689 - r19690; double r19692 = r19685 * r19691; return r19692; } double f_of(float re, float im) { float r19693 = 0.016666666666666666f; float r19694 = im; float r19695 = 5.0f; float r19696 = pow(r19694, r19695); float r19697 = r19693 * r19696; float r19698 = 2.0f; float r19699 = r19698 * r19694; float r19700 = 0.3333333333333333f; float r19701 = 3.0f; float r19702 = pow(r19694, r19701); float r19703 = r19700 * r19702; float r19704 = r19699 + r19703; float r19705 = r19697 + r19704; float r19706 = -r19705; float r19707 = re; float r19708 = cos(r19707); float r19709 = 0.5f; float r19710 = r19708 * r19709; float r19711 = r19706 * r19710; return r19711; } double f_od(double re, double im) { double r19712 = 0.016666666666666666; double r19713 = im; double r19714 = 5.0; double r19715 = pow(r19713, r19714); double r19716 = r19712 * r19715; double r19717 = 2.0; double r19718 = r19717 * r19713; double r19719 = 0.3333333333333333; double r19720 = 3.0; double r19721 = pow(r19713, r19720); double r19722 = r19719 * r19721; double r19723 = r19718 + r19722; double r19724 = r19716 + r19723; double r19725 = -r19724; double r19726 = re; double r19727 = cos(r19726); double r19728 = 0.5; double r19729 = r19727 * r19728; double r19730 = r19725 * r19729; return r19730; } 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 r19731, r19732, r19733, r19734, r19735, r19736, r19737, r19738, r19739, r19740, r19741; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r19731, "0.5", 10, MPFR_RNDN); mpfr_init(r19732); mpfr_init(r19733); mpfr_init(r19734); mpfr_init_set_str(r19735, "0", 10, MPFR_RNDN); mpfr_init(r19736); mpfr_init(r19737); mpfr_init(r19738); mpfr_init(r19739); mpfr_init(r19740); mpfr_init(r19741); } double f_im(double re, double im) { ; mpfr_set_d(r19732, re, MPFR_RNDN); mpfr_cos(r19733, r19732, MPFR_RNDN); mpfr_mul(r19734, r19731, r19733, MPFR_RNDN); ; mpfr_set_d(r19736, im, MPFR_RNDN); mpfr_sub(r19737, r19735, r19736, MPFR_RNDN); mpfr_exp(r19738, r19737, MPFR_RNDN); mpfr_exp(r19739, r19736, MPFR_RNDN); mpfr_sub(r19740, r19738, r19739, MPFR_RNDN); mpfr_mul(r19741, r19734, r19740, MPFR_RNDN); return mpfr_get_d(r19741, MPFR_RNDN); } static mpfr_t r19742, r19743, r19744, r19745, r19746, r19747, r19748, r19749, r19750, r19751, r19752, r19753, r19754, r19755, r19756, r19757, r19758, r19759, r19760; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19742, "1/60", 10, MPFR_RNDN); mpfr_init(r19743); mpfr_init_set_str(r19744, "5", 10, MPFR_RNDN); mpfr_init(r19745); mpfr_init(r19746); mpfr_init_set_str(r19747, "2", 10, MPFR_RNDN); mpfr_init(r19748); mpfr_init_set_str(r19749, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19750, "3", 10, MPFR_RNDN); mpfr_init(r19751); mpfr_init(r19752); mpfr_init(r19753); mpfr_init(r19754); mpfr_init(r19755); mpfr_init(r19756); mpfr_init(r19757); mpfr_init_set_str(r19758, "0.5", 10, MPFR_RNDN); mpfr_init(r19759); mpfr_init(r19760); } double f_fm(double re, double im) { ; mpfr_set_d(r19743, im, MPFR_RNDN); ; mpfr_pow(r19745, r19743, r19744, MPFR_RNDN); mpfr_mul(r19746, r19742, r19745, MPFR_RNDN); ; mpfr_mul(r19748, r19747, r19743, MPFR_RNDN); ; ; mpfr_pow(r19751, r19743, r19750, MPFR_RNDN); mpfr_mul(r19752, r19749, r19751, MPFR_RNDN); mpfr_add(r19753, r19748, r19752, MPFR_RNDN); mpfr_add(r19754, r19746, r19753, MPFR_RNDN); mpfr_neg(r19755, r19754, MPFR_RNDN); mpfr_set_d(r19756, re, MPFR_RNDN); mpfr_cos(r19757, r19756, MPFR_RNDN); ; mpfr_mul(r19759, r19757, r19758, MPFR_RNDN); mpfr_mul(r19760, r19755, r19759, MPFR_RNDN); return mpfr_get_d(r19760, MPFR_RNDN); } static mpfr_t r19761, r19762, r19763, r19764, r19765, r19766, r19767, r19768, r19769, r19770, r19771, r19772, r19773, r19774, r19775, r19776, r19777, r19778, r19779; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19761, "1/60", 10, MPFR_RNDN); mpfr_init(r19762); mpfr_init_set_str(r19763, "5", 10, MPFR_RNDN); mpfr_init(r19764); mpfr_init(r19765); mpfr_init_set_str(r19766, "2", 10, MPFR_RNDN); mpfr_init(r19767); mpfr_init_set_str(r19768, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19769, "3", 10, MPFR_RNDN); mpfr_init(r19770); mpfr_init(r19771); mpfr_init(r19772); mpfr_init(r19773); mpfr_init(r19774); mpfr_init(r19775); mpfr_init(r19776); mpfr_init_set_str(r19777, "0.5", 10, MPFR_RNDN); mpfr_init(r19778); mpfr_init(r19779); } double f_dm(double re, double im) { ; mpfr_set_d(r19762, im, MPFR_RNDN); ; mpfr_pow(r19764, r19762, r19763, MPFR_RNDN); mpfr_mul(r19765, r19761, r19764, MPFR_RNDN); ; mpfr_mul(r19767, r19766, r19762, MPFR_RNDN); ; ; mpfr_pow(r19770, r19762, r19769, MPFR_RNDN); mpfr_mul(r19771, r19768, r19770, MPFR_RNDN); mpfr_add(r19772, r19767, r19771, MPFR_RNDN); mpfr_add(r19773, r19765, r19772, MPFR_RNDN); mpfr_neg(r19774, r19773, MPFR_RNDN); mpfr_set_d(r19775, re, MPFR_RNDN); mpfr_cos(r19776, r19775, MPFR_RNDN); ; mpfr_mul(r19778, r19776, r19777, MPFR_RNDN); mpfr_mul(r19779, r19774, r19778, MPFR_RNDN); return mpfr_get_d(r19779, MPFR_RNDN); }