#include #include #include #include #include char *name = "math.sin on complex, imaginary part"; double f_if(float re, float im) { float r26018 = 0.5; float r26019 = re; float r26020 = cos(r26019); float r26021 = r26018 * r26020; float r26022 = 0; float r26023 = im; float r26024 = r26022 - r26023; float r26025 = exp(r26024); float r26026 = exp(r26023); float r26027 = r26025 - r26026; float r26028 = r26021 * r26027; return r26028; } double f_id(double re, double im) { double r26029 = 0.5; double r26030 = re; double r26031 = cos(r26030); double r26032 = r26029 * r26031; double r26033 = 0; double r26034 = im; double r26035 = r26033 - r26034; double r26036 = exp(r26035); double r26037 = exp(r26034); double r26038 = r26036 - r26037; double r26039 = r26032 * r26038; return r26039; } double f_of(float re, float im) { float r26040 = 0.5; float r26041 = re; float r26042 = cos(r26041); float r26043 = r26040 * r26042; float r26044 = 1/60; float r26045 = im; float r26046 = 5; float r26047 = pow(r26045, r26046); float r26048 = r26044 * r26047; float r26049 = 2; float r26050 = r26049 * r26045; float r26051 = 1/3; float r26052 = 3; float r26053 = pow(r26045, r26052); float r26054 = r26051 * r26053; float r26055 = r26050 + r26054; float r26056 = r26048 + r26055; float r26057 = -r26056; float r26058 = r26043 * r26057; return r26058; } double f_od(double re, double im) { double r26059 = 0.5; double r26060 = re; double r26061 = cos(r26060); double r26062 = r26059 * r26061; double r26063 = 1/60; double r26064 = im; double r26065 = 5; double r26066 = pow(r26064, r26065); double r26067 = r26063 * r26066; double r26068 = 2; double r26069 = r26068 * r26064; double r26070 = 1/3; double r26071 = 3; double r26072 = pow(r26064, r26071); double r26073 = r26070 * r26072; double r26074 = r26069 + r26073; double r26075 = r26067 + r26074; double r26076 = -r26075; double r26077 = r26062 * r26076; return r26077; } 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 r26078, r26079, r26080, r26081, r26082, r26083, r26084, r26085, r26086, r26087, r26088; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26078, "0.5", 10, MPFR_RNDN); mpfr_init(r26079); mpfr_init(r26080); mpfr_init(r26081); mpfr_init_set_str(r26082, "0", 10, MPFR_RNDN); mpfr_init(r26083); mpfr_init(r26084); mpfr_init(r26085); mpfr_init(r26086); mpfr_init(r26087); mpfr_init(r26088); } double f_im(double re, double im) { ; mpfr_set_d(r26079, re, MPFR_RNDN); mpfr_cos(r26080, r26079, MPFR_RNDN); mpfr_mul(r26081, r26078, r26080, MPFR_RNDN); ; mpfr_set_d(r26083, im, MPFR_RNDN); mpfr_sub(r26084, r26082, r26083, MPFR_RNDN); mpfr_exp(r26085, r26084, MPFR_RNDN); mpfr_exp(r26086, r26083, MPFR_RNDN); mpfr_sub(r26087, r26085, r26086, MPFR_RNDN); mpfr_mul(r26088, r26081, r26087, MPFR_RNDN); return mpfr_get_d(r26088, MPFR_RNDN); } static mpfr_t r26089, r26090, r26091, r26092, r26093, r26094, r26095, r26096, r26097, r26098, r26099, r26100, r26101, r26102, r26103, r26104, r26105, r26106, r26107; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26089, "0.5", 10, MPFR_RNDN); mpfr_init(r26090); mpfr_init(r26091); mpfr_init(r26092); mpfr_init_set_str(r26093, "1/60", 10, MPFR_RNDN); mpfr_init(r26094); mpfr_init_set_str(r26095, "5", 10, MPFR_RNDN); mpfr_init(r26096); mpfr_init(r26097); mpfr_init_set_str(r26098, "2", 10, MPFR_RNDN); mpfr_init(r26099); mpfr_init_set_str(r26100, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26101, "3", 10, MPFR_RNDN); mpfr_init(r26102); mpfr_init(r26103); mpfr_init(r26104); mpfr_init(r26105); mpfr_init(r26106); mpfr_init(r26107); } double f_fm(double re, double im) { ; mpfr_set_d(r26090, re, MPFR_RNDN); mpfr_cos(r26091, r26090, MPFR_RNDN); mpfr_mul(r26092, r26089, r26091, MPFR_RNDN); ; mpfr_set_d(r26094, im, MPFR_RNDN); ; mpfr_pow(r26096, r26094, r26095, MPFR_RNDN); mpfr_mul(r26097, r26093, r26096, MPFR_RNDN); ; mpfr_mul(r26099, r26098, r26094, MPFR_RNDN); ; ; mpfr_pow(r26102, r26094, r26101, MPFR_RNDN); mpfr_mul(r26103, r26100, r26102, MPFR_RNDN); mpfr_add(r26104, r26099, r26103, MPFR_RNDN); mpfr_add(r26105, r26097, r26104, MPFR_RNDN); mpfr_neg(r26106, r26105, MPFR_RNDN); mpfr_mul(r26107, r26092, r26106, MPFR_RNDN); return mpfr_get_d(r26107, MPFR_RNDN); } static mpfr_t r26108, r26109, r26110, r26111, r26112, r26113, r26114, r26115, r26116, r26117, r26118, r26119, r26120, r26121, r26122, r26123, r26124, r26125, r26126; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26108, "0.5", 10, MPFR_RNDN); mpfr_init(r26109); mpfr_init(r26110); mpfr_init(r26111); mpfr_init_set_str(r26112, "1/60", 10, MPFR_RNDN); mpfr_init(r26113); mpfr_init_set_str(r26114, "5", 10, MPFR_RNDN); mpfr_init(r26115); mpfr_init(r26116); mpfr_init_set_str(r26117, "2", 10, MPFR_RNDN); mpfr_init(r26118); mpfr_init_set_str(r26119, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26120, "3", 10, MPFR_RNDN); mpfr_init(r26121); mpfr_init(r26122); mpfr_init(r26123); mpfr_init(r26124); mpfr_init(r26125); mpfr_init(r26126); } double f_dm(double re, double im) { ; mpfr_set_d(r26109, re, MPFR_RNDN); mpfr_cos(r26110, r26109, MPFR_RNDN); mpfr_mul(r26111, r26108, r26110, MPFR_RNDN); ; mpfr_set_d(r26113, im, MPFR_RNDN); ; mpfr_pow(r26115, r26113, r26114, MPFR_RNDN); mpfr_mul(r26116, r26112, r26115, MPFR_RNDN); ; mpfr_mul(r26118, r26117, r26113, MPFR_RNDN); ; ; mpfr_pow(r26121, r26113, r26120, MPFR_RNDN); mpfr_mul(r26122, r26119, r26121, MPFR_RNDN); mpfr_add(r26123, r26118, r26122, MPFR_RNDN); mpfr_add(r26124, r26116, r26123, MPFR_RNDN); mpfr_neg(r26125, r26124, MPFR_RNDN); mpfr_mul(r26126, r26111, r26125, MPFR_RNDN); return mpfr_get_d(r26126, MPFR_RNDN); }