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

char *name = "Compound Interest";

double f_if(float i, float n) {
        float r10308 = 100;
        float r10309 = 1;
        float r10310 = i;
        float r10311 = n;
        float r10312 = r10310 / r10311;
        float r10313 = r10309 + r10312;
        float r10314 = pow(r10313, r10311);
        float r10315 = r10314 - r10309;
        float r10316 = r10315 / r10312;
        float r10317 = r10308 * r10316;
        return r10317;
}

double f_id(double i, double n) {
        double r10318 = 100;
        double r10319 = 1;
        double r10320 = i;
        double r10321 = n;
        double r10322 = r10320 / r10321;
        double r10323 = r10319 + r10322;
        double r10324 = pow(r10323, r10321);
        double r10325 = r10324 - r10319;
        double r10326 = r10325 / r10322;
        double r10327 = r10318 * r10326;
        return r10327;
}


double f_of(float i, float n) {
        float r10328 = 100;
        float r10329 = 1/2;
        float r10330 = i;
        float r10331 = r10329 * r10330;
        float r10332 = 1/24;
        float r10333 = 2;
        float r10334 = pow(r10330, r10333);
        float r10335 = r10332 * r10334;
        float r10336 = 1/36;
        float r10337 = 4;
        float r10338 = pow(r10330, r10337);
        float r10339 = r10336 * r10338;
        float r10340 = 1/648;
        float r10341 = 6;
        float r10342 = pow(r10330, r10341);
        float r10343 = r10340 * r10342;
        float r10344 = 1/72;
        float r10345 = 5;
        float r10346 = pow(r10330, r10345);
        float r10347 = r10344 * r10346;
        float r10348 = r10343 + r10347;
        float r10349 = r10339 + r10348;
        float r10350 = r10335 + r10349;
        float r10351 = r10331 + r10350;
        float r10352 = 3;
        float r10353 = pow(r10330, r10352);
        float r10354 = r10332 * r10353;
        float r10355 = r10351 - r10354;
        float r10356 = exp(r10355);
        float r10357 = n;
        float r10358 = r10356 * r10357;
        float r10359 = r10328 * r10358;
        float r10360 = -1.7828617811379277e+308;
        bool r10361 = r10359 <= r10360;
        float r10362 = 1;
        float r10363 = r10330 / r10357;
        float r10364 = r10362 + r10363;
        float r10365 = pow(r10364, r10357);
        float r10366 = r10365 / r10363;
        float r10367 = r10357 / r10330;
        float r10368 = r10366 - r10367;
        float r10369 = r10328 * r10368;
        float r10370 = -7.557055664580623e-180;
        bool r10371 = r10359 <= r10370;
        float r10372 = r10332 * r10330;
        float r10373 = exp(r10372);
        float r10374 = r10330 * r10330;
        float r10375 = r10330 - r10374;
        float r10376 = pow(r10373, r10375);
        float r10377 = exp(r10330);
        float r10378 = sqrt(r10377);
        float r10379 = r10328 * r10357;
        float r10380 = r10378 * r10379;
        float r10381 = r10376 * r10380;
        float r10382 = 3.4826183084898404e-243;
        bool r10383 = r10359 <= r10382;
        float r10384 = r10328 / r10330;
        float r10385 = r10384 * r10357;
        float r10386 = pow(r10363, r10357);
        float r10387 = r10386 - r10362;
        float r10388 = r10385 * r10387;
        float r10389 = 1.8473422884204718e+298;
        bool r10390 = r10359 <= r10389;
        float r10391 = r10330 / r10379;
        float r10392 = r10387 / r10391;
        float r10393 = r10390 ? r10359 : r10392;
        float r10394 = r10383 ? r10388 : r10393;
        float r10395 = r10371 ? r10381 : r10394;
        float r10396 = r10361 ? r10369 : r10395;
        return r10396;
}

double f_od(double i, double n) {
        double r10397 = 100;
        double r10398 = 1/2;
        double r10399 = i;
        double r10400 = r10398 * r10399;
        double r10401 = 1/24;
        double r10402 = 2;
        double r10403 = pow(r10399, r10402);
        double r10404 = r10401 * r10403;
        double r10405 = 1/36;
        double r10406 = 4;
        double r10407 = pow(r10399, r10406);
        double r10408 = r10405 * r10407;
        double r10409 = 1/648;
        double r10410 = 6;
        double r10411 = pow(r10399, r10410);
        double r10412 = r10409 * r10411;
        double r10413 = 1/72;
        double r10414 = 5;
        double r10415 = pow(r10399, r10414);
        double r10416 = r10413 * r10415;
        double r10417 = r10412 + r10416;
        double r10418 = r10408 + r10417;
        double r10419 = r10404 + r10418;
        double r10420 = r10400 + r10419;
        double r10421 = 3;
        double r10422 = pow(r10399, r10421);
        double r10423 = r10401 * r10422;
        double r10424 = r10420 - r10423;
        double r10425 = exp(r10424);
        double r10426 = n;
        double r10427 = r10425 * r10426;
        double r10428 = r10397 * r10427;
        double r10429 = -1.7828617811379277e+308;
        bool r10430 = r10428 <= r10429;
        double r10431 = 1;
        double r10432 = r10399 / r10426;
        double r10433 = r10431 + r10432;
        double r10434 = pow(r10433, r10426);
        double r10435 = r10434 / r10432;
        double r10436 = r10426 / r10399;
        double r10437 = r10435 - r10436;
        double r10438 = r10397 * r10437;
        double r10439 = -7.557055664580623e-180;
        bool r10440 = r10428 <= r10439;
        double r10441 = r10401 * r10399;
        double r10442 = exp(r10441);
        double r10443 = r10399 * r10399;
        double r10444 = r10399 - r10443;
        double r10445 = pow(r10442, r10444);
        double r10446 = exp(r10399);
        double r10447 = sqrt(r10446);
        double r10448 = r10397 * r10426;
        double r10449 = r10447 * r10448;
        double r10450 = r10445 * r10449;
        double r10451 = 3.4826183084898404e-243;
        bool r10452 = r10428 <= r10451;
        double r10453 = r10397 / r10399;
        double r10454 = r10453 * r10426;
        double r10455 = pow(r10432, r10426);
        double r10456 = r10455 - r10431;
        double r10457 = r10454 * r10456;
        double r10458 = 1.8473422884204718e+298;
        bool r10459 = r10428 <= r10458;
        double r10460 = r10399 / r10448;
        double r10461 = r10456 / r10460;
        double r10462 = r10459 ? r10428 : r10461;
        double r10463 = r10452 ? r10457 : r10462;
        double r10464 = r10440 ? r10450 : r10463;
        double r10465 = r10430 ? r10438 : r10464;
        return r10465;
}

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 r10466, r10467, r10468, r10469, r10470, r10471, r10472, r10473, r10474, r10475;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(3152);
        mpfr_init_set_str(r10466, "100", 10, MPFR_RNDN);
        mpfr_init_set_str(r10467, "1", 10, MPFR_RNDN);
        mpfr_init(r10468);
        mpfr_init(r10469);
        mpfr_init(r10470);
        mpfr_init(r10471);
        mpfr_init(r10472);
        mpfr_init(r10473);
        mpfr_init(r10474);
        mpfr_init(r10475);
}

double f_im(double i, double n) {
        ;
        ;
        mpfr_set_d(r10468, i, MPFR_RNDN);
        mpfr_set_d(r10469, n, MPFR_RNDN);
        mpfr_div(r10470, r10468, r10469, MPFR_RNDN);
        mpfr_add(r10471, r10467, r10470, MPFR_RNDN);
        mpfr_pow(r10472, r10471, r10469, MPFR_RNDN);
        mpfr_sub(r10473, r10472, r10467, MPFR_RNDN);
        mpfr_div(r10474, r10473, r10470, MPFR_RNDN);
        mpfr_mul(r10475, r10466, r10474, MPFR_RNDN);
        return mpfr_get_d(r10475, MPFR_RNDN);
}

static mpfr_t r10476, r10477, r10478, r10479, r10480, r10481, r10482, r10483, r10484, r10485, r10486, r10487, r10488, r10489, r10490, r10491, r10492, r10493, r10494, r10495, r10496, r10497, r10498, r10499, r10500, r10501, r10502, r10503, r10504, r10505, r10506, r10507, r10508, r10509, r10510, r10511, r10512, r10513, r10514, r10515, r10516, r10517, r10518, r10519, r10520, r10521, r10522, r10523, r10524, r10525, r10526, r10527, r10528, r10529, r10530, r10531, r10532, r10533, r10534, r10535, r10536, r10537, r10538, r10539, r10540, r10541, r10542, r10543, r10544;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(3152);
        mpfr_init_set_str(r10476, "100", 10, MPFR_RNDN);
        mpfr_init_set_str(r10477, "1/2", 10, MPFR_RNDN);
        mpfr_init(r10478);
        mpfr_init(r10479);
        mpfr_init_set_str(r10480, "1/24", 10, MPFR_RNDN);
        mpfr_init_set_str(r10481, "2", 10, MPFR_RNDN);
        mpfr_init(r10482);
        mpfr_init(r10483);
        mpfr_init_set_str(r10484, "1/36", 10, MPFR_RNDN);
        mpfr_init_set_str(r10485, "4", 10, MPFR_RNDN);
        mpfr_init(r10486);
        mpfr_init(r10487);
        mpfr_init_set_str(r10488, "1/648", 10, MPFR_RNDN);
        mpfr_init_set_str(r10489, "6", 10, MPFR_RNDN);
        mpfr_init(r10490);
        mpfr_init(r10491);
        mpfr_init_set_str(r10492, "1/72", 10, MPFR_RNDN);
        mpfr_init_set_str(r10493, "5", 10, MPFR_RNDN);
        mpfr_init(r10494);
        mpfr_init(r10495);
        mpfr_init(r10496);
        mpfr_init(r10497);
        mpfr_init(r10498);
        mpfr_init(r10499);
        mpfr_init_set_str(r10500, "3", 10, MPFR_RNDN);
        mpfr_init(r10501);
        mpfr_init(r10502);
        mpfr_init(r10503);
        mpfr_init(r10504);
        mpfr_init(r10505);
        mpfr_init(r10506);
        mpfr_init(r10507);
        mpfr_init_set_str(r10508, "-1.7828617811379277e+308", 10, MPFR_RNDN);
        mpfr_init(r10509);
        mpfr_init_set_str(r10510, "1", 10, MPFR_RNDN);
        mpfr_init(r10511);
        mpfr_init(r10512);
        mpfr_init(r10513);
        mpfr_init(r10514);
        mpfr_init(r10515);
        mpfr_init(r10516);
        mpfr_init(r10517);
        mpfr_init_set_str(r10518, "-7.557055664580623e-180", 10, MPFR_RNDN);
        mpfr_init(r10519);
        mpfr_init(r10520);
        mpfr_init(r10521);
        mpfr_init(r10522);
        mpfr_init(r10523);
        mpfr_init(r10524);
        mpfr_init(r10525);
        mpfr_init(r10526);
        mpfr_init(r10527);
        mpfr_init(r10528);
        mpfr_init(r10529);
        mpfr_init_set_str(r10530, "3.4826183084898404e-243", 10, MPFR_RNDN);
        mpfr_init(r10531);
        mpfr_init(r10532);
        mpfr_init(r10533);
        mpfr_init(r10534);
        mpfr_init(r10535);
        mpfr_init(r10536);
        mpfr_init_set_str(r10537, "1.8473422884204718e+298", 10, MPFR_RNDN);
        mpfr_init(r10538);
        mpfr_init(r10539);
        mpfr_init(r10540);
        mpfr_init(r10541);
        mpfr_init(r10542);
        mpfr_init(r10543);
        mpfr_init(r10544);
}

double f_fm(double i, double n) {
        ;
        ;
        mpfr_set_d(r10478, i, MPFR_RNDN);
        mpfr_mul(r10479, r10477, r10478, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r10482, r10478, r10481, MPFR_RNDN);
        mpfr_mul(r10483, r10480, r10482, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r10486, r10478, r10485, MPFR_RNDN);
        mpfr_mul(r10487, r10484, r10486, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r10490, r10478, r10489, MPFR_RNDN);
        mpfr_mul(r10491, r10488, r10490, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r10494, r10478, r10493, MPFR_RNDN);
        mpfr_mul(r10495, r10492, r10494, MPFR_RNDN);
        mpfr_add(r10496, r10491, r10495, MPFR_RNDN);
        mpfr_add(r10497, r10487, r10496, MPFR_RNDN);
        mpfr_add(r10498, r10483, r10497, MPFR_RNDN);
        mpfr_add(r10499, r10479, r10498, MPFR_RNDN);
        ;
        mpfr_pow(r10501, r10478, r10500, MPFR_RNDN);
        mpfr_mul(r10502, r10480, r10501, MPFR_RNDN);
        mpfr_sub(r10503, r10499, r10502, MPFR_RNDN);
        mpfr_exp(r10504, r10503, MPFR_RNDN);
        mpfr_set_d(r10505, n, MPFR_RNDN);
        mpfr_mul(r10506, r10504, r10505, MPFR_RNDN);
        mpfr_mul(r10507, r10476, r10506, MPFR_RNDN);
        ;
        mpfr_set_si(r10509, mpfr_cmp(r10507, r10508) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r10511, r10478, r10505, MPFR_RNDN);
        mpfr_add(r10512, r10510, r10511, MPFR_RNDN);
        mpfr_pow(r10513, r10512, r10505, MPFR_RNDN);
        mpfr_div(r10514, r10513, r10511, MPFR_RNDN);
        mpfr_div(r10515, r10505, r10478, MPFR_RNDN);
        mpfr_sub(r10516, r10514, r10515, MPFR_RNDN);
        mpfr_mul(r10517, r10476, r10516, MPFR_RNDN);
        ;
        mpfr_set_si(r10519, mpfr_cmp(r10507, r10518) <= 0, MPFR_RNDN);
        mpfr_mul(r10520, r10480, r10478, MPFR_RNDN);
        mpfr_exp(r10521, r10520, MPFR_RNDN);
        mpfr_mul(r10522, r10478, r10478, MPFR_RNDN);
        mpfr_sub(r10523, r10478, r10522, MPFR_RNDN);
        mpfr_pow(r10524, r10521, r10523, MPFR_RNDN);
        mpfr_exp(r10525, r10478, MPFR_RNDN);
        mpfr_sqrt(r10526, r10525, MPFR_RNDN);
        mpfr_mul(r10527, r10476, r10505, MPFR_RNDN);
        mpfr_mul(r10528, r10526, r10527, MPFR_RNDN);
        mpfr_mul(r10529, r10524, r10528, MPFR_RNDN);
        ;
        mpfr_set_si(r10531, mpfr_cmp(r10507, r10530) <= 0, MPFR_RNDN);
        mpfr_div(r10532, r10476, r10478, MPFR_RNDN);
        mpfr_mul(r10533, r10532, r10505, MPFR_RNDN);
        mpfr_pow(r10534, r10511, r10505, MPFR_RNDN);
        mpfr_sub(r10535, r10534, r10510, MPFR_RNDN);
        mpfr_mul(r10536, r10533, r10535, MPFR_RNDN);
        ;
        mpfr_set_si(r10538, mpfr_cmp(r10507, r10537) <= 0, MPFR_RNDN);
        mpfr_div(r10539, r10478, r10527, MPFR_RNDN);
        mpfr_div(r10540, r10535, r10539, MPFR_RNDN);
        if (mpfr_get_si(r10538, MPFR_RNDN)) { mpfr_set(r10541, r10507, MPFR_RNDN); } else { mpfr_set(r10541, r10540, MPFR_RNDN); };
        if (mpfr_get_si(r10531, MPFR_RNDN)) { mpfr_set(r10542, r10536, MPFR_RNDN); } else { mpfr_set(r10542, r10541, MPFR_RNDN); };
        if (mpfr_get_si(r10519, MPFR_RNDN)) { mpfr_set(r10543, r10529, MPFR_RNDN); } else { mpfr_set(r10543, r10542, MPFR_RNDN); };
        if (mpfr_get_si(r10509, MPFR_RNDN)) { mpfr_set(r10544, r10517, MPFR_RNDN); } else { mpfr_set(r10544, r10543, MPFR_RNDN); };
        return mpfr_get_d(r10544, MPFR_RNDN);
}

static mpfr_t r10545, r10546, r10547, r10548, r10549, r10550, r10551, r10552, r10553, r10554, r10555, r10556, r10557, r10558, r10559, r10560, r10561, r10562, r10563, r10564, r10565, r10566, r10567, r10568, r10569, r10570, r10571, r10572, r10573, r10574, r10575, r10576, r10577, r10578, r10579, r10580, r10581, r10582, r10583, r10584, r10585, r10586, r10587, r10588, r10589, r10590, r10591, r10592, r10593, r10594, r10595, r10596, r10597, r10598, r10599, r10600, r10601, r10602, r10603, r10604, r10605, r10606, r10607, r10608, r10609, r10610, r10611, r10612, r10613;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(3152);
        mpfr_init_set_str(r10545, "100", 10, MPFR_RNDN);
        mpfr_init_set_str(r10546, "1/2", 10, MPFR_RNDN);
        mpfr_init(r10547);
        mpfr_init(r10548);
        mpfr_init_set_str(r10549, "1/24", 10, MPFR_RNDN);
        mpfr_init_set_str(r10550, "2", 10, MPFR_RNDN);
        mpfr_init(r10551);
        mpfr_init(r10552);
        mpfr_init_set_str(r10553, "1/36", 10, MPFR_RNDN);
        mpfr_init_set_str(r10554, "4", 10, MPFR_RNDN);
        mpfr_init(r10555);
        mpfr_init(r10556);
        mpfr_init_set_str(r10557, "1/648", 10, MPFR_RNDN);
        mpfr_init_set_str(r10558, "6", 10, MPFR_RNDN);
        mpfr_init(r10559);
        mpfr_init(r10560);
        mpfr_init_set_str(r10561, "1/72", 10, MPFR_RNDN);
        mpfr_init_set_str(r10562, "5", 10, MPFR_RNDN);
        mpfr_init(r10563);
        mpfr_init(r10564);
        mpfr_init(r10565);
        mpfr_init(r10566);
        mpfr_init(r10567);
        mpfr_init(r10568);
        mpfr_init_set_str(r10569, "3", 10, MPFR_RNDN);
        mpfr_init(r10570);
        mpfr_init(r10571);
        mpfr_init(r10572);
        mpfr_init(r10573);
        mpfr_init(r10574);
        mpfr_init(r10575);
        mpfr_init(r10576);
        mpfr_init_set_str(r10577, "-1.7828617811379277e+308", 10, MPFR_RNDN);
        mpfr_init(r10578);
        mpfr_init_set_str(r10579, "1", 10, MPFR_RNDN);
        mpfr_init(r10580);
        mpfr_init(r10581);
        mpfr_init(r10582);
        mpfr_init(r10583);
        mpfr_init(r10584);
        mpfr_init(r10585);
        mpfr_init(r10586);
        mpfr_init_set_str(r10587, "-7.557055664580623e-180", 10, MPFR_RNDN);
        mpfr_init(r10588);
        mpfr_init(r10589);
        mpfr_init(r10590);
        mpfr_init(r10591);
        mpfr_init(r10592);
        mpfr_init(r10593);
        mpfr_init(r10594);
        mpfr_init(r10595);
        mpfr_init(r10596);
        mpfr_init(r10597);
        mpfr_init(r10598);
        mpfr_init_set_str(r10599, "3.4826183084898404e-243", 10, MPFR_RNDN);
        mpfr_init(r10600);
        mpfr_init(r10601);
        mpfr_init(r10602);
        mpfr_init(r10603);
        mpfr_init(r10604);
        mpfr_init(r10605);
        mpfr_init_set_str(r10606, "1.8473422884204718e+298", 10, MPFR_RNDN);
        mpfr_init(r10607);
        mpfr_init(r10608);
        mpfr_init(r10609);
        mpfr_init(r10610);
        mpfr_init(r10611);
        mpfr_init(r10612);
        mpfr_init(r10613);
}

double f_dm(double i, double n) {
        ;
        ;
        mpfr_set_d(r10547, i, MPFR_RNDN);
        mpfr_mul(r10548, r10546, r10547, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r10551, r10547, r10550, MPFR_RNDN);
        mpfr_mul(r10552, r10549, r10551, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r10555, r10547, r10554, MPFR_RNDN);
        mpfr_mul(r10556, r10553, r10555, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r10559, r10547, r10558, MPFR_RNDN);
        mpfr_mul(r10560, r10557, r10559, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r10563, r10547, r10562, MPFR_RNDN);
        mpfr_mul(r10564, r10561, r10563, MPFR_RNDN);
        mpfr_add(r10565, r10560, r10564, MPFR_RNDN);
        mpfr_add(r10566, r10556, r10565, MPFR_RNDN);
        mpfr_add(r10567, r10552, r10566, MPFR_RNDN);
        mpfr_add(r10568, r10548, r10567, MPFR_RNDN);
        ;
        mpfr_pow(r10570, r10547, r10569, MPFR_RNDN);
        mpfr_mul(r10571, r10549, r10570, MPFR_RNDN);
        mpfr_sub(r10572, r10568, r10571, MPFR_RNDN);
        mpfr_exp(r10573, r10572, MPFR_RNDN);
        mpfr_set_d(r10574, n, MPFR_RNDN);
        mpfr_mul(r10575, r10573, r10574, MPFR_RNDN);
        mpfr_mul(r10576, r10545, r10575, MPFR_RNDN);
        ;
        mpfr_set_si(r10578, mpfr_cmp(r10576, r10577) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r10580, r10547, r10574, MPFR_RNDN);
        mpfr_add(r10581, r10579, r10580, MPFR_RNDN);
        mpfr_pow(r10582, r10581, r10574, MPFR_RNDN);
        mpfr_div(r10583, r10582, r10580, MPFR_RNDN);
        mpfr_div(r10584, r10574, r10547, MPFR_RNDN);
        mpfr_sub(r10585, r10583, r10584, MPFR_RNDN);
        mpfr_mul(r10586, r10545, r10585, MPFR_RNDN);
        ;
        mpfr_set_si(r10588, mpfr_cmp(r10576, r10587) <= 0, MPFR_RNDN);
        mpfr_mul(r10589, r10549, r10547, MPFR_RNDN);
        mpfr_exp(r10590, r10589, MPFR_RNDN);
        mpfr_mul(r10591, r10547, r10547, MPFR_RNDN);
        mpfr_sub(r10592, r10547, r10591, MPFR_RNDN);
        mpfr_pow(r10593, r10590, r10592, MPFR_RNDN);
        mpfr_exp(r10594, r10547, MPFR_RNDN);
        mpfr_sqrt(r10595, r10594, MPFR_RNDN);
        mpfr_mul(r10596, r10545, r10574, MPFR_RNDN);
        mpfr_mul(r10597, r10595, r10596, MPFR_RNDN);
        mpfr_mul(r10598, r10593, r10597, MPFR_RNDN);
        ;
        mpfr_set_si(r10600, mpfr_cmp(r10576, r10599) <= 0, MPFR_RNDN);
        mpfr_div(r10601, r10545, r10547, MPFR_RNDN);
        mpfr_mul(r10602, r10601, r10574, MPFR_RNDN);
        mpfr_pow(r10603, r10580, r10574, MPFR_RNDN);
        mpfr_sub(r10604, r10603, r10579, MPFR_RNDN);
        mpfr_mul(r10605, r10602, r10604, MPFR_RNDN);
        ;
        mpfr_set_si(r10607, mpfr_cmp(r10576, r10606) <= 0, MPFR_RNDN);
        mpfr_div(r10608, r10547, r10596, MPFR_RNDN);
        mpfr_div(r10609, r10604, r10608, MPFR_RNDN);
        if (mpfr_get_si(r10607, MPFR_RNDN)) { mpfr_set(r10610, r10576, MPFR_RNDN); } else { mpfr_set(r10610, r10609, MPFR_RNDN); };
        if (mpfr_get_si(r10600, MPFR_RNDN)) { mpfr_set(r10611, r10605, MPFR_RNDN); } else { mpfr_set(r10611, r10610, MPFR_RNDN); };
        if (mpfr_get_si(r10588, MPFR_RNDN)) { mpfr_set(r10612, r10598, MPFR_RNDN); } else { mpfr_set(r10612, r10611, MPFR_RNDN); };
        if (mpfr_get_si(r10578, MPFR_RNDN)) { mpfr_set(r10613, r10586, MPFR_RNDN); } else { mpfr_set(r10613, r10612, MPFR_RNDN); };
        return mpfr_get_d(r10613, MPFR_RNDN);
}

