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

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

double f_if(float alpha, float beta, float i) {
        float r23353 = i;
        float r23354 = alpha;
        float r23355 = beta;
        float r23356 = r23354 + r23355;
        float r23357 = r23356 + r23353;
        float r23358 = r23353 * r23357;
        float r23359 = r23355 * r23354;
        float r23360 = r23359 + r23358;
        float r23361 = r23358 * r23360;
        float r23362 = 2;
        float r23363 = r23362 * r23353;
        float r23364 = r23356 + r23363;
        float r23365 = r23364 * r23364;
        float r23366 = r23361 / r23365;
        float r23367 = 1.0;
        float r23368 = r23365 - r23367;
        float r23369 = r23366 / r23368;
        return r23369;
}

double f_id(double alpha, double beta, double i) {
        double r23370 = i;
        double r23371 = alpha;
        double r23372 = beta;
        double r23373 = r23371 + r23372;
        double r23374 = r23373 + r23370;
        double r23375 = r23370 * r23374;
        double r23376 = r23372 * r23371;
        double r23377 = r23376 + r23375;
        double r23378 = r23375 * r23377;
        double r23379 = 2;
        double r23380 = r23379 * r23370;
        double r23381 = r23373 + r23380;
        double r23382 = r23381 * r23381;
        double r23383 = r23378 / r23382;
        double r23384 = 1.0;
        double r23385 = r23382 - r23384;
        double r23386 = r23383 / r23385;
        return r23386;
}


double f_of(float alpha, float beta, float i) {
        float r23387 = alpha;
        float r23388 = 1.1977156663241093e+150;
        bool r23389 = r23387 <= r23388;
        float r23390 = i;
        float r23391 = r23387 + r23390;
        float r23392 = beta;
        float r23393 = r23391 + r23392;
        float r23394 = r23392 * r23387;
        float r23395 = fma(r23393, r23390, r23394);
        float r23396 = sqrt(r23395);
        float r23397 = 2;
        float r23398 = fma(r23390, r23397, r23387);
        float r23399 = r23398 + r23392;
        float r23400 = 1.0;
        float r23401 = -r23400;
        float r23402 = fma(r23399, r23399, r23401);
        float r23403 = sqrt(r23402);
        float r23404 = r23396 / r23403;
        float r23405 = r23404 * r23404;
        float r23406 = r23393 / r23399;
        float r23407 = r23390 / r23399;
        float r23408 = r23406 * r23407;
        float r23409 = r23405 * r23408;
        float r23410 = 0;
        float r23411 = r23389 ? r23409 : r23410;
        return r23411;
}

double f_od(double alpha, double beta, double i) {
        double r23412 = alpha;
        double r23413 = 1.1977156663241093e+150;
        bool r23414 = r23412 <= r23413;
        double r23415 = i;
        double r23416 = r23412 + r23415;
        double r23417 = beta;
        double r23418 = r23416 + r23417;
        double r23419 = r23417 * r23412;
        double r23420 = fma(r23418, r23415, r23419);
        double r23421 = sqrt(r23420);
        double r23422 = 2;
        double r23423 = fma(r23415, r23422, r23412);
        double r23424 = r23423 + r23417;
        double r23425 = 1.0;
        double r23426 = -r23425;
        double r23427 = fma(r23424, r23424, r23426);
        double r23428 = sqrt(r23427);
        double r23429 = r23421 / r23428;
        double r23430 = r23429 * r23429;
        double r23431 = r23418 / r23424;
        double r23432 = r23415 / r23424;
        double r23433 = r23431 * r23432;
        double r23434 = r23430 * r23433;
        double r23435 = 0;
        double r23436 = r23414 ? r23434 : r23435;
        return r23436;
}

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 r23437, r23438, r23439, r23440, r23441, r23442, r23443, r23444, r23445, r23446, r23447, r23448, r23449, r23450, r23451, r23452, r23453;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r23437);
        mpfr_init(r23438);
        mpfr_init(r23439);
        mpfr_init(r23440);
        mpfr_init(r23441);
        mpfr_init(r23442);
        mpfr_init(r23443);
        mpfr_init(r23444);
        mpfr_init(r23445);
        mpfr_init_set_str(r23446, "2", 10, MPFR_RNDN);
        mpfr_init(r23447);
        mpfr_init(r23448);
        mpfr_init(r23449);
        mpfr_init(r23450);
        mpfr_init_set_str(r23451, "1.0", 10, MPFR_RNDN);
        mpfr_init(r23452);
        mpfr_init(r23453);
}

double f_im(double alpha, double beta, double i) {
        mpfr_set_d(r23437, i, MPFR_RNDN);
        mpfr_set_d(r23438, alpha, MPFR_RNDN);
        mpfr_set_d(r23439, beta, MPFR_RNDN);
        mpfr_add(r23440, r23438, r23439, MPFR_RNDN);
        mpfr_add(r23441, r23440, r23437, MPFR_RNDN);
        mpfr_mul(r23442, r23437, r23441, MPFR_RNDN);
        mpfr_mul(r23443, r23439, r23438, MPFR_RNDN);
        mpfr_add(r23444, r23443, r23442, MPFR_RNDN);
        mpfr_mul(r23445, r23442, r23444, MPFR_RNDN);
        ;
        mpfr_mul(r23447, r23446, r23437, MPFR_RNDN);
        mpfr_add(r23448, r23440, r23447, MPFR_RNDN);
        mpfr_mul(r23449, r23448, r23448, MPFR_RNDN);
        mpfr_div(r23450, r23445, r23449, MPFR_RNDN);
        ;
        mpfr_sub(r23452, r23449, r23451, MPFR_RNDN);
        mpfr_div(r23453, r23450, r23452, MPFR_RNDN);
        return mpfr_get_d(r23453, MPFR_RNDN);
}

static mpfr_t r23454, r23455, r23456, r23457, r23458, r23459, r23460, r23461, r23462, r23463, r23464, r23465, r23466, r23467, r23468, r23469, r23470, r23471, r23472, r23473, r23474, r23475, r23476, r23477, r23478;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r23454);
        mpfr_init_set_str(r23455, "1.1977156663241093e+150", 10, MPFR_RNDN);
        mpfr_init(r23456);
        mpfr_init(r23457);
        mpfr_init(r23458);
        mpfr_init(r23459);
        mpfr_init(r23460);
        mpfr_init(r23461);
        mpfr_init(r23462);
        mpfr_init(r23463);
        mpfr_init_set_str(r23464, "2", 10, MPFR_RNDN);
        mpfr_init(r23465);
        mpfr_init(r23466);
        mpfr_init_set_str(r23467, "1.0", 10, MPFR_RNDN);
        mpfr_init(r23468);
        mpfr_init(r23469);
        mpfr_init(r23470);
        mpfr_init(r23471);
        mpfr_init(r23472);
        mpfr_init(r23473);
        mpfr_init(r23474);
        mpfr_init(r23475);
        mpfr_init(r23476);
        mpfr_init_set_str(r23477, "0", 10, MPFR_RNDN);
        mpfr_init(r23478);
}

double f_fm(double alpha, double beta, double i) {
        mpfr_set_d(r23454, alpha, MPFR_RNDN);
        ;
        mpfr_set_si(r23456, mpfr_cmp(r23454, r23455) <= 0, MPFR_RNDN);
        mpfr_set_d(r23457, i, MPFR_RNDN);
        mpfr_add(r23458, r23454, r23457, MPFR_RNDN);
        mpfr_set_d(r23459, beta, MPFR_RNDN);
        mpfr_add(r23460, r23458, r23459, MPFR_RNDN);
        mpfr_mul(r23461, r23459, r23454, MPFR_RNDN);
        mpfr_fma(r23462, r23460, r23457, r23461, MPFR_RNDN);
        mpfr_sqrt(r23463, r23462, MPFR_RNDN);
        ;
        mpfr_fma(r23465, r23457, r23464, r23454, MPFR_RNDN);
        mpfr_add(r23466, r23465, r23459, MPFR_RNDN);
        ;
        mpfr_neg(r23468, r23467, MPFR_RNDN);
        mpfr_fma(r23469, r23466, r23466, r23468, MPFR_RNDN);
        mpfr_sqrt(r23470, r23469, MPFR_RNDN);
        mpfr_div(r23471, r23463, r23470, MPFR_RNDN);
        mpfr_mul(r23472, r23471, r23471, MPFR_RNDN);
        mpfr_div(r23473, r23460, r23466, MPFR_RNDN);
        mpfr_div(r23474, r23457, r23466, MPFR_RNDN);
        mpfr_mul(r23475, r23473, r23474, MPFR_RNDN);
        mpfr_mul(r23476, r23472, r23475, MPFR_RNDN);
        ;
        if (mpfr_get_si(r23456, MPFR_RNDN)) { mpfr_set(r23478, r23476, MPFR_RNDN); } else { mpfr_set(r23478, r23477, MPFR_RNDN); };
        return mpfr_get_d(r23478, MPFR_RNDN);
}

static mpfr_t r23479, r23480, r23481, r23482, r23483, r23484, r23485, r23486, r23487, r23488, r23489, r23490, r23491, r23492, r23493, r23494, r23495, r23496, r23497, r23498, r23499, r23500, r23501, r23502, r23503;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r23479);
        mpfr_init_set_str(r23480, "1.1977156663241093e+150", 10, MPFR_RNDN);
        mpfr_init(r23481);
        mpfr_init(r23482);
        mpfr_init(r23483);
        mpfr_init(r23484);
        mpfr_init(r23485);
        mpfr_init(r23486);
        mpfr_init(r23487);
        mpfr_init(r23488);
        mpfr_init_set_str(r23489, "2", 10, MPFR_RNDN);
        mpfr_init(r23490);
        mpfr_init(r23491);
        mpfr_init_set_str(r23492, "1.0", 10, MPFR_RNDN);
        mpfr_init(r23493);
        mpfr_init(r23494);
        mpfr_init(r23495);
        mpfr_init(r23496);
        mpfr_init(r23497);
        mpfr_init(r23498);
        mpfr_init(r23499);
        mpfr_init(r23500);
        mpfr_init(r23501);
        mpfr_init_set_str(r23502, "0", 10, MPFR_RNDN);
        mpfr_init(r23503);
}

double f_dm(double alpha, double beta, double i) {
        mpfr_set_d(r23479, alpha, MPFR_RNDN);
        ;
        mpfr_set_si(r23481, mpfr_cmp(r23479, r23480) <= 0, MPFR_RNDN);
        mpfr_set_d(r23482, i, MPFR_RNDN);
        mpfr_add(r23483, r23479, r23482, MPFR_RNDN);
        mpfr_set_d(r23484, beta, MPFR_RNDN);
        mpfr_add(r23485, r23483, r23484, MPFR_RNDN);
        mpfr_mul(r23486, r23484, r23479, MPFR_RNDN);
        mpfr_fma(r23487, r23485, r23482, r23486, MPFR_RNDN);
        mpfr_sqrt(r23488, r23487, MPFR_RNDN);
        ;
        mpfr_fma(r23490, r23482, r23489, r23479, MPFR_RNDN);
        mpfr_add(r23491, r23490, r23484, MPFR_RNDN);
        ;
        mpfr_neg(r23493, r23492, MPFR_RNDN);
        mpfr_fma(r23494, r23491, r23491, r23493, MPFR_RNDN);
        mpfr_sqrt(r23495, r23494, MPFR_RNDN);
        mpfr_div(r23496, r23488, r23495, MPFR_RNDN);
        mpfr_mul(r23497, r23496, r23496, MPFR_RNDN);
        mpfr_div(r23498, r23485, r23491, MPFR_RNDN);
        mpfr_div(r23499, r23482, r23491, MPFR_RNDN);
        mpfr_mul(r23500, r23498, r23499, MPFR_RNDN);
        mpfr_mul(r23501, r23497, r23500, MPFR_RNDN);
        ;
        if (mpfr_get_si(r23481, MPFR_RNDN)) { mpfr_set(r23503, r23501, MPFR_RNDN); } else { mpfr_set(r23503, r23502, MPFR_RNDN); };
        return mpfr_get_d(r23503, MPFR_RNDN);
}

