#include #include #include #include #include char *name = "math.sin on complex, imaginary part"; double f_if(float re, float im) { float r25331 = 0.5; float r25332 = re; float r25333 = cos(r25332); float r25334 = r25331 * r25333; float r25335 = 0; float r25336 = im; float r25337 = r25335 - r25336; float r25338 = exp(r25337); float r25339 = exp(r25336); float r25340 = r25338 - r25339; float r25341 = r25334 * r25340; return r25341; } double f_id(double re, double im) { double r25342 = 0.5; double r25343 = re; double r25344 = cos(r25343); double r25345 = r25342 * r25344; double r25346 = 0; double r25347 = im; double r25348 = r25346 - r25347; double r25349 = exp(r25348); double r25350 = exp(r25347); double r25351 = r25349 - r25350; double r25352 = r25345 * r25351; return r25352; } double f_of(float re, float im) { float r25353 = 0.5; float r25354 = re; float r25355 = cos(r25354); float r25356 = r25353 * r25355; float r25357 = 1/60; float r25358 = im; float r25359 = 5; float r25360 = pow(r25358, r25359); float r25361 = r25357 * r25360; float r25362 = 2; float r25363 = r25362 * r25358; float r25364 = 1/3; float r25365 = 3; float r25366 = pow(r25358, r25365); float r25367 = r25364 * r25366; float r25368 = r25363 + r25367; float r25369 = r25361 + r25368; float r25370 = -r25369; float r25371 = r25356 * r25370; return r25371; } double f_od(double re, double im) { double r25372 = 0.5; double r25373 = re; double r25374 = cos(r25373); double r25375 = r25372 * r25374; double r25376 = 1/60; double r25377 = im; double r25378 = 5; double r25379 = pow(r25377, r25378); double r25380 = r25376 * r25379; double r25381 = 2; double r25382 = r25381 * r25377; double r25383 = 1/3; double r25384 = 3; double r25385 = pow(r25377, r25384); double r25386 = r25383 * r25385; double r25387 = r25382 + r25386; double r25388 = r25380 + r25387; double r25389 = -r25388; double r25390 = r25375 * r25389; return r25390; } 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 r25391, r25392, r25393, r25394, r25395, r25396, r25397, r25398, r25399, r25400, r25401; void setup_mpfr_f_im() { mpfr_set_default_prec(1360); mpfr_init_set_str(r25391, "0.5", 10, MPFR_RNDN); mpfr_init(r25392); mpfr_init(r25393); mpfr_init(r25394); mpfr_init_set_str(r25395, "0", 10, MPFR_RNDN); mpfr_init(r25396); mpfr_init(r25397); mpfr_init(r25398); mpfr_init(r25399); mpfr_init(r25400); mpfr_init(r25401); } double f_im(double re, double im) { ; mpfr_set_d(r25392, re, MPFR_RNDN); mpfr_cos(r25393, r25392, MPFR_RNDN); mpfr_mul(r25394, r25391, r25393, MPFR_RNDN); ; mpfr_set_d(r25396, im, MPFR_RNDN); mpfr_sub(r25397, r25395, r25396, MPFR_RNDN); mpfr_exp(r25398, r25397, MPFR_RNDN); mpfr_exp(r25399, r25396, MPFR_RNDN); mpfr_sub(r25400, r25398, r25399, MPFR_RNDN); mpfr_mul(r25401, r25394, r25400, MPFR_RNDN); return mpfr_get_d(r25401, MPFR_RNDN); } static mpfr_t r25402, r25403, r25404, r25405, r25406, r25407, r25408, r25409, r25410, r25411, r25412, r25413, r25414, r25415, r25416, r25417, r25418, r25419, r25420; void setup_mpfr_f_fm() { mpfr_set_default_prec(1360); mpfr_init_set_str(r25402, "0.5", 10, MPFR_RNDN); mpfr_init(r25403); mpfr_init(r25404); mpfr_init(r25405); mpfr_init_set_str(r25406, "1/60", 10, MPFR_RNDN); mpfr_init(r25407); mpfr_init_set_str(r25408, "5", 10, MPFR_RNDN); mpfr_init(r25409); mpfr_init(r25410); mpfr_init_set_str(r25411, "2", 10, MPFR_RNDN); mpfr_init(r25412); mpfr_init_set_str(r25413, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r25414, "3", 10, MPFR_RNDN); mpfr_init(r25415); mpfr_init(r25416); mpfr_init(r25417); mpfr_init(r25418); mpfr_init(r25419); mpfr_init(r25420); } double f_fm(double re, double im) { ; mpfr_set_d(r25403, re, MPFR_RNDN); mpfr_cos(r25404, r25403, MPFR_RNDN); mpfr_mul(r25405, r25402, r25404, MPFR_RNDN); ; mpfr_set_d(r25407, im, MPFR_RNDN); ; mpfr_pow(r25409, r25407, r25408, MPFR_RNDN); mpfr_mul(r25410, r25406, r25409, MPFR_RNDN); ; mpfr_mul(r25412, r25411, r25407, MPFR_RNDN); ; ; mpfr_pow(r25415, r25407, r25414, MPFR_RNDN); mpfr_mul(r25416, r25413, r25415, MPFR_RNDN); mpfr_add(r25417, r25412, r25416, MPFR_RNDN); mpfr_add(r25418, r25410, r25417, MPFR_RNDN); mpfr_neg(r25419, r25418, MPFR_RNDN); mpfr_mul(r25420, r25405, r25419, MPFR_RNDN); return mpfr_get_d(r25420, MPFR_RNDN); } static mpfr_t r25421, r25422, r25423, r25424, r25425, r25426, r25427, r25428, r25429, r25430, r25431, r25432, r25433, r25434, r25435, r25436, r25437, r25438, r25439; void setup_mpfr_f_dm() { mpfr_set_default_prec(1360); mpfr_init_set_str(r25421, "0.5", 10, MPFR_RNDN); mpfr_init(r25422); mpfr_init(r25423); mpfr_init(r25424); mpfr_init_set_str(r25425, "1/60", 10, MPFR_RNDN); mpfr_init(r25426); mpfr_init_set_str(r25427, "5", 10, MPFR_RNDN); mpfr_init(r25428); mpfr_init(r25429); mpfr_init_set_str(r25430, "2", 10, MPFR_RNDN); mpfr_init(r25431); mpfr_init_set_str(r25432, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r25433, "3", 10, MPFR_RNDN); mpfr_init(r25434); mpfr_init(r25435); mpfr_init(r25436); mpfr_init(r25437); mpfr_init(r25438); mpfr_init(r25439); } double f_dm(double re, double im) { ; mpfr_set_d(r25422, re, MPFR_RNDN); mpfr_cos(r25423, r25422, MPFR_RNDN); mpfr_mul(r25424, r25421, r25423, MPFR_RNDN); ; mpfr_set_d(r25426, im, MPFR_RNDN); ; mpfr_pow(r25428, r25426, r25427, MPFR_RNDN); mpfr_mul(r25429, r25425, r25428, MPFR_RNDN); ; mpfr_mul(r25431, r25430, r25426, MPFR_RNDN); ; ; mpfr_pow(r25434, r25426, r25433, MPFR_RNDN); mpfr_mul(r25435, r25432, r25434, MPFR_RNDN); mpfr_add(r25436, r25431, r25435, MPFR_RNDN); mpfr_add(r25437, r25429, r25436, MPFR_RNDN); mpfr_neg(r25438, r25437, MPFR_RNDN); mpfr_mul(r25439, r25424, r25438, MPFR_RNDN); return mpfr_get_d(r25439, MPFR_RNDN); }