#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r19285 = 0.5f; float r19286 = re; float r19287 = sin(r19286); float r19288 = r19285 * r19287; float r19289 = im; float r19290 = -r19289; float r19291 = exp(r19290); float r19292 = exp(r19289); float r19293 = r19291 - r19292; float r19294 = r19288 * r19293; return r19294; } double f_id(double re, double im) { double r19295 = 0.5; double r19296 = re; double r19297 = sin(r19296); double r19298 = r19295 * r19297; double r19299 = im; double r19300 = -r19299; double r19301 = exp(r19300); double r19302 = exp(r19299); double r19303 = r19301 - r19302; double r19304 = r19298 * r19303; return r19304; } double f_of(float re, float im) { float r19305 = 0.5f; float r19306 = re; float r19307 = sin(r19306); float r19308 = r19305 * r19307; float r19309 = 0.01666666753590107f; float r19310 = im; float r19311 = 5.0f; float r19312 = pow(r19310, r19311); float r19313 = r19309 * r19312; float r19314 = 2.0f; float r19315 = r19314 * r19310; float r19316 = 0.3333333432674408f; float r19317 = 3.0f; float r19318 = pow(r19310, r19317); float r19319 = r19316 * r19318; float r19320 = r19315 + r19319; float r19321 = r19313 + r19320; float r19322 = -r19321; float r19323 = r19308 * r19322; return r19323; } double f_od(double re, double im) { double r19324 = 0.5; double r19325 = re; double r19326 = sin(r19325); double r19327 = r19324 * r19326; double r19328 = 0.01666666753590107; double r19329 = im; double r19330 = 5.0; double r19331 = pow(r19329, r19330); double r19332 = r19328 * r19331; double r19333 = 2.0; double r19334 = r19333 * r19329; double r19335 = 0.3333333432674408; double r19336 = 3.0; double r19337 = pow(r19329, r19336); double r19338 = r19335 * r19337; double r19339 = r19334 + r19338; double r19340 = r19332 + r19339; double r19341 = -r19340; double r19342 = r19327 * r19341; return r19342; } 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 r19343, r19344, r19345, r19346, r19347, r19348, r19349, r19350, r19351, r19352; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r19343, "0.5", 10, MPFR_RNDN); mpfr_init(r19344); mpfr_init(r19345); mpfr_init(r19346); mpfr_init(r19347); mpfr_init(r19348); mpfr_init(r19349); mpfr_init(r19350); mpfr_init(r19351); mpfr_init(r19352); } double f_im(double re, double im) { ; mpfr_set_d(r19344, re, MPFR_RNDN); mpfr_sin(r19345, r19344, MPFR_RNDN); mpfr_mul(r19346, r19343, r19345, MPFR_RNDN); mpfr_set_d(r19347, im, MPFR_RNDN); mpfr_neg(r19348, r19347, MPFR_RNDN); mpfr_exp(r19349, r19348, MPFR_RNDN); mpfr_exp(r19350, r19347, MPFR_RNDN); mpfr_sub(r19351, r19349, r19350, MPFR_RNDN); mpfr_mul(r19352, r19346, r19351, MPFR_RNDN); return mpfr_get_d(r19352, MPFR_RNDN); } static mpfr_t r19353, r19354, r19355, r19356, r19357, r19358, r19359, r19360, r19361, r19362, r19363, r19364, r19365, r19366, r19367, r19368, r19369, r19370, r19371; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19353, "0.5", 10, MPFR_RNDN); mpfr_init(r19354); mpfr_init(r19355); mpfr_init(r19356); mpfr_init_set_str(r19357, "1/60", 10, MPFR_RNDN); mpfr_init(r19358); mpfr_init_set_str(r19359, "5", 10, MPFR_RNDN); mpfr_init(r19360); mpfr_init(r19361); mpfr_init_set_str(r19362, "2", 10, MPFR_RNDN); mpfr_init(r19363); mpfr_init_set_str(r19364, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19365, "3", 10, MPFR_RNDN); mpfr_init(r19366); mpfr_init(r19367); mpfr_init(r19368); mpfr_init(r19369); mpfr_init(r19370); mpfr_init(r19371); } double f_fm(double re, double im) { ; mpfr_set_d(r19354, re, MPFR_RNDN); mpfr_sin(r19355, r19354, MPFR_RNDN); mpfr_mul(r19356, r19353, r19355, MPFR_RNDN); ; mpfr_set_d(r19358, im, MPFR_RNDN); ; mpfr_pow(r19360, r19358, r19359, MPFR_RNDN); mpfr_mul(r19361, r19357, r19360, MPFR_RNDN); ; mpfr_mul(r19363, r19362, r19358, MPFR_RNDN); ; ; mpfr_pow(r19366, r19358, r19365, MPFR_RNDN); mpfr_mul(r19367, r19364, r19366, MPFR_RNDN); mpfr_add(r19368, r19363, r19367, MPFR_RNDN); mpfr_add(r19369, r19361, r19368, MPFR_RNDN); mpfr_neg(r19370, r19369, MPFR_RNDN); mpfr_mul(r19371, r19356, r19370, MPFR_RNDN); return mpfr_get_d(r19371, MPFR_RNDN); } static mpfr_t r19372, r19373, r19374, r19375, r19376, r19377, r19378, r19379, r19380, r19381, r19382, r19383, r19384, r19385, r19386, r19387, r19388, r19389, r19390; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19372, "0.5", 10, MPFR_RNDN); mpfr_init(r19373); mpfr_init(r19374); mpfr_init(r19375); mpfr_init_set_str(r19376, "1/60", 10, MPFR_RNDN); mpfr_init(r19377); mpfr_init_set_str(r19378, "5", 10, MPFR_RNDN); mpfr_init(r19379); mpfr_init(r19380); mpfr_init_set_str(r19381, "2", 10, MPFR_RNDN); mpfr_init(r19382); mpfr_init_set_str(r19383, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19384, "3", 10, MPFR_RNDN); mpfr_init(r19385); mpfr_init(r19386); mpfr_init(r19387); mpfr_init(r19388); mpfr_init(r19389); mpfr_init(r19390); } double f_dm(double re, double im) { ; mpfr_set_d(r19373, re, MPFR_RNDN); mpfr_sin(r19374, r19373, MPFR_RNDN); mpfr_mul(r19375, r19372, r19374, MPFR_RNDN); ; mpfr_set_d(r19377, im, MPFR_RNDN); ; mpfr_pow(r19379, r19377, r19378, MPFR_RNDN); mpfr_mul(r19380, r19376, r19379, MPFR_RNDN); ; mpfr_mul(r19382, r19381, r19377, MPFR_RNDN); ; ; mpfr_pow(r19385, r19377, r19384, MPFR_RNDN); mpfr_mul(r19386, r19383, r19385, MPFR_RNDN); mpfr_add(r19387, r19382, r19386, MPFR_RNDN); mpfr_add(r19388, r19380, r19387, MPFR_RNDN); mpfr_neg(r19389, r19388, MPFR_RNDN); mpfr_mul(r19390, r19375, r19389, MPFR_RNDN); return mpfr_get_d(r19390, MPFR_RNDN); }