#include #include #include #include #include char *name = "triangle6"; double f_if(float a, float b, float c) { float r19469 = a; float r19470 = b; float r19471 = r19469 + r19470; float r19472 = c; float r19473 = r19471 + r19472; float r19474 = 2.0f; float r19475 = r19473 / r19474; float r19476 = r19475 - r19469; float r19477 = r19475 * r19476; float r19478 = r19475 - r19470; float r19479 = r19477 * r19478; float r19480 = r19475 - r19472; float r19481 = r19479 * r19480; float r19482 = sqrt(r19481); return r19482; } double f_id(double a, double b, double c) { double r19483 = a; double r19484 = b; double r19485 = r19483 + r19484; double r19486 = c; double r19487 = r19485 + r19486; double r19488 = 2.0; double r19489 = r19487 / r19488; double r19490 = r19489 - r19483; double r19491 = r19489 * r19490; double r19492 = r19489 - r19484; double r19493 = r19491 * r19492; double r19494 = r19489 - r19486; double r19495 = r19493 * r19494; double r19496 = sqrt(r19495); return r19496; } double f_of(float a, float b, float c) { float r19497 = 0.5f; float r19498 = r19497 * r19497; float r19499 = c; float r19500 = a; float r19501 = r19499 - r19500; float r19502 = b; float r19503 = r19501 + r19502; float r19504 = r19498 * r19503; float r19505 = r19500 - r19499; float r19506 = r19502 + r19505; float r19507 = r19500 - r19502; float r19508 = r19507 + r19499; float r19509 = r19506 * r19508; float r19510 = r19500 + r19499; float r19511 = r19502 + r19510; float r19512 = 2.0f; float r19513 = r19512 / r19497; float r19514 = r19511 / r19513; float r19515 = r19509 * r19514; float r19516 = r19504 * r19515; float r19517 = sqrt(r19516); return r19517; } double f_od(double a, double b, double c) { double r19518 = 0.5; double r19519 = r19518 * r19518; double r19520 = c; double r19521 = a; double r19522 = r19520 - r19521; double r19523 = b; double r19524 = r19522 + r19523; double r19525 = r19519 * r19524; double r19526 = r19521 - r19520; double r19527 = r19523 + r19526; double r19528 = r19521 - r19523; double r19529 = r19528 + r19520; double r19530 = r19527 * r19529; double r19531 = r19521 + r19520; double r19532 = r19523 + r19531; double r19533 = 2.0; double r19534 = r19533 / r19518; double r19535 = r19532 / r19534; double r19536 = r19530 * r19535; double r19537 = r19525 * r19536; double r19538 = sqrt(r19537); return r19538; } 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 r19539, r19540, r19541, r19542, r19543, r19544, r19545, r19546, r19547, r19548, r19549, r19550, r19551, r19552; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r19539); mpfr_init(r19540); mpfr_init(r19541); mpfr_init(r19542); mpfr_init(r19543); mpfr_init_set_str(r19544, "2", 10, MPFR_RNDN); mpfr_init(r19545); mpfr_init(r19546); mpfr_init(r19547); mpfr_init(r19548); mpfr_init(r19549); mpfr_init(r19550); mpfr_init(r19551); mpfr_init(r19552); } double f_im(double a, double b, double c) { mpfr_set_d(r19539, a, MPFR_RNDN); mpfr_set_d(r19540, b, MPFR_RNDN); mpfr_add(r19541, r19539, r19540, MPFR_RNDN); mpfr_set_d(r19542, c, MPFR_RNDN); mpfr_add(r19543, r19541, r19542, MPFR_RNDN); ; mpfr_div(r19545, r19543, r19544, MPFR_RNDN); mpfr_sub(r19546, r19545, r19539, MPFR_RNDN); mpfr_mul(r19547, r19545, r19546, MPFR_RNDN); mpfr_sub(r19548, r19545, r19540, MPFR_RNDN); mpfr_mul(r19549, r19547, r19548, MPFR_RNDN); mpfr_sub(r19550, r19545, r19542, MPFR_RNDN); mpfr_mul(r19551, r19549, r19550, MPFR_RNDN); mpfr_sqrt(r19552, r19551, MPFR_RNDN); return mpfr_get_d(r19552, MPFR_RNDN); } static mpfr_t r19553, r19554, r19555, r19556, r19557, r19558, r19559, r19560, r19561, r19562, r19563, r19564, r19565, r19566, r19567, r19568, r19569, r19570, r19571, r19572, r19573; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init_set_str(r19553, "1/2", 10, MPFR_RNDN); mpfr_init(r19554); mpfr_init(r19555); mpfr_init(r19556); mpfr_init(r19557); mpfr_init(r19558); mpfr_init(r19559); mpfr_init(r19560); mpfr_init(r19561); mpfr_init(r19562); mpfr_init(r19563); mpfr_init(r19564); mpfr_init(r19565); mpfr_init(r19566); mpfr_init(r19567); mpfr_init_set_str(r19568, "2", 10, MPFR_RNDN); mpfr_init(r19569); mpfr_init(r19570); mpfr_init(r19571); mpfr_init(r19572); mpfr_init(r19573); } double f_fm(double a, double b, double c) { ; mpfr_mul(r19554, r19553, r19553, MPFR_RNDN); mpfr_set_d(r19555, c, MPFR_RNDN); mpfr_set_d(r19556, a, MPFR_RNDN); mpfr_sub(r19557, r19555, r19556, MPFR_RNDN); mpfr_set_d(r19558, b, MPFR_RNDN); mpfr_add(r19559, r19557, r19558, MPFR_RNDN); mpfr_mul(r19560, r19554, r19559, MPFR_RNDN); mpfr_sub(r19561, r19556, r19555, MPFR_RNDN); mpfr_add(r19562, r19558, r19561, MPFR_RNDN); mpfr_sub(r19563, r19556, r19558, MPFR_RNDN); mpfr_add(r19564, r19563, r19555, MPFR_RNDN); mpfr_mul(r19565, r19562, r19564, MPFR_RNDN); mpfr_add(r19566, r19556, r19555, MPFR_RNDN); mpfr_add(r19567, r19558, r19566, MPFR_RNDN); ; mpfr_div(r19569, r19568, r19553, MPFR_RNDN); mpfr_div(r19570, r19567, r19569, MPFR_RNDN); mpfr_mul(r19571, r19565, r19570, MPFR_RNDN); mpfr_mul(r19572, r19560, r19571, MPFR_RNDN); mpfr_sqrt(r19573, r19572, MPFR_RNDN); return mpfr_get_d(r19573, MPFR_RNDN); } static mpfr_t r19574, r19575, r19576, r19577, r19578, r19579, r19580, r19581, r19582, r19583, r19584, r19585, r19586, r19587, r19588, r19589, r19590, r19591, r19592, r19593, r19594; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init_set_str(r19574, "1/2", 10, MPFR_RNDN); mpfr_init(r19575); mpfr_init(r19576); mpfr_init(r19577); mpfr_init(r19578); mpfr_init(r19579); mpfr_init(r19580); mpfr_init(r19581); mpfr_init(r19582); mpfr_init(r19583); mpfr_init(r19584); mpfr_init(r19585); mpfr_init(r19586); mpfr_init(r19587); mpfr_init(r19588); mpfr_init_set_str(r19589, "2", 10, MPFR_RNDN); mpfr_init(r19590); mpfr_init(r19591); mpfr_init(r19592); mpfr_init(r19593); mpfr_init(r19594); } double f_dm(double a, double b, double c) { ; mpfr_mul(r19575, r19574, r19574, MPFR_RNDN); mpfr_set_d(r19576, c, MPFR_RNDN); mpfr_set_d(r19577, a, MPFR_RNDN); mpfr_sub(r19578, r19576, r19577, MPFR_RNDN); mpfr_set_d(r19579, b, MPFR_RNDN); mpfr_add(r19580, r19578, r19579, MPFR_RNDN); mpfr_mul(r19581, r19575, r19580, MPFR_RNDN); mpfr_sub(r19582, r19577, r19576, MPFR_RNDN); mpfr_add(r19583, r19579, r19582, MPFR_RNDN); mpfr_sub(r19584, r19577, r19579, MPFR_RNDN); mpfr_add(r19585, r19584, r19576, MPFR_RNDN); mpfr_mul(r19586, r19583, r19585, MPFR_RNDN); mpfr_add(r19587, r19577, r19576, MPFR_RNDN); mpfr_add(r19588, r19579, r19587, MPFR_RNDN); ; mpfr_div(r19590, r19589, r19574, MPFR_RNDN); mpfr_div(r19591, r19588, r19590, MPFR_RNDN); mpfr_mul(r19592, r19586, r19591, MPFR_RNDN); mpfr_mul(r19593, r19581, r19592, MPFR_RNDN); mpfr_sqrt(r19594, r19593, MPFR_RNDN); return mpfr_get_d(r19594, MPFR_RNDN); }