#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 r17276 = alpha;
        float r17277 = beta;
        float r17278 = r17276 + r17277;
        float r17279 = r17277 * r17276;
        float r17280 = r17278 + r17279;
        float r17281 = 1.0f;
        float r17282 = r17280 + r17281;
        float r17283 = 2.0f;
        float r17284 = 1.0f;
        float r17285 = r17283 * r17284;
        float r17286 = r17278 + r17285;
        float r17287 = r17282 / r17286;
        float r17288 = r17287 / r17286;
        float r17289 = r17286 + r17281;
        float r17290 = r17288 / r17289;
        return r17290;
}

double f_id(double alpha, double beta) {
        double r17291 = alpha;
        double r17292 = beta;
        double r17293 = r17291 + r17292;
        double r17294 = r17292 * r17291;
        double r17295 = r17293 + r17294;
        double r17296 = 1.0;
        double r17297 = r17295 + r17296;
        double r17298 = 2.0;
        double r17299 = 1.0;
        double r17300 = r17298 * r17299;
        double r17301 = r17293 + r17300;
        double r17302 = r17297 / r17301;
        double r17303 = r17302 / r17301;
        double r17304 = r17301 + r17296;
        double r17305 = r17303 / r17304;
        return r17305;
}


double f_of(float alpha, float beta) {
        float r17306 = alpha;
        float r17307 = 1.415317901212754e+170f;
        bool r17308 = r17306 <= r17307;
        float r17309 = 1.0f;
        float r17310 = beta;
        float r17311 = 1.0f;
        float r17312 = r17310 + r17311;
        float r17313 = 2.0f;
        float r17314 = r17306 + r17313;
        float r17315 = r17312 + r17314;
        float r17316 = r17309 / r17315;
        float r17317 = r17306 + r17311;
        float r17318 = r17310 * r17306;
        float r17319 = r17310 + r17318;
        float r17320 = r17317 + r17319;
        float r17321 = r17313 + r17310;
        float r17322 = r17306 + r17321;
        float r17323 = r17320 / r17322;
        float r17324 = r17323 / r17322;
        float r17325 = r17316 * r17324;
        float r17326 = 0.25f;
        float r17327 = r17306 + r17310;
        float r17328 = r17326 * r17327;
        float r17329 = 0.5f;
        float r17330 = r17328 + r17329;
        float r17331 = r17327 + r17313;
        float r17332 = r17313 + r17311;
        float r17333 = r17327 + r17332;
        float r17334 = r17331 * r17333;
        float r17335 = r17330 / r17334;
        float r17336 = r17308 ? r17325 : r17335;
        return r17336;
}

double f_od(double alpha, double beta) {
        double r17337 = alpha;
        double r17338 = 1.415317901212754e+170;
        bool r17339 = r17337 <= r17338;
        double r17340 = 1.0;
        double r17341 = beta;
        double r17342 = 1.0;
        double r17343 = r17341 + r17342;
        double r17344 = 2.0;
        double r17345 = r17337 + r17344;
        double r17346 = r17343 + r17345;
        double r17347 = r17340 / r17346;
        double r17348 = r17337 + r17342;
        double r17349 = r17341 * r17337;
        double r17350 = r17341 + r17349;
        double r17351 = r17348 + r17350;
        double r17352 = r17344 + r17341;
        double r17353 = r17337 + r17352;
        double r17354 = r17351 / r17353;
        double r17355 = r17354 / r17353;
        double r17356 = r17347 * r17355;
        double r17357 = 0.25;
        double r17358 = r17337 + r17341;
        double r17359 = r17357 * r17358;
        double r17360 = 0.5;
        double r17361 = r17359 + r17360;
        double r17362 = r17358 + r17344;
        double r17363 = r17344 + r17342;
        double r17364 = r17358 + r17363;
        double r17365 = r17362 * r17364;
        double r17366 = r17361 / r17365;
        double r17367 = r17339 ? r17356 : r17366;
        return r17367;
}

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 r17368, r17369, r17370, r17371, r17372, r17373, r17374, r17375, r17376, r17377, r17378, r17379, r17380, r17381, r17382;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17368);
        mpfr_init(r17369);
        mpfr_init(r17370);
        mpfr_init(r17371);
        mpfr_init(r17372);
        mpfr_init_set_str(r17373, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17374);
        mpfr_init_set_str(r17375, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r17376, "1", 10, MPFR_RNDN);
        mpfr_init(r17377);
        mpfr_init(r17378);
        mpfr_init(r17379);
        mpfr_init(r17380);
        mpfr_init(r17381);
        mpfr_init(r17382);
}

double f_im(double alpha, double beta) {
        mpfr_set_d(r17368, alpha, MPFR_RNDN);
        mpfr_set_d(r17369, beta, MPFR_RNDN);
        mpfr_add(r17370, r17368, r17369, MPFR_RNDN);
        mpfr_mul(r17371, r17369, r17368, MPFR_RNDN);
        mpfr_add(r17372, r17370, r17371, MPFR_RNDN);
        ;
        mpfr_add(r17374, r17372, r17373, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r17377, r17375, r17376, MPFR_RNDN);
        mpfr_add(r17378, r17370, r17377, MPFR_RNDN);
        mpfr_div(r17379, r17374, r17378, MPFR_RNDN);
        mpfr_div(r17380, r17379, r17378, MPFR_RNDN);
        mpfr_add(r17381, r17378, r17373, MPFR_RNDN);
        mpfr_div(r17382, r17380, r17381, MPFR_RNDN);
        return mpfr_get_d(r17382, MPFR_RNDN);
}

static mpfr_t r17383, r17384, r17385, r17386, r17387, r17388, r17389, r17390, r17391, r17392, r17393, r17394, r17395, r17396, r17397, r17398, r17399, r17400, r17401, r17402, r17403, r17404, r17405, r17406, r17407, r17408, r17409, r17410, r17411, r17412, r17413;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17383);
        mpfr_init_set_str(r17384, "1.415317901212754e+170", 10, MPFR_RNDN);
        mpfr_init(r17385);
        mpfr_init_set_str(r17386, "1", 10, MPFR_RNDN);
        mpfr_init(r17387);
        mpfr_init_set_str(r17388, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17389);
        mpfr_init_set_str(r17390, "2", 10, MPFR_RNDN);
        mpfr_init(r17391);
        mpfr_init(r17392);
        mpfr_init(r17393);
        mpfr_init(r17394);
        mpfr_init(r17395);
        mpfr_init(r17396);
        mpfr_init(r17397);
        mpfr_init(r17398);
        mpfr_init(r17399);
        mpfr_init(r17400);
        mpfr_init(r17401);
        mpfr_init(r17402);
        mpfr_init_set_str(r17403, "0.25", 10, MPFR_RNDN);
        mpfr_init(r17404);
        mpfr_init(r17405);
        mpfr_init_set_str(r17406, "0.5", 10, MPFR_RNDN);
        mpfr_init(r17407);
        mpfr_init(r17408);
        mpfr_init(r17409);
        mpfr_init(r17410);
        mpfr_init(r17411);
        mpfr_init(r17412);
        mpfr_init(r17413);
}

double f_fm(double alpha, double beta) {
        mpfr_set_d(r17383, alpha, MPFR_RNDN);
        ;
        mpfr_set_si(r17385, mpfr_cmp(r17383, r17384) <= 0, MPFR_RNDN);
        ;
        mpfr_set_d(r17387, beta, MPFR_RNDN);
        ;
        mpfr_add(r17389, r17387, r17388, MPFR_RNDN);
        ;
        mpfr_add(r17391, r17383, r17390, MPFR_RNDN);
        mpfr_add(r17392, r17389, r17391, MPFR_RNDN);
        mpfr_div(r17393, r17386, r17392, MPFR_RNDN);
        mpfr_add(r17394, r17383, r17388, MPFR_RNDN);
        mpfr_mul(r17395, r17387, r17383, MPFR_RNDN);
        mpfr_add(r17396, r17387, r17395, MPFR_RNDN);
        mpfr_add(r17397, r17394, r17396, MPFR_RNDN);
        mpfr_add(r17398, r17390, r17387, MPFR_RNDN);
        mpfr_add(r17399, r17383, r17398, MPFR_RNDN);
        mpfr_div(r17400, r17397, r17399, MPFR_RNDN);
        mpfr_div(r17401, r17400, r17399, MPFR_RNDN);
        mpfr_mul(r17402, r17393, r17401, MPFR_RNDN);
        ;
        mpfr_add(r17404, r17383, r17387, MPFR_RNDN);
        mpfr_mul(r17405, r17403, r17404, MPFR_RNDN);
        ;
        mpfr_add(r17407, r17405, r17406, MPFR_RNDN);
        mpfr_add(r17408, r17404, r17390, MPFR_RNDN);
        mpfr_add(r17409, r17390, r17388, MPFR_RNDN);
        mpfr_add(r17410, r17404, r17409, MPFR_RNDN);
        mpfr_mul(r17411, r17408, r17410, MPFR_RNDN);
        mpfr_div(r17412, r17407, r17411, MPFR_RNDN);
        if (mpfr_get_si(r17385, MPFR_RNDN)) { mpfr_set(r17413, r17402, MPFR_RNDN); } else { mpfr_set(r17413, r17412, MPFR_RNDN); };
        return mpfr_get_d(r17413, MPFR_RNDN);
}

static mpfr_t r17414, r17415, r17416, r17417, r17418, r17419, r17420, r17421, r17422, r17423, r17424, r17425, r17426, r17427, r17428, r17429, r17430, r17431, r17432, r17433, r17434, r17435, r17436, r17437, r17438, r17439, r17440, r17441, r17442, r17443, r17444;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17414);
        mpfr_init_set_str(r17415, "1.415317901212754e+170", 10, MPFR_RNDN);
        mpfr_init(r17416);
        mpfr_init_set_str(r17417, "1", 10, MPFR_RNDN);
        mpfr_init(r17418);
        mpfr_init_set_str(r17419, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17420);
        mpfr_init_set_str(r17421, "2", 10, MPFR_RNDN);
        mpfr_init(r17422);
        mpfr_init(r17423);
        mpfr_init(r17424);
        mpfr_init(r17425);
        mpfr_init(r17426);
        mpfr_init(r17427);
        mpfr_init(r17428);
        mpfr_init(r17429);
        mpfr_init(r17430);
        mpfr_init(r17431);
        mpfr_init(r17432);
        mpfr_init(r17433);
        mpfr_init_set_str(r17434, "0.25", 10, MPFR_RNDN);
        mpfr_init(r17435);
        mpfr_init(r17436);
        mpfr_init_set_str(r17437, "0.5", 10, MPFR_RNDN);
        mpfr_init(r17438);
        mpfr_init(r17439);
        mpfr_init(r17440);
        mpfr_init(r17441);
        mpfr_init(r17442);
        mpfr_init(r17443);
        mpfr_init(r17444);
}

double f_dm(double alpha, double beta) {
        mpfr_set_d(r17414, alpha, MPFR_RNDN);
        ;
        mpfr_set_si(r17416, mpfr_cmp(r17414, r17415) <= 0, MPFR_RNDN);
        ;
        mpfr_set_d(r17418, beta, MPFR_RNDN);
        ;
        mpfr_add(r17420, r17418, r17419, MPFR_RNDN);
        ;
        mpfr_add(r17422, r17414, r17421, MPFR_RNDN);
        mpfr_add(r17423, r17420, r17422, MPFR_RNDN);
        mpfr_div(r17424, r17417, r17423, MPFR_RNDN);
        mpfr_add(r17425, r17414, r17419, MPFR_RNDN);
        mpfr_mul(r17426, r17418, r17414, MPFR_RNDN);
        mpfr_add(r17427, r17418, r17426, MPFR_RNDN);
        mpfr_add(r17428, r17425, r17427, MPFR_RNDN);
        mpfr_add(r17429, r17421, r17418, MPFR_RNDN);
        mpfr_add(r17430, r17414, r17429, MPFR_RNDN);
        mpfr_div(r17431, r17428, r17430, MPFR_RNDN);
        mpfr_div(r17432, r17431, r17430, MPFR_RNDN);
        mpfr_mul(r17433, r17424, r17432, MPFR_RNDN);
        ;
        mpfr_add(r17435, r17414, r17418, MPFR_RNDN);
        mpfr_mul(r17436, r17434, r17435, MPFR_RNDN);
        ;
        mpfr_add(r17438, r17436, r17437, MPFR_RNDN);
        mpfr_add(r17439, r17435, r17421, MPFR_RNDN);
        mpfr_add(r17440, r17421, r17419, MPFR_RNDN);
        mpfr_add(r17441, r17435, r17440, MPFR_RNDN);
        mpfr_mul(r17442, r17439, r17441, MPFR_RNDN);
        mpfr_div(r17443, r17438, r17442, MPFR_RNDN);
        if (mpfr_get_si(r17416, MPFR_RNDN)) { mpfr_set(r17444, r17433, MPFR_RNDN); } else { mpfr_set(r17444, r17443, MPFR_RNDN); };
        return mpfr_get_d(r17444, MPFR_RNDN);
}

