#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r25313 = 0.5; float r25314 = re; float r25315 = sin(r25314); float r25316 = r25313 * r25315; float r25317 = im; float r25318 = -r25317; float r25319 = exp(r25318); float r25320 = exp(r25317); float r25321 = r25319 - r25320; float r25322 = r25316 * r25321; return r25322; } double f_id(double re, double im) { double r25323 = 0.5; double r25324 = re; double r25325 = sin(r25324); double r25326 = r25323 * r25325; double r25327 = im; double r25328 = -r25327; double r25329 = exp(r25328); double r25330 = exp(r25327); double r25331 = r25329 - r25330; double r25332 = r25326 * r25331; return r25332; } double f_of(float re, float im) { float r25333 = 0.5; float r25334 = re; float r25335 = sin(r25334); float r25336 = r25333 * r25335; float r25337 = 1/60; float r25338 = im; float r25339 = 5; float r25340 = pow(r25338, r25339); float r25341 = r25337 * r25340; float r25342 = 2; float r25343 = r25342 * r25338; float r25344 = 1/3; float r25345 = 3; float r25346 = pow(r25338, r25345); float r25347 = r25344 * r25346; float r25348 = r25343 + r25347; float r25349 = r25341 + r25348; float r25350 = -r25349; float r25351 = r25336 * r25350; return r25351; } double f_od(double re, double im) { double r25352 = 0.5; double r25353 = re; double r25354 = sin(r25353); double r25355 = r25352 * r25354; double r25356 = 1/60; double r25357 = im; double r25358 = 5; double r25359 = pow(r25357, r25358); double r25360 = r25356 * r25359; double r25361 = 2; double r25362 = r25361 * r25357; double r25363 = 1/3; double r25364 = 3; double r25365 = pow(r25357, r25364); double r25366 = r25363 * r25365; double r25367 = r25362 + r25366; double r25368 = r25360 + r25367; double r25369 = -r25368; double r25370 = r25355 * r25369; return r25370; } 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 r25371, r25372, r25373, r25374, r25375, r25376, r25377, r25378, r25379, r25380; void setup_mpfr_f_im() { mpfr_set_default_prec(1360); mpfr_init_set_str(r25371, "0.5", 10, MPFR_RNDN); mpfr_init(r25372); mpfr_init(r25373); mpfr_init(r25374); mpfr_init(r25375); mpfr_init(r25376); mpfr_init(r25377); mpfr_init(r25378); mpfr_init(r25379); mpfr_init(r25380); } double f_im(double re, double im) { ; mpfr_set_d(r25372, re, MPFR_RNDN); mpfr_sin(r25373, r25372, MPFR_RNDN); mpfr_mul(r25374, r25371, r25373, MPFR_RNDN); mpfr_set_d(r25375, im, MPFR_RNDN); mpfr_neg(r25376, r25375, MPFR_RNDN); mpfr_exp(r25377, r25376, MPFR_RNDN); mpfr_exp(r25378, r25375, MPFR_RNDN); mpfr_sub(r25379, r25377, r25378, MPFR_RNDN); mpfr_mul(r25380, r25374, r25379, MPFR_RNDN); return mpfr_get_d(r25380, MPFR_RNDN); } static mpfr_t r25381, r25382, r25383, r25384, r25385, r25386, r25387, r25388, r25389, r25390, r25391, r25392, r25393, r25394, r25395, r25396, r25397, r25398, r25399; void setup_mpfr_f_fm() { mpfr_set_default_prec(1360); mpfr_init_set_str(r25381, "0.5", 10, MPFR_RNDN); mpfr_init(r25382); mpfr_init(r25383); mpfr_init(r25384); mpfr_init_set_str(r25385, "1/60", 10, MPFR_RNDN); mpfr_init(r25386); mpfr_init_set_str(r25387, "5", 10, MPFR_RNDN); mpfr_init(r25388); mpfr_init(r25389); mpfr_init_set_str(r25390, "2", 10, MPFR_RNDN); mpfr_init(r25391); mpfr_init_set_str(r25392, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r25393, "3", 10, MPFR_RNDN); mpfr_init(r25394); mpfr_init(r25395); mpfr_init(r25396); mpfr_init(r25397); mpfr_init(r25398); mpfr_init(r25399); } double f_fm(double re, double im) { ; mpfr_set_d(r25382, re, MPFR_RNDN); mpfr_sin(r25383, r25382, MPFR_RNDN); mpfr_mul(r25384, r25381, r25383, MPFR_RNDN); ; mpfr_set_d(r25386, im, MPFR_RNDN); ; mpfr_pow(r25388, r25386, r25387, MPFR_RNDN); mpfr_mul(r25389, r25385, r25388, MPFR_RNDN); ; mpfr_mul(r25391, r25390, r25386, MPFR_RNDN); ; ; mpfr_pow(r25394, r25386, r25393, MPFR_RNDN); mpfr_mul(r25395, r25392, r25394, MPFR_RNDN); mpfr_add(r25396, r25391, r25395, MPFR_RNDN); mpfr_add(r25397, r25389, r25396, MPFR_RNDN); mpfr_neg(r25398, r25397, MPFR_RNDN); mpfr_mul(r25399, r25384, r25398, MPFR_RNDN); return mpfr_get_d(r25399, MPFR_RNDN); } static mpfr_t r25400, r25401, r25402, r25403, r25404, r25405, r25406, r25407, r25408, r25409, r25410, r25411, r25412, r25413, r25414, r25415, r25416, r25417, r25418; void setup_mpfr_f_dm() { mpfr_set_default_prec(1360); mpfr_init_set_str(r25400, "0.5", 10, MPFR_RNDN); mpfr_init(r25401); mpfr_init(r25402); mpfr_init(r25403); mpfr_init_set_str(r25404, "1/60", 10, MPFR_RNDN); mpfr_init(r25405); mpfr_init_set_str(r25406, "5", 10, MPFR_RNDN); mpfr_init(r25407); mpfr_init(r25408); mpfr_init_set_str(r25409, "2", 10, MPFR_RNDN); mpfr_init(r25410); mpfr_init_set_str(r25411, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r25412, "3", 10, MPFR_RNDN); mpfr_init(r25413); mpfr_init(r25414); mpfr_init(r25415); mpfr_init(r25416); mpfr_init(r25417); mpfr_init(r25418); } double f_dm(double re, double im) { ; mpfr_set_d(r25401, re, MPFR_RNDN); mpfr_sin(r25402, r25401, MPFR_RNDN); mpfr_mul(r25403, r25400, r25402, MPFR_RNDN); ; mpfr_set_d(r25405, im, MPFR_RNDN); ; mpfr_pow(r25407, r25405, r25406, MPFR_RNDN); mpfr_mul(r25408, r25404, r25407, MPFR_RNDN); ; mpfr_mul(r25410, r25409, r25405, MPFR_RNDN); ; ; mpfr_pow(r25413, r25405, r25412, MPFR_RNDN); mpfr_mul(r25414, r25411, r25413, MPFR_RNDN); mpfr_add(r25415, r25410, r25414, MPFR_RNDN); mpfr_add(r25416, r25408, r25415, MPFR_RNDN); mpfr_neg(r25417, r25416, MPFR_RNDN); mpfr_mul(r25418, r25403, r25417, MPFR_RNDN); return mpfr_get_d(r25418, MPFR_RNDN); }