#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r19001 = 0.5f; float r19002 = re; float r19003 = sin(r19002); float r19004 = r19001 * r19003; float r19005 = im; float r19006 = -r19005; float r19007 = exp(r19006); float r19008 = exp(r19005); float r19009 = r19007 - r19008; float r19010 = r19004 * r19009; return r19010; } double f_id(double re, double im) { double r19011 = 0.5; double r19012 = re; double r19013 = sin(r19012); double r19014 = r19011 * r19013; double r19015 = im; double r19016 = -r19015; double r19017 = exp(r19016); double r19018 = exp(r19015); double r19019 = r19017 - r19018; double r19020 = r19014 * r19019; return r19020; } double f_of(float re, float im) { float r19021 = 0.5f; float r19022 = re; float r19023 = sin(r19022); float r19024 = r19021 * r19023; float r19025 = 0.016666666666666666f; float r19026 = im; float r19027 = 5.0f; float r19028 = pow(r19026, r19027); float r19029 = r19025 * r19028; float r19030 = 2.0f; float r19031 = r19030 * r19026; float r19032 = 0.3333333333333333f; float r19033 = 3.0f; float r19034 = pow(r19026, r19033); float r19035 = r19032 * r19034; float r19036 = r19031 + r19035; float r19037 = r19029 + r19036; float r19038 = -r19037; float r19039 = r19024 * r19038; return r19039; } double f_od(double re, double im) { double r19040 = 0.5; double r19041 = re; double r19042 = sin(r19041); double r19043 = r19040 * r19042; double r19044 = 0.016666666666666666; double r19045 = im; double r19046 = 5.0; double r19047 = pow(r19045, r19046); double r19048 = r19044 * r19047; double r19049 = 2.0; double r19050 = r19049 * r19045; double r19051 = 0.3333333333333333; double r19052 = 3.0; double r19053 = pow(r19045, r19052); double r19054 = r19051 * r19053; double r19055 = r19050 + r19054; double r19056 = r19048 + r19055; double r19057 = -r19056; double r19058 = r19043 * r19057; return r19058; } 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 r19059, r19060, r19061, r19062, r19063, r19064, r19065, r19066, r19067, r19068; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r19059, "0.5", 10, MPFR_RNDN); mpfr_init(r19060); mpfr_init(r19061); mpfr_init(r19062); mpfr_init(r19063); mpfr_init(r19064); mpfr_init(r19065); mpfr_init(r19066); mpfr_init(r19067); mpfr_init(r19068); } double f_im(double re, double im) { ; mpfr_set_d(r19060, re, MPFR_RNDN); mpfr_sin(r19061, r19060, MPFR_RNDN); mpfr_mul(r19062, r19059, r19061, MPFR_RNDN); mpfr_set_d(r19063, im, MPFR_RNDN); mpfr_neg(r19064, r19063, MPFR_RNDN); mpfr_exp(r19065, r19064, MPFR_RNDN); mpfr_exp(r19066, r19063, MPFR_RNDN); mpfr_sub(r19067, r19065, r19066, MPFR_RNDN); mpfr_mul(r19068, r19062, r19067, MPFR_RNDN); return mpfr_get_d(r19068, MPFR_RNDN); } static mpfr_t r19069, r19070, r19071, r19072, r19073, r19074, r19075, r19076, r19077, r19078, r19079, r19080, r19081, r19082, r19083, r19084, r19085, r19086, r19087; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19069, "0.5", 10, MPFR_RNDN); mpfr_init(r19070); mpfr_init(r19071); mpfr_init(r19072); mpfr_init_set_str(r19073, "1/60", 10, MPFR_RNDN); mpfr_init(r19074); mpfr_init_set_str(r19075, "5", 10, MPFR_RNDN); mpfr_init(r19076); mpfr_init(r19077); mpfr_init_set_str(r19078, "2", 10, MPFR_RNDN); mpfr_init(r19079); mpfr_init_set_str(r19080, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19081, "3", 10, MPFR_RNDN); mpfr_init(r19082); mpfr_init(r19083); mpfr_init(r19084); mpfr_init(r19085); mpfr_init(r19086); mpfr_init(r19087); } double f_fm(double re, double im) { ; mpfr_set_d(r19070, re, MPFR_RNDN); mpfr_sin(r19071, r19070, MPFR_RNDN); mpfr_mul(r19072, r19069, r19071, MPFR_RNDN); ; mpfr_set_d(r19074, im, MPFR_RNDN); ; mpfr_pow(r19076, r19074, r19075, MPFR_RNDN); mpfr_mul(r19077, r19073, r19076, MPFR_RNDN); ; mpfr_mul(r19079, r19078, r19074, MPFR_RNDN); ; ; mpfr_pow(r19082, r19074, r19081, MPFR_RNDN); mpfr_mul(r19083, r19080, r19082, MPFR_RNDN); mpfr_add(r19084, r19079, r19083, MPFR_RNDN); mpfr_add(r19085, r19077, r19084, MPFR_RNDN); mpfr_neg(r19086, r19085, MPFR_RNDN); mpfr_mul(r19087, r19072, r19086, MPFR_RNDN); return mpfr_get_d(r19087, MPFR_RNDN); } static mpfr_t r19088, r19089, r19090, r19091, r19092, r19093, r19094, r19095, r19096, r19097, r19098, r19099, r19100, r19101, r19102, r19103, r19104, r19105, r19106; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19088, "0.5", 10, MPFR_RNDN); mpfr_init(r19089); mpfr_init(r19090); mpfr_init(r19091); mpfr_init_set_str(r19092, "1/60", 10, MPFR_RNDN); mpfr_init(r19093); mpfr_init_set_str(r19094, "5", 10, MPFR_RNDN); mpfr_init(r19095); mpfr_init(r19096); mpfr_init_set_str(r19097, "2", 10, MPFR_RNDN); mpfr_init(r19098); mpfr_init_set_str(r19099, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19100, "3", 10, MPFR_RNDN); mpfr_init(r19101); mpfr_init(r19102); mpfr_init(r19103); mpfr_init(r19104); mpfr_init(r19105); mpfr_init(r19106); } double f_dm(double re, double im) { ; mpfr_set_d(r19089, re, MPFR_RNDN); mpfr_sin(r19090, r19089, MPFR_RNDN); mpfr_mul(r19091, r19088, r19090, MPFR_RNDN); ; mpfr_set_d(r19093, im, MPFR_RNDN); ; mpfr_pow(r19095, r19093, r19094, MPFR_RNDN); mpfr_mul(r19096, r19092, r19095, MPFR_RNDN); ; mpfr_mul(r19098, r19097, r19093, MPFR_RNDN); ; ; mpfr_pow(r19101, r19093, r19100, MPFR_RNDN); mpfr_mul(r19102, r19099, r19101, MPFR_RNDN); mpfr_add(r19103, r19098, r19102, MPFR_RNDN); mpfr_add(r19104, r19096, r19103, MPFR_RNDN); mpfr_neg(r19105, r19104, MPFR_RNDN); mpfr_mul(r19106, r19091, r19105, MPFR_RNDN); return mpfr_get_d(r19106, MPFR_RNDN); }