#include #include #include #include #include char *name = "triangle10"; double f_if(float a, float b, float c) { float r20351 = a; float r20352 = b; float r20353 = r20351 + r20352; float r20354 = c; float r20355 = r20353 + r20354; float r20356 = 2.0f; float r20357 = r20355 / r20356; float r20358 = r20357 - r20351; float r20359 = r20357 * r20358; float r20360 = r20357 - r20352; float r20361 = r20359 * r20360; float r20362 = r20357 - r20354; float r20363 = r20361 * r20362; float r20364 = sqrt(r20363); return r20364; } double f_id(double a, double b, double c) { double r20365 = a; double r20366 = b; double r20367 = r20365 + r20366; double r20368 = c; double r20369 = r20367 + r20368; double r20370 = 2.0; double r20371 = r20369 / r20370; double r20372 = r20371 - r20365; double r20373 = r20371 * r20372; double r20374 = r20371 - r20366; double r20375 = r20373 * r20374; double r20376 = r20371 - r20368; double r20377 = r20375 * r20376; double r20378 = sqrt(r20377); return r20378; } double f_of(float a, float b, float c) { float r20379 = 0.5f; float r20380 = r20379 * r20379; float r20381 = c; float r20382 = a; float r20383 = r20381 - r20382; float r20384 = b; float r20385 = r20383 + r20384; float r20386 = r20380 * r20385; float r20387 = r20382 - r20381; float r20388 = r20384 + r20387; float r20389 = r20382 - r20384; float r20390 = r20389 + r20381; float r20391 = r20388 * r20390; float r20392 = r20382 + r20381; float r20393 = r20384 + r20392; float r20394 = 2.0f; float r20395 = r20394 / r20379; float r20396 = r20393 / r20395; float r20397 = r20391 * r20396; float r20398 = r20386 * r20397; float r20399 = sqrt(r20398); return r20399; } double f_od(double a, double b, double c) { double r20400 = 0.5; double r20401 = r20400 * r20400; double r20402 = c; double r20403 = a; double r20404 = r20402 - r20403; double r20405 = b; double r20406 = r20404 + r20405; double r20407 = r20401 * r20406; double r20408 = r20403 - r20402; double r20409 = r20405 + r20408; double r20410 = r20403 - r20405; double r20411 = r20410 + r20402; double r20412 = r20409 * r20411; double r20413 = r20403 + r20402; double r20414 = r20405 + r20413; double r20415 = 2.0; double r20416 = r20415 / r20400; double r20417 = r20414 / r20416; double r20418 = r20412 * r20417; double r20419 = r20407 * r20418; double r20420 = sqrt(r20419); return r20420; } 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 r20421, r20422, r20423, r20424, r20425, r20426, r20427, r20428, r20429, r20430, r20431, r20432, r20433, r20434; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r20421); mpfr_init(r20422); mpfr_init(r20423); mpfr_init(r20424); mpfr_init(r20425); mpfr_init_set_str(r20426, "2", 10, MPFR_RNDN); mpfr_init(r20427); mpfr_init(r20428); mpfr_init(r20429); mpfr_init(r20430); mpfr_init(r20431); mpfr_init(r20432); mpfr_init(r20433); mpfr_init(r20434); } double f_im(double a, double b, double c) { mpfr_set_d(r20421, a, MPFR_RNDN); mpfr_set_d(r20422, b, MPFR_RNDN); mpfr_add(r20423, r20421, r20422, MPFR_RNDN); mpfr_set_d(r20424, c, MPFR_RNDN); mpfr_add(r20425, r20423, r20424, MPFR_RNDN); ; mpfr_div(r20427, r20425, r20426, MPFR_RNDN); mpfr_sub(r20428, r20427, r20421, MPFR_RNDN); mpfr_mul(r20429, r20427, r20428, MPFR_RNDN); mpfr_sub(r20430, r20427, r20422, MPFR_RNDN); mpfr_mul(r20431, r20429, r20430, MPFR_RNDN); mpfr_sub(r20432, r20427, r20424, MPFR_RNDN); mpfr_mul(r20433, r20431, r20432, MPFR_RNDN); mpfr_sqrt(r20434, r20433, MPFR_RNDN); return mpfr_get_d(r20434, MPFR_RNDN); } static mpfr_t r20435, r20436, r20437, r20438, r20439, r20440, r20441, r20442, r20443, r20444, r20445, r20446, r20447, r20448, r20449, r20450, r20451, r20452, r20453, r20454, r20455; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init_set_str(r20435, "1/2", 10, MPFR_RNDN); mpfr_init(r20436); mpfr_init(r20437); mpfr_init(r20438); mpfr_init(r20439); mpfr_init(r20440); mpfr_init(r20441); mpfr_init(r20442); mpfr_init(r20443); mpfr_init(r20444); mpfr_init(r20445); mpfr_init(r20446); mpfr_init(r20447); mpfr_init(r20448); mpfr_init(r20449); mpfr_init_set_str(r20450, "2", 10, MPFR_RNDN); mpfr_init(r20451); mpfr_init(r20452); mpfr_init(r20453); mpfr_init(r20454); mpfr_init(r20455); } double f_fm(double a, double b, double c) { ; mpfr_mul(r20436, r20435, r20435, MPFR_RNDN); mpfr_set_d(r20437, c, MPFR_RNDN); mpfr_set_d(r20438, a, MPFR_RNDN); mpfr_sub(r20439, r20437, r20438, MPFR_RNDN); mpfr_set_d(r20440, b, MPFR_RNDN); mpfr_add(r20441, r20439, r20440, MPFR_RNDN); mpfr_mul(r20442, r20436, r20441, MPFR_RNDN); mpfr_sub(r20443, r20438, r20437, MPFR_RNDN); mpfr_add(r20444, r20440, r20443, MPFR_RNDN); mpfr_sub(r20445, r20438, r20440, MPFR_RNDN); mpfr_add(r20446, r20445, r20437, MPFR_RNDN); mpfr_mul(r20447, r20444, r20446, MPFR_RNDN); mpfr_add(r20448, r20438, r20437, MPFR_RNDN); mpfr_add(r20449, r20440, r20448, MPFR_RNDN); ; mpfr_div(r20451, r20450, r20435, MPFR_RNDN); mpfr_div(r20452, r20449, r20451, MPFR_RNDN); mpfr_mul(r20453, r20447, r20452, MPFR_RNDN); mpfr_mul(r20454, r20442, r20453, MPFR_RNDN); mpfr_sqrt(r20455, r20454, MPFR_RNDN); return mpfr_get_d(r20455, MPFR_RNDN); } static mpfr_t r20456, r20457, r20458, r20459, r20460, r20461, r20462, r20463, r20464, r20465, r20466, r20467, r20468, r20469, r20470, r20471, r20472, r20473, r20474, r20475, r20476; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init_set_str(r20456, "1/2", 10, MPFR_RNDN); mpfr_init(r20457); mpfr_init(r20458); mpfr_init(r20459); mpfr_init(r20460); mpfr_init(r20461); mpfr_init(r20462); mpfr_init(r20463); mpfr_init(r20464); mpfr_init(r20465); mpfr_init(r20466); mpfr_init(r20467); mpfr_init(r20468); mpfr_init(r20469); mpfr_init(r20470); mpfr_init_set_str(r20471, "2", 10, MPFR_RNDN); mpfr_init(r20472); mpfr_init(r20473); mpfr_init(r20474); mpfr_init(r20475); mpfr_init(r20476); } double f_dm(double a, double b, double c) { ; mpfr_mul(r20457, r20456, r20456, MPFR_RNDN); mpfr_set_d(r20458, c, MPFR_RNDN); mpfr_set_d(r20459, a, MPFR_RNDN); mpfr_sub(r20460, r20458, r20459, MPFR_RNDN); mpfr_set_d(r20461, b, MPFR_RNDN); mpfr_add(r20462, r20460, r20461, MPFR_RNDN); mpfr_mul(r20463, r20457, r20462, MPFR_RNDN); mpfr_sub(r20464, r20459, r20458, MPFR_RNDN); mpfr_add(r20465, r20461, r20464, MPFR_RNDN); mpfr_sub(r20466, r20459, r20461, MPFR_RNDN); mpfr_add(r20467, r20466, r20458, MPFR_RNDN); mpfr_mul(r20468, r20465, r20467, MPFR_RNDN); mpfr_add(r20469, r20459, r20458, MPFR_RNDN); mpfr_add(r20470, r20461, r20469, MPFR_RNDN); ; mpfr_div(r20472, r20471, r20456, MPFR_RNDN); mpfr_div(r20473, r20470, r20472, MPFR_RNDN); mpfr_mul(r20474, r20468, r20473, MPFR_RNDN); mpfr_mul(r20475, r20463, r20474, MPFR_RNDN); mpfr_sqrt(r20476, r20475, MPFR_RNDN); return mpfr_get_d(r20476, MPFR_RNDN); }