#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r19121 = 0.5f; float r19122 = re; float r19123 = sin(r19122); float r19124 = r19121 * r19123; float r19125 = im; float r19126 = -r19125; float r19127 = exp(r19126); float r19128 = exp(r19125); float r19129 = r19127 - r19128; float r19130 = r19124 * r19129; return r19130; } double f_id(double re, double im) { double r19131 = 0.5; double r19132 = re; double r19133 = sin(r19132); double r19134 = r19131 * r19133; double r19135 = im; double r19136 = -r19135; double r19137 = exp(r19136); double r19138 = exp(r19135); double r19139 = r19137 - r19138; double r19140 = r19134 * r19139; return r19140; } double f_of(float re, float im) { float r19141 = im; float r19142 = -0.12694145739078522f; bool r19143 = r19141 <= r19142; float r19144 = 0.5f; float r19145 = re; float r19146 = sin(r19145); float r19147 = r19144 * r19146; float r19148 = -r19141; float r19149 = exp(r19148); float r19150 = exp(r19141); float r19151 = r19149 - r19150; float r19152 = 1.0f; float r19153 = pow(r19151, r19152); float r19154 = r19147 * r19153; float r19155 = 0.01666666753590107f; float r19156 = 5.0f; float r19157 = pow(r19141, r19156); float r19158 = r19155 * r19157; float r19159 = 2.0f; float r19160 = r19159 * r19141; float r19161 = 0.3333333432674408f; float r19162 = 3.0f; float r19163 = pow(r19141, r19162); float r19164 = r19161 * r19163; float r19165 = r19160 + r19164; float r19166 = r19158 + r19165; float r19167 = -r19166; float r19168 = r19147 * r19167; float r19169 = r19143 ? r19154 : r19168; return r19169; } double f_od(double re, double im) { double r19170 = im; double r19171 = -0.12694145739078522; bool r19172 = r19170 <= r19171; double r19173 = 0.5; double r19174 = re; double r19175 = sin(r19174); double r19176 = r19173 * r19175; double r19177 = -r19170; double r19178 = exp(r19177); double r19179 = exp(r19170); double r19180 = r19178 - r19179; double r19181 = 1.0; double r19182 = pow(r19180, r19181); double r19183 = r19176 * r19182; double r19184 = 0.01666666753590107; double r19185 = 5.0; double r19186 = pow(r19170, r19185); double r19187 = r19184 * r19186; double r19188 = 2.0; double r19189 = r19188 * r19170; double r19190 = 0.3333333432674408; double r19191 = 3.0; double r19192 = pow(r19170, r19191); double r19193 = r19190 * r19192; double r19194 = r19189 + r19193; double r19195 = r19187 + r19194; double r19196 = -r19195; double r19197 = r19176 * r19196; double r19198 = r19172 ? r19183 : r19197; return r19198; } 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 r19199, r19200, r19201, r19202, r19203, r19204, r19205, r19206, r19207, r19208; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r19199, "0.5", 10, MPFR_RNDN); mpfr_init(r19200); mpfr_init(r19201); mpfr_init(r19202); mpfr_init(r19203); mpfr_init(r19204); mpfr_init(r19205); mpfr_init(r19206); mpfr_init(r19207); mpfr_init(r19208); } double f_im(double re, double im) { ; mpfr_set_d(r19200, re, MPFR_RNDN); mpfr_sin(r19201, r19200, MPFR_RNDN); mpfr_mul(r19202, r19199, r19201, MPFR_RNDN); mpfr_set_d(r19203, im, MPFR_RNDN); mpfr_neg(r19204, r19203, MPFR_RNDN); mpfr_exp(r19205, r19204, MPFR_RNDN); mpfr_exp(r19206, r19203, MPFR_RNDN); mpfr_sub(r19207, r19205, r19206, MPFR_RNDN); mpfr_mul(r19208, r19202, r19207, MPFR_RNDN); return mpfr_get_d(r19208, MPFR_RNDN); } static mpfr_t r19209, r19210, r19211, r19212, r19213, r19214, r19215, r19216, r19217, r19218, r19219, r19220, r19221, r19222, r19223, r19224, r19225, r19226, r19227, r19228, r19229, r19230, r19231, r19232, r19233, r19234, r19235, r19236, r19237; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r19209); mpfr_init_set_str(r19210, "-0.12694146f0", 10, MPFR_RNDN); mpfr_init(r19211); mpfr_init_set_str(r19212, "0.5", 10, MPFR_RNDN); mpfr_init(r19213); mpfr_init(r19214); mpfr_init(r19215); mpfr_init(r19216); mpfr_init(r19217); mpfr_init(r19218); mpfr_init(r19219); mpfr_init_set_str(r19220, "1", 10, MPFR_RNDN); mpfr_init(r19221); mpfr_init(r19222); mpfr_init_set_str(r19223, "1/60", 10, MPFR_RNDN); mpfr_init_set_str(r19224, "5", 10, MPFR_RNDN); mpfr_init(r19225); mpfr_init(r19226); mpfr_init_set_str(r19227, "2", 10, MPFR_RNDN); mpfr_init(r19228); mpfr_init_set_str(r19229, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19230, "3", 10, MPFR_RNDN); mpfr_init(r19231); mpfr_init(r19232); mpfr_init(r19233); mpfr_init(r19234); mpfr_init(r19235); mpfr_init(r19236); mpfr_init(r19237); } double f_fm(double re, double im) { mpfr_set_d(r19209, im, MPFR_RNDN); ; mpfr_set_si(r19211, mpfr_cmp(r19209, r19210) <= 0, MPFR_RNDN); ; mpfr_set_d(r19213, re, MPFR_RNDN); mpfr_sin(r19214, r19213, MPFR_RNDN); mpfr_mul(r19215, r19212, r19214, MPFR_RNDN); mpfr_neg(r19216, r19209, MPFR_RNDN); mpfr_exp(r19217, r19216, MPFR_RNDN); mpfr_exp(r19218, r19209, MPFR_RNDN); mpfr_sub(r19219, r19217, r19218, MPFR_RNDN); ; mpfr_pow(r19221, r19219, r19220, MPFR_RNDN); mpfr_mul(r19222, r19215, r19221, MPFR_RNDN); ; ; mpfr_pow(r19225, r19209, r19224, MPFR_RNDN); mpfr_mul(r19226, r19223, r19225, MPFR_RNDN); ; mpfr_mul(r19228, r19227, r19209, MPFR_RNDN); ; ; mpfr_pow(r19231, r19209, r19230, MPFR_RNDN); mpfr_mul(r19232, r19229, r19231, MPFR_RNDN); mpfr_add(r19233, r19228, r19232, MPFR_RNDN); mpfr_add(r19234, r19226, r19233, MPFR_RNDN); mpfr_neg(r19235, r19234, MPFR_RNDN); mpfr_mul(r19236, r19215, r19235, MPFR_RNDN); if (mpfr_get_si(r19211, MPFR_RNDN)) { mpfr_set(r19237, r19222, MPFR_RNDN); } else { mpfr_set(r19237, r19236, MPFR_RNDN); }; return mpfr_get_d(r19237, MPFR_RNDN); } static mpfr_t r19238, r19239, r19240, r19241, r19242, r19243, r19244, r19245, r19246, r19247, r19248, r19249, r19250, r19251, r19252, r19253, r19254, r19255, r19256, r19257, r19258, r19259, r19260, r19261, r19262, r19263, r19264, r19265, r19266; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r19238); mpfr_init_set_str(r19239, "-0.12694146f0", 10, MPFR_RNDN); mpfr_init(r19240); mpfr_init_set_str(r19241, "0.5", 10, MPFR_RNDN); mpfr_init(r19242); mpfr_init(r19243); mpfr_init(r19244); mpfr_init(r19245); mpfr_init(r19246); mpfr_init(r19247); mpfr_init(r19248); mpfr_init_set_str(r19249, "1", 10, MPFR_RNDN); mpfr_init(r19250); mpfr_init(r19251); mpfr_init_set_str(r19252, "1/60", 10, MPFR_RNDN); mpfr_init_set_str(r19253, "5", 10, MPFR_RNDN); mpfr_init(r19254); mpfr_init(r19255); mpfr_init_set_str(r19256, "2", 10, MPFR_RNDN); mpfr_init(r19257); mpfr_init_set_str(r19258, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19259, "3", 10, MPFR_RNDN); mpfr_init(r19260); mpfr_init(r19261); mpfr_init(r19262); mpfr_init(r19263); mpfr_init(r19264); mpfr_init(r19265); mpfr_init(r19266); } double f_dm(double re, double im) { mpfr_set_d(r19238, im, MPFR_RNDN); ; mpfr_set_si(r19240, mpfr_cmp(r19238, r19239) <= 0, MPFR_RNDN); ; mpfr_set_d(r19242, re, MPFR_RNDN); mpfr_sin(r19243, r19242, MPFR_RNDN); mpfr_mul(r19244, r19241, r19243, MPFR_RNDN); mpfr_neg(r19245, r19238, MPFR_RNDN); mpfr_exp(r19246, r19245, MPFR_RNDN); mpfr_exp(r19247, r19238, MPFR_RNDN); mpfr_sub(r19248, r19246, r19247, MPFR_RNDN); ; mpfr_pow(r19250, r19248, r19249, MPFR_RNDN); mpfr_mul(r19251, r19244, r19250, MPFR_RNDN); ; ; mpfr_pow(r19254, r19238, r19253, MPFR_RNDN); mpfr_mul(r19255, r19252, r19254, MPFR_RNDN); ; mpfr_mul(r19257, r19256, r19238, MPFR_RNDN); ; ; mpfr_pow(r19260, r19238, r19259, MPFR_RNDN); mpfr_mul(r19261, r19258, r19260, MPFR_RNDN); mpfr_add(r19262, r19257, r19261, MPFR_RNDN); mpfr_add(r19263, r19255, r19262, MPFR_RNDN); mpfr_neg(r19264, r19263, MPFR_RNDN); mpfr_mul(r19265, r19244, r19264, MPFR_RNDN); if (mpfr_get_si(r19240, MPFR_RNDN)) { mpfr_set(r19266, r19251, MPFR_RNDN); } else { mpfr_set(r19266, r19265, MPFR_RNDN); }; return mpfr_get_d(r19266, MPFR_RNDN); }