#include <tgmath.h>
#include <gmp.h>
#include <mpfr.h>
#include <stdio.h>
#include <stdbool.h>

char *name = "From Warwick Tucker's Validated Numerics";

double f_if() {
        float r21399 = 333.75;
        float r21400 = 33096;
        float r21401 = 6;
        float r21402 = pow(r21400, r21401);
        float r21403 = r21399 * r21402;
        float r21404 = 77617;
        float r21405 = r21404 * r21404;
        float r21406 = 11;
        float r21407 = r21406 * r21405;
        float r21408 = r21400 * r21400;
        float r21409 = r21407 * r21408;
        float r21410 = -r21402;
        float r21411 = r21409 + r21410;
        float r21412 = -121;
        float r21413 = 4;
        float r21414 = pow(r21400, r21413);
        float r21415 = r21412 * r21414;
        float r21416 = r21411 + r21415;
        float r21417 = -2;
        float r21418 = r21416 + r21417;
        float r21419 = r21405 * r21418;
        float r21420 = r21403 + r21419;
        float r21421 = 5.5;
        float r21422 = 8;
        float r21423 = pow(r21400, r21422);
        float r21424 = r21421 * r21423;
        float r21425 = r21420 + r21424;
        float r21426 = 2;
        float r21427 = r21426 * r21400;
        float r21428 = r21404 / r21427;
        float r21429 = r21425 + r21428;
        return r21429;
}

double f_id() {
        double r21430 = 333.75;
        double r21431 = 33096;
        double r21432 = 6;
        double r21433 = pow(r21431, r21432);
        double r21434 = r21430 * r21433;
        double r21435 = 77617;
        double r21436 = r21435 * r21435;
        double r21437 = 11;
        double r21438 = r21437 * r21436;
        double r21439 = r21431 * r21431;
        double r21440 = r21438 * r21439;
        double r21441 = -r21433;
        double r21442 = r21440 + r21441;
        double r21443 = -121;
        double r21444 = 4;
        double r21445 = pow(r21431, r21444);
        double r21446 = r21443 * r21445;
        double r21447 = r21442 + r21446;
        double r21448 = -2;
        double r21449 = r21447 + r21448;
        double r21450 = r21436 * r21449;
        double r21451 = r21434 + r21450;
        double r21452 = 5.5;
        double r21453 = 8;
        double r21454 = pow(r21431, r21453);
        double r21455 = r21452 * r21454;
        double r21456 = r21451 + r21455;
        double r21457 = 2;
        double r21458 = r21457 * r21431;
        double r21459 = r21435 / r21458;
        double r21460 = r21456 + r21459;
        return r21460;
}


double f_of() {
        float r21461 = 333.75;
        float r21462 = 33096;
        float r21463 = 6;
        float r21464 = pow(r21462, r21463);
        float r21465 = r21461 * r21464;
        float r21466 = log1p(r21465);
        float r21467 = expm1(r21466);
        float r21468 = 3;
        float r21469 = pow(r21467, r21468);
        float r21470 = 77617;
        float r21471 = r21470 * r21470;
        float r21472 = 11;
        float r21473 = r21470 * r21462;
        float r21474 = r21473 * r21473;
        float r21475 = -2;
        float r21476 = fma(r21472, r21474, r21475);
        float r21477 = -121;
        float r21478 = 4;
        float r21479 = pow(r21462, r21478);
        float r21480 = -r21464;
        float r21481 = fma(r21477, r21479, r21480);
        float r21482 = r21476 + r21481;
        float r21483 = 5.5;
        float r21484 = 8;
        float r21485 = pow(r21462, r21484);
        float r21486 = r21483 * r21485;
        float r21487 = fma(r21471, r21482, r21486);
        float r21488 = pow(r21487, r21468);
        float r21489 = r21469 + r21488;
        float r21490 = r21464 * r21461;
        float r21491 = r21462 * r21470;
        float r21492 = r21491 * r21491;
        float r21493 = fma(r21472, r21492, r21475);
        float r21494 = r21481 + r21493;
        float r21495 = fma(r21471, r21494, r21486);
        float r21496 = r21490 - r21495;
        float r21497 = r21471 * r21494;
        float r21498 = r21497 + r21486;
        float r21499 = r21495 * r21498;
        float r21500 = fma(r21490, r21496, r21499);
        float r21501 = r21489 / r21500;
        float r21502 = 2;
        float r21503 = r21502 * r21462;
        float r21504 = r21470 / r21503;
        float r21505 = r21501 + r21504;
        return r21505;
}

double f_od() {
        double r21506 = 333.75;
        double r21507 = 33096;
        double r21508 = 6;
        double r21509 = pow(r21507, r21508);
        double r21510 = r21506 * r21509;
        double r21511 = log1p(r21510);
        double r21512 = expm1(r21511);
        double r21513 = 3;
        double r21514 = pow(r21512, r21513);
        double r21515 = 77617;
        double r21516 = r21515 * r21515;
        double r21517 = 11;
        double r21518 = r21515 * r21507;
        double r21519 = r21518 * r21518;
        double r21520 = -2;
        double r21521 = fma(r21517, r21519, r21520);
        double r21522 = -121;
        double r21523 = 4;
        double r21524 = pow(r21507, r21523);
        double r21525 = -r21509;
        double r21526 = fma(r21522, r21524, r21525);
        double r21527 = r21521 + r21526;
        double r21528 = 5.5;
        double r21529 = 8;
        double r21530 = pow(r21507, r21529);
        double r21531 = r21528 * r21530;
        double r21532 = fma(r21516, r21527, r21531);
        double r21533 = pow(r21532, r21513);
        double r21534 = r21514 + r21533;
        double r21535 = r21509 * r21506;
        double r21536 = r21507 * r21515;
        double r21537 = r21536 * r21536;
        double r21538 = fma(r21517, r21537, r21520);
        double r21539 = r21526 + r21538;
        double r21540 = fma(r21516, r21539, r21531);
        double r21541 = r21535 - r21540;
        double r21542 = r21516 * r21539;
        double r21543 = r21542 + r21531;
        double r21544 = r21540 * r21543;
        double r21545 = fma(r21535, r21541, r21544);
        double r21546 = r21534 / r21545;
        double r21547 = 2;
        double r21548 = r21547 * r21507;
        double r21549 = r21515 / r21548;
        double r21550 = r21546 + r21549;
        return r21550;
}

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 r21551, r21552, r21553, r21554, r21555, r21556, r21557, r21558, r21559, r21560, r21561, r21562, r21563, r21564, r21565, r21566, r21567, r21568, r21569, r21570, r21571, r21572, r21573, r21574, r21575, r21576, r21577, r21578, r21579, r21580, r21581;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r21551, "333.75", 10, MPFR_RNDN);
        mpfr_init_set_str(r21552, "33096", 10, MPFR_RNDN);
        mpfr_init_set_str(r21553, "6", 10, MPFR_RNDN);
        mpfr_init(r21554);
        mpfr_init(r21555);
        mpfr_init_set_str(r21556, "77617", 10, MPFR_RNDN);
        mpfr_init(r21557);
        mpfr_init_set_str(r21558, "11", 10, MPFR_RNDN);
        mpfr_init(r21559);
        mpfr_init(r21560);
        mpfr_init(r21561);
        mpfr_init(r21562);
        mpfr_init(r21563);
        mpfr_init_set_str(r21564, "-121", 10, MPFR_RNDN);
        mpfr_init_set_str(r21565, "4", 10, MPFR_RNDN);
        mpfr_init(r21566);
        mpfr_init(r21567);
        mpfr_init(r21568);
        mpfr_init_set_str(r21569, "-2", 10, MPFR_RNDN);
        mpfr_init(r21570);
        mpfr_init(r21571);
        mpfr_init(r21572);
        mpfr_init_set_str(r21573, "5.5", 10, MPFR_RNDN);
        mpfr_init_set_str(r21574, "8", 10, MPFR_RNDN);
        mpfr_init(r21575);
        mpfr_init(r21576);
        mpfr_init(r21577);
        mpfr_init_set_str(r21578, "2", 10, MPFR_RNDN);
        mpfr_init(r21579);
        mpfr_init(r21580);
        mpfr_init(r21581);
}

double f_im() {
        ;
        ;
        ;
        mpfr_pow(r21554, r21552, r21553, MPFR_RNDN);
        mpfr_mul(r21555, r21551, r21554, MPFR_RNDN);
        ;
        mpfr_mul(r21557, r21556, r21556, MPFR_RNDN);
        ;
        mpfr_mul(r21559, r21558, r21557, MPFR_RNDN);
        mpfr_mul(r21560, r21552, r21552, MPFR_RNDN);
        mpfr_mul(r21561, r21559, r21560, MPFR_RNDN);
        mpfr_neg(r21562, r21554, MPFR_RNDN);
        mpfr_add(r21563, r21561, r21562, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r21566, r21552, r21565, MPFR_RNDN);
        mpfr_mul(r21567, r21564, r21566, MPFR_RNDN);
        mpfr_add(r21568, r21563, r21567, MPFR_RNDN);
        ;
        mpfr_add(r21570, r21568, r21569, MPFR_RNDN);
        mpfr_mul(r21571, r21557, r21570, MPFR_RNDN);
        mpfr_add(r21572, r21555, r21571, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r21575, r21552, r21574, MPFR_RNDN);
        mpfr_mul(r21576, r21573, r21575, MPFR_RNDN);
        mpfr_add(r21577, r21572, r21576, MPFR_RNDN);
        ;
        mpfr_mul(r21579, r21578, r21552, MPFR_RNDN);
        mpfr_div(r21580, r21556, r21579, MPFR_RNDN);
        mpfr_add(r21581, r21577, r21580, MPFR_RNDN);
        return mpfr_get_d(r21581, MPFR_RNDN);
}

static mpfr_t r21582, r21583, r21584, r21585, r21586, r21587, r21588, r21589, r21590, r21591, r21592, r21593, r21594, r21595, r21596, r21597, r21598, r21599, r21600, r21601, r21602, r21603, r21604, r21605, r21606, r21607, r21608, r21609, r21610, r21611, r21612, r21613, r21614, r21615, r21616, r21617, r21618, r21619, r21620, r21621, r21622, r21623, r21624, r21625, r21626;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r21582, "333.75", 10, MPFR_RNDN);
        mpfr_init_set_str(r21583, "33096", 10, MPFR_RNDN);
        mpfr_init_set_str(r21584, "6", 10, MPFR_RNDN);
        mpfr_init(r21585);
        mpfr_init(r21586);
        mpfr_init(r21587);
        mpfr_init(r21588);
        mpfr_init_set_str(r21589, "3", 10, MPFR_RNDN);
        mpfr_init(r21590);
        mpfr_init_set_str(r21591, "77617", 10, MPFR_RNDN);
        mpfr_init(r21592);
        mpfr_init_set_str(r21593, "11", 10, MPFR_RNDN);
        mpfr_init(r21594);
        mpfr_init(r21595);
        mpfr_init_set_str(r21596, "-2", 10, MPFR_RNDN);
        mpfr_init(r21597);
        mpfr_init_set_str(r21598, "-121", 10, MPFR_RNDN);
        mpfr_init_set_str(r21599, "4", 10, MPFR_RNDN);
        mpfr_init(r21600);
        mpfr_init(r21601);
        mpfr_init(r21602);
        mpfr_init(r21603);
        mpfr_init_set_str(r21604, "5.5", 10, MPFR_RNDN);
        mpfr_init_set_str(r21605, "8", 10, MPFR_RNDN);
        mpfr_init(r21606);
        mpfr_init(r21607);
        mpfr_init(r21608);
        mpfr_init(r21609);
        mpfr_init(r21610);
        mpfr_init(r21611);
        mpfr_init(r21612);
        mpfr_init(r21613);
        mpfr_init(r21614);
        mpfr_init(r21615);
        mpfr_init(r21616);
        mpfr_init(r21617);
        mpfr_init(r21618);
        mpfr_init(r21619);
        mpfr_init(r21620);
        mpfr_init(r21621);
        mpfr_init(r21622);
        mpfr_init_set_str(r21623, "2", 10, MPFR_RNDN);
        mpfr_init(r21624);
        mpfr_init(r21625);
        mpfr_init(r21626);
}

double f_fm() {
        ;
        ;
        ;
        mpfr_pow(r21585, r21583, r21584, MPFR_RNDN);
        mpfr_mul(r21586, r21582, r21585, MPFR_RNDN);
        mpfr_log1p(r21587, r21586, MPFR_RNDN);
        mpfr_expm1(r21588, r21587, MPFR_RNDN);
        ;
        mpfr_pow(r21590, r21588, r21589, MPFR_RNDN);
        ;
        mpfr_mul(r21592, r21591, r21591, MPFR_RNDN);
        ;
        mpfr_mul(r21594, r21591, r21583, MPFR_RNDN);
        mpfr_mul(r21595, r21594, r21594, MPFR_RNDN);
        ;
        mpfr_fma(r21597, r21593, r21595, r21596, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r21600, r21583, r21599, MPFR_RNDN);
        mpfr_neg(r21601, r21585, MPFR_RNDN);
        mpfr_fma(r21602, r21598, r21600, r21601, MPFR_RNDN);
        mpfr_add(r21603, r21597, r21602, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r21606, r21583, r21605, MPFR_RNDN);
        mpfr_mul(r21607, r21604, r21606, MPFR_RNDN);
        mpfr_fma(r21608, r21592, r21603, r21607, MPFR_RNDN);
        mpfr_pow(r21609, r21608, r21589, MPFR_RNDN);
        mpfr_add(r21610, r21590, r21609, MPFR_RNDN);
        mpfr_mul(r21611, r21585, r21582, MPFR_RNDN);
        mpfr_mul(r21612, r21583, r21591, MPFR_RNDN);
        mpfr_mul(r21613, r21612, r21612, MPFR_RNDN);
        mpfr_fma(r21614, r21593, r21613, r21596, MPFR_RNDN);
        mpfr_add(r21615, r21602, r21614, MPFR_RNDN);
        mpfr_fma(r21616, r21592, r21615, r21607, MPFR_RNDN);
        mpfr_sub(r21617, r21611, r21616, MPFR_RNDN);
        mpfr_mul(r21618, r21592, r21615, MPFR_RNDN);
        mpfr_add(r21619, r21618, r21607, MPFR_RNDN);
        mpfr_mul(r21620, r21616, r21619, MPFR_RNDN);
        mpfr_fma(r21621, r21611, r21617, r21620, MPFR_RNDN);
        mpfr_div(r21622, r21610, r21621, MPFR_RNDN);
        ;
        mpfr_mul(r21624, r21623, r21583, MPFR_RNDN);
        mpfr_div(r21625, r21591, r21624, MPFR_RNDN);
        mpfr_add(r21626, r21622, r21625, MPFR_RNDN);
        return mpfr_get_d(r21626, MPFR_RNDN);
}

static mpfr_t r21627, r21628, r21629, r21630, r21631, r21632, r21633, r21634, r21635, r21636, r21637, r21638, r21639, r21640, r21641, r21642, r21643, r21644, r21645, r21646, r21647, r21648, r21649, r21650, r21651, r21652, r21653, r21654, r21655, r21656, r21657, r21658, r21659, r21660, r21661, r21662, r21663, r21664, r21665, r21666, r21667, r21668, r21669, r21670, r21671;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r21627, "333.75", 10, MPFR_RNDN);
        mpfr_init_set_str(r21628, "33096", 10, MPFR_RNDN);
        mpfr_init_set_str(r21629, "6", 10, MPFR_RNDN);
        mpfr_init(r21630);
        mpfr_init(r21631);
        mpfr_init(r21632);
        mpfr_init(r21633);
        mpfr_init_set_str(r21634, "3", 10, MPFR_RNDN);
        mpfr_init(r21635);
        mpfr_init_set_str(r21636, "77617", 10, MPFR_RNDN);
        mpfr_init(r21637);
        mpfr_init_set_str(r21638, "11", 10, MPFR_RNDN);
        mpfr_init(r21639);
        mpfr_init(r21640);
        mpfr_init_set_str(r21641, "-2", 10, MPFR_RNDN);
        mpfr_init(r21642);
        mpfr_init_set_str(r21643, "-121", 10, MPFR_RNDN);
        mpfr_init_set_str(r21644, "4", 10, MPFR_RNDN);
        mpfr_init(r21645);
        mpfr_init(r21646);
        mpfr_init(r21647);
        mpfr_init(r21648);
        mpfr_init_set_str(r21649, "5.5", 10, MPFR_RNDN);
        mpfr_init_set_str(r21650, "8", 10, MPFR_RNDN);
        mpfr_init(r21651);
        mpfr_init(r21652);
        mpfr_init(r21653);
        mpfr_init(r21654);
        mpfr_init(r21655);
        mpfr_init(r21656);
        mpfr_init(r21657);
        mpfr_init(r21658);
        mpfr_init(r21659);
        mpfr_init(r21660);
        mpfr_init(r21661);
        mpfr_init(r21662);
        mpfr_init(r21663);
        mpfr_init(r21664);
        mpfr_init(r21665);
        mpfr_init(r21666);
        mpfr_init(r21667);
        mpfr_init_set_str(r21668, "2", 10, MPFR_RNDN);
        mpfr_init(r21669);
        mpfr_init(r21670);
        mpfr_init(r21671);
}

double f_dm() {
        ;
        ;
        ;
        mpfr_pow(r21630, r21628, r21629, MPFR_RNDN);
        mpfr_mul(r21631, r21627, r21630, MPFR_RNDN);
        mpfr_log1p(r21632, r21631, MPFR_RNDN);
        mpfr_expm1(r21633, r21632, MPFR_RNDN);
        ;
        mpfr_pow(r21635, r21633, r21634, MPFR_RNDN);
        ;
        mpfr_mul(r21637, r21636, r21636, MPFR_RNDN);
        ;
        mpfr_mul(r21639, r21636, r21628, MPFR_RNDN);
        mpfr_mul(r21640, r21639, r21639, MPFR_RNDN);
        ;
        mpfr_fma(r21642, r21638, r21640, r21641, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r21645, r21628, r21644, MPFR_RNDN);
        mpfr_neg(r21646, r21630, MPFR_RNDN);
        mpfr_fma(r21647, r21643, r21645, r21646, MPFR_RNDN);
        mpfr_add(r21648, r21642, r21647, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r21651, r21628, r21650, MPFR_RNDN);
        mpfr_mul(r21652, r21649, r21651, MPFR_RNDN);
        mpfr_fma(r21653, r21637, r21648, r21652, MPFR_RNDN);
        mpfr_pow(r21654, r21653, r21634, MPFR_RNDN);
        mpfr_add(r21655, r21635, r21654, MPFR_RNDN);
        mpfr_mul(r21656, r21630, r21627, MPFR_RNDN);
        mpfr_mul(r21657, r21628, r21636, MPFR_RNDN);
        mpfr_mul(r21658, r21657, r21657, MPFR_RNDN);
        mpfr_fma(r21659, r21638, r21658, r21641, MPFR_RNDN);
        mpfr_add(r21660, r21647, r21659, MPFR_RNDN);
        mpfr_fma(r21661, r21637, r21660, r21652, MPFR_RNDN);
        mpfr_sub(r21662, r21656, r21661, MPFR_RNDN);
        mpfr_mul(r21663, r21637, r21660, MPFR_RNDN);
        mpfr_add(r21664, r21663, r21652, MPFR_RNDN);
        mpfr_mul(r21665, r21661, r21664, MPFR_RNDN);
        mpfr_fma(r21666, r21656, r21662, r21665, MPFR_RNDN);
        mpfr_div(r21667, r21655, r21666, MPFR_RNDN);
        ;
        mpfr_mul(r21669, r21668, r21628, MPFR_RNDN);
        mpfr_div(r21670, r21636, r21669, MPFR_RNDN);
        mpfr_add(r21671, r21667, r21670, MPFR_RNDN);
        return mpfr_get_d(r21671, MPFR_RNDN);
}