#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r18356 = 0.5f; float r18357 = re; float r18358 = sin(r18357); float r18359 = r18356 * r18358; float r18360 = im; float r18361 = -r18360; float r18362 = exp(r18361); float r18363 = exp(r18360); float r18364 = r18362 - r18363; float r18365 = r18359 * r18364; return r18365; } double f_id(double re, double im) { double r18366 = 0.5; double r18367 = re; double r18368 = sin(r18367); double r18369 = r18366 * r18368; double r18370 = im; double r18371 = -r18370; double r18372 = exp(r18371); double r18373 = exp(r18370); double r18374 = r18372 - r18373; double r18375 = r18369 * r18374; return r18375; } double f_of(float re, float im) { float r18376 = 0.5f; float r18377 = re; float r18378 = sin(r18377); float r18379 = r18376 * r18378; float r18380 = 0.01666666753590107f; float r18381 = im; float r18382 = 5.0f; float r18383 = pow(r18381, r18382); float r18384 = r18380 * r18383; float r18385 = 2.0f; float r18386 = r18385 * r18381; float r18387 = 0.3333333432674408f; float r18388 = 3.0f; float r18389 = pow(r18381, r18388); float r18390 = r18387 * r18389; float r18391 = r18386 + r18390; float r18392 = r18384 + r18391; float r18393 = -r18392; float r18394 = r18379 * r18393; return r18394; } double f_od(double re, double im) { double r18395 = 0.5; double r18396 = re; double r18397 = sin(r18396); double r18398 = r18395 * r18397; double r18399 = 0.01666666753590107; double r18400 = im; double r18401 = 5.0; double r18402 = pow(r18400, r18401); double r18403 = r18399 * r18402; double r18404 = 2.0; double r18405 = r18404 * r18400; double r18406 = 0.3333333432674408; double r18407 = 3.0; double r18408 = pow(r18400, r18407); double r18409 = r18406 * r18408; double r18410 = r18405 + r18409; double r18411 = r18403 + r18410; double r18412 = -r18411; double r18413 = r18398 * r18412; return r18413; } 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 r18414, r18415, r18416, r18417, r18418, r18419, r18420, r18421, r18422, r18423; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r18414, "0.5", 10, MPFR_RNDN); mpfr_init(r18415); mpfr_init(r18416); mpfr_init(r18417); mpfr_init(r18418); mpfr_init(r18419); mpfr_init(r18420); mpfr_init(r18421); mpfr_init(r18422); mpfr_init(r18423); } double f_im(double re, double im) { ; mpfr_set_d(r18415, re, MPFR_RNDN); mpfr_sin(r18416, r18415, MPFR_RNDN); mpfr_mul(r18417, r18414, r18416, MPFR_RNDN); mpfr_set_d(r18418, im, MPFR_RNDN); mpfr_neg(r18419, r18418, MPFR_RNDN); mpfr_exp(r18420, r18419, MPFR_RNDN); mpfr_exp(r18421, r18418, MPFR_RNDN); mpfr_sub(r18422, r18420, r18421, MPFR_RNDN); mpfr_mul(r18423, r18417, r18422, MPFR_RNDN); return mpfr_get_d(r18423, MPFR_RNDN); } static mpfr_t r18424, r18425, r18426, r18427, r18428, r18429, r18430, r18431, r18432, r18433, r18434, r18435, r18436, r18437, r18438, r18439, r18440, r18441, r18442; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r18424, "0.5", 10, MPFR_RNDN); mpfr_init(r18425); mpfr_init(r18426); mpfr_init(r18427); mpfr_init_set_str(r18428, "1/60", 10, MPFR_RNDN); mpfr_init(r18429); mpfr_init_set_str(r18430, "5", 10, MPFR_RNDN); mpfr_init(r18431); mpfr_init(r18432); mpfr_init_set_str(r18433, "2", 10, MPFR_RNDN); mpfr_init(r18434); mpfr_init_set_str(r18435, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r18436, "3", 10, MPFR_RNDN); mpfr_init(r18437); mpfr_init(r18438); mpfr_init(r18439); mpfr_init(r18440); mpfr_init(r18441); mpfr_init(r18442); } double f_fm(double re, double im) { ; mpfr_set_d(r18425, re, MPFR_RNDN); mpfr_sin(r18426, r18425, MPFR_RNDN); mpfr_mul(r18427, r18424, r18426, MPFR_RNDN); ; mpfr_set_d(r18429, im, MPFR_RNDN); ; mpfr_pow(r18431, r18429, r18430, MPFR_RNDN); mpfr_mul(r18432, r18428, r18431, MPFR_RNDN); ; mpfr_mul(r18434, r18433, r18429, MPFR_RNDN); ; ; mpfr_pow(r18437, r18429, r18436, MPFR_RNDN); mpfr_mul(r18438, r18435, r18437, MPFR_RNDN); mpfr_add(r18439, r18434, r18438, MPFR_RNDN); mpfr_add(r18440, r18432, r18439, MPFR_RNDN); mpfr_neg(r18441, r18440, MPFR_RNDN); mpfr_mul(r18442, r18427, r18441, MPFR_RNDN); return mpfr_get_d(r18442, MPFR_RNDN); } static mpfr_t r18443, r18444, r18445, r18446, r18447, r18448, r18449, r18450, r18451, r18452, r18453, r18454, r18455, r18456, r18457, r18458, r18459, r18460, r18461; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r18443, "0.5", 10, MPFR_RNDN); mpfr_init(r18444); mpfr_init(r18445); mpfr_init(r18446); mpfr_init_set_str(r18447, "1/60", 10, MPFR_RNDN); mpfr_init(r18448); mpfr_init_set_str(r18449, "5", 10, MPFR_RNDN); mpfr_init(r18450); mpfr_init(r18451); mpfr_init_set_str(r18452, "2", 10, MPFR_RNDN); mpfr_init(r18453); mpfr_init_set_str(r18454, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r18455, "3", 10, MPFR_RNDN); mpfr_init(r18456); mpfr_init(r18457); mpfr_init(r18458); mpfr_init(r18459); mpfr_init(r18460); mpfr_init(r18461); } double f_dm(double re, double im) { ; mpfr_set_d(r18444, re, MPFR_RNDN); mpfr_sin(r18445, r18444, MPFR_RNDN); mpfr_mul(r18446, r18443, r18445, MPFR_RNDN); ; mpfr_set_d(r18448, im, MPFR_RNDN); ; mpfr_pow(r18450, r18448, r18449, MPFR_RNDN); mpfr_mul(r18451, r18447, r18450, MPFR_RNDN); ; mpfr_mul(r18453, r18452, r18448, MPFR_RNDN); ; ; mpfr_pow(r18456, r18448, r18455, MPFR_RNDN); mpfr_mul(r18457, r18454, r18456, MPFR_RNDN); mpfr_add(r18458, r18453, r18457, MPFR_RNDN); mpfr_add(r18459, r18451, r18458, MPFR_RNDN); mpfr_neg(r18460, r18459, MPFR_RNDN); mpfr_mul(r18461, r18446, r18460, MPFR_RNDN); return mpfr_get_d(r18461, MPFR_RNDN); }