#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r19969 = 0.5f; float r19970 = re; float r19971 = sin(r19970); float r19972 = r19969 * r19971; float r19973 = im; float r19974 = -r19973; float r19975 = exp(r19974); float r19976 = exp(r19973); float r19977 = r19975 - r19976; float r19978 = r19972 * r19977; return r19978; } double f_id(double re, double im) { double r19979 = 0.5; double r19980 = re; double r19981 = sin(r19980); double r19982 = r19979 * r19981; double r19983 = im; double r19984 = -r19983; double r19985 = exp(r19984); double r19986 = exp(r19983); double r19987 = r19985 - r19986; double r19988 = r19982 * r19987; return r19988; } double f_of(float re, float im) { float r19989 = 0.5f; float r19990 = re; float r19991 = sin(r19990); float r19992 = r19989 * r19991; float r19993 = 0.016666666666666666f; float r19994 = im; float r19995 = 5.0f; float r19996 = pow(r19994, r19995); float r19997 = r19993 * r19996; float r19998 = 2.0f; float r19999 = r19998 * r19994; float r20000 = 0.3333333333333333f; float r20001 = 3.0f; float r20002 = pow(r19994, r20001); float r20003 = r20000 * r20002; float r20004 = r19999 + r20003; float r20005 = r19997 + r20004; float r20006 = -r20005; float r20007 = r19992 * r20006; return r20007; } double f_od(double re, double im) { double r20008 = 0.5; double r20009 = re; double r20010 = sin(r20009); double r20011 = r20008 * r20010; double r20012 = 0.016666666666666666; double r20013 = im; double r20014 = 5.0; double r20015 = pow(r20013, r20014); double r20016 = r20012 * r20015; double r20017 = 2.0; double r20018 = r20017 * r20013; double r20019 = 0.3333333333333333; double r20020 = 3.0; double r20021 = pow(r20013, r20020); double r20022 = r20019 * r20021; double r20023 = r20018 + r20022; double r20024 = r20016 + r20023; double r20025 = -r20024; double r20026 = r20011 * r20025; return r20026; } 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 r20027, r20028, r20029, r20030, r20031, r20032, r20033, r20034, r20035, r20036; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r20027, "0.5", 10, MPFR_RNDN); mpfr_init(r20028); mpfr_init(r20029); mpfr_init(r20030); mpfr_init(r20031); mpfr_init(r20032); mpfr_init(r20033); mpfr_init(r20034); mpfr_init(r20035); mpfr_init(r20036); } double f_im(double re, double im) { ; mpfr_set_d(r20028, re, MPFR_RNDN); mpfr_sin(r20029, r20028, MPFR_RNDN); mpfr_mul(r20030, r20027, r20029, MPFR_RNDN); mpfr_set_d(r20031, im, MPFR_RNDN); mpfr_neg(r20032, r20031, MPFR_RNDN); mpfr_exp(r20033, r20032, MPFR_RNDN); mpfr_exp(r20034, r20031, MPFR_RNDN); mpfr_sub(r20035, r20033, r20034, MPFR_RNDN); mpfr_mul(r20036, r20030, r20035, MPFR_RNDN); return mpfr_get_d(r20036, MPFR_RNDN); } static mpfr_t r20037, r20038, r20039, r20040, r20041, r20042, r20043, r20044, r20045, r20046, r20047, r20048, r20049, r20050, r20051, r20052, r20053, r20054, r20055; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r20037, "0.5", 10, MPFR_RNDN); mpfr_init(r20038); mpfr_init(r20039); mpfr_init(r20040); mpfr_init_set_str(r20041, "1/60", 10, MPFR_RNDN); mpfr_init(r20042); mpfr_init_set_str(r20043, "5", 10, MPFR_RNDN); mpfr_init(r20044); mpfr_init(r20045); mpfr_init_set_str(r20046, "2", 10, MPFR_RNDN); mpfr_init(r20047); mpfr_init_set_str(r20048, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r20049, "3", 10, MPFR_RNDN); mpfr_init(r20050); mpfr_init(r20051); mpfr_init(r20052); mpfr_init(r20053); mpfr_init(r20054); mpfr_init(r20055); } double f_fm(double re, double im) { ; mpfr_set_d(r20038, re, MPFR_RNDN); mpfr_sin(r20039, r20038, MPFR_RNDN); mpfr_mul(r20040, r20037, r20039, MPFR_RNDN); ; mpfr_set_d(r20042, im, MPFR_RNDN); ; mpfr_pow(r20044, r20042, r20043, MPFR_RNDN); mpfr_mul(r20045, r20041, r20044, MPFR_RNDN); ; mpfr_mul(r20047, r20046, r20042, MPFR_RNDN); ; ; mpfr_pow(r20050, r20042, r20049, MPFR_RNDN); mpfr_mul(r20051, r20048, r20050, MPFR_RNDN); mpfr_add(r20052, r20047, r20051, MPFR_RNDN); mpfr_add(r20053, r20045, r20052, MPFR_RNDN); mpfr_neg(r20054, r20053, MPFR_RNDN); mpfr_mul(r20055, r20040, r20054, MPFR_RNDN); return mpfr_get_d(r20055, MPFR_RNDN); } static mpfr_t r20056, r20057, r20058, r20059, r20060, r20061, r20062, r20063, r20064, r20065, r20066, r20067, r20068, r20069, r20070, r20071, r20072, r20073, r20074; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r20056, "0.5", 10, MPFR_RNDN); mpfr_init(r20057); mpfr_init(r20058); mpfr_init(r20059); mpfr_init_set_str(r20060, "1/60", 10, MPFR_RNDN); mpfr_init(r20061); mpfr_init_set_str(r20062, "5", 10, MPFR_RNDN); mpfr_init(r20063); mpfr_init(r20064); mpfr_init_set_str(r20065, "2", 10, MPFR_RNDN); mpfr_init(r20066); mpfr_init_set_str(r20067, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r20068, "3", 10, MPFR_RNDN); mpfr_init(r20069); mpfr_init(r20070); mpfr_init(r20071); mpfr_init(r20072); mpfr_init(r20073); mpfr_init(r20074); } double f_dm(double re, double im) { ; mpfr_set_d(r20057, re, MPFR_RNDN); mpfr_sin(r20058, r20057, MPFR_RNDN); mpfr_mul(r20059, r20056, r20058, MPFR_RNDN); ; mpfr_set_d(r20061, im, MPFR_RNDN); ; mpfr_pow(r20063, r20061, r20062, MPFR_RNDN); mpfr_mul(r20064, r20060, r20063, MPFR_RNDN); ; mpfr_mul(r20066, r20065, r20061, MPFR_RNDN); ; ; mpfr_pow(r20069, r20061, r20068, MPFR_RNDN); mpfr_mul(r20070, r20067, r20069, MPFR_RNDN); mpfr_add(r20071, r20066, r20070, MPFR_RNDN); mpfr_add(r20072, r20064, r20071, MPFR_RNDN); mpfr_neg(r20073, r20072, MPFR_RNDN); mpfr_mul(r20074, r20059, r20073, MPFR_RNDN); return mpfr_get_d(r20074, MPFR_RNDN); }