#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 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 = 1.0f;
        float r17337 = r17335 + r17336;
        float r17338 = r17337 / r17333;
        return r17338;
}

double f_id(double alpha, double beta) {
        double r17339 = beta;
        double r17340 = alpha;
        double r17341 = r17339 - r17340;
        double r17342 = r17340 + r17339;
        double r17343 = 2.0;
        double r17344 = r17342 + r17343;
        double r17345 = r17341 / r17344;
        double r17346 = 1.0;
        double r17347 = r17345 + r17346;
        double r17348 = r17347 / r17343;
        return r17348;
}


double f_of(float alpha, float beta) {
        float r17349 = beta;
        float r17350 = alpha;
        float r17351 = r17349 - r17350;
        float r17352 = r17350 + r17349;
        float r17353 = 2.0f;
        float r17354 = r17352 + r17353;
        float r17355 = r17351 / r17354;
        float r17356 = -0.9872362017631531f;
        bool r17357 = r17355 <= r17356;
        float r17358 = 8.0f;
        float r17359 = r17358 / r17350;
        float r17360 = r17359 / r17350;
        float r17361 = r17353 + r17360;
        float r17362 = r17353 * r17350;
        float r17363 = r17361 / r17362;
        float r17364 = r17349 / r17353;
        float r17365 = r17353 + r17349;
        float r17366 = r17350 + r17365;
        float r17367 = r17364 / r17366;
        float r17368 = 4.0f;
        float r17369 = r17350 * r17350;
        float r17370 = r17368 / r17369;
        float r17371 = r17370 / r17353;
        float r17372 = r17367 - r17371;
        float r17373 = r17363 + r17372;
        float r17374 = r17349 / r17354;
        float r17375 = r17350 / r17354;
        float r17376 = cbrt(r17375);
        float r17377 = r17376 * (r17376 * r17376);
        float r17378 = 1.0f;
        float r17379 = r17377 - r17378;
        float r17380 = r17374 - r17379;
        float r17381 = r17380 / r17353;
        float r17382 = r17357 ? r17373 : r17381;
        return r17382;
}

double f_od(double alpha, double beta) {
        double r17383 = beta;
        double r17384 = alpha;
        double r17385 = r17383 - r17384;
        double r17386 = r17384 + r17383;
        double r17387 = 2.0;
        double r17388 = r17386 + r17387;
        double r17389 = r17385 / r17388;
        double r17390 = -0.9872362017631531;
        bool r17391 = r17389 <= r17390;
        double r17392 = 8.0;
        double r17393 = r17392 / r17384;
        double r17394 = r17393 / r17384;
        double r17395 = r17387 + r17394;
        double r17396 = r17387 * r17384;
        double r17397 = r17395 / r17396;
        double r17398 = r17383 / r17387;
        double r17399 = r17387 + r17383;
        double r17400 = r17384 + r17399;
        double r17401 = r17398 / r17400;
        double r17402 = 4.0;
        double r17403 = r17384 * r17384;
        double r17404 = r17402 / r17403;
        double r17405 = r17404 / r17387;
        double r17406 = r17401 - r17405;
        double r17407 = r17397 + r17406;
        double r17408 = r17383 / r17388;
        double r17409 = r17384 / r17388;
        double r17410 = cbrt(r17409);
        double r17411 = r17410 * (r17410 * r17410);
        double r17412 = 1.0;
        double r17413 = r17411 - r17412;
        double r17414 = r17408 - r17413;
        double r17415 = r17414 / r17387;
        double r17416 = r17391 ? r17407 : r17415;
        return r17416;
}

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

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17417);
        mpfr_init(r17418);
        mpfr_init(r17419);
        mpfr_init(r17420);
        mpfr_init_set_str(r17421, "2.0", 10, MPFR_RNDN);
        mpfr_init(r17422);
        mpfr_init(r17423);
        mpfr_init_set_str(r17424, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17425);
        mpfr_init(r17426);
}

double f_im(double alpha, double beta) {
        mpfr_set_d(r17417, beta, MPFR_RNDN);
        mpfr_set_d(r17418, alpha, MPFR_RNDN);
        mpfr_sub(r17419, r17417, r17418, MPFR_RNDN);
        mpfr_add(r17420, r17418, r17417, MPFR_RNDN);
        ;
        mpfr_add(r17422, r17420, r17421, MPFR_RNDN);
        mpfr_div(r17423, r17419, r17422, MPFR_RNDN);
        ;
        mpfr_add(r17425, r17423, r17424, MPFR_RNDN);
        mpfr_div(r17426, r17425, r17421, MPFR_RNDN);
        return mpfr_get_d(r17426, MPFR_RNDN);
}

static mpfr_t r17427, r17428, r17429, 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_fm() {
        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, "-0.9872362f0", 10, MPFR_RNDN);
        mpfr_init(r17435);
        mpfr_init_set_str(r17436, "8.0", 10, MPFR_RNDN);
        mpfr_init(r17437);
        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_set_str(r17446, "4.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, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17457);
        mpfr_init(r17458);
        mpfr_init(r17459);
        mpfr_init(r17460);
}

double f_fm(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_set_si(r17435, mpfr_cmp(r17433, r17434) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r17437, r17436, r17428, MPFR_RNDN);
        mpfr_div(r17438, r17437, r17428, MPFR_RNDN);
        mpfr_add(r17439, r17431, r17438, MPFR_RNDN);
        mpfr_mul(r17440, r17431, r17428, MPFR_RNDN);
        mpfr_div(r17441, r17439, r17440, MPFR_RNDN);
        mpfr_div(r17442, r17427, r17431, MPFR_RNDN);
        mpfr_add(r17443, r17431, r17427, MPFR_RNDN);
        mpfr_add(r17444, r17428, r17443, MPFR_RNDN);
        mpfr_div(r17445, r17442, r17444, MPFR_RNDN);
        ;
        mpfr_mul(r17447, r17428, r17428, MPFR_RNDN);
        mpfr_div(r17448, r17446, r17447, MPFR_RNDN);
        mpfr_div(r17449, r17448, r17431, MPFR_RNDN);
        mpfr_sub(r17450, r17445, r17449, MPFR_RNDN);
        mpfr_add(r17451, r17441, r17450, MPFR_RNDN);
        mpfr_div(r17452, r17427, r17432, MPFR_RNDN);
        mpfr_div(r17453, r17428, r17432, MPFR_RNDN);
        mpfr_cbrt(r17454, r17453, MPFR_RNDN);
        mpfr_mul(r17455, r17454, r17454, MPFR_RNDN); mpfr_mul(r17455, r17455, r17454, MPFR_RNDN);
        ;
        mpfr_sub(r17457, r17455, r17456, MPFR_RNDN);
        mpfr_sub(r17458, r17452, r17457, MPFR_RNDN);
        mpfr_div(r17459, r17458, r17431, MPFR_RNDN);
        if (mpfr_get_si(r17435, MPFR_RNDN)) { mpfr_set(r17460, r17451, MPFR_RNDN); } else { mpfr_set(r17460, r17459, MPFR_RNDN); };
        return mpfr_get_d(r17460, MPFR_RNDN);
}

static mpfr_t r17461, r17462, r17463, r17464, r17465, r17466, r17467, 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;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17461);
        mpfr_init(r17462);
        mpfr_init(r17463);
        mpfr_init(r17464);
        mpfr_init_set_str(r17465, "2.0", 10, MPFR_RNDN);
        mpfr_init(r17466);
        mpfr_init(r17467);
        mpfr_init_set_str(r17468, "-0.9872362f0", 10, MPFR_RNDN);
        mpfr_init(r17469);
        mpfr_init_set_str(r17470, "8.0", 10, MPFR_RNDN);
        mpfr_init(r17471);
        mpfr_init(r17472);
        mpfr_init(r17473);
        mpfr_init(r17474);
        mpfr_init(r17475);
        mpfr_init(r17476);
        mpfr_init(r17477);
        mpfr_init(r17478);
        mpfr_init(r17479);
        mpfr_init_set_str(r17480, "4.0", 10, MPFR_RNDN);
        mpfr_init(r17481);
        mpfr_init(r17482);
        mpfr_init(r17483);
        mpfr_init(r17484);
        mpfr_init(r17485);
        mpfr_init(r17486);
        mpfr_init(r17487);
        mpfr_init(r17488);
        mpfr_init(r17489);
        mpfr_init_set_str(r17490, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17491);
        mpfr_init(r17492);
        mpfr_init(r17493);
        mpfr_init(r17494);
}

double f_dm(double alpha, double beta) {
        mpfr_set_d(r17461, beta, MPFR_RNDN);
        mpfr_set_d(r17462, alpha, MPFR_RNDN);
        mpfr_sub(r17463, r17461, r17462, MPFR_RNDN);
        mpfr_add(r17464, r17462, r17461, MPFR_RNDN);
        ;
        mpfr_add(r17466, r17464, r17465, MPFR_RNDN);
        mpfr_div(r17467, r17463, r17466, MPFR_RNDN);
        ;
        mpfr_set_si(r17469, mpfr_cmp(r17467, r17468) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r17471, r17470, r17462, MPFR_RNDN);
        mpfr_div(r17472, r17471, r17462, MPFR_RNDN);
        mpfr_add(r17473, r17465, r17472, MPFR_RNDN);
        mpfr_mul(r17474, r17465, r17462, MPFR_RNDN);
        mpfr_div(r17475, r17473, r17474, MPFR_RNDN);
        mpfr_div(r17476, r17461, r17465, MPFR_RNDN);
        mpfr_add(r17477, r17465, r17461, MPFR_RNDN);
        mpfr_add(r17478, r17462, r17477, MPFR_RNDN);
        mpfr_div(r17479, r17476, r17478, MPFR_RNDN);
        ;
        mpfr_mul(r17481, r17462, r17462, MPFR_RNDN);
        mpfr_div(r17482, r17480, r17481, MPFR_RNDN);
        mpfr_div(r17483, r17482, r17465, MPFR_RNDN);
        mpfr_sub(r17484, r17479, r17483, MPFR_RNDN);
        mpfr_add(r17485, r17475, r17484, MPFR_RNDN);
        mpfr_div(r17486, r17461, r17466, MPFR_RNDN);
        mpfr_div(r17487, r17462, r17466, MPFR_RNDN);
        mpfr_cbrt(r17488, r17487, MPFR_RNDN);
        mpfr_mul(r17489, r17488, r17488, MPFR_RNDN); mpfr_mul(r17489, r17489, r17488, MPFR_RNDN);
        ;
        mpfr_sub(r17491, r17489, r17490, MPFR_RNDN);
        mpfr_sub(r17492, r17486, r17491, MPFR_RNDN);
        mpfr_div(r17493, r17492, r17465, MPFR_RNDN);
        if (mpfr_get_si(r17469, MPFR_RNDN)) { mpfr_set(r17494, r17485, MPFR_RNDN); } else { mpfr_set(r17494, r17493, MPFR_RNDN); };
        return mpfr_get_d(r17494, MPFR_RNDN);
}