#include #include #include #include #include char *name = "triangle1"; double f_if(float a, float b, float c) { float r20477 = a; float r20478 = b; float r20479 = r20477 + r20478; float r20480 = c; float r20481 = r20479 + r20480; float r20482 = 2.0f; float r20483 = r20481 / r20482; float r20484 = r20483 - r20477; float r20485 = r20483 * r20484; float r20486 = r20483 - r20478; float r20487 = r20485 * r20486; float r20488 = r20483 - r20480; float r20489 = r20487 * r20488; float r20490 = sqrt(r20489); return r20490; } double f_id(double a, double b, double c) { double r20491 = a; double r20492 = b; double r20493 = r20491 + r20492; double r20494 = c; double r20495 = r20493 + r20494; double r20496 = 2.0; double r20497 = r20495 / r20496; double r20498 = r20497 - r20491; double r20499 = r20497 * r20498; double r20500 = r20497 - r20492; double r20501 = r20499 * r20500; double r20502 = r20497 - r20494; double r20503 = r20501 * r20502; double r20504 = sqrt(r20503); return r20504; } double f_of(float a, float b, float c) { float r20505 = 0.5f; float r20506 = c; float r20507 = a; float r20508 = r20506 + r20507; float r20509 = b; float r20510 = r20508 - r20509; float r20511 = r20505 * r20510; float r20512 = r20509 + r20508; float r20513 = 2.0f; float r20514 = r20512 / r20513; float r20515 = r20511 * r20514; float r20516 = r20506 - r20507; float r20517 = r20516 + r20509; float r20518 = r20509 - r20506; float r20519 = r20518 + r20507; float r20520 = r20505 * r20505; float r20521 = r20519 * r20520; float r20522 = r20517 * r20521; float r20523 = r20515 * r20522; float r20524 = sqrt(r20523); return r20524; } double f_od(double a, double b, double c) { double r20525 = 0.5; double r20526 = c; double r20527 = a; double r20528 = r20526 + r20527; double r20529 = b; double r20530 = r20528 - r20529; double r20531 = r20525 * r20530; double r20532 = r20529 + r20528; double r20533 = 2.0; double r20534 = r20532 / r20533; double r20535 = r20531 * r20534; double r20536 = r20526 - r20527; double r20537 = r20536 + r20529; double r20538 = r20529 - r20526; double r20539 = r20538 + r20527; double r20540 = r20525 * r20525; double r20541 = r20539 * r20540; double r20542 = r20537 * r20541; double r20543 = r20535 * r20542; double r20544 = sqrt(r20543); return r20544; } 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 r20545, r20546, r20547, r20548, r20549, r20550, r20551, r20552, r20553, r20554, r20555, r20556, r20557, r20558; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r20545); mpfr_init(r20546); mpfr_init(r20547); mpfr_init(r20548); mpfr_init(r20549); mpfr_init_set_str(r20550, "2", 10, MPFR_RNDN); mpfr_init(r20551); mpfr_init(r20552); mpfr_init(r20553); mpfr_init(r20554); mpfr_init(r20555); mpfr_init(r20556); mpfr_init(r20557); mpfr_init(r20558); } double f_im(double a, double b, double c) { mpfr_set_d(r20545, a, MPFR_RNDN); mpfr_set_d(r20546, b, MPFR_RNDN); mpfr_add(r20547, r20545, r20546, MPFR_RNDN); mpfr_set_d(r20548, c, MPFR_RNDN); mpfr_add(r20549, r20547, r20548, MPFR_RNDN); ; mpfr_div(r20551, r20549, r20550, MPFR_RNDN); mpfr_sub(r20552, r20551, r20545, MPFR_RNDN); mpfr_mul(r20553, r20551, r20552, MPFR_RNDN); mpfr_sub(r20554, r20551, r20546, MPFR_RNDN); mpfr_mul(r20555, r20553, r20554, MPFR_RNDN); mpfr_sub(r20556, r20551, r20548, MPFR_RNDN); mpfr_mul(r20557, r20555, r20556, MPFR_RNDN); mpfr_sqrt(r20558, r20557, MPFR_RNDN); return mpfr_get_d(r20558, MPFR_RNDN); } static mpfr_t r20559, r20560, r20561, r20562, r20563, r20564, r20565, r20566, r20567, r20568, r20569, r20570, r20571, r20572, r20573, r20574, r20575, r20576, r20577, r20578; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init_set_str(r20559, "1/2", 10, MPFR_RNDN); mpfr_init(r20560); mpfr_init(r20561); mpfr_init(r20562); mpfr_init(r20563); mpfr_init(r20564); mpfr_init(r20565); mpfr_init(r20566); mpfr_init_set_str(r20567, "2", 10, MPFR_RNDN); mpfr_init(r20568); mpfr_init(r20569); mpfr_init(r20570); mpfr_init(r20571); mpfr_init(r20572); mpfr_init(r20573); mpfr_init(r20574); mpfr_init(r20575); mpfr_init(r20576); mpfr_init(r20577); mpfr_init(r20578); } double f_fm(double a, double b, double c) { ; mpfr_set_d(r20560, c, MPFR_RNDN); mpfr_set_d(r20561, a, MPFR_RNDN); mpfr_add(r20562, r20560, r20561, MPFR_RNDN); mpfr_set_d(r20563, b, MPFR_RNDN); mpfr_sub(r20564, r20562, r20563, MPFR_RNDN); mpfr_mul(r20565, r20559, r20564, MPFR_RNDN); mpfr_add(r20566, r20563, r20562, MPFR_RNDN); ; mpfr_div(r20568, r20566, r20567, MPFR_RNDN); mpfr_mul(r20569, r20565, r20568, MPFR_RNDN); mpfr_sub(r20570, r20560, r20561, MPFR_RNDN); mpfr_add(r20571, r20570, r20563, MPFR_RNDN); mpfr_sub(r20572, r20563, r20560, MPFR_RNDN); mpfr_add(r20573, r20572, r20561, MPFR_RNDN); mpfr_mul(r20574, r20559, r20559, MPFR_RNDN); mpfr_mul(r20575, r20573, r20574, MPFR_RNDN); mpfr_mul(r20576, r20571, r20575, MPFR_RNDN); mpfr_mul(r20577, r20569, r20576, MPFR_RNDN); mpfr_sqrt(r20578, r20577, MPFR_RNDN); return mpfr_get_d(r20578, MPFR_RNDN); } static mpfr_t r20579, r20580, r20581, r20582, r20583, r20584, r20585, r20586, r20587, r20588, r20589, r20590, r20591, r20592, r20593, r20594, r20595, r20596, r20597, r20598; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init_set_str(r20579, "1/2", 10, MPFR_RNDN); mpfr_init(r20580); mpfr_init(r20581); mpfr_init(r20582); mpfr_init(r20583); mpfr_init(r20584); mpfr_init(r20585); mpfr_init(r20586); mpfr_init_set_str(r20587, "2", 10, MPFR_RNDN); mpfr_init(r20588); mpfr_init(r20589); mpfr_init(r20590); mpfr_init(r20591); mpfr_init(r20592); mpfr_init(r20593); mpfr_init(r20594); mpfr_init(r20595); mpfr_init(r20596); mpfr_init(r20597); mpfr_init(r20598); } double f_dm(double a, double b, double c) { ; mpfr_set_d(r20580, c, MPFR_RNDN); mpfr_set_d(r20581, a, MPFR_RNDN); mpfr_add(r20582, r20580, r20581, MPFR_RNDN); mpfr_set_d(r20583, b, MPFR_RNDN); mpfr_sub(r20584, r20582, r20583, MPFR_RNDN); mpfr_mul(r20585, r20579, r20584, MPFR_RNDN); mpfr_add(r20586, r20583, r20582, MPFR_RNDN); ; mpfr_div(r20588, r20586, r20587, MPFR_RNDN); mpfr_mul(r20589, r20585, r20588, MPFR_RNDN); mpfr_sub(r20590, r20580, r20581, MPFR_RNDN); mpfr_add(r20591, r20590, r20583, MPFR_RNDN); mpfr_sub(r20592, r20583, r20580, MPFR_RNDN); mpfr_add(r20593, r20592, r20581, MPFR_RNDN); mpfr_mul(r20594, r20579, r20579, MPFR_RNDN); mpfr_mul(r20595, r20593, r20594, MPFR_RNDN); mpfr_mul(r20596, r20591, r20595, MPFR_RNDN); mpfr_mul(r20597, r20589, r20596, MPFR_RNDN); mpfr_sqrt(r20598, r20597, MPFR_RNDN); return mpfr_get_d(r20598, MPFR_RNDN); }