#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 r17009 = i;
        float r17010 = alpha;
        float r17011 = beta;
        float r17012 = r17010 + r17011;
        float r17013 = r17012 + r17009;
        float r17014 = r17009 * r17013;
        float r17015 = r17011 * r17010;
        float r17016 = r17015 + r17014;
        float r17017 = r17014 * r17016;
        float r17018 = 2.0f;
        float r17019 = r17018 * r17009;
        float r17020 = r17012 + r17019;
        float r17021 = r17020 * r17020;
        float r17022 = r17017 / r17021;
        float r17023 = 1.0f;
        float r17024 = r17021 - r17023;
        float r17025 = r17022 / r17024;
        return r17025;
}

double f_id(double alpha, double beta, double i) {
        double r17026 = i;
        double r17027 = alpha;
        double r17028 = beta;
        double r17029 = r17027 + r17028;
        double r17030 = r17029 + r17026;
        double r17031 = r17026 * r17030;
        double r17032 = r17028 * r17027;
        double r17033 = r17032 + r17031;
        double r17034 = r17031 * r17033;
        double r17035 = 2.0;
        double r17036 = r17035 * r17026;
        double r17037 = r17029 + r17036;
        double r17038 = r17037 * r17037;
        double r17039 = r17034 / r17038;
        double r17040 = 1.0;
        double r17041 = r17038 - r17040;
        double r17042 = r17039 / r17041;
        return r17042;
}


double f_of(float alpha, float beta, float i) {
        float r17043 = beta;
        float r17044 = 4.731717689114216e+137f;
        bool r17045 = r17043 <= r17044;
        float r17046 = i;
        float r17047 = alpha;
        float r17048 = r17046 + r17047;
        float r17049 = r17043 + r17048;
        float r17050 = r17046 * r17049;
        float r17051 = r17043 + r17047;
        float r17052 = 2.0f;
        float r17053 = r17052 * r17046;
        float r17054 = r17051 + r17053;
        float r17055 = r17054 * r17054;
        float r17056 = 1.0f;
        float r17057 = r17047 * r17043;
        float r17058 = r17057 + r17050;
        float r17059 = r17056 / r17058;
        float r17060 = r17055 * r17059;
        float r17061 = r17050 / r17060;
        float r17062 = 1.0f;
        float r17063 = r17055 - r17062;
        float r17064 = r17061 / r17063;
        float r17065 = 0.0f;
        float r17066 = r17045 ? r17064 : r17065;
        return r17066;
}

double f_od(double alpha, double beta, double i) {
        double r17067 = beta;
        double r17068 = 4.731717689114216e+137;
        bool r17069 = r17067 <= r17068;
        double r17070 = i;
        double r17071 = alpha;
        double r17072 = r17070 + r17071;
        double r17073 = r17067 + r17072;
        double r17074 = r17070 * r17073;
        double r17075 = r17067 + r17071;
        double r17076 = 2.0;
        double r17077 = r17076 * r17070;
        double r17078 = r17075 + r17077;
        double r17079 = r17078 * r17078;
        double r17080 = 1.0;
        double r17081 = r17071 * r17067;
        double r17082 = r17081 + r17074;
        double r17083 = r17080 / r17082;
        double r17084 = r17079 * r17083;
        double r17085 = r17074 / r17084;
        double r17086 = 1.0;
        double r17087 = r17079 - r17086;
        double r17088 = r17085 / r17087;
        double r17089 = 0.0;
        double r17090 = r17069 ? r17088 : r17089;
        return r17090;
}

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 r17091, r17092, r17093, r17094, r17095, r17096, r17097, r17098, r17099, r17100, r17101, r17102, r17103, r17104, r17105, r17106, r17107;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17091);
        mpfr_init(r17092);
        mpfr_init(r17093);
        mpfr_init(r17094);
        mpfr_init(r17095);
        mpfr_init(r17096);
        mpfr_init(r17097);
        mpfr_init(r17098);
        mpfr_init(r17099);
        mpfr_init_set_str(r17100, "2", 10, MPFR_RNDN);
        mpfr_init(r17101);
        mpfr_init(r17102);
        mpfr_init(r17103);
        mpfr_init(r17104);
        mpfr_init_set_str(r17105, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17106);
        mpfr_init(r17107);
}

double f_im(double alpha, double beta, double i) {
        mpfr_set_d(r17091, i, MPFR_RNDN);
        mpfr_set_d(r17092, alpha, MPFR_RNDN);
        mpfr_set_d(r17093, beta, MPFR_RNDN);
        mpfr_add(r17094, r17092, r17093, MPFR_RNDN);
        mpfr_add(r17095, r17094, r17091, MPFR_RNDN);
        mpfr_mul(r17096, r17091, r17095, MPFR_RNDN);
        mpfr_mul(r17097, r17093, r17092, MPFR_RNDN);
        mpfr_add(r17098, r17097, r17096, MPFR_RNDN);
        mpfr_mul(r17099, r17096, r17098, MPFR_RNDN);
        ;
        mpfr_mul(r17101, r17100, r17091, MPFR_RNDN);
        mpfr_add(r17102, r17094, r17101, MPFR_RNDN);
        mpfr_mul(r17103, r17102, r17102, MPFR_RNDN);
        mpfr_div(r17104, r17099, r17103, MPFR_RNDN);
        ;
        mpfr_sub(r17106, r17103, r17105, MPFR_RNDN);
        mpfr_div(r17107, r17104, r17106, MPFR_RNDN);
        return mpfr_get_d(r17107, MPFR_RNDN);
}

static mpfr_t r17108, r17109, r17110, r17111, r17112, r17113, r17114, r17115, r17116, r17117, r17118, r17119, r17120, r17121, r17122, r17123, r17124, r17125, r17126, r17127, r17128, r17129, r17130, r17131;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17108);
        mpfr_init_set_str(r17109, "4.731717689114216e+137", 10, MPFR_RNDN);
        mpfr_init(r17110);
        mpfr_init(r17111);
        mpfr_init(r17112);
        mpfr_init(r17113);
        mpfr_init(r17114);
        mpfr_init(r17115);
        mpfr_init(r17116);
        mpfr_init_set_str(r17117, "2", 10, MPFR_RNDN);
        mpfr_init(r17118);
        mpfr_init(r17119);
        mpfr_init(r17120);
        mpfr_init_set_str(r17121, "1", 10, MPFR_RNDN);
        mpfr_init(r17122);
        mpfr_init(r17123);
        mpfr_init(r17124);
        mpfr_init(r17125);
        mpfr_init(r17126);
        mpfr_init_set_str(r17127, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17128);
        mpfr_init(r17129);
        mpfr_init_set_str(r17130, "0", 10, MPFR_RNDN);
        mpfr_init(r17131);
}

double f_fm(double alpha, double beta, double i) {
        mpfr_set_d(r17108, beta, MPFR_RNDN);
        ;
        mpfr_set_si(r17110, mpfr_cmp(r17108, r17109) <= 0, MPFR_RNDN);
        mpfr_set_d(r17111, i, MPFR_RNDN);
        mpfr_set_d(r17112, alpha, MPFR_RNDN);
        mpfr_add(r17113, r17111, r17112, MPFR_RNDN);
        mpfr_add(r17114, r17108, r17113, MPFR_RNDN);
        mpfr_mul(r17115, r17111, r17114, MPFR_RNDN);
        mpfr_add(r17116, r17108, r17112, MPFR_RNDN);
        ;
        mpfr_mul(r17118, r17117, r17111, MPFR_RNDN);
        mpfr_add(r17119, r17116, r17118, MPFR_RNDN);
        mpfr_sqr(r17120, r17119, MPFR_RNDN);
        ;
        mpfr_mul(r17122, r17112, r17108, MPFR_RNDN);
        mpfr_add(r17123, r17122, r17115, MPFR_RNDN);
        mpfr_div(r17124, r17121, r17123, MPFR_RNDN);
        mpfr_mul(r17125, r17120, r17124, MPFR_RNDN);
        mpfr_div(r17126, r17115, r17125, MPFR_RNDN);
        ;
        mpfr_sub(r17128, r17120, r17127, MPFR_RNDN);
        mpfr_div(r17129, r17126, r17128, MPFR_RNDN);
        ;
        if (mpfr_get_si(r17110, MPFR_RNDN)) { mpfr_set(r17131, r17129, MPFR_RNDN); } else { mpfr_set(r17131, r17130, MPFR_RNDN); };
        return mpfr_get_d(r17131, MPFR_RNDN);
}

static mpfr_t r17132, r17133, r17134, r17135, r17136, r17137, r17138, r17139, r17140, r17141, r17142, r17143, r17144, r17145, r17146, r17147, r17148, r17149, r17150, r17151, r17152, r17153, r17154, r17155;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17132);
        mpfr_init_set_str(r17133, "4.731717689114216e+137", 10, MPFR_RNDN);
        mpfr_init(r17134);
        mpfr_init(r17135);
        mpfr_init(r17136);
        mpfr_init(r17137);
        mpfr_init(r17138);
        mpfr_init(r17139);
        mpfr_init(r17140);
        mpfr_init_set_str(r17141, "2", 10, MPFR_RNDN);
        mpfr_init(r17142);
        mpfr_init(r17143);
        mpfr_init(r17144);
        mpfr_init_set_str(r17145, "1", 10, MPFR_RNDN);
        mpfr_init(r17146);
        mpfr_init(r17147);
        mpfr_init(r17148);
        mpfr_init(r17149);
        mpfr_init(r17150);
        mpfr_init_set_str(r17151, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17152);
        mpfr_init(r17153);
        mpfr_init_set_str(r17154, "0", 10, MPFR_RNDN);
        mpfr_init(r17155);
}

double f_dm(double alpha, double beta, double i) {
        mpfr_set_d(r17132, beta, MPFR_RNDN);
        ;
        mpfr_set_si(r17134, mpfr_cmp(r17132, r17133) <= 0, MPFR_RNDN);
        mpfr_set_d(r17135, i, MPFR_RNDN);
        mpfr_set_d(r17136, alpha, MPFR_RNDN);
        mpfr_add(r17137, r17135, r17136, MPFR_RNDN);
        mpfr_add(r17138, r17132, r17137, MPFR_RNDN);
        mpfr_mul(r17139, r17135, r17138, MPFR_RNDN);
        mpfr_add(r17140, r17132, r17136, MPFR_RNDN);
        ;
        mpfr_mul(r17142, r17141, r17135, MPFR_RNDN);
        mpfr_add(r17143, r17140, r17142, MPFR_RNDN);
        mpfr_sqr(r17144, r17143, MPFR_RNDN);
        ;
        mpfr_mul(r17146, r17136, r17132, MPFR_RNDN);
        mpfr_add(r17147, r17146, r17139, MPFR_RNDN);
        mpfr_div(r17148, r17145, r17147, MPFR_RNDN);
        mpfr_mul(r17149, r17144, r17148, MPFR_RNDN);
        mpfr_div(r17150, r17139, r17149, MPFR_RNDN);
        ;
        mpfr_sub(r17152, r17144, r17151, MPFR_RNDN);
        mpfr_div(r17153, r17150, r17152, MPFR_RNDN);
        ;
        if (mpfr_get_si(r17134, MPFR_RNDN)) { mpfr_set(r17155, r17153, MPFR_RNDN); } else { mpfr_set(r17155, r17154, MPFR_RNDN); };
        return mpfr_get_d(r17155, MPFR_RNDN);
}

