#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 r17309 = beta;
        float r17310 = alpha;
        float r17311 = r17309 - r17310;
        float r17312 = r17310 + r17309;
        float r17313 = 2.0f;
        float r17314 = r17312 + r17313;
        float r17315 = r17311 / r17314;
        float r17316 = 1.0f;
        float r17317 = r17315 + r17316;
        float r17318 = r17317 / r17313;
        return r17318;
}

double f_id(double alpha, double beta) {
        double r17319 = beta;
        double r17320 = alpha;
        double r17321 = r17319 - r17320;
        double r17322 = r17320 + r17319;
        double r17323 = 2.0;
        double r17324 = r17322 + r17323;
        double r17325 = r17321 / r17324;
        double r17326 = 1.0;
        double r17327 = r17325 + r17326;
        double r17328 = r17327 / r17323;
        return r17328;
}


double f_of(float alpha, float beta) {
        float r17329 = beta;
        float r17330 = alpha;
        float r17331 = r17329 - r17330;
        float r17332 = r17330 + r17329;
        float r17333 = 2.0f;
        float r17334 = r17332 + r17333;
        float r17335 = r17331 / r17334;
        float r17336 = -0.9993067838540592f;
        bool r17337 = r17335 <= r17336;
        float r17338 = 8.0f;
        float r17339 = r17338 / r17330;
        float r17340 = r17339 / r17330;
        float r17341 = r17333 + r17340;
        float r17342 = r17333 * r17330;
        float r17343 = r17341 / r17342;
        float r17344 = r17329 / r17333;
        float r17345 = r17333 + r17329;
        float r17346 = r17330 + r17345;
        float r17347 = r17344 / r17346;
        float r17348 = 4.0f;
        float r17349 = r17330 * r17330;
        float r17350 = r17348 / r17349;
        float r17351 = r17350 / r17333;
        float r17352 = r17347 - r17351;
        float r17353 = r17343 + r17352;
        float r17354 = 1.0f;
        float r17355 = r17334 / r17329;
        float r17356 = r17354 / r17355;
        float r17357 = r17330 / r17334;
        float r17358 = 1.0f;
        float r17359 = r17357 - r17358;
        float r17360 = r17356 - r17359;
        float r17361 = r17360 / r17333;
        float r17362 = r17337 ? r17353 : r17361;
        return r17362;
}

double f_od(double alpha, double beta) {
        double r17363 = beta;
        double r17364 = alpha;
        double r17365 = r17363 - r17364;
        double r17366 = r17364 + r17363;
        double r17367 = 2.0;
        double r17368 = r17366 + r17367;
        double r17369 = r17365 / r17368;
        double r17370 = -0.9993067838540592;
        bool r17371 = r17369 <= r17370;
        double r17372 = 8.0;
        double r17373 = r17372 / r17364;
        double r17374 = r17373 / r17364;
        double r17375 = r17367 + r17374;
        double r17376 = r17367 * r17364;
        double r17377 = r17375 / r17376;
        double r17378 = r17363 / r17367;
        double r17379 = r17367 + r17363;
        double r17380 = r17364 + r17379;
        double r17381 = r17378 / r17380;
        double r17382 = 4.0;
        double r17383 = r17364 * r17364;
        double r17384 = r17382 / r17383;
        double r17385 = r17384 / r17367;
        double r17386 = r17381 - r17385;
        double r17387 = r17377 + r17386;
        double r17388 = 1.0;
        double r17389 = r17368 / r17363;
        double r17390 = r17388 / r17389;
        double r17391 = r17364 / r17368;
        double r17392 = 1.0;
        double r17393 = r17391 - r17392;
        double r17394 = r17390 - r17393;
        double r17395 = r17394 / r17367;
        double r17396 = r17371 ? r17387 : r17395;
        return r17396;
}

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 r17397, r17398, r17399, r17400, r17401, r17402, r17403, r17404, r17405, r17406;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17397);
        mpfr_init(r17398);
        mpfr_init(r17399);
        mpfr_init(r17400);
        mpfr_init_set_str(r17401, "2.0", 10, MPFR_RNDN);
        mpfr_init(r17402);
        mpfr_init(r17403);
        mpfr_init_set_str(r17404, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17405);
        mpfr_init(r17406);
}

double f_im(double alpha, double beta) {
        mpfr_set_d(r17397, beta, MPFR_RNDN);
        mpfr_set_d(r17398, alpha, MPFR_RNDN);
        mpfr_sub(r17399, r17397, r17398, MPFR_RNDN);
        mpfr_add(r17400, r17398, r17397, MPFR_RNDN);
        ;
        mpfr_add(r17402, r17400, r17401, MPFR_RNDN);
        mpfr_div(r17403, r17399, r17402, MPFR_RNDN);
        ;
        mpfr_add(r17405, r17403, r17404, MPFR_RNDN);
        mpfr_div(r17406, r17405, r17401, MPFR_RNDN);
        return mpfr_get_d(r17406, MPFR_RNDN);
}

static mpfr_t r17407, r17408, r17409, r17410, r17411, r17412, 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;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17407);
        mpfr_init(r17408);
        mpfr_init(r17409);
        mpfr_init(r17410);
        mpfr_init_set_str(r17411, "2.0", 10, MPFR_RNDN);
        mpfr_init(r17412);
        mpfr_init(r17413);
        mpfr_init_set_str(r17414, "-0.9993067838540592", 10, MPFR_RNDN);
        mpfr_init(r17415);
        mpfr_init_set_str(r17416, "8.0", 10, MPFR_RNDN);
        mpfr_init(r17417);
        mpfr_init(r17418);
        mpfr_init(r17419);
        mpfr_init(r17420);
        mpfr_init(r17421);
        mpfr_init(r17422);
        mpfr_init(r17423);
        mpfr_init(r17424);
        mpfr_init(r17425);
        mpfr_init_set_str(r17426, "4.0", 10, MPFR_RNDN);
        mpfr_init(r17427);
        mpfr_init(r17428);
        mpfr_init(r17429);
        mpfr_init(r17430);
        mpfr_init(r17431);
        mpfr_init_set_str(r17432, "1", 10, MPFR_RNDN);
        mpfr_init(r17433);
        mpfr_init(r17434);
        mpfr_init(r17435);
        mpfr_init_set_str(r17436, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17437);
        mpfr_init(r17438);
        mpfr_init(r17439);
        mpfr_init(r17440);
}

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

static mpfr_t r17441, r17442, r17443, 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(r17441);
        mpfr_init(r17442);
        mpfr_init(r17443);
        mpfr_init(r17444);
        mpfr_init_set_str(r17445, "2.0", 10, MPFR_RNDN);
        mpfr_init(r17446);
        mpfr_init(r17447);
        mpfr_init_set_str(r17448, "-0.9993067838540592", 10, MPFR_RNDN);
        mpfr_init(r17449);
        mpfr_init_set_str(r17450, "8.0", 10, MPFR_RNDN);
        mpfr_init(r17451);
        mpfr_init(r17452);
        mpfr_init(r17453);
        mpfr_init(r17454);
        mpfr_init(r17455);
        mpfr_init(r17456);
        mpfr_init(r17457);
        mpfr_init(r17458);
        mpfr_init(r17459);
        mpfr_init_set_str(r17460, "4.0", 10, MPFR_RNDN);
        mpfr_init(r17461);
        mpfr_init(r17462);
        mpfr_init(r17463);
        mpfr_init(r17464);
        mpfr_init(r17465);
        mpfr_init_set_str(r17466, "1", 10, MPFR_RNDN);
        mpfr_init(r17467);
        mpfr_init(r17468);
        mpfr_init(r17469);
        mpfr_init_set_str(r17470, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17471);
        mpfr_init(r17472);
        mpfr_init(r17473);
        mpfr_init(r17474);
}

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