#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r20121 = 0.5f; float r20122 = re; float r20123 = sin(r20122); float r20124 = r20121 * r20123; float r20125 = im; float r20126 = -r20125; float r20127 = exp(r20126); float r20128 = exp(r20125); float r20129 = r20127 - r20128; float r20130 = r20124 * r20129; return r20130; } double f_id(double re, double im) { double r20131 = 0.5; double r20132 = re; double r20133 = sin(r20132); double r20134 = r20131 * r20133; double r20135 = im; double r20136 = -r20135; double r20137 = exp(r20136); double r20138 = exp(r20135); double r20139 = r20137 - r20138; double r20140 = r20134 * r20139; return r20140; } double f_of(float re, float im) { float r20141 = 0.5f; float r20142 = re; float r20143 = sin(r20142); float r20144 = r20141 * r20143; float r20145 = 0.016666666666666666f; float r20146 = im; float r20147 = 5.0f; float r20148 = pow(r20146, r20147); float r20149 = r20145 * r20148; float r20150 = 2.0f; float r20151 = r20150 * r20146; float r20152 = 0.3333333333333333f; float r20153 = 3.0f; float r20154 = pow(r20146, r20153); float r20155 = r20152 * r20154; float r20156 = r20151 + r20155; float r20157 = r20149 + r20156; float r20158 = -r20157; float r20159 = r20144 * r20158; return r20159; } double f_od(double re, double im) { double r20160 = 0.5; double r20161 = re; double r20162 = sin(r20161); double r20163 = r20160 * r20162; double r20164 = 0.016666666666666666; double r20165 = im; double r20166 = 5.0; double r20167 = pow(r20165, r20166); double r20168 = r20164 * r20167; double r20169 = 2.0; double r20170 = r20169 * r20165; double r20171 = 0.3333333333333333; double r20172 = 3.0; double r20173 = pow(r20165, r20172); double r20174 = r20171 * r20173; double r20175 = r20170 + r20174; double r20176 = r20168 + r20175; double r20177 = -r20176; double r20178 = r20163 * r20177; return r20178; } 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 r20179, r20180, r20181, r20182, r20183, r20184, r20185, r20186, r20187, r20188; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r20179, "0.5", 10, MPFR_RNDN); mpfr_init(r20180); mpfr_init(r20181); mpfr_init(r20182); mpfr_init(r20183); mpfr_init(r20184); mpfr_init(r20185); mpfr_init(r20186); mpfr_init(r20187); mpfr_init(r20188); } double f_im(double re, double im) { ; mpfr_set_d(r20180, re, MPFR_RNDN); mpfr_sin(r20181, r20180, MPFR_RNDN); mpfr_mul(r20182, r20179, r20181, MPFR_RNDN); mpfr_set_d(r20183, im, MPFR_RNDN); mpfr_neg(r20184, r20183, MPFR_RNDN); mpfr_exp(r20185, r20184, MPFR_RNDN); mpfr_exp(r20186, r20183, MPFR_RNDN); mpfr_sub(r20187, r20185, r20186, MPFR_RNDN); mpfr_mul(r20188, r20182, r20187, MPFR_RNDN); return mpfr_get_d(r20188, MPFR_RNDN); } static mpfr_t r20189, r20190, r20191, r20192, r20193, r20194, r20195, r20196, r20197, r20198, r20199, r20200, r20201, r20202, r20203, r20204, r20205, r20206, r20207; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r20189, "0.5", 10, MPFR_RNDN); mpfr_init(r20190); mpfr_init(r20191); mpfr_init(r20192); mpfr_init_set_str(r20193, "1/60", 10, MPFR_RNDN); mpfr_init(r20194); mpfr_init_set_str(r20195, "5", 10, MPFR_RNDN); mpfr_init(r20196); mpfr_init(r20197); mpfr_init_set_str(r20198, "2", 10, MPFR_RNDN); mpfr_init(r20199); mpfr_init_set_str(r20200, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r20201, "3", 10, MPFR_RNDN); mpfr_init(r20202); mpfr_init(r20203); mpfr_init(r20204); mpfr_init(r20205); mpfr_init(r20206); mpfr_init(r20207); } double f_fm(double re, double im) { ; mpfr_set_d(r20190, re, MPFR_RNDN); mpfr_sin(r20191, r20190, MPFR_RNDN); mpfr_mul(r20192, r20189, r20191, MPFR_RNDN); ; mpfr_set_d(r20194, im, MPFR_RNDN); ; mpfr_pow(r20196, r20194, r20195, MPFR_RNDN); mpfr_mul(r20197, r20193, r20196, MPFR_RNDN); ; mpfr_mul(r20199, r20198, r20194, MPFR_RNDN); ; ; mpfr_pow(r20202, r20194, r20201, MPFR_RNDN); mpfr_mul(r20203, r20200, r20202, MPFR_RNDN); mpfr_add(r20204, r20199, r20203, MPFR_RNDN); mpfr_add(r20205, r20197, r20204, MPFR_RNDN); mpfr_neg(r20206, r20205, MPFR_RNDN); mpfr_mul(r20207, r20192, r20206, MPFR_RNDN); return mpfr_get_d(r20207, MPFR_RNDN); } static mpfr_t r20208, r20209, r20210, r20211, r20212, r20213, r20214, r20215, r20216, r20217, r20218, r20219, r20220, r20221, r20222, r20223, r20224, r20225, r20226; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r20208, "0.5", 10, MPFR_RNDN); mpfr_init(r20209); mpfr_init(r20210); mpfr_init(r20211); mpfr_init_set_str(r20212, "1/60", 10, MPFR_RNDN); mpfr_init(r20213); mpfr_init_set_str(r20214, "5", 10, MPFR_RNDN); mpfr_init(r20215); mpfr_init(r20216); mpfr_init_set_str(r20217, "2", 10, MPFR_RNDN); mpfr_init(r20218); mpfr_init_set_str(r20219, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r20220, "3", 10, MPFR_RNDN); mpfr_init(r20221); mpfr_init(r20222); mpfr_init(r20223); mpfr_init(r20224); mpfr_init(r20225); mpfr_init(r20226); } double f_dm(double re, double im) { ; mpfr_set_d(r20209, re, MPFR_RNDN); mpfr_sin(r20210, r20209, MPFR_RNDN); mpfr_mul(r20211, r20208, r20210, MPFR_RNDN); ; mpfr_set_d(r20213, im, MPFR_RNDN); ; mpfr_pow(r20215, r20213, r20214, MPFR_RNDN); mpfr_mul(r20216, r20212, r20215, MPFR_RNDN); ; mpfr_mul(r20218, r20217, r20213, MPFR_RNDN); ; ; mpfr_pow(r20221, r20213, r20220, MPFR_RNDN); mpfr_mul(r20222, r20219, r20221, MPFR_RNDN); mpfr_add(r20223, r20218, r20222, MPFR_RNDN); mpfr_add(r20224, r20216, r20223, MPFR_RNDN); mpfr_neg(r20225, r20224, MPFR_RNDN); mpfr_mul(r20226, r20211, r20225, MPFR_RNDN); return mpfr_get_d(r20226, MPFR_RNDN); }