#include #include #include #include #include char *name = "math.sin on complex, imaginary part"; double f_if(float re, float im) { float r19399 = 0.5f; float r19400 = re; float r19401 = cos(r19400); float r19402 = r19399 * r19401; float r19403 = 0.0f; float r19404 = im; float r19405 = r19403 - r19404; float r19406 = exp(r19405); float r19407 = exp(r19404); float r19408 = r19406 - r19407; float r19409 = r19402 * r19408; return r19409; } double f_id(double re, double im) { double r19410 = 0.5; double r19411 = re; double r19412 = cos(r19411); double r19413 = r19410 * r19412; double r19414 = 0.0; double r19415 = im; double r19416 = r19414 - r19415; double r19417 = exp(r19416); double r19418 = exp(r19415); double r19419 = r19417 - r19418; double r19420 = r19413 * r19419; return r19420; } double f_of(float re, float im) { float r19421 = im; float r19422 = -0.21930791437625885f; bool r19423 = r19421 <= r19422; float r19424 = -r19421; float r19425 = exp(r19424); float r19426 = exp(r19421); float r19427 = r19425 - r19426; float r19428 = re; float r19429 = cos(r19428); float r19430 = 0.5f; float r19431 = r19429 * r19430; float r19432 = r19427 * r19431; float r19433 = 0.01666666753590107f; float r19434 = 5.0f; float r19435 = pow(r19421, r19434); float r19436 = r19433 * r19435; float r19437 = 2.0f; float r19438 = r19437 * r19421; float r19439 = 0.3333333432674408f; float r19440 = 3.0f; float r19441 = pow(r19421, r19440); float r19442 = r19439 * r19441; float r19443 = r19438 + r19442; float r19444 = r19436 + r19443; float r19445 = -r19444; float r19446 = r19445 * r19431; float r19447 = r19423 ? r19432 : r19446; return r19447; } double f_od(double re, double im) { double r19448 = im; double r19449 = -0.21930791437625885; bool r19450 = r19448 <= r19449; double r19451 = -r19448; double r19452 = exp(r19451); double r19453 = exp(r19448); double r19454 = r19452 - r19453; double r19455 = re; double r19456 = cos(r19455); double r19457 = 0.5; double r19458 = r19456 * r19457; double r19459 = r19454 * r19458; double r19460 = 0.01666666753590107; double r19461 = 5.0; double r19462 = pow(r19448, r19461); double r19463 = r19460 * r19462; double r19464 = 2.0; double r19465 = r19464 * r19448; double r19466 = 0.3333333432674408; double r19467 = 3.0; double r19468 = pow(r19448, r19467); double r19469 = r19466 * r19468; double r19470 = r19465 + r19469; double r19471 = r19463 + r19470; double r19472 = -r19471; double r19473 = r19472 * r19458; double r19474 = r19450 ? r19459 : r19473; return r19474; } 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 r19475, r19476, r19477, r19478, r19479, r19480, r19481, r19482, r19483, r19484, r19485; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r19475, "0.5", 10, MPFR_RNDN); mpfr_init(r19476); mpfr_init(r19477); mpfr_init(r19478); mpfr_init_set_str(r19479, "0", 10, MPFR_RNDN); mpfr_init(r19480); mpfr_init(r19481); mpfr_init(r19482); mpfr_init(r19483); mpfr_init(r19484); mpfr_init(r19485); } double f_im(double re, double im) { ; mpfr_set_d(r19476, re, MPFR_RNDN); mpfr_cos(r19477, r19476, MPFR_RNDN); mpfr_mul(r19478, r19475, r19477, MPFR_RNDN); ; mpfr_set_d(r19480, im, MPFR_RNDN); mpfr_sub(r19481, r19479, r19480, MPFR_RNDN); mpfr_exp(r19482, r19481, MPFR_RNDN); mpfr_exp(r19483, r19480, MPFR_RNDN); mpfr_sub(r19484, r19482, r19483, MPFR_RNDN); mpfr_mul(r19485, r19478, r19484, MPFR_RNDN); return mpfr_get_d(r19485, MPFR_RNDN); } static mpfr_t r19486, r19487, r19488, r19489, r19490, r19491, r19492, r19493, r19494, r19495, r19496, r19497, r19498, r19499, r19500, r19501, r19502, r19503, r19504, r19505, r19506, r19507, r19508, r19509, r19510, r19511, r19512; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r19486); mpfr_init_set_str(r19487, "-0.21930791f0", 10, MPFR_RNDN); mpfr_init(r19488); mpfr_init(r19489); mpfr_init(r19490); mpfr_init(r19491); mpfr_init(r19492); mpfr_init(r19493); mpfr_init(r19494); mpfr_init_set_str(r19495, "0.5", 10, MPFR_RNDN); mpfr_init(r19496); mpfr_init(r19497); mpfr_init_set_str(r19498, "1/60", 10, MPFR_RNDN); mpfr_init_set_str(r19499, "5", 10, MPFR_RNDN); mpfr_init(r19500); mpfr_init(r19501); mpfr_init_set_str(r19502, "2", 10, MPFR_RNDN); mpfr_init(r19503); mpfr_init_set_str(r19504, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19505, "3", 10, MPFR_RNDN); mpfr_init(r19506); mpfr_init(r19507); mpfr_init(r19508); mpfr_init(r19509); mpfr_init(r19510); mpfr_init(r19511); mpfr_init(r19512); } double f_fm(double re, double im) { mpfr_set_d(r19486, im, MPFR_RNDN); ; mpfr_set_si(r19488, mpfr_cmp(r19486, r19487) <= 0, MPFR_RNDN); mpfr_neg(r19489, r19486, MPFR_RNDN); mpfr_exp(r19490, r19489, MPFR_RNDN); mpfr_exp(r19491, r19486, MPFR_RNDN); mpfr_sub(r19492, r19490, r19491, MPFR_RNDN); mpfr_set_d(r19493, re, MPFR_RNDN); mpfr_cos(r19494, r19493, MPFR_RNDN); ; mpfr_mul(r19496, r19494, r19495, MPFR_RNDN); mpfr_mul(r19497, r19492, r19496, MPFR_RNDN); ; ; mpfr_pow(r19500, r19486, r19499, MPFR_RNDN); mpfr_mul(r19501, r19498, r19500, MPFR_RNDN); ; mpfr_mul(r19503, r19502, r19486, MPFR_RNDN); ; ; mpfr_pow(r19506, r19486, r19505, MPFR_RNDN); mpfr_mul(r19507, r19504, r19506, MPFR_RNDN); mpfr_add(r19508, r19503, r19507, MPFR_RNDN); mpfr_add(r19509, r19501, r19508, MPFR_RNDN); mpfr_neg(r19510, r19509, MPFR_RNDN); mpfr_mul(r19511, r19510, r19496, MPFR_RNDN); if (mpfr_get_si(r19488, MPFR_RNDN)) { mpfr_set(r19512, r19497, MPFR_RNDN); } else { mpfr_set(r19512, r19511, MPFR_RNDN); }; return mpfr_get_d(r19512, MPFR_RNDN); } static mpfr_t r19513, r19514, r19515, r19516, r19517, r19518, r19519, r19520, r19521, r19522, r19523, r19524, r19525, r19526, r19527, r19528, r19529, r19530, r19531, r19532, r19533, r19534, r19535, r19536, r19537, r19538, r19539; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r19513); mpfr_init_set_str(r19514, "-0.21930791f0", 10, MPFR_RNDN); mpfr_init(r19515); mpfr_init(r19516); mpfr_init(r19517); mpfr_init(r19518); mpfr_init(r19519); mpfr_init(r19520); mpfr_init(r19521); mpfr_init_set_str(r19522, "0.5", 10, MPFR_RNDN); mpfr_init(r19523); mpfr_init(r19524); mpfr_init_set_str(r19525, "1/60", 10, MPFR_RNDN); mpfr_init_set_str(r19526, "5", 10, MPFR_RNDN); mpfr_init(r19527); mpfr_init(r19528); mpfr_init_set_str(r19529, "2", 10, MPFR_RNDN); mpfr_init(r19530); mpfr_init_set_str(r19531, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19532, "3", 10, MPFR_RNDN); mpfr_init(r19533); mpfr_init(r19534); mpfr_init(r19535); mpfr_init(r19536); mpfr_init(r19537); mpfr_init(r19538); mpfr_init(r19539); } double f_dm(double re, double im) { mpfr_set_d(r19513, im, MPFR_RNDN); ; mpfr_set_si(r19515, mpfr_cmp(r19513, r19514) <= 0, MPFR_RNDN); mpfr_neg(r19516, r19513, MPFR_RNDN); mpfr_exp(r19517, r19516, MPFR_RNDN); mpfr_exp(r19518, r19513, MPFR_RNDN); mpfr_sub(r19519, r19517, r19518, MPFR_RNDN); mpfr_set_d(r19520, re, MPFR_RNDN); mpfr_cos(r19521, r19520, MPFR_RNDN); ; mpfr_mul(r19523, r19521, r19522, MPFR_RNDN); mpfr_mul(r19524, r19519, r19523, MPFR_RNDN); ; ; mpfr_pow(r19527, r19513, r19526, MPFR_RNDN); mpfr_mul(r19528, r19525, r19527, MPFR_RNDN); ; mpfr_mul(r19530, r19529, r19513, MPFR_RNDN); ; ; mpfr_pow(r19533, r19513, r19532, MPFR_RNDN); mpfr_mul(r19534, r19531, r19533, MPFR_RNDN); mpfr_add(r19535, r19530, r19534, MPFR_RNDN); mpfr_add(r19536, r19528, r19535, MPFR_RNDN); mpfr_neg(r19537, r19536, MPFR_RNDN); mpfr_mul(r19538, r19537, r19523, MPFR_RNDN); if (mpfr_get_si(r19515, MPFR_RNDN)) { mpfr_set(r19539, r19524, MPFR_RNDN); } else { mpfr_set(r19539, r19538, MPFR_RNDN); }; return mpfr_get_d(r19539, MPFR_RNDN); }