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