#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 r17140 = alpha;
        float r17141 = beta;
        float r17142 = r17140 + r17141;
        float r17143 = r17141 * r17140;
        float r17144 = r17142 + r17143;
        float r17145 = 1.0f;
        float r17146 = r17144 + r17145;
        float r17147 = 2.0f;
        float r17148 = 1.0f;
        float r17149 = r17147 * r17148;
        float r17150 = r17142 + r17149;
        float r17151 = r17146 / r17150;
        float r17152 = r17151 / r17150;
        float r17153 = r17150 + r17145;
        float r17154 = r17152 / r17153;
        return r17154;
}

double f_id(double alpha, double beta) {
        double r17155 = alpha;
        double r17156 = beta;
        double r17157 = r17155 + r17156;
        double r17158 = r17156 * r17155;
        double r17159 = r17157 + r17158;
        double r17160 = 1.0;
        double r17161 = r17159 + r17160;
        double r17162 = 2.0;
        double r17163 = 1.0;
        double r17164 = r17162 * r17163;
        double r17165 = r17157 + r17164;
        double r17166 = r17161 / r17165;
        double r17167 = r17166 / r17165;
        double r17168 = r17165 + r17160;
        double r17169 = r17167 / r17168;
        return r17169;
}


double f_of(float alpha, float beta) {
        float r17170 = alpha;
        float r17171 = 2.2061842904913525e+200f;
        bool r17172 = r17170 <= r17171;
        float r17173 = 1.0f;
        float r17174 = r17170 + r17173;
        float r17175 = beta;
        float r17176 = r17175 * r17170;
        float r17177 = r17175 + r17176;
        float r17178 = r17174 + r17177;
        float r17179 = 2.0f;
        float r17180 = r17179 + r17175;
        float r17181 = r17170 + r17180;
        float r17182 = r17178 / r17181;
        float r17183 = r17174 + r17180;
        float r17184 = r17182 / r17183;
        float r17185 = r17184 / r17181;
        float r17186 = 0.25f;
        float r17187 = r17170 + r17175;
        float r17188 = r17186 * r17187;
        float r17189 = 0.5f;
        float r17190 = r17188 + r17189;
        float r17191 = r17187 + r17179;
        float r17192 = r17179 + r17173;
        float r17193 = r17187 + r17192;
        float r17194 = r17191 * r17193;
        float r17195 = r17190 / r17194;
        float r17196 = r17172 ? r17185 : r17195;
        return r17196;
}

double f_od(double alpha, double beta) {
        double r17197 = alpha;
        double r17198 = 2.2061842904913525e+200;
        bool r17199 = r17197 <= r17198;
        double r17200 = 1.0;
        double r17201 = r17197 + r17200;
        double r17202 = beta;
        double r17203 = r17202 * r17197;
        double r17204 = r17202 + r17203;
        double r17205 = r17201 + r17204;
        double r17206 = 2.0;
        double r17207 = r17206 + r17202;
        double r17208 = r17197 + r17207;
        double r17209 = r17205 / r17208;
        double r17210 = r17201 + r17207;
        double r17211 = r17209 / r17210;
        double r17212 = r17211 / r17208;
        double r17213 = 0.25;
        double r17214 = r17197 + r17202;
        double r17215 = r17213 * r17214;
        double r17216 = 0.5;
        double r17217 = r17215 + r17216;
        double r17218 = r17214 + r17206;
        double r17219 = r17206 + r17200;
        double r17220 = r17214 + r17219;
        double r17221 = r17218 * r17220;
        double r17222 = r17217 / r17221;
        double r17223 = r17199 ? r17212 : r17222;
        return r17223;
}

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 r17224, r17225, r17226, r17227, r17228, r17229, r17230, r17231, r17232, r17233, r17234, r17235, r17236, r17237, r17238;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17224);
        mpfr_init(r17225);
        mpfr_init(r17226);
        mpfr_init(r17227);
        mpfr_init(r17228);
        mpfr_init_set_str(r17229, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17230);
        mpfr_init_set_str(r17231, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r17232, "1", 10, MPFR_RNDN);
        mpfr_init(r17233);
        mpfr_init(r17234);
        mpfr_init(r17235);
        mpfr_init(r17236);
        mpfr_init(r17237);
        mpfr_init(r17238);
}

double f_im(double alpha, double beta) {
        mpfr_set_d(r17224, alpha, MPFR_RNDN);
        mpfr_set_d(r17225, beta, MPFR_RNDN);
        mpfr_add(r17226, r17224, r17225, MPFR_RNDN);
        mpfr_mul(r17227, r17225, r17224, MPFR_RNDN);
        mpfr_add(r17228, r17226, r17227, MPFR_RNDN);
        ;
        mpfr_add(r17230, r17228, r17229, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r17233, r17231, r17232, MPFR_RNDN);
        mpfr_add(r17234, r17226, r17233, MPFR_RNDN);
        mpfr_div(r17235, r17230, r17234, MPFR_RNDN);
        mpfr_div(r17236, r17235, r17234, MPFR_RNDN);
        mpfr_add(r17237, r17234, r17229, MPFR_RNDN);
        mpfr_div(r17238, r17236, r17237, MPFR_RNDN);
        return mpfr_get_d(r17238, MPFR_RNDN);
}

static mpfr_t r17239, r17240, r17241, r17242, r17243, r17244, r17245, r17246, r17247, r17248, r17249, r17250, r17251, r17252, r17253, r17254, r17255, r17256, r17257, r17258, r17259, r17260, r17261, r17262, r17263, r17264, r17265;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17239);
        mpfr_init_set_str(r17240, "2.2061842904913525e+200", 10, MPFR_RNDN);
        mpfr_init(r17241);
        mpfr_init_set_str(r17242, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17243);
        mpfr_init(r17244);
        mpfr_init(r17245);
        mpfr_init(r17246);
        mpfr_init(r17247);
        mpfr_init_set_str(r17248, "2", 10, MPFR_RNDN);
        mpfr_init(r17249);
        mpfr_init(r17250);
        mpfr_init(r17251);
        mpfr_init(r17252);
        mpfr_init(r17253);
        mpfr_init(r17254);
        mpfr_init_set_str(r17255, "0.25", 10, MPFR_RNDN);
        mpfr_init(r17256);
        mpfr_init(r17257);
        mpfr_init_set_str(r17258, "0.5", 10, MPFR_RNDN);
        mpfr_init(r17259);
        mpfr_init(r17260);
        mpfr_init(r17261);
        mpfr_init(r17262);
        mpfr_init(r17263);
        mpfr_init(r17264);
        mpfr_init(r17265);
}

double f_fm(double alpha, double beta) {
        mpfr_set_d(r17239, alpha, MPFR_RNDN);
        ;
        mpfr_set_si(r17241, mpfr_cmp(r17239, r17240) <= 0, MPFR_RNDN);
        ;
        mpfr_add(r17243, r17239, r17242, MPFR_RNDN);
        mpfr_set_d(r17244, beta, MPFR_RNDN);
        mpfr_mul(r17245, r17244, r17239, MPFR_RNDN);
        mpfr_add(r17246, r17244, r17245, MPFR_RNDN);
        mpfr_add(r17247, r17243, r17246, MPFR_RNDN);
        ;
        mpfr_add(r17249, r17248, r17244, MPFR_RNDN);
        mpfr_add(r17250, r17239, r17249, MPFR_RNDN);
        mpfr_div(r17251, r17247, r17250, MPFR_RNDN);
        mpfr_add(r17252, r17243, r17249, MPFR_RNDN);
        mpfr_div(r17253, r17251, r17252, MPFR_RNDN);
        mpfr_div(r17254, r17253, r17250, MPFR_RNDN);
        ;
        mpfr_add(r17256, r17239, r17244, MPFR_RNDN);
        mpfr_mul(r17257, r17255, r17256, MPFR_RNDN);
        ;
        mpfr_add(r17259, r17257, r17258, MPFR_RNDN);
        mpfr_add(r17260, r17256, r17248, MPFR_RNDN);
        mpfr_add(r17261, r17248, r17242, MPFR_RNDN);
        mpfr_add(r17262, r17256, r17261, MPFR_RNDN);
        mpfr_mul(r17263, r17260, r17262, MPFR_RNDN);
        mpfr_div(r17264, r17259, r17263, MPFR_RNDN);
        if (mpfr_get_si(r17241, MPFR_RNDN)) { mpfr_set(r17265, r17254, MPFR_RNDN); } else { mpfr_set(r17265, r17264, MPFR_RNDN); };
        return mpfr_get_d(r17265, MPFR_RNDN);
}

static mpfr_t r17266, r17267, r17268, r17269, r17270, r17271, r17272, r17273, r17274, r17275, r17276, r17277, r17278, r17279, r17280, r17281, r17282, r17283, r17284, r17285, r17286, r17287, r17288, r17289, r17290, r17291, r17292;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17266);
        mpfr_init_set_str(r17267, "2.2061842904913525e+200", 10, MPFR_RNDN);
        mpfr_init(r17268);
        mpfr_init_set_str(r17269, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17270);
        mpfr_init(r17271);
        mpfr_init(r17272);
        mpfr_init(r17273);
        mpfr_init(r17274);
        mpfr_init_set_str(r17275, "2", 10, MPFR_RNDN);
        mpfr_init(r17276);
        mpfr_init(r17277);
        mpfr_init(r17278);
        mpfr_init(r17279);
        mpfr_init(r17280);
        mpfr_init(r17281);
        mpfr_init_set_str(r17282, "0.25", 10, MPFR_RNDN);
        mpfr_init(r17283);
        mpfr_init(r17284);
        mpfr_init_set_str(r17285, "0.5", 10, MPFR_RNDN);
        mpfr_init(r17286);
        mpfr_init(r17287);
        mpfr_init(r17288);
        mpfr_init(r17289);
        mpfr_init(r17290);
        mpfr_init(r17291);
        mpfr_init(r17292);
}

double f_dm(double alpha, double beta) {
        mpfr_set_d(r17266, alpha, MPFR_RNDN);
        ;
        mpfr_set_si(r17268, mpfr_cmp(r17266, r17267) <= 0, MPFR_RNDN);
        ;
        mpfr_add(r17270, r17266, r17269, MPFR_RNDN);
        mpfr_set_d(r17271, beta, MPFR_RNDN);
        mpfr_mul(r17272, r17271, r17266, MPFR_RNDN);
        mpfr_add(r17273, r17271, r17272, MPFR_RNDN);
        mpfr_add(r17274, r17270, r17273, MPFR_RNDN);
        ;
        mpfr_add(r17276, r17275, r17271, MPFR_RNDN);
        mpfr_add(r17277, r17266, r17276, MPFR_RNDN);
        mpfr_div(r17278, r17274, r17277, MPFR_RNDN);
        mpfr_add(r17279, r17270, r17276, MPFR_RNDN);
        mpfr_div(r17280, r17278, r17279, MPFR_RNDN);
        mpfr_div(r17281, r17280, r17277, MPFR_RNDN);
        ;
        mpfr_add(r17283, r17266, r17271, MPFR_RNDN);
        mpfr_mul(r17284, r17282, r17283, MPFR_RNDN);
        ;
        mpfr_add(r17286, r17284, r17285, MPFR_RNDN);
        mpfr_add(r17287, r17283, r17275, MPFR_RNDN);
        mpfr_add(r17288, r17275, r17269, MPFR_RNDN);
        mpfr_add(r17289, r17283, r17288, MPFR_RNDN);
        mpfr_mul(r17290, r17287, r17289, MPFR_RNDN);
        mpfr_div(r17291, r17286, r17290, MPFR_RNDN);
        if (mpfr_get_si(r17268, MPFR_RNDN)) { mpfr_set(r17292, r17281, MPFR_RNDN); } else { mpfr_set(r17292, r17291, MPFR_RNDN); };
        return mpfr_get_d(r17292, MPFR_RNDN);
}

