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

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

double f_if(float alpha, float beta) {
        float r17332 = alpha;
        float r17333 = beta;
        float r17334 = r17332 + r17333;
        float r17335 = r17333 * r17332;
        float r17336 = r17334 + r17335;
        float r17337 = 1.0f;
        float r17338 = r17336 + r17337;
        float r17339 = 2.0f;
        float r17340 = 1.0f;
        float r17341 = r17339 * r17340;
        float r17342 = r17334 + r17341;
        float r17343 = r17338 / r17342;
        float r17344 = r17343 / r17342;
        float r17345 = r17342 + r17337;
        float r17346 = r17344 / r17345;
        return r17346;
}

double f_id(double alpha, double beta) {
        double r17347 = alpha;
        double r17348 = beta;
        double r17349 = r17347 + r17348;
        double r17350 = r17348 * r17347;
        double r17351 = r17349 + r17350;
        double r17352 = 1.0;
        double r17353 = r17351 + r17352;
        double r17354 = 2.0;
        double r17355 = 1.0;
        double r17356 = r17354 * r17355;
        double r17357 = r17349 + r17356;
        double r17358 = r17353 / r17357;
        double r17359 = r17358 / r17357;
        double r17360 = r17357 + r17352;
        double r17361 = r17359 / r17360;
        return r17361;
}


double f_of(float alpha, float beta) {
        float r17362 = beta;
        float r17363 = 2.0130633571779316e+196f;
        bool r17364 = r17362 <= r17363;
        float r17365 = alpha;
        float r17366 = 1.0f;
        float r17367 = r17365 + r17366;
        float r17368 = r17362 * r17365;
        float r17369 = r17362 + r17368;
        float r17370 = r17367 + r17369;
        float r17371 = 2.0f;
        float r17372 = r17371 + r17362;
        float r17373 = r17365 + r17372;
        float r17374 = r17370 / r17373;
        float r17375 = r17367 + r17372;
        float r17376 = r17374 / r17375;
        float r17377 = r17376 / r17373;
        float r17378 = 0.25f;
        float r17379 = r17365 + r17362;
        float r17380 = r17378 * r17379;
        float r17381 = 0.5f;
        float r17382 = r17380 + r17381;
        float r17383 = r17379 + r17371;
        float r17384 = r17371 + r17366;
        float r17385 = r17379 + r17384;
        float r17386 = r17383 * r17385;
        float r17387 = r17382 / r17386;
        float r17388 = r17364 ? r17377 : r17387;
        return r17388;
}

double f_od(double alpha, double beta) {
        double r17389 = beta;
        double r17390 = 2.0130633571779316e+196;
        bool r17391 = r17389 <= r17390;
        double r17392 = alpha;
        double r17393 = 1.0;
        double r17394 = r17392 + r17393;
        double r17395 = r17389 * r17392;
        double r17396 = r17389 + r17395;
        double r17397 = r17394 + r17396;
        double r17398 = 2.0;
        double r17399 = r17398 + r17389;
        double r17400 = r17392 + r17399;
        double r17401 = r17397 / r17400;
        double r17402 = r17394 + r17399;
        double r17403 = r17401 / r17402;
        double r17404 = r17403 / r17400;
        double r17405 = 0.25;
        double r17406 = r17392 + r17389;
        double r17407 = r17405 * r17406;
        double r17408 = 0.5;
        double r17409 = r17407 + r17408;
        double r17410 = r17406 + r17398;
        double r17411 = r17398 + r17393;
        double r17412 = r17406 + r17411;
        double r17413 = r17410 * r17412;
        double r17414 = r17409 / r17413;
        double r17415 = r17391 ? r17404 : r17414;
        return r17415;
}

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 r17416, r17417, r17418, r17419, r17420, r17421, r17422, r17423, r17424, r17425, r17426, r17427, r17428, r17429, r17430;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17416);
        mpfr_init(r17417);
        mpfr_init(r17418);
        mpfr_init(r17419);
        mpfr_init(r17420);
        mpfr_init_set_str(r17421, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17422);
        mpfr_init_set_str(r17423, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r17424, "1", 10, MPFR_RNDN);
        mpfr_init(r17425);
        mpfr_init(r17426);
        mpfr_init(r17427);
        mpfr_init(r17428);
        mpfr_init(r17429);
        mpfr_init(r17430);
}

double f_im(double alpha, double beta) {
        mpfr_set_d(r17416, alpha, MPFR_RNDN);
        mpfr_set_d(r17417, beta, MPFR_RNDN);
        mpfr_add(r17418, r17416, r17417, MPFR_RNDN);
        mpfr_mul(r17419, r17417, r17416, MPFR_RNDN);
        mpfr_add(r17420, r17418, r17419, MPFR_RNDN);
        ;
        mpfr_add(r17422, r17420, r17421, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r17425, r17423, r17424, MPFR_RNDN);
        mpfr_add(r17426, r17418, r17425, MPFR_RNDN);
        mpfr_div(r17427, r17422, r17426, MPFR_RNDN);
        mpfr_div(r17428, r17427, r17426, MPFR_RNDN);
        mpfr_add(r17429, r17426, r17421, MPFR_RNDN);
        mpfr_div(r17430, r17428, r17429, MPFR_RNDN);
        return mpfr_get_d(r17430, MPFR_RNDN);
}

static mpfr_t r17431, r17432, r17433, r17434, r17435, r17436, r17437, r17438, r17439, r17440, r17441, r17442, r17443, r17444, r17445, r17446, r17447, r17448, r17449, r17450, r17451, r17452, r17453, r17454, r17455, r17456, r17457;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17431);
        mpfr_init_set_str(r17432, "2.0130633571779316e+196", 10, MPFR_RNDN);
        mpfr_init(r17433);
        mpfr_init(r17434);
        mpfr_init_set_str(r17435, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17436);
        mpfr_init(r17437);
        mpfr_init(r17438);
        mpfr_init(r17439);
        mpfr_init_set_str(r17440, "2", 10, MPFR_RNDN);
        mpfr_init(r17441);
        mpfr_init(r17442);
        mpfr_init(r17443);
        mpfr_init(r17444);
        mpfr_init(r17445);
        mpfr_init(r17446);
        mpfr_init_set_str(r17447, "0.25", 10, MPFR_RNDN);
        mpfr_init(r17448);
        mpfr_init(r17449);
        mpfr_init_set_str(r17450, "0.5", 10, MPFR_RNDN);
        mpfr_init(r17451);
        mpfr_init(r17452);
        mpfr_init(r17453);
        mpfr_init(r17454);
        mpfr_init(r17455);
        mpfr_init(r17456);
        mpfr_init(r17457);
}

double f_fm(double alpha, double beta) {
        mpfr_set_d(r17431, beta, MPFR_RNDN);
        ;
        mpfr_set_si(r17433, mpfr_cmp(r17431, r17432) <= 0, MPFR_RNDN);
        mpfr_set_d(r17434, alpha, MPFR_RNDN);
        ;
        mpfr_add(r17436, r17434, r17435, MPFR_RNDN);
        mpfr_mul(r17437, r17431, r17434, MPFR_RNDN);
        mpfr_add(r17438, r17431, r17437, MPFR_RNDN);
        mpfr_add(r17439, r17436, r17438, MPFR_RNDN);
        ;
        mpfr_add(r17441, r17440, r17431, MPFR_RNDN);
        mpfr_add(r17442, r17434, r17441, MPFR_RNDN);
        mpfr_div(r17443, r17439, r17442, MPFR_RNDN);
        mpfr_add(r17444, r17436, r17441, MPFR_RNDN);
        mpfr_div(r17445, r17443, r17444, MPFR_RNDN);
        mpfr_div(r17446, r17445, r17442, MPFR_RNDN);
        ;
        mpfr_add(r17448, r17434, r17431, MPFR_RNDN);
        mpfr_mul(r17449, r17447, r17448, MPFR_RNDN);
        ;
        mpfr_add(r17451, r17449, r17450, MPFR_RNDN);
        mpfr_add(r17452, r17448, r17440, MPFR_RNDN);
        mpfr_add(r17453, r17440, r17435, MPFR_RNDN);
        mpfr_add(r17454, r17448, r17453, MPFR_RNDN);
        mpfr_mul(r17455, r17452, r17454, MPFR_RNDN);
        mpfr_div(r17456, r17451, r17455, MPFR_RNDN);
        if (mpfr_get_si(r17433, MPFR_RNDN)) { mpfr_set(r17457, r17446, MPFR_RNDN); } else { mpfr_set(r17457, r17456, MPFR_RNDN); };
        return mpfr_get_d(r17457, MPFR_RNDN);
}

static mpfr_t r17458, r17459, r17460, r17461, r17462, r17463, r17464, r17465, r17466, r17467, r17468, r17469, r17470, r17471, r17472, r17473, r17474, r17475, r17476, r17477, r17478, r17479, r17480, r17481, r17482, r17483, r17484;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17458);
        mpfr_init_set_str(r17459, "2.0130633571779316e+196", 10, MPFR_RNDN);
        mpfr_init(r17460);
        mpfr_init(r17461);
        mpfr_init_set_str(r17462, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17463);
        mpfr_init(r17464);
        mpfr_init(r17465);
        mpfr_init(r17466);
        mpfr_init_set_str(r17467, "2", 10, MPFR_RNDN);
        mpfr_init(r17468);
        mpfr_init(r17469);
        mpfr_init(r17470);
        mpfr_init(r17471);
        mpfr_init(r17472);
        mpfr_init(r17473);
        mpfr_init_set_str(r17474, "0.25", 10, MPFR_RNDN);
        mpfr_init(r17475);
        mpfr_init(r17476);
        mpfr_init_set_str(r17477, "0.5", 10, MPFR_RNDN);
        mpfr_init(r17478);
        mpfr_init(r17479);
        mpfr_init(r17480);
        mpfr_init(r17481);
        mpfr_init(r17482);
        mpfr_init(r17483);
        mpfr_init(r17484);
}

double f_dm(double alpha, double beta) {
        mpfr_set_d(r17458, beta, MPFR_RNDN);
        ;
        mpfr_set_si(r17460, mpfr_cmp(r17458, r17459) <= 0, MPFR_RNDN);
        mpfr_set_d(r17461, alpha, MPFR_RNDN);
        ;
        mpfr_add(r17463, r17461, r17462, MPFR_RNDN);
        mpfr_mul(r17464, r17458, r17461, MPFR_RNDN);
        mpfr_add(r17465, r17458, r17464, MPFR_RNDN);
        mpfr_add(r17466, r17463, r17465, MPFR_RNDN);
        ;
        mpfr_add(r17468, r17467, r17458, MPFR_RNDN);
        mpfr_add(r17469, r17461, r17468, MPFR_RNDN);
        mpfr_div(r17470, r17466, r17469, MPFR_RNDN);
        mpfr_add(r17471, r17463, r17468, MPFR_RNDN);
        mpfr_div(r17472, r17470, r17471, MPFR_RNDN);
        mpfr_div(r17473, r17472, r17469, MPFR_RNDN);
        ;
        mpfr_add(r17475, r17461, r17458, MPFR_RNDN);
        mpfr_mul(r17476, r17474, r17475, MPFR_RNDN);
        ;
        mpfr_add(r17478, r17476, r17477, MPFR_RNDN);
        mpfr_add(r17479, r17475, r17467, MPFR_RNDN);
        mpfr_add(r17480, r17467, r17462, MPFR_RNDN);
        mpfr_add(r17481, r17475, r17480, MPFR_RNDN);
        mpfr_mul(r17482, r17479, r17481, MPFR_RNDN);
        mpfr_div(r17483, r17478, r17482, MPFR_RNDN);
        if (mpfr_get_si(r17460, MPFR_RNDN)) { mpfr_set(r17484, r17473, MPFR_RNDN); } else { mpfr_set(r17484, r17483, MPFR_RNDN); };
        return mpfr_get_d(r17484, MPFR_RNDN);
}

