#include #include #include #include #include char *name = "triangle9"; double f_if(float a, float b, float c) { float r21117 = a; float r21118 = b; float r21119 = r21117 + r21118; float r21120 = c; float r21121 = r21119 + r21120; float r21122 = 2; float r21123 = r21121 / r21122; float r21124 = r21123 - r21117; float r21125 = r21123 * r21124; float r21126 = r21123 - r21118; float r21127 = r21125 * r21126; float r21128 = r21123 - r21120; float r21129 = r21127 * r21128; float r21130 = sqrt(r21129); return r21130; } double f_id(double a, double b, double c) { double r21131 = a; double r21132 = b; double r21133 = r21131 + r21132; double r21134 = c; double r21135 = r21133 + r21134; double r21136 = 2; double r21137 = r21135 / r21136; double r21138 = r21137 - r21131; double r21139 = r21137 * r21138; double r21140 = r21137 - r21132; double r21141 = r21139 * r21140; double r21142 = r21137 - r21134; double r21143 = r21141 * r21142; double r21144 = sqrt(r21143); return r21144; } double f_of(float a, float b, float c) { float r21145 = b; float r21146 = a; float r21147 = r21145 + r21146; float r21148 = c; float r21149 = r21147 + r21148; float r21150 = 2; float r21151 = 1/2; float r21152 = r21150 / r21151; float r21153 = r21149 / r21152; float r21154 = 3; float r21155 = pow(r21153, r21154); float r21156 = r21146 - r21145; float r21157 = r21156 + r21148; float r21158 = pow(r21157, r21154); float r21159 = r21146 - r21148; float r21160 = r21159 + r21145; float r21161 = pow(r21160, r21154); float r21162 = r21158 * r21161; float r21163 = r21145 - r21159; float r21164 = r21151 * r21151; float r21165 = r21163 * r21164; float r21166 = pow(r21165, r21154); float r21167 = r21162 * r21166; float r21168 = r21155 * r21167; float r21169 = cbrt(r21168); float r21170 = sqrt(r21169); return r21170; } double f_od(double a, double b, double c) { double r21171 = b; double r21172 = a; double r21173 = r21171 + r21172; double r21174 = c; double r21175 = r21173 + r21174; double r21176 = 2; double r21177 = 1/2; double r21178 = r21176 / r21177; double r21179 = r21175 / r21178; double r21180 = 3; double r21181 = pow(r21179, r21180); double r21182 = r21172 - r21171; double r21183 = r21182 + r21174; double r21184 = pow(r21183, r21180); double r21185 = r21172 - r21174; double r21186 = r21185 + r21171; double r21187 = pow(r21186, r21180); double r21188 = r21184 * r21187; double r21189 = r21171 - r21185; double r21190 = r21177 * r21177; double r21191 = r21189 * r21190; double r21192 = pow(r21191, r21180); double r21193 = r21188 * r21192; double r21194 = r21181 * r21193; double r21195 = cbrt(r21194); double r21196 = sqrt(r21195); return r21196; } 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 r21197, r21198, r21199, r21200, r21201, r21202, r21203, r21204, r21205, r21206, r21207, r21208, r21209, r21210; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r21197); mpfr_init(r21198); mpfr_init(r21199); mpfr_init(r21200); mpfr_init(r21201); mpfr_init_set_str(r21202, "2", 10, MPFR_RNDN); mpfr_init(r21203); mpfr_init(r21204); mpfr_init(r21205); mpfr_init(r21206); mpfr_init(r21207); mpfr_init(r21208); mpfr_init(r21209); mpfr_init(r21210); } double f_im(double a, double b, double c) { mpfr_set_d(r21197, a, MPFR_RNDN); mpfr_set_d(r21198, b, MPFR_RNDN); mpfr_add(r21199, r21197, r21198, MPFR_RNDN); mpfr_set_d(r21200, c, MPFR_RNDN); mpfr_add(r21201, r21199, r21200, MPFR_RNDN); ; mpfr_div(r21203, r21201, r21202, MPFR_RNDN); mpfr_sub(r21204, r21203, r21197, MPFR_RNDN); mpfr_mul(r21205, r21203, r21204, MPFR_RNDN); mpfr_sub(r21206, r21203, r21198, MPFR_RNDN); mpfr_mul(r21207, r21205, r21206, MPFR_RNDN); mpfr_sub(r21208, r21203, r21200, MPFR_RNDN); mpfr_mul(r21209, r21207, r21208, MPFR_RNDN); mpfr_sqrt(r21210, r21209, MPFR_RNDN); return mpfr_get_d(r21210, MPFR_RNDN); } static mpfr_t r21211, r21212, r21213, r21214, r21215, r21216, r21217, r21218, r21219, r21220, r21221, r21222, r21223, r21224, r21225, r21226, r21227, r21228, r21229, r21230, r21231, r21232, r21233, r21234, r21235, r21236; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r21211); mpfr_init(r21212); mpfr_init(r21213); mpfr_init(r21214); mpfr_init(r21215); mpfr_init_set_str(r21216, "2", 10, MPFR_RNDN); mpfr_init_set_str(r21217, "1/2", 10, MPFR_RNDN); mpfr_init(r21218); mpfr_init(r21219); mpfr_init_set_str(r21220, "3", 10, MPFR_RNDN); mpfr_init(r21221); mpfr_init(r21222); mpfr_init(r21223); mpfr_init(r21224); mpfr_init(r21225); mpfr_init(r21226); mpfr_init(r21227); mpfr_init(r21228); mpfr_init(r21229); mpfr_init(r21230); mpfr_init(r21231); mpfr_init(r21232); mpfr_init(r21233); mpfr_init(r21234); mpfr_init(r21235); mpfr_init(r21236); } double f_fm(double a, double b, double c) { mpfr_set_d(r21211, b, MPFR_RNDN); mpfr_set_d(r21212, a, MPFR_RNDN); mpfr_add(r21213, r21211, r21212, MPFR_RNDN); mpfr_set_d(r21214, c, MPFR_RNDN); mpfr_add(r21215, r21213, r21214, MPFR_RNDN); ; ; mpfr_div(r21218, r21216, r21217, MPFR_RNDN); mpfr_div(r21219, r21215, r21218, MPFR_RNDN); ; mpfr_pow(r21221, r21219, r21220, MPFR_RNDN); mpfr_sub(r21222, r21212, r21211, MPFR_RNDN); mpfr_add(r21223, r21222, r21214, MPFR_RNDN); mpfr_pow(r21224, r21223, r21220, MPFR_RNDN); mpfr_sub(r21225, r21212, r21214, MPFR_RNDN); mpfr_add(r21226, r21225, r21211, MPFR_RNDN); mpfr_pow(r21227, r21226, r21220, MPFR_RNDN); mpfr_mul(r21228, r21224, r21227, MPFR_RNDN); mpfr_sub(r21229, r21211, r21225, MPFR_RNDN); mpfr_mul(r21230, r21217, r21217, MPFR_RNDN); mpfr_mul(r21231, r21229, r21230, MPFR_RNDN); mpfr_pow(r21232, r21231, r21220, MPFR_RNDN); mpfr_mul(r21233, r21228, r21232, MPFR_RNDN); mpfr_mul(r21234, r21221, r21233, MPFR_RNDN); mpfr_cbrt(r21235, r21234, MPFR_RNDN); mpfr_sqrt(r21236, r21235, MPFR_RNDN); return mpfr_get_d(r21236, MPFR_RNDN); } static mpfr_t r21237, r21238, r21239, r21240, r21241, r21242, r21243, r21244, r21245, r21246, r21247, r21248, r21249, r21250, r21251, r21252, r21253, r21254, r21255, r21256, r21257, r21258, r21259, r21260, r21261, r21262; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r21237); mpfr_init(r21238); mpfr_init(r21239); mpfr_init(r21240); mpfr_init(r21241); mpfr_init_set_str(r21242, "2", 10, MPFR_RNDN); mpfr_init_set_str(r21243, "1/2", 10, MPFR_RNDN); mpfr_init(r21244); mpfr_init(r21245); mpfr_init_set_str(r21246, "3", 10, MPFR_RNDN); mpfr_init(r21247); mpfr_init(r21248); mpfr_init(r21249); mpfr_init(r21250); mpfr_init(r21251); mpfr_init(r21252); mpfr_init(r21253); mpfr_init(r21254); mpfr_init(r21255); mpfr_init(r21256); mpfr_init(r21257); mpfr_init(r21258); mpfr_init(r21259); mpfr_init(r21260); mpfr_init(r21261); mpfr_init(r21262); } double f_dm(double a, double b, double c) { mpfr_set_d(r21237, b, MPFR_RNDN); mpfr_set_d(r21238, a, MPFR_RNDN); mpfr_add(r21239, r21237, r21238, MPFR_RNDN); mpfr_set_d(r21240, c, MPFR_RNDN); mpfr_add(r21241, r21239, r21240, MPFR_RNDN); ; ; mpfr_div(r21244, r21242, r21243, MPFR_RNDN); mpfr_div(r21245, r21241, r21244, MPFR_RNDN); ; mpfr_pow(r21247, r21245, r21246, MPFR_RNDN); mpfr_sub(r21248, r21238, r21237, MPFR_RNDN); mpfr_add(r21249, r21248, r21240, MPFR_RNDN); mpfr_pow(r21250, r21249, r21246, MPFR_RNDN); mpfr_sub(r21251, r21238, r21240, MPFR_RNDN); mpfr_add(r21252, r21251, r21237, MPFR_RNDN); mpfr_pow(r21253, r21252, r21246, MPFR_RNDN); mpfr_mul(r21254, r21250, r21253, MPFR_RNDN); mpfr_sub(r21255, r21237, r21251, MPFR_RNDN); mpfr_mul(r21256, r21243, r21243, MPFR_RNDN); mpfr_mul(r21257, r21255, r21256, MPFR_RNDN); mpfr_pow(r21258, r21257, r21246, MPFR_RNDN); mpfr_mul(r21259, r21254, r21258, MPFR_RNDN); mpfr_mul(r21260, r21247, r21259, MPFR_RNDN); mpfr_cbrt(r21261, r21260, MPFR_RNDN); mpfr_sqrt(r21262, r21261, MPFR_RNDN); return mpfr_get_d(r21262, MPFR_RNDN); }