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