#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 r21199 = x_re; float r21200 = r21199 * r21199; float r21201 = x_im; float r21202 = r21201 * r21201; float r21203 = r21200 + r21202; float r21204 = sqrt(r21203); float r21205 = log(r21204); float r21206 = y_re; float r21207 = r21205 * r21206; float r21208 = atan2(r21201, r21199); float r21209 = y_im; float r21210 = r21208 * r21209; float r21211 = r21207 - r21210; float r21212 = exp(r21211); float r21213 = r21205 * r21209; float r21214 = r21208 * r21206; float r21215 = r21213 + r21214; float r21216 = cos(r21215); float r21217 = r21212 * r21216; return r21217; } double f_id(double x_re, double x_im, double y_re, double y_im) { double r21218 = x_re; double r21219 = r21218 * r21218; double r21220 = x_im; double r21221 = r21220 * r21220; double r21222 = r21219 + r21221; double r21223 = sqrt(r21222); double r21224 = log(r21223); double r21225 = y_re; double r21226 = r21224 * r21225; double r21227 = atan2(r21220, r21218); double r21228 = y_im; double r21229 = r21227 * r21228; double r21230 = r21226 - r21229; double r21231 = exp(r21230); double r21232 = r21224 * r21228; double r21233 = r21227 * r21225; double r21234 = r21232 + r21233; double r21235 = cos(r21234); double r21236 = r21231 * r21235; return r21236; } double f_of(float x_re, float x_im, float y_re, float y_im) { float r21237 = x_im; float r21238 = -r21237; float r21239 = y_re; float r21240 = pow(r21238, r21239); float r21241 = y_im; float r21242 = x_re; float r21243 = atan2(r21237, r21242); float r21244 = r21241 * r21243; float r21245 = exp(r21244); float r21246 = r21240 / r21245; float r21247 = 1.0; bool r21248 = r21246 <= r21247; float r21249 = +inf.0; bool r21250 = r21246 <= r21249; float r21251 = r21242 * r21242; float r21252 = r21237 * r21237; float r21253 = r21251 + r21252; float r21254 = sqrt(r21253); float r21255 = log(r21254); float r21256 = r21255 * r21239; float r21257 = r21243 * r21241; float r21258 = r21256 - r21257; float r21259 = exp(r21258); float r21260 = log(r21242); float r21261 = r21260 * r21241; float r21262 = r21243 * r21239; float r21263 = r21261 + r21262; float r21264 = cos(r21263); float r21265 = r21259 * r21264; float r21266 = log(r21237); float r21267 = r21266 * r21239; float r21268 = r21267 - r21244; float r21269 = exp(r21268); float r21270 = r21250 ? r21265 : r21269; float r21271 = r21248 ? r21246 : r21270; return r21271; } double f_od(double x_re, double x_im, double y_re, double y_im) { double r21272 = x_im; double r21273 = -r21272; double r21274 = y_re; double r21275 = pow(r21273, r21274); double r21276 = y_im; double r21277 = x_re; double r21278 = atan2(r21272, r21277); double r21279 = r21276 * r21278; double r21280 = exp(r21279); double r21281 = r21275 / r21280; double r21282 = 1.0; bool r21283 = r21281 <= r21282; double r21284 = +inf.0; bool r21285 = r21281 <= r21284; double r21286 = r21277 * r21277; double r21287 = r21272 * r21272; double r21288 = r21286 + r21287; double r21289 = sqrt(r21288); double r21290 = log(r21289); double r21291 = r21290 * r21274; double r21292 = r21278 * r21276; double r21293 = r21291 - r21292; double r21294 = exp(r21293); double r21295 = log(r21277); double r21296 = r21295 * r21276; double r21297 = r21278 * r21274; double r21298 = r21296 + r21297; double r21299 = cos(r21298); double r21300 = r21294 * r21299; double r21301 = log(r21272); double r21302 = r21301 * r21274; double r21303 = r21302 - r21279; double r21304 = exp(r21303); double r21305 = r21285 ? r21300 : r21304; double r21306 = r21283 ? r21281 : r21305; return r21306; } 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 r21307, r21308, r21309, r21310, r21311, r21312, r21313, r21314, r21315, r21316, r21317, r21318, r21319, r21320, r21321, r21322, r21323, r21324, r21325; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init(r21307); mpfr_init(r21308); mpfr_init(r21309); mpfr_init(r21310); mpfr_init(r21311); mpfr_init(r21312); mpfr_init(r21313); mpfr_init(r21314); mpfr_init(r21315); mpfr_init(r21316); mpfr_init(r21317); mpfr_init(r21318); mpfr_init(r21319); mpfr_init(r21320); mpfr_init(r21321); mpfr_init(r21322); mpfr_init(r21323); mpfr_init(r21324); mpfr_init(r21325); } double f_im(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r21307, x_re, MPFR_RNDN); mpfr_mul(r21308, r21307, r21307, MPFR_RNDN); mpfr_set_d(r21309, x_im, MPFR_RNDN); mpfr_mul(r21310, r21309, r21309, MPFR_RNDN); mpfr_add(r21311, r21308, r21310, MPFR_RNDN); mpfr_sqrt(r21312, r21311, MPFR_RNDN); mpfr_log(r21313, r21312, MPFR_RNDN); mpfr_set_d(r21314, y_re, MPFR_RNDN); mpfr_mul(r21315, r21313, r21314, MPFR_RNDN); mpfr_atan2(r21316, r21309, r21307, MPFR_RNDN); mpfr_set_d(r21317, y_im, MPFR_RNDN); mpfr_mul(r21318, r21316, r21317, MPFR_RNDN); mpfr_sub(r21319, r21315, r21318, MPFR_RNDN); mpfr_exp(r21320, r21319, MPFR_RNDN); mpfr_mul(r21321, r21313, r21317, MPFR_RNDN); mpfr_mul(r21322, r21316, r21314, MPFR_RNDN); mpfr_add(r21323, r21321, r21322, MPFR_RNDN); mpfr_cos(r21324, r21323, MPFR_RNDN); mpfr_mul(r21325, r21320, r21324, MPFR_RNDN); return mpfr_get_d(r21325, MPFR_RNDN); } static mpfr_t r21326, r21327, r21328, r21329, r21330, r21331, r21332, r21333, r21334, r21335, r21336, r21337, r21338, r21339, r21340, r21341, r21342, r21343, r21344, r21345, r21346, r21347, r21348, r21349, r21350, r21351, r21352, r21353, r21354, r21355, r21356, r21357, r21358, r21359, r21360; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); 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_set_str(r21336, "1.0", 10, MPFR_RNDN); mpfr_init(r21337); mpfr_init_set_str(r21338, "+inf.0", 10, MPFR_RNDN); mpfr_init(r21339); mpfr_init(r21340); mpfr_init(r21341); mpfr_init(r21342); mpfr_init(r21343); 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); } double f_fm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r21326, x_im, MPFR_RNDN); mpfr_neg(r21327, r21326, MPFR_RNDN); mpfr_set_d(r21328, y_re, MPFR_RNDN); mpfr_pow(r21329, r21327, r21328, MPFR_RNDN); mpfr_set_d(r21330, y_im, MPFR_RNDN); mpfr_set_d(r21331, x_re, MPFR_RNDN); mpfr_atan2(r21332, r21326, r21331, MPFR_RNDN); mpfr_mul(r21333, r21330, r21332, MPFR_RNDN); mpfr_exp(r21334, r21333, MPFR_RNDN); mpfr_div(r21335, r21329, r21334, MPFR_RNDN); ; mpfr_set_si(r21337, mpfr_cmp(r21335, r21336) <= 0, MPFR_RNDN); ; mpfr_set_si(r21339, mpfr_cmp(r21335, r21338) <= 0, MPFR_RNDN); mpfr_mul(r21340, r21331, r21331, MPFR_RNDN); mpfr_mul(r21341, r21326, r21326, MPFR_RNDN); mpfr_add(r21342, r21340, r21341, MPFR_RNDN); mpfr_sqrt(r21343, r21342, MPFR_RNDN); mpfr_log(r21344, r21343, MPFR_RNDN); mpfr_mul(r21345, r21344, r21328, MPFR_RNDN); mpfr_mul(r21346, r21332, r21330, MPFR_RNDN); mpfr_sub(r21347, r21345, r21346, MPFR_RNDN); mpfr_exp(r21348, r21347, MPFR_RNDN); mpfr_log(r21349, r21331, MPFR_RNDN); mpfr_mul(r21350, r21349, r21330, MPFR_RNDN); mpfr_mul(r21351, r21332, r21328, MPFR_RNDN); mpfr_add(r21352, r21350, r21351, MPFR_RNDN); mpfr_cos(r21353, r21352, MPFR_RNDN); mpfr_mul(r21354, r21348, r21353, MPFR_RNDN); mpfr_log(r21355, r21326, MPFR_RNDN); mpfr_mul(r21356, r21355, r21328, MPFR_RNDN); mpfr_sub(r21357, r21356, r21333, MPFR_RNDN); mpfr_exp(r21358, r21357, MPFR_RNDN); if (mpfr_get_si(r21339, MPFR_RNDN)) { mpfr_set(r21359, r21354, MPFR_RNDN); } else { mpfr_set(r21359, r21358, MPFR_RNDN); }; if (mpfr_get_si(r21337, MPFR_RNDN)) { mpfr_set(r21360, r21335, MPFR_RNDN); } else { mpfr_set(r21360, r21359, MPFR_RNDN); }; return mpfr_get_d(r21360, MPFR_RNDN); } static mpfr_t r21361, r21362, r21363, r21364, r21365, r21366, r21367, r21368, r21369, r21370, r21371, r21372, r21373, r21374, r21375, r21376, r21377, r21378, r21379, r21380, r21381, r21382, r21383, r21384, r21385, r21386, r21387, r21388, r21389, r21390, r21391, r21392, r21393, r21394, r21395; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init(r21361); mpfr_init(r21362); 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_set_str(r21371, "1.0", 10, MPFR_RNDN); mpfr_init(r21372); mpfr_init_set_str(r21373, "+inf.0", 10, MPFR_RNDN); mpfr_init(r21374); mpfr_init(r21375); mpfr_init(r21376); mpfr_init(r21377); mpfr_init(r21378); mpfr_init(r21379); mpfr_init(r21380); mpfr_init(r21381); mpfr_init(r21382); mpfr_init(r21383); mpfr_init(r21384); mpfr_init(r21385); mpfr_init(r21386); mpfr_init(r21387); mpfr_init(r21388); mpfr_init(r21389); mpfr_init(r21390); mpfr_init(r21391); mpfr_init(r21392); mpfr_init(r21393); mpfr_init(r21394); mpfr_init(r21395); } double f_dm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r21361, x_im, MPFR_RNDN); mpfr_neg(r21362, r21361, MPFR_RNDN); mpfr_set_d(r21363, y_re, MPFR_RNDN); mpfr_pow(r21364, r21362, r21363, MPFR_RNDN); mpfr_set_d(r21365, y_im, MPFR_RNDN); mpfr_set_d(r21366, x_re, MPFR_RNDN); mpfr_atan2(r21367, r21361, r21366, MPFR_RNDN); mpfr_mul(r21368, r21365, r21367, MPFR_RNDN); mpfr_exp(r21369, r21368, MPFR_RNDN); mpfr_div(r21370, r21364, r21369, MPFR_RNDN); ; mpfr_set_si(r21372, mpfr_cmp(r21370, r21371) <= 0, MPFR_RNDN); ; mpfr_set_si(r21374, mpfr_cmp(r21370, r21373) <= 0, MPFR_RNDN); mpfr_mul(r21375, r21366, r21366, MPFR_RNDN); mpfr_mul(r21376, r21361, r21361, MPFR_RNDN); mpfr_add(r21377, r21375, r21376, MPFR_RNDN); mpfr_sqrt(r21378, r21377, MPFR_RNDN); mpfr_log(r21379, r21378, MPFR_RNDN); mpfr_mul(r21380, r21379, r21363, MPFR_RNDN); mpfr_mul(r21381, r21367, r21365, MPFR_RNDN); mpfr_sub(r21382, r21380, r21381, MPFR_RNDN); mpfr_exp(r21383, r21382, MPFR_RNDN); mpfr_log(r21384, r21366, MPFR_RNDN); mpfr_mul(r21385, r21384, r21365, MPFR_RNDN); mpfr_mul(r21386, r21367, r21363, MPFR_RNDN); mpfr_add(r21387, r21385, r21386, MPFR_RNDN); mpfr_cos(r21388, r21387, MPFR_RNDN); mpfr_mul(r21389, r21383, r21388, MPFR_RNDN); mpfr_log(r21390, r21361, MPFR_RNDN); mpfr_mul(r21391, r21390, r21363, MPFR_RNDN); mpfr_sub(r21392, r21391, r21368, MPFR_RNDN); mpfr_exp(r21393, r21392, MPFR_RNDN); if (mpfr_get_si(r21374, MPFR_RNDN)) { mpfr_set(r21394, r21389, MPFR_RNDN); } else { mpfr_set(r21394, r21393, MPFR_RNDN); }; if (mpfr_get_si(r21372, MPFR_RNDN)) { mpfr_set(r21395, r21370, MPFR_RNDN); } else { mpfr_set(r21395, r21394, MPFR_RNDN); }; return mpfr_get_d(r21395, MPFR_RNDN); }