#include #include #include #include #include char *name = "triangle5"; double f_if(float a, float b, float c) { float r21701 = a; float r21702 = b; float r21703 = r21701 + r21702; float r21704 = c; float r21705 = r21703 + r21704; float r21706 = 2; float r21707 = r21705 / r21706; float r21708 = r21707 - r21701; float r21709 = r21707 * r21708; float r21710 = r21707 - r21702; float r21711 = r21709 * r21710; float r21712 = r21707 - r21704; float r21713 = r21711 * r21712; float r21714 = sqrt(r21713); return r21714; } double f_id(double a, double b, double c) { double r21715 = a; double r21716 = b; double r21717 = r21715 + r21716; double r21718 = c; double r21719 = r21717 + r21718; double r21720 = 2; double r21721 = r21719 / r21720; double r21722 = r21721 - r21715; double r21723 = r21721 * r21722; double r21724 = r21721 - r21716; double r21725 = r21723 * r21724; double r21726 = r21721 - r21718; double r21727 = r21725 * r21726; double r21728 = sqrt(r21727); return r21728; } double f_of(float a, float b, float c) { float r21729 = b; float r21730 = a; float r21731 = r21729 + r21730; float r21732 = c; float r21733 = r21731 + r21732; float r21734 = 2; float r21735 = 1/2; float r21736 = r21734 / r21735; float r21737 = r21733 / r21736; float r21738 = 3; float r21739 = pow(r21737, r21738); float r21740 = r21730 - r21729; float r21741 = r21740 + r21732; float r21742 = pow(r21741, r21738); float r21743 = r21730 - r21732; float r21744 = r21743 + r21729; float r21745 = pow(r21744, r21738); float r21746 = r21742 * r21745; float r21747 = r21729 - r21743; float r21748 = r21735 * r21735; float r21749 = r21747 * r21748; float r21750 = pow(r21749, r21738); float r21751 = r21746 * r21750; float r21752 = r21739 * r21751; float r21753 = cbrt(r21752); float r21754 = sqrt(r21753); return r21754; } double f_od(double a, double b, double c) { double r21755 = b; double r21756 = a; double r21757 = r21755 + r21756; double r21758 = c; double r21759 = r21757 + r21758; double r21760 = 2; double r21761 = 1/2; double r21762 = r21760 / r21761; double r21763 = r21759 / r21762; double r21764 = 3; double r21765 = pow(r21763, r21764); double r21766 = r21756 - r21755; double r21767 = r21766 + r21758; double r21768 = pow(r21767, r21764); double r21769 = r21756 - r21758; double r21770 = r21769 + r21755; double r21771 = pow(r21770, r21764); double r21772 = r21768 * r21771; double r21773 = r21755 - r21769; double r21774 = r21761 * r21761; double r21775 = r21773 * r21774; double r21776 = pow(r21775, r21764); double r21777 = r21772 * r21776; double r21778 = r21765 * r21777; double r21779 = cbrt(r21778); double r21780 = sqrt(r21779); return r21780; } 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 r21781, r21782, r21783, r21784, r21785, r21786, r21787, r21788, r21789, r21790, r21791, r21792, r21793, r21794; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r21781); mpfr_init(r21782); mpfr_init(r21783); mpfr_init(r21784); mpfr_init(r21785); mpfr_init_set_str(r21786, "2", 10, MPFR_RNDN); mpfr_init(r21787); mpfr_init(r21788); mpfr_init(r21789); mpfr_init(r21790); mpfr_init(r21791); mpfr_init(r21792); mpfr_init(r21793); mpfr_init(r21794); } double f_im(double a, double b, double c) { mpfr_set_d(r21781, a, MPFR_RNDN); mpfr_set_d(r21782, b, MPFR_RNDN); mpfr_add(r21783, r21781, r21782, MPFR_RNDN); mpfr_set_d(r21784, c, MPFR_RNDN); mpfr_add(r21785, r21783, r21784, MPFR_RNDN); ; mpfr_div(r21787, r21785, r21786, MPFR_RNDN); mpfr_sub(r21788, r21787, r21781, MPFR_RNDN); mpfr_mul(r21789, r21787, r21788, MPFR_RNDN); mpfr_sub(r21790, r21787, r21782, MPFR_RNDN); mpfr_mul(r21791, r21789, r21790, MPFR_RNDN); mpfr_sub(r21792, r21787, r21784, MPFR_RNDN); mpfr_mul(r21793, r21791, r21792, MPFR_RNDN); mpfr_sqrt(r21794, r21793, MPFR_RNDN); return mpfr_get_d(r21794, MPFR_RNDN); } static mpfr_t r21795, r21796, r21797, r21798, r21799, r21800, r21801, r21802, r21803, r21804, r21805, r21806, r21807, r21808, r21809, r21810, r21811, r21812, r21813, r21814, r21815, r21816, r21817, r21818, r21819, r21820; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r21795); mpfr_init(r21796); mpfr_init(r21797); mpfr_init(r21798); mpfr_init(r21799); mpfr_init_set_str(r21800, "2", 10, MPFR_RNDN); mpfr_init_set_str(r21801, "1/2", 10, MPFR_RNDN); mpfr_init(r21802); mpfr_init(r21803); mpfr_init_set_str(r21804, "3", 10, MPFR_RNDN); mpfr_init(r21805); mpfr_init(r21806); mpfr_init(r21807); mpfr_init(r21808); mpfr_init(r21809); mpfr_init(r21810); mpfr_init(r21811); mpfr_init(r21812); mpfr_init(r21813); mpfr_init(r21814); mpfr_init(r21815); mpfr_init(r21816); mpfr_init(r21817); mpfr_init(r21818); mpfr_init(r21819); mpfr_init(r21820); } double f_fm(double a, double b, double c) { mpfr_set_d(r21795, b, MPFR_RNDN); mpfr_set_d(r21796, a, MPFR_RNDN); mpfr_add(r21797, r21795, r21796, MPFR_RNDN); mpfr_set_d(r21798, c, MPFR_RNDN); mpfr_add(r21799, r21797, r21798, MPFR_RNDN); ; ; mpfr_div(r21802, r21800, r21801, MPFR_RNDN); mpfr_div(r21803, r21799, r21802, MPFR_RNDN); ; mpfr_pow(r21805, r21803, r21804, MPFR_RNDN); mpfr_sub(r21806, r21796, r21795, MPFR_RNDN); mpfr_add(r21807, r21806, r21798, MPFR_RNDN); mpfr_pow(r21808, r21807, r21804, MPFR_RNDN); mpfr_sub(r21809, r21796, r21798, MPFR_RNDN); mpfr_add(r21810, r21809, r21795, MPFR_RNDN); mpfr_pow(r21811, r21810, r21804, MPFR_RNDN); mpfr_mul(r21812, r21808, r21811, MPFR_RNDN); mpfr_sub(r21813, r21795, r21809, MPFR_RNDN); mpfr_mul(r21814, r21801, r21801, MPFR_RNDN); mpfr_mul(r21815, r21813, r21814, MPFR_RNDN); mpfr_pow(r21816, r21815, r21804, MPFR_RNDN); mpfr_mul(r21817, r21812, r21816, MPFR_RNDN); mpfr_mul(r21818, r21805, r21817, MPFR_RNDN); mpfr_cbrt(r21819, r21818, MPFR_RNDN); mpfr_sqrt(r21820, r21819, MPFR_RNDN); return mpfr_get_d(r21820, MPFR_RNDN); } static mpfr_t r21821, r21822, r21823, r21824, r21825, r21826, r21827, r21828, r21829, r21830, r21831, r21832, r21833, r21834, r21835, r21836, r21837, r21838, r21839, r21840, r21841, r21842, r21843, r21844, r21845, r21846; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r21821); mpfr_init(r21822); mpfr_init(r21823); mpfr_init(r21824); mpfr_init(r21825); mpfr_init_set_str(r21826, "2", 10, MPFR_RNDN); mpfr_init_set_str(r21827, "1/2", 10, MPFR_RNDN); mpfr_init(r21828); mpfr_init(r21829); mpfr_init_set_str(r21830, "3", 10, MPFR_RNDN); mpfr_init(r21831); mpfr_init(r21832); mpfr_init(r21833); mpfr_init(r21834); mpfr_init(r21835); mpfr_init(r21836); mpfr_init(r21837); mpfr_init(r21838); mpfr_init(r21839); mpfr_init(r21840); mpfr_init(r21841); mpfr_init(r21842); mpfr_init(r21843); mpfr_init(r21844); mpfr_init(r21845); mpfr_init(r21846); } double f_dm(double a, double b, double c) { mpfr_set_d(r21821, b, MPFR_RNDN); mpfr_set_d(r21822, a, MPFR_RNDN); mpfr_add(r21823, r21821, r21822, MPFR_RNDN); mpfr_set_d(r21824, c, MPFR_RNDN); mpfr_add(r21825, r21823, r21824, MPFR_RNDN); ; ; mpfr_div(r21828, r21826, r21827, MPFR_RNDN); mpfr_div(r21829, r21825, r21828, MPFR_RNDN); ; mpfr_pow(r21831, r21829, r21830, MPFR_RNDN); mpfr_sub(r21832, r21822, r21821, MPFR_RNDN); mpfr_add(r21833, r21832, r21824, MPFR_RNDN); mpfr_pow(r21834, r21833, r21830, MPFR_RNDN); mpfr_sub(r21835, r21822, r21824, MPFR_RNDN); mpfr_add(r21836, r21835, r21821, MPFR_RNDN); mpfr_pow(r21837, r21836, r21830, MPFR_RNDN); mpfr_mul(r21838, r21834, r21837, MPFR_RNDN); mpfr_sub(r21839, r21821, r21835, MPFR_RNDN); mpfr_mul(r21840, r21827, r21827, MPFR_RNDN); mpfr_mul(r21841, r21839, r21840, MPFR_RNDN); mpfr_pow(r21842, r21841, r21830, MPFR_RNDN); mpfr_mul(r21843, r21838, r21842, MPFR_RNDN); mpfr_mul(r21844, r21831, r21843, MPFR_RNDN); mpfr_cbrt(r21845, r21844, MPFR_RNDN); mpfr_sqrt(r21846, r21845, MPFR_RNDN); return mpfr_get_d(r21846, MPFR_RNDN); }