#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r25972 = 0.5; float r25973 = re; float r25974 = sin(r25973); float r25975 = r25972 * r25974; float r25976 = im; float r25977 = -r25976; float r25978 = exp(r25977); float r25979 = exp(r25976); float r25980 = r25978 - r25979; float r25981 = r25975 * r25980; return r25981; } double f_id(double re, double im) { double r25982 = 0.5; double r25983 = re; double r25984 = sin(r25983); double r25985 = r25982 * r25984; double r25986 = im; double r25987 = -r25986; double r25988 = exp(r25987); double r25989 = exp(r25986); double r25990 = r25988 - r25989; double r25991 = r25985 * r25990; return r25991; } double f_of(float re, float im) { float r25992 = 0.5; float r25993 = re; float r25994 = sin(r25993); float r25995 = r25992 * r25994; float r25996 = 1/60; float r25997 = im; float r25998 = 5; float r25999 = pow(r25997, r25998); float r26000 = r25996 * r25999; float r26001 = 2; float r26002 = r26001 * r25997; float r26003 = 1/3; float r26004 = 3; float r26005 = pow(r25997, r26004); float r26006 = r26003 * r26005; float r26007 = r26002 + r26006; float r26008 = r26000 + r26007; float r26009 = -r26008; float r26010 = r25995 * r26009; return r26010; } double f_od(double re, double im) { double r26011 = 0.5; double r26012 = re; double r26013 = sin(r26012); double r26014 = r26011 * r26013; double r26015 = 1/60; double r26016 = im; double r26017 = 5; double r26018 = pow(r26016, r26017); double r26019 = r26015 * r26018; double r26020 = 2; double r26021 = r26020 * r26016; double r26022 = 1/3; double r26023 = 3; double r26024 = pow(r26016, r26023); double r26025 = r26022 * r26024; double r26026 = r26021 + r26025; double r26027 = r26019 + r26026; double r26028 = -r26027; double r26029 = r26014 * r26028; return r26029; } 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 r26030, r26031, r26032, r26033, r26034, r26035, r26036, r26037, r26038, r26039; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26030, "0.5", 10, MPFR_RNDN); mpfr_init(r26031); mpfr_init(r26032); mpfr_init(r26033); mpfr_init(r26034); mpfr_init(r26035); mpfr_init(r26036); mpfr_init(r26037); mpfr_init(r26038); mpfr_init(r26039); } double f_im(double re, double im) { ; mpfr_set_d(r26031, re, MPFR_RNDN); mpfr_sin(r26032, r26031, MPFR_RNDN); mpfr_mul(r26033, r26030, r26032, MPFR_RNDN); mpfr_set_d(r26034, im, MPFR_RNDN); mpfr_neg(r26035, r26034, MPFR_RNDN); mpfr_exp(r26036, r26035, MPFR_RNDN); mpfr_exp(r26037, r26034, MPFR_RNDN); mpfr_sub(r26038, r26036, r26037, MPFR_RNDN); mpfr_mul(r26039, r26033, r26038, MPFR_RNDN); return mpfr_get_d(r26039, MPFR_RNDN); } static mpfr_t r26040, r26041, r26042, r26043, r26044, r26045, r26046, r26047, r26048, r26049, r26050, r26051, r26052, r26053, r26054, r26055, r26056, r26057, r26058; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26040, "0.5", 10, MPFR_RNDN); mpfr_init(r26041); mpfr_init(r26042); mpfr_init(r26043); mpfr_init_set_str(r26044, "1/60", 10, MPFR_RNDN); mpfr_init(r26045); mpfr_init_set_str(r26046, "5", 10, MPFR_RNDN); mpfr_init(r26047); mpfr_init(r26048); mpfr_init_set_str(r26049, "2", 10, MPFR_RNDN); mpfr_init(r26050); mpfr_init_set_str(r26051, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26052, "3", 10, MPFR_RNDN); mpfr_init(r26053); mpfr_init(r26054); mpfr_init(r26055); mpfr_init(r26056); mpfr_init(r26057); mpfr_init(r26058); } double f_fm(double re, double im) { ; mpfr_set_d(r26041, re, MPFR_RNDN); mpfr_sin(r26042, r26041, MPFR_RNDN); mpfr_mul(r26043, r26040, r26042, MPFR_RNDN); ; mpfr_set_d(r26045, im, MPFR_RNDN); ; mpfr_pow(r26047, r26045, r26046, MPFR_RNDN); mpfr_mul(r26048, r26044, r26047, MPFR_RNDN); ; mpfr_mul(r26050, r26049, r26045, MPFR_RNDN); ; ; mpfr_pow(r26053, r26045, r26052, MPFR_RNDN); mpfr_mul(r26054, r26051, r26053, MPFR_RNDN); mpfr_add(r26055, r26050, r26054, MPFR_RNDN); mpfr_add(r26056, r26048, r26055, MPFR_RNDN); mpfr_neg(r26057, r26056, MPFR_RNDN); mpfr_mul(r26058, r26043, r26057, MPFR_RNDN); return mpfr_get_d(r26058, MPFR_RNDN); } static mpfr_t r26059, r26060, r26061, r26062, r26063, r26064, r26065, r26066, r26067, r26068, r26069, r26070, r26071, r26072, r26073, r26074, r26075, r26076, r26077; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26059, "0.5", 10, MPFR_RNDN); mpfr_init(r26060); mpfr_init(r26061); mpfr_init(r26062); mpfr_init_set_str(r26063, "1/60", 10, MPFR_RNDN); mpfr_init(r26064); mpfr_init_set_str(r26065, "5", 10, MPFR_RNDN); mpfr_init(r26066); mpfr_init(r26067); mpfr_init_set_str(r26068, "2", 10, MPFR_RNDN); mpfr_init(r26069); mpfr_init_set_str(r26070, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26071, "3", 10, MPFR_RNDN); mpfr_init(r26072); mpfr_init(r26073); mpfr_init(r26074); mpfr_init(r26075); mpfr_init(r26076); mpfr_init(r26077); } double f_dm(double re, double im) { ; mpfr_set_d(r26060, re, MPFR_RNDN); mpfr_sin(r26061, r26060, MPFR_RNDN); mpfr_mul(r26062, r26059, r26061, MPFR_RNDN); ; mpfr_set_d(r26064, im, MPFR_RNDN); ; mpfr_pow(r26066, r26064, r26065, MPFR_RNDN); mpfr_mul(r26067, r26063, r26066, MPFR_RNDN); ; mpfr_mul(r26069, r26068, r26064, MPFR_RNDN); ; ; mpfr_pow(r26072, r26064, r26071, MPFR_RNDN); mpfr_mul(r26073, r26070, r26072, MPFR_RNDN); mpfr_add(r26074, r26069, r26073, MPFR_RNDN); mpfr_add(r26075, r26067, r26074, MPFR_RNDN); mpfr_neg(r26076, r26075, MPFR_RNDN); mpfr_mul(r26077, r26062, r26076, MPFR_RNDN); return mpfr_get_d(r26077, MPFR_RNDN); }