#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r25726 = 0.5; float r25727 = re; float r25728 = sin(r25727); float r25729 = r25726 * r25728; float r25730 = im; float r25731 = -r25730; float r25732 = exp(r25731); float r25733 = exp(r25730); float r25734 = r25732 - r25733; float r25735 = r25729 * r25734; return r25735; } double f_id(double re, double im) { double r25736 = 0.5; double r25737 = re; double r25738 = sin(r25737); double r25739 = r25736 * r25738; double r25740 = im; double r25741 = -r25740; double r25742 = exp(r25741); double r25743 = exp(r25740); double r25744 = r25742 - r25743; double r25745 = r25739 * r25744; return r25745; } double f_of(float re, float im) { float r25746 = 0.5; float r25747 = re; float r25748 = sin(r25747); float r25749 = r25746 * r25748; float r25750 = 1/60; float r25751 = im; float r25752 = 5; float r25753 = pow(r25751, r25752); float r25754 = r25750 * r25753; float r25755 = -r25754; float r25756 = r25749 * r25755; float r25757 = 2; float r25758 = r25757 * r25751; float r25759 = 1/3; float r25760 = 3; float r25761 = pow(r25751, r25760); float r25762 = r25759 * r25761; float r25763 = r25758 + r25762; float r25764 = -r25763; float r25765 = r25749 * r25764; float r25766 = r25756 + r25765; return r25766; } double f_od(double re, double im) { double r25767 = 0.5; double r25768 = re; double r25769 = sin(r25768); double r25770 = r25767 * r25769; double r25771 = 1/60; double r25772 = im; double r25773 = 5; double r25774 = pow(r25772, r25773); double r25775 = r25771 * r25774; double r25776 = -r25775; double r25777 = r25770 * r25776; double r25778 = 2; double r25779 = r25778 * r25772; double r25780 = 1/3; double r25781 = 3; double r25782 = pow(r25772, r25781); double r25783 = r25780 * r25782; double r25784 = r25779 + r25783; double r25785 = -r25784; double r25786 = r25770 * r25785; double r25787 = r25777 + r25786; return r25787; } 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 r25788, r25789, r25790, r25791, r25792, r25793, r25794, r25795, r25796, r25797; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init_set_str(r25788, "0.5", 10, MPFR_RNDN); mpfr_init(r25789); mpfr_init(r25790); mpfr_init(r25791); mpfr_init(r25792); mpfr_init(r25793); mpfr_init(r25794); mpfr_init(r25795); mpfr_init(r25796); mpfr_init(r25797); } double f_im(double re, double im) { ; mpfr_set_d(r25789, re, MPFR_RNDN); mpfr_sin(r25790, r25789, MPFR_RNDN); mpfr_mul(r25791, r25788, r25790, MPFR_RNDN); mpfr_set_d(r25792, im, MPFR_RNDN); mpfr_neg(r25793, r25792, MPFR_RNDN); mpfr_exp(r25794, r25793, MPFR_RNDN); mpfr_exp(r25795, r25792, MPFR_RNDN); mpfr_sub(r25796, r25794, r25795, MPFR_RNDN); mpfr_mul(r25797, r25791, r25796, MPFR_RNDN); return mpfr_get_d(r25797, MPFR_RNDN); } static mpfr_t r25798, r25799, r25800, r25801, r25802, r25803, r25804, r25805, r25806, r25807, r25808, r25809, r25810, r25811, r25812, r25813, r25814, r25815, r25816, r25817, r25818; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r25798, "0.5", 10, MPFR_RNDN); mpfr_init(r25799); mpfr_init(r25800); mpfr_init(r25801); mpfr_init_set_str(r25802, "1/60", 10, MPFR_RNDN); mpfr_init(r25803); mpfr_init_set_str(r25804, "5", 10, MPFR_RNDN); mpfr_init(r25805); mpfr_init(r25806); mpfr_init(r25807); mpfr_init(r25808); mpfr_init_set_str(r25809, "2", 10, MPFR_RNDN); mpfr_init(r25810); mpfr_init_set_str(r25811, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r25812, "3", 10, MPFR_RNDN); mpfr_init(r25813); mpfr_init(r25814); mpfr_init(r25815); mpfr_init(r25816); mpfr_init(r25817); mpfr_init(r25818); } double f_fm(double re, double im) { ; mpfr_set_d(r25799, re, MPFR_RNDN); mpfr_sin(r25800, r25799, MPFR_RNDN); mpfr_mul(r25801, r25798, r25800, MPFR_RNDN); ; mpfr_set_d(r25803, im, MPFR_RNDN); ; mpfr_pow(r25805, r25803, r25804, MPFR_RNDN); mpfr_mul(r25806, r25802, r25805, MPFR_RNDN); mpfr_neg(r25807, r25806, MPFR_RNDN); mpfr_mul(r25808, r25801, r25807, MPFR_RNDN); ; mpfr_mul(r25810, r25809, r25803, MPFR_RNDN); ; ; mpfr_pow(r25813, r25803, r25812, MPFR_RNDN); mpfr_mul(r25814, r25811, r25813, MPFR_RNDN); mpfr_add(r25815, r25810, r25814, MPFR_RNDN); mpfr_neg(r25816, r25815, MPFR_RNDN); mpfr_mul(r25817, r25801, r25816, MPFR_RNDN); mpfr_add(r25818, r25808, r25817, MPFR_RNDN); return mpfr_get_d(r25818, MPFR_RNDN); } static mpfr_t r25819, r25820, r25821, r25822, r25823, r25824, r25825, r25826, r25827, r25828, r25829, r25830, r25831, r25832, r25833, r25834, r25835, r25836, r25837, r25838, r25839; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r25819, "0.5", 10, MPFR_RNDN); mpfr_init(r25820); mpfr_init(r25821); mpfr_init(r25822); mpfr_init_set_str(r25823, "1/60", 10, MPFR_RNDN); mpfr_init(r25824); mpfr_init_set_str(r25825, "5", 10, MPFR_RNDN); mpfr_init(r25826); mpfr_init(r25827); mpfr_init(r25828); mpfr_init(r25829); mpfr_init_set_str(r25830, "2", 10, MPFR_RNDN); mpfr_init(r25831); mpfr_init_set_str(r25832, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r25833, "3", 10, MPFR_RNDN); mpfr_init(r25834); mpfr_init(r25835); mpfr_init(r25836); mpfr_init(r25837); mpfr_init(r25838); mpfr_init(r25839); } double f_dm(double re, double im) { ; mpfr_set_d(r25820, re, MPFR_RNDN); mpfr_sin(r25821, r25820, MPFR_RNDN); mpfr_mul(r25822, r25819, r25821, MPFR_RNDN); ; mpfr_set_d(r25824, im, MPFR_RNDN); ; mpfr_pow(r25826, r25824, r25825, MPFR_RNDN); mpfr_mul(r25827, r25823, r25826, MPFR_RNDN); mpfr_neg(r25828, r25827, MPFR_RNDN); mpfr_mul(r25829, r25822, r25828, MPFR_RNDN); ; mpfr_mul(r25831, r25830, r25824, MPFR_RNDN); ; ; mpfr_pow(r25834, r25824, r25833, MPFR_RNDN); mpfr_mul(r25835, r25832, r25834, MPFR_RNDN); mpfr_add(r25836, r25831, r25835, MPFR_RNDN); mpfr_neg(r25837, r25836, MPFR_RNDN); mpfr_mul(r25838, r25822, r25837, MPFR_RNDN); mpfr_add(r25839, r25829, r25838, MPFR_RNDN); return mpfr_get_d(r25839, MPFR_RNDN); }