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

char *name = "Octave 3.8, jcobi/1";

double f_if(float alpha, float beta) {
        float r17321 = beta;
        float r17322 = alpha;
        float r17323 = r17321 - r17322;
        float r17324 = r17322 + r17321;
        float r17325 = 2.0f;
        float r17326 = r17324 + r17325;
        float r17327 = r17323 / r17326;
        float r17328 = 1.0f;
        float r17329 = r17327 + r17328;
        float r17330 = r17329 / r17325;
        return r17330;
}

double f_id(double alpha, double beta) {
        double r17331 = beta;
        double r17332 = alpha;
        double r17333 = r17331 - r17332;
        double r17334 = r17332 + r17331;
        double r17335 = 2.0;
        double r17336 = r17334 + r17335;
        double r17337 = r17333 / r17336;
        double r17338 = 1.0;
        double r17339 = r17337 + r17338;
        double r17340 = r17339 / r17335;
        return r17340;
}


double f_of(float alpha, float beta) {
        float r17341 = beta;
        float r17342 = alpha;
        float r17343 = r17341 - r17342;
        float r17344 = r17342 + r17341;
        float r17345 = 2.0f;
        float r17346 = r17344 + r17345;
        float r17347 = r17343 / r17346;
        float r17348 = -0.999996542930603f;
        bool r17349 = r17347 <= r17348;
        float r17350 = 8.0f;
        float r17351 = r17350 / r17342;
        float r17352 = r17351 / r17342;
        float r17353 = r17345 + r17352;
        float r17354 = r17345 * r17342;
        float r17355 = r17353 / r17354;
        float r17356 = r17341 / r17345;
        float r17357 = r17345 + r17341;
        float r17358 = r17342 + r17357;
        float r17359 = r17356 / r17358;
        float r17360 = 4.0f;
        float r17361 = r17342 * r17342;
        float r17362 = r17360 / r17361;
        float r17363 = r17362 / r17345;
        float r17364 = r17359 - r17363;
        float r17365 = r17355 + r17364;
        float r17366 = 1.0f;
        float r17367 = r17347 + r17366;
        float r17368 = r17367 / r17345;
        float r17369 = log(r17368);
        float r17370 = exp(r17369);
        float r17371 = r17349 ? r17365 : r17370;
        return r17371;
}

double f_od(double alpha, double beta) {
        double r17372 = beta;
        double r17373 = alpha;
        double r17374 = r17372 - r17373;
        double r17375 = r17373 + r17372;
        double r17376 = 2.0;
        double r17377 = r17375 + r17376;
        double r17378 = r17374 / r17377;
        double r17379 = -0.999996542930603;
        bool r17380 = r17378 <= r17379;
        double r17381 = 8.0;
        double r17382 = r17381 / r17373;
        double r17383 = r17382 / r17373;
        double r17384 = r17376 + r17383;
        double r17385 = r17376 * r17373;
        double r17386 = r17384 / r17385;
        double r17387 = r17372 / r17376;
        double r17388 = r17376 + r17372;
        double r17389 = r17373 + r17388;
        double r17390 = r17387 / r17389;
        double r17391 = 4.0;
        double r17392 = r17373 * r17373;
        double r17393 = r17391 / r17392;
        double r17394 = r17393 / r17376;
        double r17395 = r17390 - r17394;
        double r17396 = r17386 + r17395;
        double r17397 = 1.0;
        double r17398 = r17378 + r17397;
        double r17399 = r17398 / r17376;
        double r17400 = log(r17399);
        double r17401 = exp(r17400);
        double r17402 = r17380 ? r17396 : r17401;
        return r17402;
}

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 r17403, r17404, r17405, r17406, r17407, r17408, r17409, r17410, r17411, r17412;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17403);
        mpfr_init(r17404);
        mpfr_init(r17405);
        mpfr_init(r17406);
        mpfr_init_set_str(r17407, "2.0", 10, MPFR_RNDN);
        mpfr_init(r17408);
        mpfr_init(r17409);
        mpfr_init_set_str(r17410, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17411);
        mpfr_init(r17412);
}

double f_im(double alpha, double beta) {
        mpfr_set_d(r17403, beta, MPFR_RNDN);
        mpfr_set_d(r17404, alpha, MPFR_RNDN);
        mpfr_sub(r17405, r17403, r17404, MPFR_RNDN);
        mpfr_add(r17406, r17404, r17403, MPFR_RNDN);
        ;
        mpfr_add(r17408, r17406, r17407, MPFR_RNDN);
        mpfr_div(r17409, r17405, r17408, MPFR_RNDN);
        ;
        mpfr_add(r17411, r17409, r17410, MPFR_RNDN);
        mpfr_div(r17412, r17411, r17407, MPFR_RNDN);
        return mpfr_get_d(r17412, MPFR_RNDN);
}

static mpfr_t r17413, r17414, r17415, r17416, r17417, r17418, r17419, r17420, r17421, r17422, r17423, r17424, r17425, r17426, r17427, r17428, r17429, r17430, r17431, r17432, r17433, r17434, r17435, r17436, r17437, r17438, r17439, r17440, r17441, r17442, r17443;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17413);
        mpfr_init(r17414);
        mpfr_init(r17415);
        mpfr_init(r17416);
        mpfr_init_set_str(r17417, "2.0", 10, MPFR_RNDN);
        mpfr_init(r17418);
        mpfr_init(r17419);
        mpfr_init_set_str(r17420, "-0.99999654f0", 10, MPFR_RNDN);
        mpfr_init(r17421);
        mpfr_init_set_str(r17422, "8.0", 10, MPFR_RNDN);
        mpfr_init(r17423);
        mpfr_init(r17424);
        mpfr_init(r17425);
        mpfr_init(r17426);
        mpfr_init(r17427);
        mpfr_init(r17428);
        mpfr_init(r17429);
        mpfr_init(r17430);
        mpfr_init(r17431);
        mpfr_init_set_str(r17432, "4.0", 10, MPFR_RNDN);
        mpfr_init(r17433);
        mpfr_init(r17434);
        mpfr_init(r17435);
        mpfr_init(r17436);
        mpfr_init(r17437);
        mpfr_init_set_str(r17438, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17439);
        mpfr_init(r17440);
        mpfr_init(r17441);
        mpfr_init(r17442);
        mpfr_init(r17443);
}

double f_fm(double alpha, double beta) {
        mpfr_set_d(r17413, beta, MPFR_RNDN);
        mpfr_set_d(r17414, alpha, MPFR_RNDN);
        mpfr_sub(r17415, r17413, r17414, MPFR_RNDN);
        mpfr_add(r17416, r17414, r17413, MPFR_RNDN);
        ;
        mpfr_add(r17418, r17416, r17417, MPFR_RNDN);
        mpfr_div(r17419, r17415, r17418, MPFR_RNDN);
        ;
        mpfr_set_si(r17421, mpfr_cmp(r17419, r17420) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r17423, r17422, r17414, MPFR_RNDN);
        mpfr_div(r17424, r17423, r17414, MPFR_RNDN);
        mpfr_add(r17425, r17417, r17424, MPFR_RNDN);
        mpfr_mul(r17426, r17417, r17414, MPFR_RNDN);
        mpfr_div(r17427, r17425, r17426, MPFR_RNDN);
        mpfr_div(r17428, r17413, r17417, MPFR_RNDN);
        mpfr_add(r17429, r17417, r17413, MPFR_RNDN);
        mpfr_add(r17430, r17414, r17429, MPFR_RNDN);
        mpfr_div(r17431, r17428, r17430, MPFR_RNDN);
        ;
        mpfr_mul(r17433, r17414, r17414, MPFR_RNDN);
        mpfr_div(r17434, r17432, r17433, MPFR_RNDN);
        mpfr_div(r17435, r17434, r17417, MPFR_RNDN);
        mpfr_sub(r17436, r17431, r17435, MPFR_RNDN);
        mpfr_add(r17437, r17427, r17436, MPFR_RNDN);
        ;
        mpfr_add(r17439, r17419, r17438, MPFR_RNDN);
        mpfr_div(r17440, r17439, r17417, MPFR_RNDN);
        mpfr_log(r17441, r17440, MPFR_RNDN);
        mpfr_exp(r17442, r17441, MPFR_RNDN);
        if (mpfr_get_si(r17421, MPFR_RNDN)) { mpfr_set(r17443, r17437, MPFR_RNDN); } else { mpfr_set(r17443, r17442, MPFR_RNDN); };
        return mpfr_get_d(r17443, MPFR_RNDN);
}

static mpfr_t r17444, r17445, r17446, r17447, r17448, r17449, r17450, r17451, r17452, r17453, r17454, r17455, r17456, r17457, r17458, r17459, r17460, r17461, r17462, r17463, r17464, r17465, r17466, r17467, r17468, r17469, r17470, r17471, r17472, r17473, r17474;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17444);
        mpfr_init(r17445);
        mpfr_init(r17446);
        mpfr_init(r17447);
        mpfr_init_set_str(r17448, "2.0", 10, MPFR_RNDN);
        mpfr_init(r17449);
        mpfr_init(r17450);
        mpfr_init_set_str(r17451, "-0.99999654f0", 10, MPFR_RNDN);
        mpfr_init(r17452);
        mpfr_init_set_str(r17453, "8.0", 10, MPFR_RNDN);
        mpfr_init(r17454);
        mpfr_init(r17455);
        mpfr_init(r17456);
        mpfr_init(r17457);
        mpfr_init(r17458);
        mpfr_init(r17459);
        mpfr_init(r17460);
        mpfr_init(r17461);
        mpfr_init(r17462);
        mpfr_init_set_str(r17463, "4.0", 10, MPFR_RNDN);
        mpfr_init(r17464);
        mpfr_init(r17465);
        mpfr_init(r17466);
        mpfr_init(r17467);
        mpfr_init(r17468);
        mpfr_init_set_str(r17469, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17470);
        mpfr_init(r17471);
        mpfr_init(r17472);
        mpfr_init(r17473);
        mpfr_init(r17474);
}

double f_dm(double alpha, double beta) {
        mpfr_set_d(r17444, beta, MPFR_RNDN);
        mpfr_set_d(r17445, alpha, MPFR_RNDN);
        mpfr_sub(r17446, r17444, r17445, MPFR_RNDN);
        mpfr_add(r17447, r17445, r17444, MPFR_RNDN);
        ;
        mpfr_add(r17449, r17447, r17448, MPFR_RNDN);
        mpfr_div(r17450, r17446, r17449, MPFR_RNDN);
        ;
        mpfr_set_si(r17452, mpfr_cmp(r17450, r17451) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r17454, r17453, r17445, MPFR_RNDN);
        mpfr_div(r17455, r17454, r17445, MPFR_RNDN);
        mpfr_add(r17456, r17448, r17455, MPFR_RNDN);
        mpfr_mul(r17457, r17448, r17445, MPFR_RNDN);
        mpfr_div(r17458, r17456, r17457, MPFR_RNDN);
        mpfr_div(r17459, r17444, r17448, MPFR_RNDN);
        mpfr_add(r17460, r17448, r17444, MPFR_RNDN);
        mpfr_add(r17461, r17445, r17460, MPFR_RNDN);
        mpfr_div(r17462, r17459, r17461, MPFR_RNDN);
        ;
        mpfr_mul(r17464, r17445, r17445, MPFR_RNDN);
        mpfr_div(r17465, r17463, r17464, MPFR_RNDN);
        mpfr_div(r17466, r17465, r17448, MPFR_RNDN);
        mpfr_sub(r17467, r17462, r17466, MPFR_RNDN);
        mpfr_add(r17468, r17458, r17467, MPFR_RNDN);
        ;
        mpfr_add(r17470, r17450, r17469, MPFR_RNDN);
        mpfr_div(r17471, r17470, r17448, MPFR_RNDN);
        mpfr_log(r17472, r17471, MPFR_RNDN);
        mpfr_exp(r17473, r17472, MPFR_RNDN);
        if (mpfr_get_si(r17452, MPFR_RNDN)) { mpfr_set(r17474, r17468, MPFR_RNDN); } else { mpfr_set(r17474, r17473, MPFR_RNDN); };
        return mpfr_get_d(r17474, MPFR_RNDN);
}