#include #include #include #include #include char *name = "triangle5"; double f_if(float a, float b, float c) { float r19595 = a; float r19596 = b; float r19597 = r19595 + r19596; float r19598 = c; float r19599 = r19597 + r19598; float r19600 = 2.0f; float r19601 = r19599 / r19600; float r19602 = r19601 - r19595; float r19603 = r19601 * r19602; float r19604 = r19601 - r19596; float r19605 = r19603 * r19604; float r19606 = r19601 - r19598; float r19607 = r19605 * r19606; float r19608 = sqrt(r19607); return r19608; } double f_id(double a, double b, double c) { double r19609 = a; double r19610 = b; double r19611 = r19609 + r19610; double r19612 = c; double r19613 = r19611 + r19612; double r19614 = 2.0; double r19615 = r19613 / r19614; double r19616 = r19615 - r19609; double r19617 = r19615 * r19616; double r19618 = r19615 - r19610; double r19619 = r19617 * r19618; double r19620 = r19615 - r19612; double r19621 = r19619 * r19620; double r19622 = sqrt(r19621); return r19622; } double f_of(float a, float b, float c) { float r19623 = 0.5f; float r19624 = r19623 * r19623; float r19625 = c; float r19626 = a; float r19627 = r19625 - r19626; float r19628 = b; float r19629 = r19627 + r19628; float r19630 = r19624 * r19629; float r19631 = r19626 - r19625; float r19632 = r19628 + r19631; float r19633 = r19626 - r19628; float r19634 = r19633 + r19625; float r19635 = r19632 * r19634; float r19636 = r19626 + r19625; float r19637 = r19628 + r19636; float r19638 = 2.0f; float r19639 = r19638 / r19623; float r19640 = r19637 / r19639; float r19641 = r19635 * r19640; float r19642 = r19630 * r19641; float r19643 = sqrt(r19642); return r19643; } double f_od(double a, double b, double c) { double r19644 = 0.5; double r19645 = r19644 * r19644; double r19646 = c; double r19647 = a; double r19648 = r19646 - r19647; double r19649 = b; double r19650 = r19648 + r19649; double r19651 = r19645 * r19650; double r19652 = r19647 - r19646; double r19653 = r19649 + r19652; double r19654 = r19647 - r19649; double r19655 = r19654 + r19646; double r19656 = r19653 * r19655; double r19657 = r19647 + r19646; double r19658 = r19649 + r19657; double r19659 = 2.0; double r19660 = r19659 / r19644; double r19661 = r19658 / r19660; double r19662 = r19656 * r19661; double r19663 = r19651 * r19662; double r19664 = sqrt(r19663); return r19664; } 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 r19665, r19666, r19667, r19668, r19669, r19670, r19671, r19672, r19673, r19674, r19675, r19676, r19677, r19678; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r19665); mpfr_init(r19666); mpfr_init(r19667); mpfr_init(r19668); mpfr_init(r19669); mpfr_init_set_str(r19670, "2", 10, MPFR_RNDN); mpfr_init(r19671); mpfr_init(r19672); mpfr_init(r19673); mpfr_init(r19674); mpfr_init(r19675); mpfr_init(r19676); mpfr_init(r19677); mpfr_init(r19678); } double f_im(double a, double b, double c) { mpfr_set_d(r19665, a, MPFR_RNDN); mpfr_set_d(r19666, b, MPFR_RNDN); mpfr_add(r19667, r19665, r19666, MPFR_RNDN); mpfr_set_d(r19668, c, MPFR_RNDN); mpfr_add(r19669, r19667, r19668, MPFR_RNDN); ; mpfr_div(r19671, r19669, r19670, MPFR_RNDN); mpfr_sub(r19672, r19671, r19665, MPFR_RNDN); mpfr_mul(r19673, r19671, r19672, MPFR_RNDN); mpfr_sub(r19674, r19671, r19666, MPFR_RNDN); mpfr_mul(r19675, r19673, r19674, MPFR_RNDN); mpfr_sub(r19676, r19671, r19668, MPFR_RNDN); mpfr_mul(r19677, r19675, r19676, MPFR_RNDN); mpfr_sqrt(r19678, r19677, MPFR_RNDN); return mpfr_get_d(r19678, MPFR_RNDN); } static mpfr_t r19679, r19680, r19681, r19682, r19683, r19684, r19685, r19686, r19687, r19688, r19689, r19690, r19691, r19692, r19693, r19694, r19695, r19696, r19697, r19698, r19699; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init_set_str(r19679, "1/2", 10, MPFR_RNDN); mpfr_init(r19680); mpfr_init(r19681); mpfr_init(r19682); mpfr_init(r19683); mpfr_init(r19684); mpfr_init(r19685); mpfr_init(r19686); mpfr_init(r19687); mpfr_init(r19688); mpfr_init(r19689); mpfr_init(r19690); mpfr_init(r19691); mpfr_init(r19692); mpfr_init(r19693); mpfr_init_set_str(r19694, "2", 10, MPFR_RNDN); mpfr_init(r19695); mpfr_init(r19696); mpfr_init(r19697); mpfr_init(r19698); mpfr_init(r19699); } double f_fm(double a, double b, double c) { ; mpfr_mul(r19680, r19679, r19679, MPFR_RNDN); mpfr_set_d(r19681, c, MPFR_RNDN); mpfr_set_d(r19682, a, MPFR_RNDN); mpfr_sub(r19683, r19681, r19682, MPFR_RNDN); mpfr_set_d(r19684, b, MPFR_RNDN); mpfr_add(r19685, r19683, r19684, MPFR_RNDN); mpfr_mul(r19686, r19680, r19685, MPFR_RNDN); mpfr_sub(r19687, r19682, r19681, MPFR_RNDN); mpfr_add(r19688, r19684, r19687, MPFR_RNDN); mpfr_sub(r19689, r19682, r19684, MPFR_RNDN); mpfr_add(r19690, r19689, r19681, MPFR_RNDN); mpfr_mul(r19691, r19688, r19690, MPFR_RNDN); mpfr_add(r19692, r19682, r19681, MPFR_RNDN); mpfr_add(r19693, r19684, r19692, MPFR_RNDN); ; mpfr_div(r19695, r19694, r19679, MPFR_RNDN); mpfr_div(r19696, r19693, r19695, MPFR_RNDN); mpfr_mul(r19697, r19691, r19696, MPFR_RNDN); mpfr_mul(r19698, r19686, r19697, MPFR_RNDN); mpfr_sqrt(r19699, r19698, MPFR_RNDN); return mpfr_get_d(r19699, MPFR_RNDN); } static mpfr_t r19700, r19701, r19702, r19703, r19704, r19705, r19706, r19707, r19708, r19709, r19710, r19711, r19712, r19713, r19714, r19715, r19716, r19717, r19718, r19719, r19720; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init_set_str(r19700, "1/2", 10, MPFR_RNDN); mpfr_init(r19701); mpfr_init(r19702); mpfr_init(r19703); mpfr_init(r19704); mpfr_init(r19705); mpfr_init(r19706); mpfr_init(r19707); mpfr_init(r19708); mpfr_init(r19709); mpfr_init(r19710); mpfr_init(r19711); mpfr_init(r19712); mpfr_init(r19713); mpfr_init(r19714); mpfr_init_set_str(r19715, "2", 10, MPFR_RNDN); mpfr_init(r19716); mpfr_init(r19717); mpfr_init(r19718); mpfr_init(r19719); mpfr_init(r19720); } double f_dm(double a, double b, double c) { ; mpfr_mul(r19701, r19700, r19700, MPFR_RNDN); mpfr_set_d(r19702, c, MPFR_RNDN); mpfr_set_d(r19703, a, MPFR_RNDN); mpfr_sub(r19704, r19702, r19703, MPFR_RNDN); mpfr_set_d(r19705, b, MPFR_RNDN); mpfr_add(r19706, r19704, r19705, MPFR_RNDN); mpfr_mul(r19707, r19701, r19706, MPFR_RNDN); mpfr_sub(r19708, r19703, r19702, MPFR_RNDN); mpfr_add(r19709, r19705, r19708, MPFR_RNDN); mpfr_sub(r19710, r19703, r19705, MPFR_RNDN); mpfr_add(r19711, r19710, r19702, MPFR_RNDN); mpfr_mul(r19712, r19709, r19711, MPFR_RNDN); mpfr_add(r19713, r19703, r19702, MPFR_RNDN); mpfr_add(r19714, r19705, r19713, MPFR_RNDN); ; mpfr_div(r19716, r19715, r19700, MPFR_RNDN); mpfr_div(r19717, r19714, r19716, MPFR_RNDN); mpfr_mul(r19718, r19712, r19717, MPFR_RNDN); mpfr_mul(r19719, r19707, r19718, MPFR_RNDN); mpfr_sqrt(r19720, r19719, MPFR_RNDN); return mpfr_get_d(r19720, MPFR_RNDN); }