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