#include #include #include #include #include char *name = "math.sin on complex, imaginary part"; double f_if(float re, float im) { float r26229 = 0.5; float r26230 = re; float r26231 = cos(r26230); float r26232 = r26229 * r26231; float r26233 = 0; float r26234 = im; float r26235 = r26233 - r26234; float r26236 = exp(r26235); float r26237 = exp(r26234); float r26238 = r26236 - r26237; float r26239 = r26232 * r26238; return r26239; } double f_id(double re, double im) { double r26240 = 0.5; double r26241 = re; double r26242 = cos(r26241); double r26243 = r26240 * r26242; double r26244 = 0; double r26245 = im; double r26246 = r26244 - r26245; double r26247 = exp(r26246); double r26248 = exp(r26245); double r26249 = r26247 - r26248; double r26250 = r26243 * r26249; return r26250; } double f_of(float re, float im) { float r26251 = 0.5; float r26252 = re; float r26253 = cos(r26252); float r26254 = r26251 * r26253; float r26255 = 1/60; float r26256 = im; float r26257 = 5; float r26258 = pow(r26256, r26257); float r26259 = r26255 * r26258; float r26260 = 2; float r26261 = r26260 * r26256; float r26262 = 1/3; float r26263 = 3; float r26264 = pow(r26256, r26263); float r26265 = r26262 * r26264; float r26266 = r26261 + r26265; float r26267 = r26259 + r26266; float r26268 = -r26267; float r26269 = r26254 * r26268; return r26269; } double f_od(double re, double im) { double r26270 = 0.5; double r26271 = re; double r26272 = cos(r26271); double r26273 = r26270 * r26272; double r26274 = 1/60; double r26275 = im; double r26276 = 5; double r26277 = pow(r26275, r26276); double r26278 = r26274 * r26277; double r26279 = 2; double r26280 = r26279 * r26275; double r26281 = 1/3; double r26282 = 3; double r26283 = pow(r26275, r26282); double r26284 = r26281 * r26283; double r26285 = r26280 + r26284; double r26286 = r26278 + r26285; double r26287 = -r26286; double r26288 = r26273 * r26287; return r26288; } 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 r26289, r26290, r26291, r26292, r26293, r26294, r26295, r26296, r26297, r26298, r26299; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26289, "0.5", 10, MPFR_RNDN); mpfr_init(r26290); mpfr_init(r26291); mpfr_init(r26292); mpfr_init_set_str(r26293, "0", 10, MPFR_RNDN); mpfr_init(r26294); mpfr_init(r26295); mpfr_init(r26296); mpfr_init(r26297); mpfr_init(r26298); mpfr_init(r26299); } double f_im(double re, double im) { ; mpfr_set_d(r26290, re, MPFR_RNDN); mpfr_cos(r26291, r26290, MPFR_RNDN); mpfr_mul(r26292, r26289, r26291, MPFR_RNDN); ; mpfr_set_d(r26294, im, MPFR_RNDN); mpfr_sub(r26295, r26293, r26294, MPFR_RNDN); mpfr_exp(r26296, r26295, MPFR_RNDN); mpfr_exp(r26297, r26294, MPFR_RNDN); mpfr_sub(r26298, r26296, r26297, MPFR_RNDN); mpfr_mul(r26299, r26292, r26298, MPFR_RNDN); return mpfr_get_d(r26299, MPFR_RNDN); } static mpfr_t r26300, r26301, r26302, r26303, r26304, r26305, r26306, r26307, r26308, r26309, r26310, r26311, r26312, r26313, r26314, r26315, r26316, r26317, r26318; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26300, "0.5", 10, MPFR_RNDN); mpfr_init(r26301); mpfr_init(r26302); mpfr_init(r26303); mpfr_init_set_str(r26304, "1/60", 10, MPFR_RNDN); mpfr_init(r26305); mpfr_init_set_str(r26306, "5", 10, MPFR_RNDN); mpfr_init(r26307); mpfr_init(r26308); mpfr_init_set_str(r26309, "2", 10, MPFR_RNDN); mpfr_init(r26310); mpfr_init_set_str(r26311, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26312, "3", 10, MPFR_RNDN); mpfr_init(r26313); mpfr_init(r26314); mpfr_init(r26315); mpfr_init(r26316); mpfr_init(r26317); mpfr_init(r26318); } double f_fm(double re, double im) { ; mpfr_set_d(r26301, re, MPFR_RNDN); mpfr_cos(r26302, r26301, MPFR_RNDN); mpfr_mul(r26303, r26300, r26302, MPFR_RNDN); ; mpfr_set_d(r26305, im, MPFR_RNDN); ; mpfr_pow(r26307, r26305, r26306, MPFR_RNDN); mpfr_mul(r26308, r26304, r26307, MPFR_RNDN); ; mpfr_mul(r26310, r26309, r26305, MPFR_RNDN); ; ; mpfr_pow(r26313, r26305, r26312, MPFR_RNDN); mpfr_mul(r26314, r26311, r26313, MPFR_RNDN); mpfr_add(r26315, r26310, r26314, MPFR_RNDN); mpfr_add(r26316, r26308, r26315, MPFR_RNDN); mpfr_neg(r26317, r26316, MPFR_RNDN); mpfr_mul(r26318, r26303, r26317, MPFR_RNDN); return mpfr_get_d(r26318, MPFR_RNDN); } static mpfr_t r26319, r26320, r26321, r26322, r26323, r26324, r26325, r26326, r26327, r26328, r26329, r26330, r26331, r26332, r26333, r26334, r26335, r26336, r26337; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r26319, "0.5", 10, MPFR_RNDN); mpfr_init(r26320); mpfr_init(r26321); mpfr_init(r26322); mpfr_init_set_str(r26323, "1/60", 10, MPFR_RNDN); mpfr_init(r26324); mpfr_init_set_str(r26325, "5", 10, MPFR_RNDN); mpfr_init(r26326); mpfr_init(r26327); mpfr_init_set_str(r26328, "2", 10, MPFR_RNDN); mpfr_init(r26329); mpfr_init_set_str(r26330, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26331, "3", 10, MPFR_RNDN); mpfr_init(r26332); mpfr_init(r26333); mpfr_init(r26334); mpfr_init(r26335); mpfr_init(r26336); mpfr_init(r26337); } double f_dm(double re, double im) { ; mpfr_set_d(r26320, re, MPFR_RNDN); mpfr_cos(r26321, r26320, MPFR_RNDN); mpfr_mul(r26322, r26319, r26321, MPFR_RNDN); ; mpfr_set_d(r26324, im, MPFR_RNDN); ; mpfr_pow(r26326, r26324, r26325, MPFR_RNDN); mpfr_mul(r26327, r26323, r26326, MPFR_RNDN); ; mpfr_mul(r26329, r26328, r26324, MPFR_RNDN); ; ; mpfr_pow(r26332, r26324, r26331, MPFR_RNDN); mpfr_mul(r26333, r26330, r26332, MPFR_RNDN); mpfr_add(r26334, r26329, r26333, MPFR_RNDN); mpfr_add(r26335, r26327, r26334, MPFR_RNDN); mpfr_neg(r26336, r26335, MPFR_RNDN); mpfr_mul(r26337, r26322, r26336, MPFR_RNDN); return mpfr_get_d(r26337, MPFR_RNDN); }