#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r19333 = 0.5f; float r19334 = re; float r19335 = sin(r19334); float r19336 = r19333 * r19335; float r19337 = im; float r19338 = -r19337; float r19339 = exp(r19338); float r19340 = exp(r19337); float r19341 = r19339 - r19340; float r19342 = r19336 * r19341; return r19342; } double f_id(double re, double im) { double r19343 = 0.5; double r19344 = re; double r19345 = sin(r19344); double r19346 = r19343 * r19345; double r19347 = im; double r19348 = -r19347; double r19349 = exp(r19348); double r19350 = exp(r19347); double r19351 = r19349 - r19350; double r19352 = r19346 * r19351; return r19352; } double f_of(float re, float im) { float r19353 = im; float r19354 = -0.12694145739078522f; bool r19355 = r19353 <= r19354; float r19356 = 0.5f; float r19357 = re; float r19358 = sin(r19357); float r19359 = r19356 * r19358; float r19360 = -r19353; float r19361 = exp(r19360); float r19362 = exp(r19353); float r19363 = r19361 - r19362; float r19364 = 1.0f; float r19365 = pow(r19363, r19364); float r19366 = r19359 * r19365; float r19367 = 0.01666666753590107f; float r19368 = 5.0f; float r19369 = pow(r19353, r19368); float r19370 = r19367 * r19369; float r19371 = 2.0f; float r19372 = r19371 * r19353; float r19373 = 0.3333333432674408f; float r19374 = 3.0f; float r19375 = pow(r19353, r19374); float r19376 = r19373 * r19375; float r19377 = r19372 + r19376; float r19378 = r19370 + r19377; float r19379 = -r19378; float r19380 = r19359 * r19379; float r19381 = r19355 ? r19366 : r19380; return r19381; } double f_od(double re, double im) { double r19382 = im; double r19383 = -0.12694145739078522; bool r19384 = r19382 <= r19383; double r19385 = 0.5; double r19386 = re; double r19387 = sin(r19386); double r19388 = r19385 * r19387; double r19389 = -r19382; double r19390 = exp(r19389); double r19391 = exp(r19382); double r19392 = r19390 - r19391; double r19393 = 1.0; double r19394 = pow(r19392, r19393); double r19395 = r19388 * r19394; double r19396 = 0.01666666753590107; double r19397 = 5.0; double r19398 = pow(r19382, r19397); double r19399 = r19396 * r19398; double r19400 = 2.0; double r19401 = r19400 * r19382; double r19402 = 0.3333333432674408; double r19403 = 3.0; double r19404 = pow(r19382, r19403); double r19405 = r19402 * r19404; double r19406 = r19401 + r19405; double r19407 = r19399 + r19406; double r19408 = -r19407; double r19409 = r19388 * r19408; double r19410 = r19384 ? r19395 : r19409; return r19410; } 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 r19411, r19412, r19413, r19414, r19415, r19416, r19417, r19418, r19419, r19420; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r19411, "0.5", 10, MPFR_RNDN); mpfr_init(r19412); mpfr_init(r19413); mpfr_init(r19414); mpfr_init(r19415); mpfr_init(r19416); mpfr_init(r19417); mpfr_init(r19418); mpfr_init(r19419); mpfr_init(r19420); } double f_im(double re, double im) { ; mpfr_set_d(r19412, re, MPFR_RNDN); mpfr_sin(r19413, r19412, MPFR_RNDN); mpfr_mul(r19414, r19411, r19413, MPFR_RNDN); mpfr_set_d(r19415, im, MPFR_RNDN); mpfr_neg(r19416, r19415, MPFR_RNDN); mpfr_exp(r19417, r19416, MPFR_RNDN); mpfr_exp(r19418, r19415, MPFR_RNDN); mpfr_sub(r19419, r19417, r19418, MPFR_RNDN); mpfr_mul(r19420, r19414, r19419, MPFR_RNDN); return mpfr_get_d(r19420, MPFR_RNDN); } static mpfr_t r19421, r19422, r19423, r19424, r19425, r19426, r19427, r19428, r19429, r19430, r19431, r19432, r19433, r19434, r19435, r19436, r19437, r19438, r19439, r19440, r19441, r19442, r19443, r19444, r19445, r19446, r19447, r19448, r19449; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r19421); mpfr_init_set_str(r19422, "-0.12694146f0", 10, MPFR_RNDN); mpfr_init(r19423); mpfr_init_set_str(r19424, "0.5", 10, MPFR_RNDN); mpfr_init(r19425); mpfr_init(r19426); mpfr_init(r19427); mpfr_init(r19428); mpfr_init(r19429); mpfr_init(r19430); mpfr_init(r19431); mpfr_init_set_str(r19432, "1", 10, MPFR_RNDN); mpfr_init(r19433); mpfr_init(r19434); mpfr_init_set_str(r19435, "1/60", 10, MPFR_RNDN); mpfr_init_set_str(r19436, "5", 10, MPFR_RNDN); mpfr_init(r19437); mpfr_init(r19438); mpfr_init_set_str(r19439, "2", 10, MPFR_RNDN); mpfr_init(r19440); mpfr_init_set_str(r19441, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19442, "3", 10, MPFR_RNDN); mpfr_init(r19443); mpfr_init(r19444); mpfr_init(r19445); mpfr_init(r19446); mpfr_init(r19447); mpfr_init(r19448); mpfr_init(r19449); } double f_fm(double re, double im) { mpfr_set_d(r19421, im, MPFR_RNDN); ; mpfr_set_si(r19423, mpfr_cmp(r19421, r19422) <= 0, MPFR_RNDN); ; mpfr_set_d(r19425, re, MPFR_RNDN); mpfr_sin(r19426, r19425, MPFR_RNDN); mpfr_mul(r19427, r19424, r19426, MPFR_RNDN); mpfr_neg(r19428, r19421, MPFR_RNDN); mpfr_exp(r19429, r19428, MPFR_RNDN); mpfr_exp(r19430, r19421, MPFR_RNDN); mpfr_sub(r19431, r19429, r19430, MPFR_RNDN); ; mpfr_pow(r19433, r19431, r19432, MPFR_RNDN); mpfr_mul(r19434, r19427, r19433, MPFR_RNDN); ; ; mpfr_pow(r19437, r19421, r19436, MPFR_RNDN); mpfr_mul(r19438, r19435, r19437, MPFR_RNDN); ; mpfr_mul(r19440, r19439, r19421, MPFR_RNDN); ; ; mpfr_pow(r19443, r19421, r19442, MPFR_RNDN); mpfr_mul(r19444, r19441, r19443, MPFR_RNDN); mpfr_add(r19445, r19440, r19444, MPFR_RNDN); mpfr_add(r19446, r19438, r19445, MPFR_RNDN); mpfr_neg(r19447, r19446, MPFR_RNDN); mpfr_mul(r19448, r19427, r19447, MPFR_RNDN); if (mpfr_get_si(r19423, MPFR_RNDN)) { mpfr_set(r19449, r19434, MPFR_RNDN); } else { mpfr_set(r19449, r19448, MPFR_RNDN); }; return mpfr_get_d(r19449, MPFR_RNDN); } static mpfr_t r19450, r19451, r19452, r19453, r19454, r19455, r19456, r19457, r19458, r19459, r19460, r19461, r19462, r19463, r19464, r19465, r19466, r19467, r19468, r19469, r19470, r19471, r19472, r19473, r19474, r19475, r19476, r19477, r19478; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r19450); mpfr_init_set_str(r19451, "-0.12694146f0", 10, MPFR_RNDN); mpfr_init(r19452); mpfr_init_set_str(r19453, "0.5", 10, MPFR_RNDN); mpfr_init(r19454); mpfr_init(r19455); mpfr_init(r19456); mpfr_init(r19457); mpfr_init(r19458); mpfr_init(r19459); mpfr_init(r19460); mpfr_init_set_str(r19461, "1", 10, MPFR_RNDN); mpfr_init(r19462); mpfr_init(r19463); mpfr_init_set_str(r19464, "1/60", 10, MPFR_RNDN); mpfr_init_set_str(r19465, "5", 10, MPFR_RNDN); mpfr_init(r19466); mpfr_init(r19467); mpfr_init_set_str(r19468, "2", 10, MPFR_RNDN); mpfr_init(r19469); mpfr_init_set_str(r19470, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19471, "3", 10, MPFR_RNDN); mpfr_init(r19472); mpfr_init(r19473); mpfr_init(r19474); mpfr_init(r19475); mpfr_init(r19476); mpfr_init(r19477); mpfr_init(r19478); } double f_dm(double re, double im) { mpfr_set_d(r19450, im, MPFR_RNDN); ; mpfr_set_si(r19452, mpfr_cmp(r19450, r19451) <= 0, MPFR_RNDN); ; mpfr_set_d(r19454, re, MPFR_RNDN); mpfr_sin(r19455, r19454, MPFR_RNDN); mpfr_mul(r19456, r19453, r19455, MPFR_RNDN); mpfr_neg(r19457, r19450, MPFR_RNDN); mpfr_exp(r19458, r19457, MPFR_RNDN); mpfr_exp(r19459, r19450, MPFR_RNDN); mpfr_sub(r19460, r19458, r19459, MPFR_RNDN); ; mpfr_pow(r19462, r19460, r19461, MPFR_RNDN); mpfr_mul(r19463, r19456, r19462, MPFR_RNDN); ; ; mpfr_pow(r19466, r19450, r19465, MPFR_RNDN); mpfr_mul(r19467, r19464, r19466, MPFR_RNDN); ; mpfr_mul(r19469, r19468, r19450, MPFR_RNDN); ; ; mpfr_pow(r19472, r19450, r19471, MPFR_RNDN); mpfr_mul(r19473, r19470, r19472, MPFR_RNDN); mpfr_add(r19474, r19469, r19473, MPFR_RNDN); mpfr_add(r19475, r19467, r19474, MPFR_RNDN); mpfr_neg(r19476, r19475, MPFR_RNDN); mpfr_mul(r19477, r19456, r19476, MPFR_RNDN); if (mpfr_get_si(r19452, MPFR_RNDN)) { mpfr_set(r19478, r19463, MPFR_RNDN); } else { mpfr_set(r19478, r19477, MPFR_RNDN); }; return mpfr_get_d(r19478, MPFR_RNDN); }