#include #include #include #include #include char *name = "math.sin on complex, imaginary part"; double f_if(float re, float im) { float r19003 = 0.5f; float r19004 = re; float r19005 = cos(r19004); float r19006 = r19003 * r19005; float r19007 = 0.0f; float r19008 = im; float r19009 = r19007 - r19008; float r19010 = exp(r19009); float r19011 = exp(r19008); float r19012 = r19010 - r19011; float r19013 = r19006 * r19012; return r19013; } double f_id(double re, double im) { double r19014 = 0.5; double r19015 = re; double r19016 = cos(r19015); double r19017 = r19014 * r19016; double r19018 = 0.0; double r19019 = im; double r19020 = r19018 - r19019; double r19021 = exp(r19020); double r19022 = exp(r19019); double r19023 = r19021 - r19022; double r19024 = r19017 * r19023; return r19024; } double f_of(float re, float im) { float r19025 = im; float r19026 = -0.21930791437625885f; bool r19027 = r19025 <= r19026; float r19028 = -r19025; float r19029 = exp(r19028); float r19030 = exp(r19025); float r19031 = r19029 - r19030; float r19032 = re; float r19033 = cos(r19032); float r19034 = 0.5f; float r19035 = r19033 * r19034; float r19036 = r19031 * r19035; float r19037 = 0.01666666753590107f; float r19038 = 5.0f; float r19039 = pow(r19025, r19038); float r19040 = r19037 * r19039; float r19041 = 2.0f; float r19042 = r19041 * r19025; float r19043 = 0.3333333432674408f; float r19044 = 3.0f; float r19045 = pow(r19025, r19044); float r19046 = r19043 * r19045; float r19047 = r19042 + r19046; float r19048 = r19040 + r19047; float r19049 = -r19048; float r19050 = r19049 * r19035; float r19051 = r19027 ? r19036 : r19050; return r19051; } double f_od(double re, double im) { double r19052 = im; double r19053 = -0.21930791437625885; bool r19054 = r19052 <= r19053; double r19055 = -r19052; double r19056 = exp(r19055); double r19057 = exp(r19052); double r19058 = r19056 - r19057; double r19059 = re; double r19060 = cos(r19059); double r19061 = 0.5; double r19062 = r19060 * r19061; double r19063 = r19058 * r19062; double r19064 = 0.01666666753590107; double r19065 = 5.0; double r19066 = pow(r19052, r19065); double r19067 = r19064 * r19066; double r19068 = 2.0; double r19069 = r19068 * r19052; double r19070 = 0.3333333432674408; double r19071 = 3.0; double r19072 = pow(r19052, r19071); double r19073 = r19070 * r19072; double r19074 = r19069 + r19073; double r19075 = r19067 + r19074; double r19076 = -r19075; double r19077 = r19076 * r19062; double r19078 = r19054 ? r19063 : r19077; return r19078; } 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 r19079, r19080, r19081, r19082, r19083, r19084, r19085, r19086, r19087, r19088, r19089; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r19079, "0.5", 10, MPFR_RNDN); mpfr_init(r19080); mpfr_init(r19081); mpfr_init(r19082); mpfr_init_set_str(r19083, "0", 10, MPFR_RNDN); mpfr_init(r19084); mpfr_init(r19085); mpfr_init(r19086); mpfr_init(r19087); mpfr_init(r19088); mpfr_init(r19089); } double f_im(double re, double im) { ; mpfr_set_d(r19080, re, MPFR_RNDN); mpfr_cos(r19081, r19080, MPFR_RNDN); mpfr_mul(r19082, r19079, r19081, MPFR_RNDN); ; mpfr_set_d(r19084, im, MPFR_RNDN); mpfr_sub(r19085, r19083, r19084, MPFR_RNDN); mpfr_exp(r19086, r19085, MPFR_RNDN); mpfr_exp(r19087, r19084, MPFR_RNDN); mpfr_sub(r19088, r19086, r19087, MPFR_RNDN); mpfr_mul(r19089, r19082, r19088, MPFR_RNDN); return mpfr_get_d(r19089, MPFR_RNDN); } static mpfr_t r19090, r19091, r19092, r19093, r19094, r19095, r19096, r19097, r19098, r19099, r19100, r19101, r19102, r19103, r19104, r19105, r19106, r19107, r19108, r19109, r19110, r19111, r19112, r19113, r19114, r19115, r19116; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r19090); mpfr_init_set_str(r19091, "-0.21930791f0", 10, MPFR_RNDN); mpfr_init(r19092); mpfr_init(r19093); mpfr_init(r19094); mpfr_init(r19095); mpfr_init(r19096); mpfr_init(r19097); mpfr_init(r19098); mpfr_init_set_str(r19099, "0.5", 10, MPFR_RNDN); mpfr_init(r19100); mpfr_init(r19101); mpfr_init_set_str(r19102, "1/60", 10, MPFR_RNDN); mpfr_init_set_str(r19103, "5", 10, MPFR_RNDN); mpfr_init(r19104); mpfr_init(r19105); mpfr_init_set_str(r19106, "2", 10, MPFR_RNDN); mpfr_init(r19107); mpfr_init_set_str(r19108, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19109, "3", 10, MPFR_RNDN); mpfr_init(r19110); mpfr_init(r19111); mpfr_init(r19112); mpfr_init(r19113); mpfr_init(r19114); mpfr_init(r19115); mpfr_init(r19116); } double f_fm(double re, double im) { mpfr_set_d(r19090, im, MPFR_RNDN); ; mpfr_set_si(r19092, mpfr_cmp(r19090, r19091) <= 0, MPFR_RNDN); mpfr_neg(r19093, r19090, MPFR_RNDN); mpfr_exp(r19094, r19093, MPFR_RNDN); mpfr_exp(r19095, r19090, MPFR_RNDN); mpfr_sub(r19096, r19094, r19095, MPFR_RNDN); mpfr_set_d(r19097, re, MPFR_RNDN); mpfr_cos(r19098, r19097, MPFR_RNDN); ; mpfr_mul(r19100, r19098, r19099, MPFR_RNDN); mpfr_mul(r19101, r19096, r19100, MPFR_RNDN); ; ; mpfr_pow(r19104, r19090, r19103, MPFR_RNDN); mpfr_mul(r19105, r19102, r19104, MPFR_RNDN); ; mpfr_mul(r19107, r19106, r19090, MPFR_RNDN); ; ; mpfr_pow(r19110, r19090, r19109, MPFR_RNDN); mpfr_mul(r19111, r19108, r19110, MPFR_RNDN); mpfr_add(r19112, r19107, r19111, MPFR_RNDN); mpfr_add(r19113, r19105, r19112, MPFR_RNDN); mpfr_neg(r19114, r19113, MPFR_RNDN); mpfr_mul(r19115, r19114, r19100, MPFR_RNDN); if (mpfr_get_si(r19092, MPFR_RNDN)) { mpfr_set(r19116, r19101, MPFR_RNDN); } else { mpfr_set(r19116, r19115, MPFR_RNDN); }; return mpfr_get_d(r19116, MPFR_RNDN); } static mpfr_t r19117, r19118, r19119, r19120, r19121, r19122, r19123, r19124, r19125, r19126, r19127, r19128, r19129, r19130, r19131, r19132, r19133, r19134, r19135, r19136, r19137, r19138, r19139, r19140, r19141, r19142, r19143; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r19117); mpfr_init_set_str(r19118, "-0.21930791f0", 10, MPFR_RNDN); mpfr_init(r19119); mpfr_init(r19120); mpfr_init(r19121); mpfr_init(r19122); mpfr_init(r19123); mpfr_init(r19124); mpfr_init(r19125); mpfr_init_set_str(r19126, "0.5", 10, MPFR_RNDN); mpfr_init(r19127); mpfr_init(r19128); mpfr_init_set_str(r19129, "1/60", 10, MPFR_RNDN); mpfr_init_set_str(r19130, "5", 10, MPFR_RNDN); mpfr_init(r19131); mpfr_init(r19132); mpfr_init_set_str(r19133, "2", 10, MPFR_RNDN); mpfr_init(r19134); mpfr_init_set_str(r19135, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19136, "3", 10, MPFR_RNDN); mpfr_init(r19137); mpfr_init(r19138); mpfr_init(r19139); mpfr_init(r19140); mpfr_init(r19141); mpfr_init(r19142); mpfr_init(r19143); } double f_dm(double re, double im) { mpfr_set_d(r19117, im, MPFR_RNDN); ; mpfr_set_si(r19119, mpfr_cmp(r19117, r19118) <= 0, MPFR_RNDN); mpfr_neg(r19120, r19117, MPFR_RNDN); mpfr_exp(r19121, r19120, MPFR_RNDN); mpfr_exp(r19122, r19117, MPFR_RNDN); mpfr_sub(r19123, r19121, r19122, MPFR_RNDN); mpfr_set_d(r19124, re, MPFR_RNDN); mpfr_cos(r19125, r19124, MPFR_RNDN); ; mpfr_mul(r19127, r19125, r19126, MPFR_RNDN); mpfr_mul(r19128, r19123, r19127, MPFR_RNDN); ; ; mpfr_pow(r19131, r19117, r19130, MPFR_RNDN); mpfr_mul(r19132, r19129, r19131, MPFR_RNDN); ; mpfr_mul(r19134, r19133, r19117, MPFR_RNDN); ; ; mpfr_pow(r19137, r19117, r19136, MPFR_RNDN); mpfr_mul(r19138, r19135, r19137, MPFR_RNDN); mpfr_add(r19139, r19134, r19138, MPFR_RNDN); mpfr_add(r19140, r19132, r19139, MPFR_RNDN); mpfr_neg(r19141, r19140, MPFR_RNDN); mpfr_mul(r19142, r19141, r19127, MPFR_RNDN); if (mpfr_get_si(r19119, MPFR_RNDN)) { mpfr_set(r19143, r19128, MPFR_RNDN); } else { mpfr_set(r19143, r19142, MPFR_RNDN); }; return mpfr_get_d(r19143, MPFR_RNDN); }