#include #include #include #include #include char *name = "triangle4"; double f_if(float a, float b, float c) { float r19721 = a; float r19722 = b; float r19723 = r19721 + r19722; float r19724 = c; float r19725 = r19723 + r19724; float r19726 = 2.0f; float r19727 = r19725 / r19726; float r19728 = r19727 - r19721; float r19729 = r19727 * r19728; float r19730 = r19727 - r19722; float r19731 = r19729 * r19730; float r19732 = r19727 - r19724; float r19733 = r19731 * r19732; float r19734 = sqrt(r19733); return r19734; } double f_id(double a, double b, double c) { double r19735 = a; double r19736 = b; double r19737 = r19735 + r19736; double r19738 = c; double r19739 = r19737 + r19738; double r19740 = 2.0; double r19741 = r19739 / r19740; double r19742 = r19741 - r19735; double r19743 = r19741 * r19742; double r19744 = r19741 - r19736; double r19745 = r19743 * r19744; double r19746 = r19741 - r19738; double r19747 = r19745 * r19746; double r19748 = sqrt(r19747); return r19748; } double f_of(float a, float b, float c) { float r19749 = 0.5f; float r19750 = r19749 * r19749; float r19751 = c; float r19752 = a; float r19753 = r19751 - r19752; float r19754 = b; float r19755 = r19753 + r19754; float r19756 = r19750 * r19755; float r19757 = r19752 - r19751; float r19758 = r19754 + r19757; float r19759 = r19752 - r19754; float r19760 = r19759 + r19751; float r19761 = r19758 * r19760; float r19762 = r19752 + r19751; float r19763 = r19754 + r19762; float r19764 = 2.0f; float r19765 = r19764 / r19749; float r19766 = r19763 / r19765; float r19767 = r19761 * r19766; float r19768 = r19756 * r19767; float r19769 = sqrt(r19768); return r19769; } double f_od(double a, double b, double c) { double r19770 = 0.5; double r19771 = r19770 * r19770; double r19772 = c; double r19773 = a; double r19774 = r19772 - r19773; double r19775 = b; double r19776 = r19774 + r19775; double r19777 = r19771 * r19776; double r19778 = r19773 - r19772; double r19779 = r19775 + r19778; double r19780 = r19773 - r19775; double r19781 = r19780 + r19772; double r19782 = r19779 * r19781; double r19783 = r19773 + r19772; double r19784 = r19775 + r19783; double r19785 = 2.0; double r19786 = r19785 / r19770; double r19787 = r19784 / r19786; double r19788 = r19782 * r19787; double r19789 = r19777 * r19788; double r19790 = sqrt(r19789); return r19790; } 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 r19791, r19792, r19793, r19794, r19795, r19796, r19797, r19798, r19799, r19800, r19801, r19802, r19803, r19804; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r19791); mpfr_init(r19792); mpfr_init(r19793); mpfr_init(r19794); mpfr_init(r19795); mpfr_init_set_str(r19796, "2", 10, MPFR_RNDN); mpfr_init(r19797); mpfr_init(r19798); mpfr_init(r19799); mpfr_init(r19800); mpfr_init(r19801); mpfr_init(r19802); mpfr_init(r19803); mpfr_init(r19804); } double f_im(double a, double b, double c) { mpfr_set_d(r19791, a, MPFR_RNDN); mpfr_set_d(r19792, b, MPFR_RNDN); mpfr_add(r19793, r19791, r19792, MPFR_RNDN); mpfr_set_d(r19794, c, MPFR_RNDN); mpfr_add(r19795, r19793, r19794, MPFR_RNDN); ; mpfr_div(r19797, r19795, r19796, MPFR_RNDN); mpfr_sub(r19798, r19797, r19791, MPFR_RNDN); mpfr_mul(r19799, r19797, r19798, MPFR_RNDN); mpfr_sub(r19800, r19797, r19792, MPFR_RNDN); mpfr_mul(r19801, r19799, r19800, MPFR_RNDN); mpfr_sub(r19802, r19797, r19794, MPFR_RNDN); mpfr_mul(r19803, r19801, r19802, MPFR_RNDN); mpfr_sqrt(r19804, r19803, MPFR_RNDN); return mpfr_get_d(r19804, MPFR_RNDN); } static mpfr_t r19805, r19806, r19807, r19808, r19809, r19810, r19811, r19812, r19813, r19814, r19815, r19816, r19817, r19818, r19819, r19820, r19821, r19822, r19823, r19824, r19825; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init_set_str(r19805, "1/2", 10, MPFR_RNDN); mpfr_init(r19806); mpfr_init(r19807); mpfr_init(r19808); mpfr_init(r19809); mpfr_init(r19810); mpfr_init(r19811); mpfr_init(r19812); mpfr_init(r19813); mpfr_init(r19814); mpfr_init(r19815); mpfr_init(r19816); mpfr_init(r19817); mpfr_init(r19818); mpfr_init(r19819); mpfr_init_set_str(r19820, "2", 10, MPFR_RNDN); mpfr_init(r19821); mpfr_init(r19822); mpfr_init(r19823); mpfr_init(r19824); mpfr_init(r19825); } double f_fm(double a, double b, double c) { ; mpfr_mul(r19806, r19805, r19805, MPFR_RNDN); mpfr_set_d(r19807, c, MPFR_RNDN); mpfr_set_d(r19808, a, MPFR_RNDN); mpfr_sub(r19809, r19807, r19808, MPFR_RNDN); mpfr_set_d(r19810, b, MPFR_RNDN); mpfr_add(r19811, r19809, r19810, MPFR_RNDN); mpfr_mul(r19812, r19806, r19811, MPFR_RNDN); mpfr_sub(r19813, r19808, r19807, MPFR_RNDN); mpfr_add(r19814, r19810, r19813, MPFR_RNDN); mpfr_sub(r19815, r19808, r19810, MPFR_RNDN); mpfr_add(r19816, r19815, r19807, MPFR_RNDN); mpfr_mul(r19817, r19814, r19816, MPFR_RNDN); mpfr_add(r19818, r19808, r19807, MPFR_RNDN); mpfr_add(r19819, r19810, r19818, MPFR_RNDN); ; mpfr_div(r19821, r19820, r19805, MPFR_RNDN); mpfr_div(r19822, r19819, r19821, MPFR_RNDN); mpfr_mul(r19823, r19817, r19822, MPFR_RNDN); mpfr_mul(r19824, r19812, r19823, MPFR_RNDN); mpfr_sqrt(r19825, r19824, MPFR_RNDN); return mpfr_get_d(r19825, MPFR_RNDN); } static mpfr_t r19826, r19827, r19828, r19829, r19830, r19831, r19832, r19833, r19834, r19835, r19836, r19837, r19838, r19839, r19840, r19841, r19842, r19843, r19844, r19845, r19846; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init_set_str(r19826, "1/2", 10, MPFR_RNDN); mpfr_init(r19827); mpfr_init(r19828); mpfr_init(r19829); mpfr_init(r19830); mpfr_init(r19831); mpfr_init(r19832); mpfr_init(r19833); mpfr_init(r19834); mpfr_init(r19835); mpfr_init(r19836); mpfr_init(r19837); mpfr_init(r19838); mpfr_init(r19839); mpfr_init(r19840); mpfr_init_set_str(r19841, "2", 10, MPFR_RNDN); mpfr_init(r19842); mpfr_init(r19843); mpfr_init(r19844); mpfr_init(r19845); mpfr_init(r19846); } double f_dm(double a, double b, double c) { ; mpfr_mul(r19827, r19826, r19826, MPFR_RNDN); mpfr_set_d(r19828, c, MPFR_RNDN); mpfr_set_d(r19829, a, MPFR_RNDN); mpfr_sub(r19830, r19828, r19829, MPFR_RNDN); mpfr_set_d(r19831, b, MPFR_RNDN); mpfr_add(r19832, r19830, r19831, MPFR_RNDN); mpfr_mul(r19833, r19827, r19832, MPFR_RNDN); mpfr_sub(r19834, r19829, r19828, MPFR_RNDN); mpfr_add(r19835, r19831, r19834, MPFR_RNDN); mpfr_sub(r19836, r19829, r19831, MPFR_RNDN); mpfr_add(r19837, r19836, r19828, MPFR_RNDN); mpfr_mul(r19838, r19835, r19837, MPFR_RNDN); mpfr_add(r19839, r19829, r19828, MPFR_RNDN); mpfr_add(r19840, r19831, r19839, MPFR_RNDN); ; mpfr_div(r19842, r19841, r19826, MPFR_RNDN); mpfr_div(r19843, r19840, r19842, MPFR_RNDN); mpfr_mul(r19844, r19838, r19843, MPFR_RNDN); mpfr_mul(r19845, r19833, r19844, MPFR_RNDN); mpfr_sqrt(r19846, r19845, MPFR_RNDN); return mpfr_get_d(r19846, MPFR_RNDN); }