#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r26749 = 0.5; float r26750 = re; float r26751 = sin(r26750); float r26752 = r26749 * r26751; float r26753 = im; float r26754 = -r26753; float r26755 = exp(r26754); float r26756 = exp(r26753); float r26757 = r26755 - r26756; float r26758 = r26752 * r26757; return r26758; } double f_id(double re, double im) { double r26759 = 0.5; double r26760 = re; double r26761 = sin(r26760); double r26762 = r26759 * r26761; double r26763 = im; double r26764 = -r26763; double r26765 = exp(r26764); double r26766 = exp(r26763); double r26767 = r26765 - r26766; double r26768 = r26762 * r26767; return r26768; } double f_of(float re, float im) { float r26769 = 0.5; float r26770 = re; float r26771 = sin(r26770); float r26772 = r26769 * r26771; float r26773 = 1/60; float r26774 = im; float r26775 = 5; float r26776 = pow(r26774, r26775); float r26777 = r26773 * r26776; float r26778 = 2; float r26779 = r26778 * r26774; float r26780 = 1/3; float r26781 = 3; float r26782 = pow(r26774, r26781); float r26783 = r26780 * r26782; float r26784 = r26779 + r26783; float r26785 = r26777 + r26784; float r26786 = -r26785; float r26787 = r26772 * r26786; return r26787; } double f_od(double re, double im) { double r26788 = 0.5; double r26789 = re; double r26790 = sin(r26789); double r26791 = r26788 * r26790; double r26792 = 1/60; double r26793 = im; double r26794 = 5; double r26795 = pow(r26793, r26794); double r26796 = r26792 * r26795; double r26797 = 2; double r26798 = r26797 * r26793; double r26799 = 1/3; double r26800 = 3; double r26801 = pow(r26793, r26800); double r26802 = r26799 * r26801; double r26803 = r26798 + r26802; double r26804 = r26796 + r26803; double r26805 = -r26804; double r26806 = r26791 * r26805; return r26806; } 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 r26807, r26808, r26809, r26810, r26811, r26812, r26813, r26814, r26815, r26816; void setup_mpfr_f_im() { mpfr_set_default_prec(1360); mpfr_init_set_str(r26807, "0.5", 10, MPFR_RNDN); mpfr_init(r26808); mpfr_init(r26809); mpfr_init(r26810); mpfr_init(r26811); mpfr_init(r26812); mpfr_init(r26813); mpfr_init(r26814); mpfr_init(r26815); mpfr_init(r26816); } double f_im(double re, double im) { ; mpfr_set_d(r26808, re, MPFR_RNDN); mpfr_sin(r26809, r26808, MPFR_RNDN); mpfr_mul(r26810, r26807, r26809, MPFR_RNDN); mpfr_set_d(r26811, im, MPFR_RNDN); mpfr_neg(r26812, r26811, MPFR_RNDN); mpfr_exp(r26813, r26812, MPFR_RNDN); mpfr_exp(r26814, r26811, MPFR_RNDN); mpfr_sub(r26815, r26813, r26814, MPFR_RNDN); mpfr_mul(r26816, r26810, r26815, MPFR_RNDN); return mpfr_get_d(r26816, MPFR_RNDN); } static mpfr_t r26817, r26818, r26819, r26820, r26821, r26822, r26823, r26824, r26825, r26826, r26827, r26828, r26829, r26830, r26831, r26832, r26833, r26834, r26835; void setup_mpfr_f_fm() { mpfr_set_default_prec(1360); mpfr_init_set_str(r26817, "0.5", 10, MPFR_RNDN); mpfr_init(r26818); mpfr_init(r26819); mpfr_init(r26820); mpfr_init_set_str(r26821, "1/60", 10, MPFR_RNDN); mpfr_init(r26822); mpfr_init_set_str(r26823, "5", 10, MPFR_RNDN); mpfr_init(r26824); mpfr_init(r26825); mpfr_init_set_str(r26826, "2", 10, MPFR_RNDN); mpfr_init(r26827); mpfr_init_set_str(r26828, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26829, "3", 10, MPFR_RNDN); mpfr_init(r26830); mpfr_init(r26831); mpfr_init(r26832); mpfr_init(r26833); mpfr_init(r26834); mpfr_init(r26835); } double f_fm(double re, double im) { ; mpfr_set_d(r26818, re, MPFR_RNDN); mpfr_sin(r26819, r26818, MPFR_RNDN); mpfr_mul(r26820, r26817, r26819, MPFR_RNDN); ; mpfr_set_d(r26822, im, MPFR_RNDN); ; mpfr_pow(r26824, r26822, r26823, MPFR_RNDN); mpfr_mul(r26825, r26821, r26824, MPFR_RNDN); ; mpfr_mul(r26827, r26826, r26822, MPFR_RNDN); ; ; mpfr_pow(r26830, r26822, r26829, MPFR_RNDN); mpfr_mul(r26831, r26828, r26830, MPFR_RNDN); mpfr_add(r26832, r26827, r26831, MPFR_RNDN); mpfr_add(r26833, r26825, r26832, MPFR_RNDN); mpfr_neg(r26834, r26833, MPFR_RNDN); mpfr_mul(r26835, r26820, r26834, MPFR_RNDN); return mpfr_get_d(r26835, MPFR_RNDN); } static mpfr_t r26836, r26837, r26838, r26839, r26840, r26841, r26842, r26843, r26844, r26845, r26846, r26847, r26848, r26849, r26850, r26851, r26852, r26853, r26854; void setup_mpfr_f_dm() { mpfr_set_default_prec(1360); mpfr_init_set_str(r26836, "0.5", 10, MPFR_RNDN); mpfr_init(r26837); mpfr_init(r26838); mpfr_init(r26839); mpfr_init_set_str(r26840, "1/60", 10, MPFR_RNDN); mpfr_init(r26841); mpfr_init_set_str(r26842, "5", 10, MPFR_RNDN); mpfr_init(r26843); mpfr_init(r26844); mpfr_init_set_str(r26845, "2", 10, MPFR_RNDN); mpfr_init(r26846); mpfr_init_set_str(r26847, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26848, "3", 10, MPFR_RNDN); mpfr_init(r26849); mpfr_init(r26850); mpfr_init(r26851); mpfr_init(r26852); mpfr_init(r26853); mpfr_init(r26854); } double f_dm(double re, double im) { ; mpfr_set_d(r26837, re, MPFR_RNDN); mpfr_sin(r26838, r26837, MPFR_RNDN); mpfr_mul(r26839, r26836, r26838, MPFR_RNDN); ; mpfr_set_d(r26841, im, MPFR_RNDN); ; mpfr_pow(r26843, r26841, r26842, MPFR_RNDN); mpfr_mul(r26844, r26840, r26843, MPFR_RNDN); ; mpfr_mul(r26846, r26845, r26841, MPFR_RNDN); ; ; mpfr_pow(r26849, r26841, r26848, MPFR_RNDN); mpfr_mul(r26850, r26847, r26849, MPFR_RNDN); mpfr_add(r26851, r26846, r26850, MPFR_RNDN); mpfr_add(r26852, r26844, r26851, MPFR_RNDN); mpfr_neg(r26853, r26852, MPFR_RNDN); mpfr_mul(r26854, r26839, r26853, MPFR_RNDN); return mpfr_get_d(r26854, MPFR_RNDN); }