#include #include #include #include #include char *name = "powComplex, real part"; double f_if(float x_re, float x_im, float y_re, float y_im) { float r21249 = x_re; float r21250 = r21249 * r21249; float r21251 = x_im; float r21252 = r21251 * r21251; float r21253 = r21250 + r21252; float r21254 = sqrt(r21253); float r21255 = log(r21254); float r21256 = y_re; float r21257 = r21255 * r21256; float r21258 = atan2(r21251, r21249); float r21259 = y_im; float r21260 = r21258 * r21259; float r21261 = r21257 - r21260; float r21262 = exp(r21261); float r21263 = r21255 * r21259; float r21264 = r21258 * r21256; float r21265 = r21263 + r21264; float r21266 = cos(r21265); float r21267 = r21262 * r21266; return r21267; } double f_id(double x_re, double x_im, double y_re, double y_im) { double r21268 = x_re; double r21269 = r21268 * r21268; double r21270 = x_im; double r21271 = r21270 * r21270; double r21272 = r21269 + r21271; double r21273 = sqrt(r21272); double r21274 = log(r21273); double r21275 = y_re; double r21276 = r21274 * r21275; double r21277 = atan2(r21270, r21268); double r21278 = y_im; double r21279 = r21277 * r21278; double r21280 = r21276 - r21279; double r21281 = exp(r21280); double r21282 = r21274 * r21278; double r21283 = r21277 * r21275; double r21284 = r21282 + r21283; double r21285 = cos(r21284); double r21286 = r21281 * r21285; return r21286; } double f_of(float x_re, float x_im, float y_re, float y_im) { float r21287 = x_im; float r21288 = x_re; float r21289 = hypot(r21287, r21288); float r21290 = log(r21289); float r21291 = y_im; float r21292 = atan2(r21287, r21288); float r21293 = y_re; float r21294 = r21292 * r21293; float r21295 = fma(r21290, r21291, r21294); float r21296 = cos(r21295); float r21297 = expm1(r21296); float r21298 = exp(r21297); float r21299 = log(r21298); float r21300 = log1p(r21299); float r21301 = r21291 * r21292; float r21302 = r21290 * r21293; float r21303 = r21301 - r21302; float r21304 = exp(r21303); float r21305 = r21300 / r21304; return r21305; } double f_od(double x_re, double x_im, double y_re, double y_im) { double r21306 = x_im; double r21307 = x_re; double r21308 = hypot(r21306, r21307); double r21309 = log(r21308); double r21310 = y_im; double r21311 = atan2(r21306, r21307); double r21312 = y_re; double r21313 = r21311 * r21312; double r21314 = fma(r21309, r21310, r21313); double r21315 = cos(r21314); double r21316 = expm1(r21315); double r21317 = exp(r21316); double r21318 = log(r21317); double r21319 = log1p(r21318); double r21320 = r21310 * r21311; double r21321 = r21309 * r21312; double r21322 = r21320 - r21321; double r21323 = exp(r21322); double r21324 = r21319 / r21323; return r21324; } 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 r21325, r21326, r21327, r21328, r21329, r21330, r21331, r21332, r21333, r21334, r21335, r21336, r21337, r21338, r21339, r21340, r21341, r21342, r21343; void setup_mpfr_f_im() { mpfr_set_default_prec(1616); mpfr_init(r21325); mpfr_init(r21326); mpfr_init(r21327); mpfr_init(r21328); mpfr_init(r21329); mpfr_init(r21330); mpfr_init(r21331); mpfr_init(r21332); mpfr_init(r21333); mpfr_init(r21334); mpfr_init(r21335); mpfr_init(r21336); mpfr_init(r21337); mpfr_init(r21338); mpfr_init(r21339); mpfr_init(r21340); mpfr_init(r21341); mpfr_init(r21342); mpfr_init(r21343); } double f_im(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r21325, x_re, MPFR_RNDN); mpfr_mul(r21326, r21325, r21325, MPFR_RNDN); mpfr_set_d(r21327, x_im, MPFR_RNDN); mpfr_mul(r21328, r21327, r21327, MPFR_RNDN); mpfr_add(r21329, r21326, r21328, MPFR_RNDN); mpfr_sqrt(r21330, r21329, MPFR_RNDN); mpfr_log(r21331, r21330, MPFR_RNDN); mpfr_set_d(r21332, y_re, MPFR_RNDN); mpfr_mul(r21333, r21331, r21332, MPFR_RNDN); mpfr_atan2(r21334, r21327, r21325, MPFR_RNDN); mpfr_set_d(r21335, y_im, MPFR_RNDN); mpfr_mul(r21336, r21334, r21335, MPFR_RNDN); mpfr_sub(r21337, r21333, r21336, MPFR_RNDN); mpfr_exp(r21338, r21337, MPFR_RNDN); mpfr_mul(r21339, r21331, r21335, MPFR_RNDN); mpfr_mul(r21340, r21334, r21332, MPFR_RNDN); mpfr_add(r21341, r21339, r21340, MPFR_RNDN); mpfr_cos(r21342, r21341, MPFR_RNDN); mpfr_mul(r21343, r21338, r21342, MPFR_RNDN); return mpfr_get_d(r21343, MPFR_RNDN); } static mpfr_t r21344, r21345, r21346, r21347, r21348, r21349, r21350, r21351, r21352, r21353, r21354, r21355, r21356, r21357, r21358, r21359, r21360, r21361, r21362; void setup_mpfr_f_fm() { mpfr_set_default_prec(1616); mpfr_init(r21344); mpfr_init(r21345); mpfr_init(r21346); mpfr_init(r21347); mpfr_init(r21348); mpfr_init(r21349); mpfr_init(r21350); mpfr_init(r21351); mpfr_init(r21352); mpfr_init(r21353); mpfr_init(r21354); mpfr_init(r21355); mpfr_init(r21356); mpfr_init(r21357); mpfr_init(r21358); mpfr_init(r21359); mpfr_init(r21360); mpfr_init(r21361); mpfr_init(r21362); } double f_fm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r21344, x_im, MPFR_RNDN); mpfr_set_d(r21345, x_re, MPFR_RNDN); mpfr_hypot(r21346, r21344, r21345, MPFR_RNDN); mpfr_log(r21347, r21346, MPFR_RNDN); mpfr_set_d(r21348, y_im, MPFR_RNDN); mpfr_atan2(r21349, r21344, r21345, MPFR_RNDN); mpfr_set_d(r21350, y_re, MPFR_RNDN); mpfr_mul(r21351, r21349, r21350, MPFR_RNDN); mpfr_fma(r21352, r21347, r21348, r21351, MPFR_RNDN); mpfr_cos(r21353, r21352, MPFR_RNDN); mpfr_expm1(r21354, r21353, MPFR_RNDN); mpfr_exp(r21355, r21354, MPFR_RNDN); mpfr_log(r21356, r21355, MPFR_RNDN); mpfr_log1p(r21357, r21356, MPFR_RNDN); mpfr_mul(r21358, r21348, r21349, MPFR_RNDN); mpfr_mul(r21359, r21347, r21350, MPFR_RNDN); mpfr_sub(r21360, r21358, r21359, MPFR_RNDN); mpfr_exp(r21361, r21360, MPFR_RNDN); mpfr_div(r21362, r21357, r21361, MPFR_RNDN); return mpfr_get_d(r21362, MPFR_RNDN); } static mpfr_t r21363, r21364, r21365, r21366, r21367, r21368, r21369, r21370, r21371, r21372, r21373, r21374, r21375, r21376, r21377, r21378, r21379, r21380, r21381; void setup_mpfr_f_dm() { mpfr_set_default_prec(1616); mpfr_init(r21363); mpfr_init(r21364); mpfr_init(r21365); mpfr_init(r21366); mpfr_init(r21367); mpfr_init(r21368); mpfr_init(r21369); mpfr_init(r21370); mpfr_init(r21371); mpfr_init(r21372); mpfr_init(r21373); mpfr_init(r21374); mpfr_init(r21375); mpfr_init(r21376); mpfr_init(r21377); mpfr_init(r21378); mpfr_init(r21379); mpfr_init(r21380); mpfr_init(r21381); } double f_dm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r21363, x_im, MPFR_RNDN); mpfr_set_d(r21364, x_re, MPFR_RNDN); mpfr_hypot(r21365, r21363, r21364, MPFR_RNDN); mpfr_log(r21366, r21365, MPFR_RNDN); mpfr_set_d(r21367, y_im, MPFR_RNDN); mpfr_atan2(r21368, r21363, r21364, MPFR_RNDN); mpfr_set_d(r21369, y_re, MPFR_RNDN); mpfr_mul(r21370, r21368, r21369, MPFR_RNDN); mpfr_fma(r21371, r21366, r21367, r21370, MPFR_RNDN); mpfr_cos(r21372, r21371, MPFR_RNDN); mpfr_expm1(r21373, r21372, MPFR_RNDN); mpfr_exp(r21374, r21373, MPFR_RNDN); mpfr_log(r21375, r21374, MPFR_RNDN); mpfr_log1p(r21376, r21375, MPFR_RNDN); mpfr_mul(r21377, r21367, r21368, MPFR_RNDN); mpfr_mul(r21378, r21366, r21369, MPFR_RNDN); mpfr_sub(r21379, r21377, r21378, MPFR_RNDN); mpfr_exp(r21380, r21379, MPFR_RNDN); mpfr_div(r21381, r21376, r21380, MPFR_RNDN); return mpfr_get_d(r21381, MPFR_RNDN); }