#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 r17345 = beta;
        float r17346 = alpha;
        float r17347 = r17345 - r17346;
        float r17348 = r17346 + r17345;
        float r17349 = 2.0f;
        float r17350 = r17348 + r17349;
        float r17351 = r17347 / r17350;
        float r17352 = 1.0f;
        float r17353 = r17351 + r17352;
        float r17354 = r17353 / r17349;
        return r17354;
}

double f_id(double alpha, double beta) {
        double r17355 = beta;
        double r17356 = alpha;
        double r17357 = r17355 - r17356;
        double r17358 = r17356 + r17355;
        double r17359 = 2.0;
        double r17360 = r17358 + r17359;
        double r17361 = r17357 / r17360;
        double r17362 = 1.0;
        double r17363 = r17361 + r17362;
        double r17364 = r17363 / r17359;
        return r17364;
}


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

double f_od(double alpha, double beta) {
        double r17396 = beta;
        double r17397 = alpha;
        double r17398 = r17396 - r17397;
        double r17399 = r17397 + r17396;
        double r17400 = 2.0;
        double r17401 = r17399 + r17400;
        double r17402 = r17398 / r17401;
        double r17403 = -0.9960165023803711;
        bool r17404 = r17402 <= r17403;
        double r17405 = 8.0;
        double r17406 = r17405 / r17397;
        double r17407 = r17406 / r17397;
        double r17408 = r17400 + r17407;
        double r17409 = r17400 * r17397;
        double r17410 = r17408 / r17409;
        double r17411 = r17396 / r17400;
        double r17412 = r17400 + r17396;
        double r17413 = r17397 + r17412;
        double r17414 = r17411 / r17413;
        double r17415 = 4.0;
        double r17416 = r17397 * r17397;
        double r17417 = r17415 / r17416;
        double r17418 = r17417 / r17400;
        double r17419 = r17414 - r17418;
        double r17420 = r17410 + r17419;
        double r17421 = 1.0;
        double r17422 = r17402 + r17421;
        double r17423 = log(r17422);
        double r17424 = exp(r17423);
        double r17425 = r17424 / r17400;
        double r17426 = r17404 ? r17420 : r17425;
        return r17426;
}

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 r17427, r17428, r17429, r17430, r17431, r17432, r17433, r17434, r17435, r17436;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17427);
        mpfr_init(r17428);
        mpfr_init(r17429);
        mpfr_init(r17430);
        mpfr_init_set_str(r17431, "2.0", 10, MPFR_RNDN);
        mpfr_init(r17432);
        mpfr_init(r17433);
        mpfr_init_set_str(r17434, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17435);
        mpfr_init(r17436);
}

double f_im(double alpha, double beta) {
        mpfr_set_d(r17427, beta, MPFR_RNDN);
        mpfr_set_d(r17428, alpha, MPFR_RNDN);
        mpfr_sub(r17429, r17427, r17428, MPFR_RNDN);
        mpfr_add(r17430, r17428, r17427, MPFR_RNDN);
        ;
        mpfr_add(r17432, r17430, r17431, MPFR_RNDN);
        mpfr_div(r17433, r17429, r17432, MPFR_RNDN);
        ;
        mpfr_add(r17435, r17433, r17434, MPFR_RNDN);
        mpfr_div(r17436, r17435, r17431, MPFR_RNDN);
        return mpfr_get_d(r17436, MPFR_RNDN);
}

static mpfr_t r17437, r17438, r17439, r17440, 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;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17437);
        mpfr_init(r17438);
        mpfr_init(r17439);
        mpfr_init(r17440);
        mpfr_init_set_str(r17441, "2.0", 10, MPFR_RNDN);
        mpfr_init(r17442);
        mpfr_init(r17443);
        mpfr_init_set_str(r17444, "-0.9960165f0", 10, MPFR_RNDN);
        mpfr_init(r17445);
        mpfr_init_set_str(r17446, "8.0", 10, MPFR_RNDN);
        mpfr_init(r17447);
        mpfr_init(r17448);
        mpfr_init(r17449);
        mpfr_init(r17450);
        mpfr_init(r17451);
        mpfr_init(r17452);
        mpfr_init(r17453);
        mpfr_init(r17454);
        mpfr_init(r17455);
        mpfr_init_set_str(r17456, "4.0", 10, MPFR_RNDN);
        mpfr_init(r17457);
        mpfr_init(r17458);
        mpfr_init(r17459);
        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(r17467);
}

double f_fm(double alpha, double beta) {
        mpfr_set_d(r17437, beta, MPFR_RNDN);
        mpfr_set_d(r17438, alpha, MPFR_RNDN);
        mpfr_sub(r17439, r17437, r17438, MPFR_RNDN);
        mpfr_add(r17440, r17438, r17437, MPFR_RNDN);
        ;
        mpfr_add(r17442, r17440, r17441, MPFR_RNDN);
        mpfr_div(r17443, r17439, r17442, MPFR_RNDN);
        ;
        mpfr_set_si(r17445, mpfr_cmp(r17443, r17444) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r17447, r17446, r17438, MPFR_RNDN);
        mpfr_div(r17448, r17447, r17438, MPFR_RNDN);
        mpfr_add(r17449, r17441, r17448, MPFR_RNDN);
        mpfr_mul(r17450, r17441, r17438, MPFR_RNDN);
        mpfr_div(r17451, r17449, r17450, MPFR_RNDN);
        mpfr_div(r17452, r17437, r17441, MPFR_RNDN);
        mpfr_add(r17453, r17441, r17437, MPFR_RNDN);
        mpfr_add(r17454, r17438, r17453, MPFR_RNDN);
        mpfr_div(r17455, r17452, r17454, MPFR_RNDN);
        ;
        mpfr_mul(r17457, r17438, r17438, MPFR_RNDN);
        mpfr_div(r17458, r17456, r17457, MPFR_RNDN);
        mpfr_div(r17459, r17458, r17441, MPFR_RNDN);
        mpfr_sub(r17460, r17455, r17459, MPFR_RNDN);
        mpfr_add(r17461, r17451, r17460, MPFR_RNDN);
        ;
        mpfr_add(r17463, r17443, r17462, MPFR_RNDN);
        mpfr_log(r17464, r17463, MPFR_RNDN);
        mpfr_exp(r17465, r17464, MPFR_RNDN);
        mpfr_div(r17466, r17465, r17441, MPFR_RNDN);
        if (mpfr_get_si(r17445, MPFR_RNDN)) { mpfr_set(r17467, r17461, MPFR_RNDN); } else { mpfr_set(r17467, r17466, MPFR_RNDN); };
        return mpfr_get_d(r17467, MPFR_RNDN);
}

static mpfr_t r17468, r17469, r17470, r17471, r17472, r17473, r17474, r17475, r17476, r17477, r17478, r17479, r17480, r17481, r17482, r17483, r17484, r17485, r17486, r17487, r17488, r17489, r17490, r17491, r17492, r17493, r17494, r17495, r17496, r17497, r17498;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17468);
        mpfr_init(r17469);
        mpfr_init(r17470);
        mpfr_init(r17471);
        mpfr_init_set_str(r17472, "2.0", 10, MPFR_RNDN);
        mpfr_init(r17473);
        mpfr_init(r17474);
        mpfr_init_set_str(r17475, "-0.9960165f0", 10, MPFR_RNDN);
        mpfr_init(r17476);
        mpfr_init_set_str(r17477, "8.0", 10, MPFR_RNDN);
        mpfr_init(r17478);
        mpfr_init(r17479);
        mpfr_init(r17480);
        mpfr_init(r17481);
        mpfr_init(r17482);
        mpfr_init(r17483);
        mpfr_init(r17484);
        mpfr_init(r17485);
        mpfr_init(r17486);
        mpfr_init_set_str(r17487, "4.0", 10, MPFR_RNDN);
        mpfr_init(r17488);
        mpfr_init(r17489);
        mpfr_init(r17490);
        mpfr_init(r17491);
        mpfr_init(r17492);
        mpfr_init_set_str(r17493, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17494);
        mpfr_init(r17495);
        mpfr_init(r17496);
        mpfr_init(r17497);
        mpfr_init(r17498);
}

double f_dm(double alpha, double beta) {
        mpfr_set_d(r17468, beta, MPFR_RNDN);
        mpfr_set_d(r17469, alpha, MPFR_RNDN);
        mpfr_sub(r17470, r17468, r17469, MPFR_RNDN);
        mpfr_add(r17471, r17469, r17468, MPFR_RNDN);
        ;
        mpfr_add(r17473, r17471, r17472, MPFR_RNDN);
        mpfr_div(r17474, r17470, r17473, MPFR_RNDN);
        ;
        mpfr_set_si(r17476, mpfr_cmp(r17474, r17475) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r17478, r17477, r17469, MPFR_RNDN);
        mpfr_div(r17479, r17478, r17469, MPFR_RNDN);
        mpfr_add(r17480, r17472, r17479, MPFR_RNDN);
        mpfr_mul(r17481, r17472, r17469, MPFR_RNDN);
        mpfr_div(r17482, r17480, r17481, MPFR_RNDN);
        mpfr_div(r17483, r17468, r17472, MPFR_RNDN);
        mpfr_add(r17484, r17472, r17468, MPFR_RNDN);
        mpfr_add(r17485, r17469, r17484, MPFR_RNDN);
        mpfr_div(r17486, r17483, r17485, MPFR_RNDN);
        ;
        mpfr_mul(r17488, r17469, r17469, MPFR_RNDN);
        mpfr_div(r17489, r17487, r17488, MPFR_RNDN);
        mpfr_div(r17490, r17489, r17472, MPFR_RNDN);
        mpfr_sub(r17491, r17486, r17490, MPFR_RNDN);
        mpfr_add(r17492, r17482, r17491, MPFR_RNDN);
        ;
        mpfr_add(r17494, r17474, r17493, MPFR_RNDN);
        mpfr_log(r17495, r17494, MPFR_RNDN);
        mpfr_exp(r17496, r17495, MPFR_RNDN);
        mpfr_div(r17497, r17496, r17472, MPFR_RNDN);
        if (mpfr_get_si(r17476, MPFR_RNDN)) { mpfr_set(r17498, r17492, MPFR_RNDN); } else { mpfr_set(r17498, r17497, MPFR_RNDN); };
        return mpfr_get_d(r17498, MPFR_RNDN);
}