#include #include #include #include #include char *name = "triangle11"; double f_if(float a, float b, float c) { float r22431 = a; float r22432 = b; float r22433 = r22431 + r22432; float r22434 = c; float r22435 = r22433 + r22434; float r22436 = 2; float r22437 = r22435 / r22436; float r22438 = r22437 - r22431; float r22439 = r22437 * r22438; float r22440 = r22437 - r22432; float r22441 = r22439 * r22440; float r22442 = r22437 - r22434; float r22443 = r22441 * r22442; float r22444 = sqrt(r22443); return r22444; } double f_id(double a, double b, double c) { double r22445 = a; double r22446 = b; double r22447 = r22445 + r22446; double r22448 = c; double r22449 = r22447 + r22448; double r22450 = 2; double r22451 = r22449 / r22450; double r22452 = r22451 - r22445; double r22453 = r22451 * r22452; double r22454 = r22451 - r22446; double r22455 = r22453 * r22454; double r22456 = r22451 - r22448; double r22457 = r22455 * r22456; double r22458 = sqrt(r22457); return r22458; } double f_of(float a, float b, float c) { float r22459 = b; float r22460 = a; float r22461 = r22459 + r22460; float r22462 = c; float r22463 = r22461 + r22462; float r22464 = 2; float r22465 = 1/2; float r22466 = r22464 / r22465; float r22467 = r22463 / r22466; float r22468 = 3; float r22469 = pow(r22467, r22468); float r22470 = r22460 - r22459; float r22471 = r22470 + r22462; float r22472 = pow(r22471, r22468); float r22473 = r22460 - r22462; float r22474 = r22473 + r22459; float r22475 = pow(r22474, r22468); float r22476 = r22472 * r22475; float r22477 = r22459 - r22473; float r22478 = r22465 * r22465; float r22479 = r22477 * r22478; float r22480 = pow(r22479, r22468); float r22481 = r22476 * r22480; float r22482 = r22469 * r22481; float r22483 = cbrt(r22482); float r22484 = sqrt(r22483); return r22484; } double f_od(double a, double b, double c) { double r22485 = b; double r22486 = a; double r22487 = r22485 + r22486; double r22488 = c; double r22489 = r22487 + r22488; double r22490 = 2; double r22491 = 1/2; double r22492 = r22490 / r22491; double r22493 = r22489 / r22492; double r22494 = 3; double r22495 = pow(r22493, r22494); double r22496 = r22486 - r22485; double r22497 = r22496 + r22488; double r22498 = pow(r22497, r22494); double r22499 = r22486 - r22488; double r22500 = r22499 + r22485; double r22501 = pow(r22500, r22494); double r22502 = r22498 * r22501; double r22503 = r22485 - r22499; double r22504 = r22491 * r22491; double r22505 = r22503 * r22504; double r22506 = pow(r22505, r22494); double r22507 = r22502 * r22506; double r22508 = r22495 * r22507; double r22509 = cbrt(r22508); double r22510 = sqrt(r22509); return r22510; } 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 r22511, r22512, r22513, r22514, r22515, r22516, r22517, r22518, r22519, r22520, r22521, r22522, r22523, r22524; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r22511); mpfr_init(r22512); mpfr_init(r22513); mpfr_init(r22514); mpfr_init(r22515); mpfr_init_set_str(r22516, "2", 10, MPFR_RNDN); mpfr_init(r22517); mpfr_init(r22518); mpfr_init(r22519); mpfr_init(r22520); mpfr_init(r22521); mpfr_init(r22522); mpfr_init(r22523); mpfr_init(r22524); } double f_im(double a, double b, double c) { mpfr_set_d(r22511, a, MPFR_RNDN); mpfr_set_d(r22512, b, MPFR_RNDN); mpfr_add(r22513, r22511, r22512, MPFR_RNDN); mpfr_set_d(r22514, c, MPFR_RNDN); mpfr_add(r22515, r22513, r22514, MPFR_RNDN); ; mpfr_div(r22517, r22515, r22516, MPFR_RNDN); mpfr_sub(r22518, r22517, r22511, MPFR_RNDN); mpfr_mul(r22519, r22517, r22518, MPFR_RNDN); mpfr_sub(r22520, r22517, r22512, MPFR_RNDN); mpfr_mul(r22521, r22519, r22520, MPFR_RNDN); mpfr_sub(r22522, r22517, r22514, MPFR_RNDN); mpfr_mul(r22523, r22521, r22522, MPFR_RNDN); mpfr_sqrt(r22524, r22523, MPFR_RNDN); return mpfr_get_d(r22524, MPFR_RNDN); } static mpfr_t r22525, r22526, r22527, r22528, r22529, r22530, r22531, r22532, r22533, r22534, r22535, r22536, r22537, r22538, r22539, r22540, r22541, r22542, r22543, r22544, r22545, r22546, r22547, r22548, r22549, r22550; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r22525); mpfr_init(r22526); mpfr_init(r22527); mpfr_init(r22528); mpfr_init(r22529); mpfr_init_set_str(r22530, "2", 10, MPFR_RNDN); mpfr_init_set_str(r22531, "1/2", 10, MPFR_RNDN); mpfr_init(r22532); mpfr_init(r22533); mpfr_init_set_str(r22534, "3", 10, MPFR_RNDN); mpfr_init(r22535); mpfr_init(r22536); mpfr_init(r22537); mpfr_init(r22538); mpfr_init(r22539); mpfr_init(r22540); mpfr_init(r22541); mpfr_init(r22542); mpfr_init(r22543); mpfr_init(r22544); mpfr_init(r22545); mpfr_init(r22546); mpfr_init(r22547); mpfr_init(r22548); mpfr_init(r22549); mpfr_init(r22550); } double f_fm(double a, double b, double c) { mpfr_set_d(r22525, b, MPFR_RNDN); mpfr_set_d(r22526, a, MPFR_RNDN); mpfr_add(r22527, r22525, r22526, MPFR_RNDN); mpfr_set_d(r22528, c, MPFR_RNDN); mpfr_add(r22529, r22527, r22528, MPFR_RNDN); ; ; mpfr_div(r22532, r22530, r22531, MPFR_RNDN); mpfr_div(r22533, r22529, r22532, MPFR_RNDN); ; mpfr_pow(r22535, r22533, r22534, MPFR_RNDN); mpfr_sub(r22536, r22526, r22525, MPFR_RNDN); mpfr_add(r22537, r22536, r22528, MPFR_RNDN); mpfr_pow(r22538, r22537, r22534, MPFR_RNDN); mpfr_sub(r22539, r22526, r22528, MPFR_RNDN); mpfr_add(r22540, r22539, r22525, MPFR_RNDN); mpfr_pow(r22541, r22540, r22534, MPFR_RNDN); mpfr_mul(r22542, r22538, r22541, MPFR_RNDN); mpfr_sub(r22543, r22525, r22539, MPFR_RNDN); mpfr_mul(r22544, r22531, r22531, MPFR_RNDN); mpfr_mul(r22545, r22543, r22544, MPFR_RNDN); mpfr_pow(r22546, r22545, r22534, MPFR_RNDN); mpfr_mul(r22547, r22542, r22546, MPFR_RNDN); mpfr_mul(r22548, r22535, r22547, MPFR_RNDN); mpfr_cbrt(r22549, r22548, MPFR_RNDN); mpfr_sqrt(r22550, r22549, MPFR_RNDN); return mpfr_get_d(r22550, MPFR_RNDN); } static mpfr_t r22551, r22552, r22553, r22554, r22555, r22556, r22557, r22558, r22559, r22560, r22561, r22562, r22563, r22564, r22565, r22566, r22567, r22568, r22569, r22570, r22571, r22572, r22573, r22574, r22575, r22576; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r22551); mpfr_init(r22552); mpfr_init(r22553); mpfr_init(r22554); mpfr_init(r22555); mpfr_init_set_str(r22556, "2", 10, MPFR_RNDN); mpfr_init_set_str(r22557, "1/2", 10, MPFR_RNDN); mpfr_init(r22558); mpfr_init(r22559); mpfr_init_set_str(r22560, "3", 10, MPFR_RNDN); mpfr_init(r22561); mpfr_init(r22562); mpfr_init(r22563); mpfr_init(r22564); mpfr_init(r22565); mpfr_init(r22566); mpfr_init(r22567); mpfr_init(r22568); mpfr_init(r22569); mpfr_init(r22570); mpfr_init(r22571); mpfr_init(r22572); mpfr_init(r22573); mpfr_init(r22574); mpfr_init(r22575); mpfr_init(r22576); } double f_dm(double a, double b, double c) { mpfr_set_d(r22551, b, MPFR_RNDN); mpfr_set_d(r22552, a, MPFR_RNDN); mpfr_add(r22553, r22551, r22552, MPFR_RNDN); mpfr_set_d(r22554, c, MPFR_RNDN); mpfr_add(r22555, r22553, r22554, MPFR_RNDN); ; ; mpfr_div(r22558, r22556, r22557, MPFR_RNDN); mpfr_div(r22559, r22555, r22558, MPFR_RNDN); ; mpfr_pow(r22561, r22559, r22560, MPFR_RNDN); mpfr_sub(r22562, r22552, r22551, MPFR_RNDN); mpfr_add(r22563, r22562, r22554, MPFR_RNDN); mpfr_pow(r22564, r22563, r22560, MPFR_RNDN); mpfr_sub(r22565, r22552, r22554, MPFR_RNDN); mpfr_add(r22566, r22565, r22551, MPFR_RNDN); mpfr_pow(r22567, r22566, r22560, MPFR_RNDN); mpfr_mul(r22568, r22564, r22567, MPFR_RNDN); mpfr_sub(r22569, r22551, r22565, MPFR_RNDN); mpfr_mul(r22570, r22557, r22557, MPFR_RNDN); mpfr_mul(r22571, r22569, r22570, MPFR_RNDN); mpfr_pow(r22572, r22571, r22560, MPFR_RNDN); mpfr_mul(r22573, r22568, r22572, MPFR_RNDN); mpfr_mul(r22574, r22561, r22573, MPFR_RNDN); mpfr_cbrt(r22575, r22574, MPFR_RNDN); mpfr_sqrt(r22576, r22575, MPFR_RNDN); return mpfr_get_d(r22576, MPFR_RNDN); }