#include #include #include #include #include char *name = "math.sin on complex, imaginary part"; double f_if(float re, float im) { float r26182 = 0.5; float r26183 = re; float r26184 = cos(r26183); float r26185 = r26182 * r26184; float r26186 = 0; float r26187 = im; float r26188 = r26186 - r26187; float r26189 = exp(r26188); float r26190 = exp(r26187); float r26191 = r26189 - r26190; float r26192 = r26185 * r26191; return r26192; } double f_id(double re, double im) { double r26193 = 0.5; double r26194 = re; double r26195 = cos(r26194); double r26196 = r26193 * r26195; double r26197 = 0; double r26198 = im; double r26199 = r26197 - r26198; double r26200 = exp(r26199); double r26201 = exp(r26198); double r26202 = r26200 - r26201; double r26203 = r26196 * r26202; return r26203; } double f_of(float re, float im) { float r26204 = 0.5; float r26205 = re; float r26206 = cos(r26205); float r26207 = r26204 * r26206; float r26208 = 1/60; float r26209 = im; float r26210 = 5; float r26211 = pow(r26209, r26210); float r26212 = r26208 * r26211; float r26213 = 2; float r26214 = r26213 * r26209; float r26215 = 1/3; float r26216 = 3; float r26217 = pow(r26209, r26216); float r26218 = r26215 * r26217; float r26219 = r26214 + r26218; float r26220 = r26212 + r26219; float r26221 = -r26220; float r26222 = r26207 * r26221; return r26222; } double f_od(double re, double im) { double r26223 = 0.5; double r26224 = re; double r26225 = cos(r26224); double r26226 = r26223 * r26225; double r26227 = 1/60; double r26228 = im; double r26229 = 5; double r26230 = pow(r26228, r26229); double r26231 = r26227 * r26230; double r26232 = 2; double r26233 = r26232 * r26228; double r26234 = 1/3; double r26235 = 3; double r26236 = pow(r26228, r26235); double r26237 = r26234 * r26236; double r26238 = r26233 + r26237; double r26239 = r26231 + r26238; double r26240 = -r26239; double r26241 = r26226 * r26240; return r26241; } 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 r26242, r26243, r26244, r26245, r26246, r26247, r26248, r26249, r26250, r26251, r26252; void setup_mpfr_f_im() { mpfr_set_default_prec(1360); mpfr_init_set_str(r26242, "0.5", 10, MPFR_RNDN); mpfr_init(r26243); mpfr_init(r26244); mpfr_init(r26245); mpfr_init_set_str(r26246, "0", 10, MPFR_RNDN); mpfr_init(r26247); mpfr_init(r26248); mpfr_init(r26249); mpfr_init(r26250); mpfr_init(r26251); mpfr_init(r26252); } double f_im(double re, double im) { ; mpfr_set_d(r26243, re, MPFR_RNDN); mpfr_cos(r26244, r26243, MPFR_RNDN); mpfr_mul(r26245, r26242, r26244, MPFR_RNDN); ; mpfr_set_d(r26247, im, MPFR_RNDN); mpfr_sub(r26248, r26246, r26247, MPFR_RNDN); mpfr_exp(r26249, r26248, MPFR_RNDN); mpfr_exp(r26250, r26247, MPFR_RNDN); mpfr_sub(r26251, r26249, r26250, MPFR_RNDN); mpfr_mul(r26252, r26245, r26251, MPFR_RNDN); return mpfr_get_d(r26252, MPFR_RNDN); } static mpfr_t r26253, r26254, r26255, r26256, r26257, r26258, r26259, r26260, r26261, r26262, r26263, r26264, r26265, r26266, r26267, r26268, r26269, r26270, r26271; void setup_mpfr_f_fm() { mpfr_set_default_prec(1360); mpfr_init_set_str(r26253, "0.5", 10, MPFR_RNDN); mpfr_init(r26254); mpfr_init(r26255); mpfr_init(r26256); mpfr_init_set_str(r26257, "1/60", 10, MPFR_RNDN); mpfr_init(r26258); mpfr_init_set_str(r26259, "5", 10, MPFR_RNDN); mpfr_init(r26260); mpfr_init(r26261); mpfr_init_set_str(r26262, "2", 10, MPFR_RNDN); mpfr_init(r26263); mpfr_init_set_str(r26264, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26265, "3", 10, MPFR_RNDN); mpfr_init(r26266); mpfr_init(r26267); mpfr_init(r26268); mpfr_init(r26269); mpfr_init(r26270); mpfr_init(r26271); } double f_fm(double re, double im) { ; mpfr_set_d(r26254, re, MPFR_RNDN); mpfr_cos(r26255, r26254, MPFR_RNDN); mpfr_mul(r26256, r26253, r26255, MPFR_RNDN); ; mpfr_set_d(r26258, im, MPFR_RNDN); ; mpfr_pow(r26260, r26258, r26259, MPFR_RNDN); mpfr_mul(r26261, r26257, r26260, MPFR_RNDN); ; mpfr_mul(r26263, r26262, r26258, MPFR_RNDN); ; ; mpfr_pow(r26266, r26258, r26265, MPFR_RNDN); mpfr_mul(r26267, r26264, r26266, MPFR_RNDN); mpfr_add(r26268, r26263, r26267, MPFR_RNDN); mpfr_add(r26269, r26261, r26268, MPFR_RNDN); mpfr_neg(r26270, r26269, MPFR_RNDN); mpfr_mul(r26271, r26256, r26270, MPFR_RNDN); return mpfr_get_d(r26271, MPFR_RNDN); } static mpfr_t r26272, r26273, r26274, r26275, r26276, r26277, r26278, r26279, r26280, r26281, r26282, r26283, r26284, r26285, r26286, r26287, r26288, r26289, r26290; void setup_mpfr_f_dm() { mpfr_set_default_prec(1360); mpfr_init_set_str(r26272, "0.5", 10, MPFR_RNDN); mpfr_init(r26273); mpfr_init(r26274); mpfr_init(r26275); mpfr_init_set_str(r26276, "1/60", 10, MPFR_RNDN); mpfr_init(r26277); mpfr_init_set_str(r26278, "5", 10, MPFR_RNDN); mpfr_init(r26279); mpfr_init(r26280); mpfr_init_set_str(r26281, "2", 10, MPFR_RNDN); mpfr_init(r26282); mpfr_init_set_str(r26283, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26284, "3", 10, MPFR_RNDN); mpfr_init(r26285); mpfr_init(r26286); mpfr_init(r26287); mpfr_init(r26288); mpfr_init(r26289); mpfr_init(r26290); } double f_dm(double re, double im) { ; mpfr_set_d(r26273, re, MPFR_RNDN); mpfr_cos(r26274, r26273, MPFR_RNDN); mpfr_mul(r26275, r26272, r26274, MPFR_RNDN); ; mpfr_set_d(r26277, im, MPFR_RNDN); ; mpfr_pow(r26279, r26277, r26278, MPFR_RNDN); mpfr_mul(r26280, r26276, r26279, MPFR_RNDN); ; mpfr_mul(r26282, r26281, r26277, MPFR_RNDN); ; ; mpfr_pow(r26285, r26277, r26284, MPFR_RNDN); mpfr_mul(r26286, r26283, r26285, MPFR_RNDN); mpfr_add(r26287, r26282, r26286, MPFR_RNDN); mpfr_add(r26288, r26280, r26287, MPFR_RNDN); mpfr_neg(r26289, r26288, MPFR_RNDN); mpfr_mul(r26290, r26275, r26289, MPFR_RNDN); return mpfr_get_d(r26290, MPFR_RNDN); }