#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r26039 = 0.5; float r26040 = re; float r26041 = sin(r26040); float r26042 = r26039 * r26041; float r26043 = im; float r26044 = -r26043; float r26045 = exp(r26044); float r26046 = exp(r26043); float r26047 = r26045 - r26046; float r26048 = r26042 * r26047; return r26048; } double f_id(double re, double im) { double r26049 = 0.5; double r26050 = re; double r26051 = sin(r26050); double r26052 = r26049 * r26051; double r26053 = im; double r26054 = -r26053; double r26055 = exp(r26054); double r26056 = exp(r26053); double r26057 = r26055 - r26056; double r26058 = r26052 * r26057; return r26058; } double f_of(float re, float im) { float r26059 = 0.5; float r26060 = re; float r26061 = sin(r26060); float r26062 = r26059 * r26061; float r26063 = 1/60; float r26064 = im; float r26065 = 5; float r26066 = pow(r26064, r26065); float r26067 = r26063 * r26066; float r26068 = 2; float r26069 = r26068 * r26064; float r26070 = 1/3; float r26071 = 3; float r26072 = pow(r26064, r26071); float r26073 = r26070 * r26072; float r26074 = r26069 + r26073; float r26075 = r26067 + r26074; float r26076 = -r26075; float r26077 = r26062 * r26076; return r26077; } double f_od(double re, double im) { double r26078 = 0.5; double r26079 = re; double r26080 = sin(r26079); double r26081 = r26078 * r26080; double r26082 = 1/60; double r26083 = im; double r26084 = 5; double r26085 = pow(r26083, r26084); double r26086 = r26082 * r26085; double r26087 = 2; double r26088 = r26087 * r26083; double r26089 = 1/3; double r26090 = 3; double r26091 = pow(r26083, r26090); double r26092 = r26089 * r26091; double r26093 = r26088 + r26092; double r26094 = r26086 + r26093; double r26095 = -r26094; double r26096 = r26081 * r26095; return r26096; } 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 r26097, r26098, r26099, r26100, r26101, r26102, r26103, r26104, r26105, r26106; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26097, "0.5", 10, MPFR_RNDN); mpfr_init(r26098); mpfr_init(r26099); mpfr_init(r26100); mpfr_init(r26101); mpfr_init(r26102); mpfr_init(r26103); mpfr_init(r26104); mpfr_init(r26105); mpfr_init(r26106); } double f_im(double re, double im) { ; mpfr_set_d(r26098, re, MPFR_RNDN); mpfr_sin(r26099, r26098, MPFR_RNDN); mpfr_mul(r26100, r26097, r26099, MPFR_RNDN); mpfr_set_d(r26101, im, MPFR_RNDN); mpfr_neg(r26102, r26101, MPFR_RNDN); mpfr_exp(r26103, r26102, MPFR_RNDN); mpfr_exp(r26104, r26101, MPFR_RNDN); mpfr_sub(r26105, r26103, r26104, MPFR_RNDN); mpfr_mul(r26106, r26100, r26105, MPFR_RNDN); return mpfr_get_d(r26106, MPFR_RNDN); } static mpfr_t r26107, r26108, r26109, r26110, r26111, r26112, r26113, r26114, r26115, r26116, r26117, r26118, r26119, r26120, r26121, r26122, r26123, r26124, r26125; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26107, "0.5", 10, MPFR_RNDN); mpfr_init(r26108); mpfr_init(r26109); mpfr_init(r26110); mpfr_init_set_str(r26111, "1/60", 10, MPFR_RNDN); mpfr_init(r26112); mpfr_init_set_str(r26113, "5", 10, MPFR_RNDN); mpfr_init(r26114); mpfr_init(r26115); mpfr_init_set_str(r26116, "2", 10, MPFR_RNDN); mpfr_init(r26117); mpfr_init_set_str(r26118, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26119, "3", 10, MPFR_RNDN); mpfr_init(r26120); mpfr_init(r26121); mpfr_init(r26122); mpfr_init(r26123); mpfr_init(r26124); mpfr_init(r26125); } double f_fm(double re, double im) { ; mpfr_set_d(r26108, re, MPFR_RNDN); mpfr_sin(r26109, r26108, MPFR_RNDN); mpfr_mul(r26110, r26107, r26109, MPFR_RNDN); ; mpfr_set_d(r26112, im, MPFR_RNDN); ; mpfr_pow(r26114, r26112, r26113, MPFR_RNDN); mpfr_mul(r26115, r26111, r26114, MPFR_RNDN); ; mpfr_mul(r26117, r26116, r26112, MPFR_RNDN); ; ; mpfr_pow(r26120, r26112, r26119, MPFR_RNDN); mpfr_mul(r26121, r26118, r26120, MPFR_RNDN); mpfr_add(r26122, r26117, r26121, MPFR_RNDN); mpfr_add(r26123, r26115, r26122, MPFR_RNDN); mpfr_neg(r26124, r26123, MPFR_RNDN); mpfr_mul(r26125, r26110, r26124, MPFR_RNDN); return mpfr_get_d(r26125, MPFR_RNDN); } static mpfr_t r26126, r26127, r26128, r26129, r26130, r26131, r26132, r26133, r26134, r26135, r26136, r26137, r26138, r26139, r26140, r26141, r26142, r26143, r26144; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26126, "0.5", 10, MPFR_RNDN); mpfr_init(r26127); mpfr_init(r26128); mpfr_init(r26129); mpfr_init_set_str(r26130, "1/60", 10, MPFR_RNDN); mpfr_init(r26131); mpfr_init_set_str(r26132, "5", 10, MPFR_RNDN); mpfr_init(r26133); mpfr_init(r26134); mpfr_init_set_str(r26135, "2", 10, MPFR_RNDN); mpfr_init(r26136); mpfr_init_set_str(r26137, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26138, "3", 10, MPFR_RNDN); mpfr_init(r26139); mpfr_init(r26140); mpfr_init(r26141); mpfr_init(r26142); mpfr_init(r26143); mpfr_init(r26144); } double f_dm(double re, double im) { ; mpfr_set_d(r26127, re, MPFR_RNDN); mpfr_sin(r26128, r26127, MPFR_RNDN); mpfr_mul(r26129, r26126, r26128, MPFR_RNDN); ; mpfr_set_d(r26131, im, MPFR_RNDN); ; mpfr_pow(r26133, r26131, r26132, MPFR_RNDN); mpfr_mul(r26134, r26130, r26133, MPFR_RNDN); ; mpfr_mul(r26136, r26135, r26131, MPFR_RNDN); ; ; mpfr_pow(r26139, r26131, r26138, MPFR_RNDN); mpfr_mul(r26140, r26137, r26139, MPFR_RNDN); mpfr_add(r26141, r26136, r26140, MPFR_RNDN); mpfr_add(r26142, r26134, r26141, MPFR_RNDN); mpfr_neg(r26143, r26142, MPFR_RNDN); mpfr_mul(r26144, r26129, r26143, MPFR_RNDN); return mpfr_get_d(r26144, MPFR_RNDN); }