#include #include #include #include #include char *name = "math.sin on complex, imaginary part"; double f_if(float re, float im) { float r26336 = 0.5; float r26337 = re; float r26338 = cos(r26337); float r26339 = r26336 * r26338; float r26340 = 0; float r26341 = im; float r26342 = r26340 - r26341; float r26343 = exp(r26342); float r26344 = exp(r26341); float r26345 = r26343 - r26344; float r26346 = r26339 * r26345; return r26346; } double f_id(double re, double im) { double r26347 = 0.5; double r26348 = re; double r26349 = cos(r26348); double r26350 = r26347 * r26349; double r26351 = 0; double r26352 = im; double r26353 = r26351 - r26352; double r26354 = exp(r26353); double r26355 = exp(r26352); double r26356 = r26354 - r26355; double r26357 = r26350 * r26356; return r26357; } double f_of(float re, float im) { float r26358 = 0.5; float r26359 = re; float r26360 = cos(r26359); float r26361 = r26358 * r26360; float r26362 = 1/60; float r26363 = im; float r26364 = 5; float r26365 = pow(r26363, r26364); float r26366 = r26362 * r26365; float r26367 = 2; float r26368 = r26367 * r26363; float r26369 = 1/3; float r26370 = 3; float r26371 = pow(r26363, r26370); float r26372 = r26369 * r26371; float r26373 = r26368 + r26372; float r26374 = r26366 + r26373; float r26375 = -r26374; float r26376 = r26361 * r26375; return r26376; } double f_od(double re, double im) { double r26377 = 0.5; double r26378 = re; double r26379 = cos(r26378); double r26380 = r26377 * r26379; double r26381 = 1/60; double r26382 = im; double r26383 = 5; double r26384 = pow(r26382, r26383); double r26385 = r26381 * r26384; double r26386 = 2; double r26387 = r26386 * r26382; double r26388 = 1/3; double r26389 = 3; double r26390 = pow(r26382, r26389); double r26391 = r26388 * r26390; double r26392 = r26387 + r26391; double r26393 = r26385 + r26392; double r26394 = -r26393; double r26395 = r26380 * r26394; return r26395; } 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 r26396, r26397, r26398, r26399, r26400, r26401, r26402, r26403, r26404, r26405, r26406; void setup_mpfr_f_im() { mpfr_set_default_prec(1360); mpfr_init_set_str(r26396, "0.5", 10, MPFR_RNDN); mpfr_init(r26397); mpfr_init(r26398); mpfr_init(r26399); mpfr_init_set_str(r26400, "0", 10, MPFR_RNDN); mpfr_init(r26401); mpfr_init(r26402); mpfr_init(r26403); mpfr_init(r26404); mpfr_init(r26405); mpfr_init(r26406); } double f_im(double re, double im) { ; mpfr_set_d(r26397, re, MPFR_RNDN); mpfr_cos(r26398, r26397, MPFR_RNDN); mpfr_mul(r26399, r26396, r26398, MPFR_RNDN); ; mpfr_set_d(r26401, im, MPFR_RNDN); mpfr_sub(r26402, r26400, r26401, MPFR_RNDN); mpfr_exp(r26403, r26402, MPFR_RNDN); mpfr_exp(r26404, r26401, MPFR_RNDN); mpfr_sub(r26405, r26403, r26404, MPFR_RNDN); mpfr_mul(r26406, r26399, r26405, MPFR_RNDN); return mpfr_get_d(r26406, MPFR_RNDN); } static mpfr_t r26407, r26408, r26409, r26410, r26411, r26412, r26413, r26414, r26415, r26416, r26417, r26418, r26419, r26420, r26421, r26422, r26423, r26424, r26425; void setup_mpfr_f_fm() { mpfr_set_default_prec(1360); mpfr_init_set_str(r26407, "0.5", 10, MPFR_RNDN); mpfr_init(r26408); mpfr_init(r26409); mpfr_init(r26410); mpfr_init_set_str(r26411, "1/60", 10, MPFR_RNDN); mpfr_init(r26412); mpfr_init_set_str(r26413, "5", 10, MPFR_RNDN); mpfr_init(r26414); mpfr_init(r26415); mpfr_init_set_str(r26416, "2", 10, MPFR_RNDN); mpfr_init(r26417); mpfr_init_set_str(r26418, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26419, "3", 10, MPFR_RNDN); mpfr_init(r26420); mpfr_init(r26421); mpfr_init(r26422); mpfr_init(r26423); mpfr_init(r26424); mpfr_init(r26425); } double f_fm(double re, double im) { ; mpfr_set_d(r26408, re, MPFR_RNDN); mpfr_cos(r26409, r26408, MPFR_RNDN); mpfr_mul(r26410, r26407, r26409, MPFR_RNDN); ; mpfr_set_d(r26412, im, MPFR_RNDN); ; mpfr_pow(r26414, r26412, r26413, MPFR_RNDN); mpfr_mul(r26415, r26411, r26414, MPFR_RNDN); ; mpfr_mul(r26417, r26416, r26412, MPFR_RNDN); ; ; mpfr_pow(r26420, r26412, r26419, MPFR_RNDN); mpfr_mul(r26421, r26418, r26420, MPFR_RNDN); mpfr_add(r26422, r26417, r26421, MPFR_RNDN); mpfr_add(r26423, r26415, r26422, MPFR_RNDN); mpfr_neg(r26424, r26423, MPFR_RNDN); mpfr_mul(r26425, r26410, r26424, MPFR_RNDN); return mpfr_get_d(r26425, MPFR_RNDN); } static mpfr_t r26426, r26427, r26428, r26429, r26430, r26431, r26432, r26433, r26434, r26435, r26436, r26437, r26438, r26439, r26440, r26441, r26442, r26443, r26444; void setup_mpfr_f_dm() { mpfr_set_default_prec(1360); mpfr_init_set_str(r26426, "0.5", 10, MPFR_RNDN); mpfr_init(r26427); mpfr_init(r26428); mpfr_init(r26429); mpfr_init_set_str(r26430, "1/60", 10, MPFR_RNDN); mpfr_init(r26431); mpfr_init_set_str(r26432, "5", 10, MPFR_RNDN); mpfr_init(r26433); mpfr_init(r26434); mpfr_init_set_str(r26435, "2", 10, MPFR_RNDN); mpfr_init(r26436); mpfr_init_set_str(r26437, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26438, "3", 10, MPFR_RNDN); mpfr_init(r26439); mpfr_init(r26440); mpfr_init(r26441); mpfr_init(r26442); mpfr_init(r26443); mpfr_init(r26444); } double f_dm(double re, double im) { ; mpfr_set_d(r26427, re, MPFR_RNDN); mpfr_cos(r26428, r26427, MPFR_RNDN); mpfr_mul(r26429, r26426, r26428, MPFR_RNDN); ; mpfr_set_d(r26431, im, MPFR_RNDN); ; mpfr_pow(r26433, r26431, r26432, MPFR_RNDN); mpfr_mul(r26434, r26430, r26433, MPFR_RNDN); ; mpfr_mul(r26436, r26435, r26431, MPFR_RNDN); ; ; mpfr_pow(r26439, r26431, r26438, MPFR_RNDN); mpfr_mul(r26440, r26437, r26439, MPFR_RNDN); mpfr_add(r26441, r26436, r26440, MPFR_RNDN); mpfr_add(r26442, r26434, r26441, MPFR_RNDN); mpfr_neg(r26443, r26442, MPFR_RNDN); mpfr_mul(r26444, r26429, r26443, MPFR_RNDN); return mpfr_get_d(r26444, MPFR_RNDN); }