#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 r17292 = alpha;
        float r17293 = beta;
        float r17294 = r17292 + r17293;
        float r17295 = r17293 * r17292;
        float r17296 = r17294 + r17295;
        float r17297 = 1.0f;
        float r17298 = r17296 + r17297;
        float r17299 = 2.0f;
        float r17300 = 1.0f;
        float r17301 = r17299 * r17300;
        float r17302 = r17294 + r17301;
        float r17303 = r17298 / r17302;
        float r17304 = r17303 / r17302;
        float r17305 = r17302 + r17297;
        float r17306 = r17304 / r17305;
        return r17306;
}

double f_id(double alpha, double beta) {
        double r17307 = alpha;
        double r17308 = beta;
        double r17309 = r17307 + r17308;
        double r17310 = r17308 * r17307;
        double r17311 = r17309 + r17310;
        double r17312 = 1.0;
        double r17313 = r17311 + r17312;
        double r17314 = 2.0;
        double r17315 = 1.0;
        double r17316 = r17314 * r17315;
        double r17317 = r17309 + r17316;
        double r17318 = r17313 / r17317;
        double r17319 = r17318 / r17317;
        double r17320 = r17317 + r17312;
        double r17321 = r17319 / r17320;
        return r17321;
}


double f_of(float alpha, float beta) {
        float r17322 = beta;
        float r17323 = 4.43948670571745e+164f;
        bool r17324 = r17322 <= r17323;
        float r17325 = 1.0f;
        float r17326 = 1.0f;
        float r17327 = r17322 + r17326;
        float r17328 = alpha;
        float r17329 = 2.0f;
        float r17330 = r17328 + r17329;
        float r17331 = r17327 + r17330;
        float r17332 = r17325 / r17331;
        float r17333 = r17328 + r17326;
        float r17334 = r17322 * r17328;
        float r17335 = r17322 + r17334;
        float r17336 = r17333 + r17335;
        float r17337 = r17329 + r17322;
        float r17338 = r17328 + r17337;
        float r17339 = r17336 / r17338;
        float r17340 = r17339 / r17338;
        float r17341 = r17332 * r17340;
        float r17342 = 0.25f;
        float r17343 = r17328 + r17322;
        float r17344 = r17342 * r17343;
        float r17345 = 0.5f;
        float r17346 = r17344 + r17345;
        float r17347 = r17343 + r17329;
        float r17348 = r17329 + r17326;
        float r17349 = r17343 + r17348;
        float r17350 = r17347 * r17349;
        float r17351 = r17346 / r17350;
        float r17352 = r17324 ? r17341 : r17351;
        return r17352;
}

double f_od(double alpha, double beta) {
        double r17353 = beta;
        double r17354 = 4.43948670571745e+164;
        bool r17355 = r17353 <= r17354;
        double r17356 = 1.0;
        double r17357 = 1.0;
        double r17358 = r17353 + r17357;
        double r17359 = alpha;
        double r17360 = 2.0;
        double r17361 = r17359 + r17360;
        double r17362 = r17358 + r17361;
        double r17363 = r17356 / r17362;
        double r17364 = r17359 + r17357;
        double r17365 = r17353 * r17359;
        double r17366 = r17353 + r17365;
        double r17367 = r17364 + r17366;
        double r17368 = r17360 + r17353;
        double r17369 = r17359 + r17368;
        double r17370 = r17367 / r17369;
        double r17371 = r17370 / r17369;
        double r17372 = r17363 * r17371;
        double r17373 = 0.25;
        double r17374 = r17359 + r17353;
        double r17375 = r17373 * r17374;
        double r17376 = 0.5;
        double r17377 = r17375 + r17376;
        double r17378 = r17374 + r17360;
        double r17379 = r17360 + r17357;
        double r17380 = r17374 + r17379;
        double r17381 = r17378 * r17380;
        double r17382 = r17377 / r17381;
        double r17383 = r17355 ? r17372 : r17382;
        return r17383;
}

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 r17384, r17385, r17386, r17387, r17388, r17389, r17390, r17391, r17392, r17393, r17394, r17395, r17396, r17397, r17398;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17384);
        mpfr_init(r17385);
        mpfr_init(r17386);
        mpfr_init(r17387);
        mpfr_init(r17388);
        mpfr_init_set_str(r17389, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17390);
        mpfr_init_set_str(r17391, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r17392, "1", 10, MPFR_RNDN);
        mpfr_init(r17393);
        mpfr_init(r17394);
        mpfr_init(r17395);
        mpfr_init(r17396);
        mpfr_init(r17397);
        mpfr_init(r17398);
}

double f_im(double alpha, double beta) {
        mpfr_set_d(r17384, alpha, MPFR_RNDN);
        mpfr_set_d(r17385, beta, MPFR_RNDN);
        mpfr_add(r17386, r17384, r17385, MPFR_RNDN);
        mpfr_mul(r17387, r17385, r17384, MPFR_RNDN);
        mpfr_add(r17388, r17386, r17387, MPFR_RNDN);
        ;
        mpfr_add(r17390, r17388, r17389, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r17393, r17391, r17392, MPFR_RNDN);
        mpfr_add(r17394, r17386, r17393, MPFR_RNDN);
        mpfr_div(r17395, r17390, r17394, MPFR_RNDN);
        mpfr_div(r17396, r17395, r17394, MPFR_RNDN);
        mpfr_add(r17397, r17394, r17389, MPFR_RNDN);
        mpfr_div(r17398, r17396, r17397, MPFR_RNDN);
        return mpfr_get_d(r17398, MPFR_RNDN);
}

static mpfr_t r17399, r17400, r17401, r17402, r17403, r17404, r17405, r17406, r17407, r17408, r17409, r17410, r17411, r17412, r17413, r17414, r17415, r17416, r17417, r17418, r17419, r17420, r17421, r17422, r17423, r17424, r17425, r17426, r17427, r17428, r17429;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17399);
        mpfr_init_set_str(r17400, "4.43948670571745e+164", 10, MPFR_RNDN);
        mpfr_init(r17401);
        mpfr_init_set_str(r17402, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r17403, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17404);
        mpfr_init(r17405);
        mpfr_init_set_str(r17406, "2", 10, MPFR_RNDN);
        mpfr_init(r17407);
        mpfr_init(r17408);
        mpfr_init(r17409);
        mpfr_init(r17410);
        mpfr_init(r17411);
        mpfr_init(r17412);
        mpfr_init(r17413);
        mpfr_init(r17414);
        mpfr_init(r17415);
        mpfr_init(r17416);
        mpfr_init(r17417);
        mpfr_init(r17418);
        mpfr_init_set_str(r17419, "0.25", 10, MPFR_RNDN);
        mpfr_init(r17420);
        mpfr_init(r17421);
        mpfr_init_set_str(r17422, "0.5", 10, MPFR_RNDN);
        mpfr_init(r17423);
        mpfr_init(r17424);
        mpfr_init(r17425);
        mpfr_init(r17426);
        mpfr_init(r17427);
        mpfr_init(r17428);
        mpfr_init(r17429);
}

double f_fm(double alpha, double beta) {
        mpfr_set_d(r17399, beta, MPFR_RNDN);
        ;
        mpfr_set_si(r17401, mpfr_cmp(r17399, r17400) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_add(r17404, r17399, r17403, MPFR_RNDN);
        mpfr_set_d(r17405, alpha, MPFR_RNDN);
        ;
        mpfr_add(r17407, r17405, r17406, MPFR_RNDN);
        mpfr_add(r17408, r17404, r17407, MPFR_RNDN);
        mpfr_div(r17409, r17402, r17408, MPFR_RNDN);
        mpfr_add(r17410, r17405, r17403, MPFR_RNDN);
        mpfr_mul(r17411, r17399, r17405, MPFR_RNDN);
        mpfr_add(r17412, r17399, r17411, MPFR_RNDN);
        mpfr_add(r17413, r17410, r17412, MPFR_RNDN);
        mpfr_add(r17414, r17406, r17399, MPFR_RNDN);
        mpfr_add(r17415, r17405, r17414, MPFR_RNDN);
        mpfr_div(r17416, r17413, r17415, MPFR_RNDN);
        mpfr_div(r17417, r17416, r17415, MPFR_RNDN);
        mpfr_mul(r17418, r17409, r17417, MPFR_RNDN);
        ;
        mpfr_add(r17420, r17405, r17399, MPFR_RNDN);
        mpfr_mul(r17421, r17419, r17420, MPFR_RNDN);
        ;
        mpfr_add(r17423, r17421, r17422, MPFR_RNDN);
        mpfr_add(r17424, r17420, r17406, MPFR_RNDN);
        mpfr_add(r17425, r17406, r17403, MPFR_RNDN);
        mpfr_add(r17426, r17420, r17425, MPFR_RNDN);
        mpfr_mul(r17427, r17424, r17426, MPFR_RNDN);
        mpfr_div(r17428, r17423, r17427, MPFR_RNDN);
        if (mpfr_get_si(r17401, MPFR_RNDN)) { mpfr_set(r17429, r17418, MPFR_RNDN); } else { mpfr_set(r17429, r17428, MPFR_RNDN); };
        return mpfr_get_d(r17429, MPFR_RNDN);
}

static mpfr_t r17430, 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, r17458, r17459, r17460;

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

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

