#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r23683 = 0.5; float r23684 = re; float r23685 = sin(r23684); float r23686 = r23683 * r23685; float r23687 = im; float r23688 = -r23687; float r23689 = exp(r23688); float r23690 = exp(r23687); float r23691 = r23689 - r23690; float r23692 = r23686 * r23691; return r23692; } double f_id(double re, double im) { double r23693 = 0.5; double r23694 = re; double r23695 = sin(r23694); double r23696 = r23693 * r23695; double r23697 = im; double r23698 = -r23697; double r23699 = exp(r23698); double r23700 = exp(r23697); double r23701 = r23699 - r23700; double r23702 = r23696 * r23701; return r23702; } double f_of(float re, float im) { float r23703 = 0.5; float r23704 = re; float r23705 = sin(r23704); float r23706 = r23703 * r23705; float r23707 = 1/60; float r23708 = im; float r23709 = 5; float r23710 = pow(r23708, r23709); float r23711 = r23707 * r23710; float r23712 = 2; float r23713 = r23712 * r23708; float r23714 = 1/3; float r23715 = 3; float r23716 = pow(r23708, r23715); float r23717 = r23714 * r23716; float r23718 = r23713 + r23717; float r23719 = r23711 + r23718; float r23720 = -r23719; float r23721 = r23706 * r23720; return r23721; } double f_od(double re, double im) { double r23722 = 0.5; double r23723 = re; double r23724 = sin(r23723); double r23725 = r23722 * r23724; double r23726 = 1/60; double r23727 = im; double r23728 = 5; double r23729 = pow(r23727, r23728); double r23730 = r23726 * r23729; double r23731 = 2; double r23732 = r23731 * r23727; double r23733 = 1/3; double r23734 = 3; double r23735 = pow(r23727, r23734); double r23736 = r23733 * r23735; double r23737 = r23732 + r23736; double r23738 = r23730 + r23737; double r23739 = -r23738; double r23740 = r23725 * r23739; return r23740; } 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 r23741, r23742, r23743, r23744, r23745, r23746, r23747, r23748, r23749, r23750; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init_set_str(r23741, "0.5", 10, MPFR_RNDN); mpfr_init(r23742); mpfr_init(r23743); mpfr_init(r23744); mpfr_init(r23745); mpfr_init(r23746); mpfr_init(r23747); mpfr_init(r23748); mpfr_init(r23749); mpfr_init(r23750); } double f_im(double re, double im) { ; mpfr_set_d(r23742, re, MPFR_RNDN); mpfr_sin(r23743, r23742, MPFR_RNDN); mpfr_mul(r23744, r23741, r23743, MPFR_RNDN); mpfr_set_d(r23745, im, MPFR_RNDN); mpfr_neg(r23746, r23745, MPFR_RNDN); mpfr_exp(r23747, r23746, MPFR_RNDN); mpfr_exp(r23748, r23745, MPFR_RNDN); mpfr_sub(r23749, r23747, r23748, MPFR_RNDN); mpfr_mul(r23750, r23744, r23749, MPFR_RNDN); return mpfr_get_d(r23750, MPFR_RNDN); } static mpfr_t r23751, r23752, r23753, r23754, r23755, r23756, r23757, r23758, r23759, r23760, r23761, r23762, r23763, r23764, r23765, r23766, r23767, r23768, r23769; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r23751, "0.5", 10, MPFR_RNDN); mpfr_init(r23752); mpfr_init(r23753); mpfr_init(r23754); mpfr_init_set_str(r23755, "1/60", 10, MPFR_RNDN); mpfr_init(r23756); mpfr_init_set_str(r23757, "5", 10, MPFR_RNDN); mpfr_init(r23758); mpfr_init(r23759); mpfr_init_set_str(r23760, "2", 10, MPFR_RNDN); mpfr_init(r23761); mpfr_init_set_str(r23762, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r23763, "3", 10, MPFR_RNDN); mpfr_init(r23764); mpfr_init(r23765); mpfr_init(r23766); mpfr_init(r23767); mpfr_init(r23768); mpfr_init(r23769); } double f_fm(double re, double im) { ; mpfr_set_d(r23752, re, MPFR_RNDN); mpfr_sin(r23753, r23752, MPFR_RNDN); mpfr_mul(r23754, r23751, r23753, MPFR_RNDN); ; mpfr_set_d(r23756, im, MPFR_RNDN); ; mpfr_pow(r23758, r23756, r23757, MPFR_RNDN); mpfr_mul(r23759, r23755, r23758, MPFR_RNDN); ; mpfr_mul(r23761, r23760, r23756, MPFR_RNDN); ; ; mpfr_pow(r23764, r23756, r23763, MPFR_RNDN); mpfr_mul(r23765, r23762, r23764, MPFR_RNDN); mpfr_add(r23766, r23761, r23765, MPFR_RNDN); mpfr_add(r23767, r23759, r23766, MPFR_RNDN); mpfr_neg(r23768, r23767, MPFR_RNDN); mpfr_mul(r23769, r23754, r23768, MPFR_RNDN); return mpfr_get_d(r23769, MPFR_RNDN); } static mpfr_t r23770, r23771, r23772, r23773, r23774, r23775, r23776, r23777, r23778, r23779, r23780, r23781, r23782, r23783, r23784, r23785, r23786, r23787, r23788; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r23770, "0.5", 10, MPFR_RNDN); mpfr_init(r23771); mpfr_init(r23772); mpfr_init(r23773); mpfr_init_set_str(r23774, "1/60", 10, MPFR_RNDN); mpfr_init(r23775); mpfr_init_set_str(r23776, "5", 10, MPFR_RNDN); mpfr_init(r23777); mpfr_init(r23778); mpfr_init_set_str(r23779, "2", 10, MPFR_RNDN); mpfr_init(r23780); mpfr_init_set_str(r23781, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r23782, "3", 10, MPFR_RNDN); mpfr_init(r23783); mpfr_init(r23784); mpfr_init(r23785); mpfr_init(r23786); mpfr_init(r23787); mpfr_init(r23788); } double f_dm(double re, double im) { ; mpfr_set_d(r23771, re, MPFR_RNDN); mpfr_sin(r23772, r23771, MPFR_RNDN); mpfr_mul(r23773, r23770, r23772, MPFR_RNDN); ; mpfr_set_d(r23775, im, MPFR_RNDN); ; mpfr_pow(r23777, r23775, r23776, MPFR_RNDN); mpfr_mul(r23778, r23774, r23777, MPFR_RNDN); ; mpfr_mul(r23780, r23779, r23775, MPFR_RNDN); ; ; mpfr_pow(r23783, r23775, r23782, MPFR_RNDN); mpfr_mul(r23784, r23781, r23783, MPFR_RNDN); mpfr_add(r23785, r23780, r23784, MPFR_RNDN); mpfr_add(r23786, r23778, r23785, MPFR_RNDN); mpfr_neg(r23787, r23786, MPFR_RNDN); mpfr_mul(r23788, r23773, r23787, MPFR_RNDN); return mpfr_get_d(r23788, MPFR_RNDN); }