#include #include #include #include #include char *name = "math.abs on complex"; double f_if(float re, float im) { float r16331 = re; float r16332 = r16331 * r16331; float r16333 = im; float r16334 = r16333 * r16333; float r16335 = r16332 + r16334; float r16336 = sqrt(r16335); return r16336; } double f_id(double re, double im) { double r16337 = re; double r16338 = r16337 * r16337; double r16339 = im; double r16340 = r16339 * r16339; double r16341 = r16338 + r16340; double r16342 = sqrt(r16341); return r16342; } double f_of(float re, float im) { float r16343 = re; float r16344 = -1.5934258849171636e+19f; bool r16345 = r16343 <= r16344; float r16346 = -r16343; float r16347 = 43888257531904.0f; bool r16348 = r16343 <= r16347; float r16349 = r16343 * r16343; float r16350 = im; float r16351 = r16350 * r16350; float r16352 = r16349 + r16351; float r16353 = sqrt(r16352); float r16354 = 0.5f; float r16355 = r16354 * r16350; float r16356 = r16343 / r16350; float r16357 = r16355 / r16356; float r16358 = r16343 + r16357; float r16359 = r16348 ? r16353 : r16358; float r16360 = r16345 ? r16346 : r16359; return r16360; } double f_od(double re, double im) { double r16361 = re; double r16362 = -1.5934258849171636e+19; bool r16363 = r16361 <= r16362; double r16364 = -r16361; double r16365 = 43888257531904.0; bool r16366 = r16361 <= r16365; double r16367 = r16361 * r16361; double r16368 = im; double r16369 = r16368 * r16368; double r16370 = r16367 + r16369; double r16371 = sqrt(r16370); double r16372 = 0.5; double r16373 = r16372 * r16368; double r16374 = r16361 / r16368; double r16375 = r16373 / r16374; double r16376 = r16361 + r16375; double r16377 = r16366 ? r16371 : r16376; double r16378 = r16363 ? r16364 : r16377; return r16378; } 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 r16379, r16380, r16381, r16382, r16383, r16384; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r16379); mpfr_init(r16380); mpfr_init(r16381); mpfr_init(r16382); mpfr_init(r16383); mpfr_init(r16384); } double f_im(double re, double im) { mpfr_set_d(r16379, re, MPFR_RNDN); mpfr_mul(r16380, r16379, r16379, MPFR_RNDN); mpfr_set_d(r16381, im, MPFR_RNDN); mpfr_mul(r16382, r16381, r16381, MPFR_RNDN); mpfr_add(r16383, r16380, r16382, MPFR_RNDN); mpfr_sqrt(r16384, r16383, MPFR_RNDN); return mpfr_get_d(r16384, MPFR_RNDN); } static mpfr_t r16385, r16386, r16387, r16388, r16389, r16390, r16391, r16392, r16393, r16394, r16395, r16396, r16397, r16398, r16399, r16400, r16401, r16402; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r16385); mpfr_init_set_str(r16386, "-1.5934259f+19", 10, MPFR_RNDN); mpfr_init(r16387); mpfr_init(r16388); mpfr_init_set_str(r16389, "4.3888258f+13", 10, MPFR_RNDN); mpfr_init(r16390); mpfr_init(r16391); mpfr_init(r16392); mpfr_init(r16393); mpfr_init(r16394); mpfr_init(r16395); mpfr_init_set_str(r16396, "1/2", 10, MPFR_RNDN); mpfr_init(r16397); mpfr_init(r16398); mpfr_init(r16399); mpfr_init(r16400); mpfr_init(r16401); mpfr_init(r16402); } double f_fm(double re, double im) { mpfr_set_d(r16385, re, MPFR_RNDN); ; mpfr_set_si(r16387, mpfr_cmp(r16385, r16386) <= 0, MPFR_RNDN); mpfr_neg(r16388, r16385, MPFR_RNDN); ; mpfr_set_si(r16390, mpfr_cmp(r16385, r16389) <= 0, MPFR_RNDN); mpfr_sqr(r16391, r16385, MPFR_RNDN); mpfr_set_d(r16392, im, MPFR_RNDN); mpfr_mul(r16393, r16392, r16392, MPFR_RNDN); mpfr_add(r16394, r16391, r16393, MPFR_RNDN); mpfr_sqrt(r16395, r16394, MPFR_RNDN); ; mpfr_mul(r16397, r16396, r16392, MPFR_RNDN); mpfr_div(r16398, r16385, r16392, MPFR_RNDN); mpfr_div(r16399, r16397, r16398, MPFR_RNDN); mpfr_add(r16400, r16385, r16399, MPFR_RNDN); if (mpfr_get_si(r16390, MPFR_RNDN)) { mpfr_set(r16401, r16395, MPFR_RNDN); } else { mpfr_set(r16401, r16400, MPFR_RNDN); }; if (mpfr_get_si(r16387, MPFR_RNDN)) { mpfr_set(r16402, r16388, MPFR_RNDN); } else { mpfr_set(r16402, r16401, MPFR_RNDN); }; return mpfr_get_d(r16402, MPFR_RNDN); } static mpfr_t r16403, r16404, r16405, r16406, r16407, r16408, r16409, r16410, r16411, r16412, r16413, r16414, r16415, r16416, r16417, r16418, r16419, r16420; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r16403); mpfr_init_set_str(r16404, "-1.5934259f+19", 10, MPFR_RNDN); mpfr_init(r16405); mpfr_init(r16406); mpfr_init_set_str(r16407, "4.3888258f+13", 10, MPFR_RNDN); mpfr_init(r16408); mpfr_init(r16409); mpfr_init(r16410); mpfr_init(r16411); mpfr_init(r16412); mpfr_init(r16413); mpfr_init_set_str(r16414, "1/2", 10, MPFR_RNDN); mpfr_init(r16415); mpfr_init(r16416); mpfr_init(r16417); mpfr_init(r16418); mpfr_init(r16419); mpfr_init(r16420); } double f_dm(double re, double im) { mpfr_set_d(r16403, re, MPFR_RNDN); ; mpfr_set_si(r16405, mpfr_cmp(r16403, r16404) <= 0, MPFR_RNDN); mpfr_neg(r16406, r16403, MPFR_RNDN); ; mpfr_set_si(r16408, mpfr_cmp(r16403, r16407) <= 0, MPFR_RNDN); mpfr_sqr(r16409, r16403, MPFR_RNDN); mpfr_set_d(r16410, im, MPFR_RNDN); mpfr_mul(r16411, r16410, r16410, MPFR_RNDN); mpfr_add(r16412, r16409, r16411, MPFR_RNDN); mpfr_sqrt(r16413, r16412, MPFR_RNDN); ; mpfr_mul(r16415, r16414, r16410, MPFR_RNDN); mpfr_div(r16416, r16403, r16410, MPFR_RNDN); mpfr_div(r16417, r16415, r16416, MPFR_RNDN); mpfr_add(r16418, r16403, r16417, MPFR_RNDN); if (mpfr_get_si(r16408, MPFR_RNDN)) { mpfr_set(r16419, r16413, MPFR_RNDN); } else { mpfr_set(r16419, r16418, MPFR_RNDN); }; if (mpfr_get_si(r16405, MPFR_RNDN)) { mpfr_set(r16420, r16406, MPFR_RNDN); } else { mpfr_set(r16420, r16419, MPFR_RNDN); }; return mpfr_get_d(r16420, MPFR_RNDN); }