#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 r17152 = alpha;
        float r17153 = beta;
        float r17154 = r17152 + r17153;
        float r17155 = r17153 * r17152;
        float r17156 = r17154 + r17155;
        float r17157 = 1.0f;
        float r17158 = r17156 + r17157;
        float r17159 = 2.0f;
        float r17160 = 1.0f;
        float r17161 = r17159 * r17160;
        float r17162 = r17154 + r17161;
        float r17163 = r17158 / r17162;
        float r17164 = r17163 / r17162;
        float r17165 = r17162 + r17157;
        float r17166 = r17164 / r17165;
        return r17166;
}

double f_id(double alpha, double beta) {
        double r17167 = alpha;
        double r17168 = beta;
        double r17169 = r17167 + r17168;
        double r17170 = r17168 * r17167;
        double r17171 = r17169 + r17170;
        double r17172 = 1.0;
        double r17173 = r17171 + r17172;
        double r17174 = 2.0;
        double r17175 = 1.0;
        double r17176 = r17174 * r17175;
        double r17177 = r17169 + r17176;
        double r17178 = r17173 / r17177;
        double r17179 = r17178 / r17177;
        double r17180 = r17177 + r17172;
        double r17181 = r17179 / r17180;
        return r17181;
}


double f_of(float alpha, float beta) {
        float r17182 = alpha;
        float r17183 = 1.2543987852557203e+178f;
        bool r17184 = r17182 <= r17183;
        float r17185 = 1.0f;
        float r17186 = r17182 + r17185;
        float r17187 = beta;
        float r17188 = r17187 * r17182;
        float r17189 = r17187 + r17188;
        float r17190 = r17186 + r17189;
        float r17191 = 2.0f;
        float r17192 = r17191 + r17187;
        float r17193 = r17182 + r17192;
        float r17194 = r17190 / r17193;
        float r17195 = r17186 + r17192;
        float r17196 = r17194 / r17195;
        float r17197 = r17196 / r17193;
        float r17198 = 0.25f;
        float r17199 = r17182 + r17187;
        float r17200 = r17198 * r17199;
        float r17201 = 0.5f;
        float r17202 = r17200 + r17201;
        float r17203 = r17199 + r17191;
        float r17204 = r17191 + r17185;
        float r17205 = r17199 + r17204;
        float r17206 = r17203 * r17205;
        float r17207 = r17202 / r17206;
        float r17208 = r17184 ? r17197 : r17207;
        return r17208;
}

double f_od(double alpha, double beta) {
        double r17209 = alpha;
        double r17210 = 1.2543987852557203e+178;
        bool r17211 = r17209 <= r17210;
        double r17212 = 1.0;
        double r17213 = r17209 + r17212;
        double r17214 = beta;
        double r17215 = r17214 * r17209;
        double r17216 = r17214 + r17215;
        double r17217 = r17213 + r17216;
        double r17218 = 2.0;
        double r17219 = r17218 + r17214;
        double r17220 = r17209 + r17219;
        double r17221 = r17217 / r17220;
        double r17222 = r17213 + r17219;
        double r17223 = r17221 / r17222;
        double r17224 = r17223 / r17220;
        double r17225 = 0.25;
        double r17226 = r17209 + r17214;
        double r17227 = r17225 * r17226;
        double r17228 = 0.5;
        double r17229 = r17227 + r17228;
        double r17230 = r17226 + r17218;
        double r17231 = r17218 + r17212;
        double r17232 = r17226 + r17231;
        double r17233 = r17230 * r17232;
        double r17234 = r17229 / r17233;
        double r17235 = r17211 ? r17224 : r17234;
        return r17235;
}

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 r17236, r17237, r17238, r17239, r17240, r17241, r17242, r17243, r17244, r17245, r17246, r17247, r17248, r17249, r17250;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17236);
        mpfr_init(r17237);
        mpfr_init(r17238);
        mpfr_init(r17239);
        mpfr_init(r17240);
        mpfr_init_set_str(r17241, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17242);
        mpfr_init_set_str(r17243, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r17244, "1", 10, MPFR_RNDN);
        mpfr_init(r17245);
        mpfr_init(r17246);
        mpfr_init(r17247);
        mpfr_init(r17248);
        mpfr_init(r17249);
        mpfr_init(r17250);
}

double f_im(double alpha, double beta) {
        mpfr_set_d(r17236, alpha, MPFR_RNDN);
        mpfr_set_d(r17237, beta, MPFR_RNDN);
        mpfr_add(r17238, r17236, r17237, MPFR_RNDN);
        mpfr_mul(r17239, r17237, r17236, MPFR_RNDN);
        mpfr_add(r17240, r17238, r17239, MPFR_RNDN);
        ;
        mpfr_add(r17242, r17240, r17241, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r17245, r17243, r17244, MPFR_RNDN);
        mpfr_add(r17246, r17238, r17245, MPFR_RNDN);
        mpfr_div(r17247, r17242, r17246, MPFR_RNDN);
        mpfr_div(r17248, r17247, r17246, MPFR_RNDN);
        mpfr_add(r17249, r17246, r17241, MPFR_RNDN);
        mpfr_div(r17250, r17248, r17249, MPFR_RNDN);
        return mpfr_get_d(r17250, MPFR_RNDN);
}

static mpfr_t r17251, r17252, r17253, r17254, r17255, r17256, r17257, r17258, r17259, r17260, r17261, r17262, r17263, r17264, r17265, r17266, r17267, r17268, r17269, r17270, r17271, r17272, r17273, r17274, r17275, r17276, r17277;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17251);
        mpfr_init_set_str(r17252, "1.2543987852557203e+178", 10, MPFR_RNDN);
        mpfr_init(r17253);
        mpfr_init_set_str(r17254, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17255);
        mpfr_init(r17256);
        mpfr_init(r17257);
        mpfr_init(r17258);
        mpfr_init(r17259);
        mpfr_init_set_str(r17260, "2", 10, MPFR_RNDN);
        mpfr_init(r17261);
        mpfr_init(r17262);
        mpfr_init(r17263);
        mpfr_init(r17264);
        mpfr_init(r17265);
        mpfr_init(r17266);
        mpfr_init_set_str(r17267, "0.25", 10, MPFR_RNDN);
        mpfr_init(r17268);
        mpfr_init(r17269);
        mpfr_init_set_str(r17270, "0.5", 10, MPFR_RNDN);
        mpfr_init(r17271);
        mpfr_init(r17272);
        mpfr_init(r17273);
        mpfr_init(r17274);
        mpfr_init(r17275);
        mpfr_init(r17276);
        mpfr_init(r17277);
}

double f_fm(double alpha, double beta) {
        mpfr_set_d(r17251, alpha, MPFR_RNDN);
        ;
        mpfr_set_si(r17253, mpfr_cmp(r17251, r17252) <= 0, MPFR_RNDN);
        ;
        mpfr_add(r17255, r17251, r17254, MPFR_RNDN);
        mpfr_set_d(r17256, beta, MPFR_RNDN);
        mpfr_mul(r17257, r17256, r17251, MPFR_RNDN);
        mpfr_add(r17258, r17256, r17257, MPFR_RNDN);
        mpfr_add(r17259, r17255, r17258, MPFR_RNDN);
        ;
        mpfr_add(r17261, r17260, r17256, MPFR_RNDN);
        mpfr_add(r17262, r17251, r17261, MPFR_RNDN);
        mpfr_div(r17263, r17259, r17262, MPFR_RNDN);
        mpfr_add(r17264, r17255, r17261, MPFR_RNDN);
        mpfr_div(r17265, r17263, r17264, MPFR_RNDN);
        mpfr_div(r17266, r17265, r17262, MPFR_RNDN);
        ;
        mpfr_add(r17268, r17251, r17256, MPFR_RNDN);
        mpfr_mul(r17269, r17267, r17268, MPFR_RNDN);
        ;
        mpfr_add(r17271, r17269, r17270, MPFR_RNDN);
        mpfr_add(r17272, r17268, r17260, MPFR_RNDN);
        mpfr_add(r17273, r17260, r17254, MPFR_RNDN);
        mpfr_add(r17274, r17268, r17273, MPFR_RNDN);
        mpfr_mul(r17275, r17272, r17274, MPFR_RNDN);
        mpfr_div(r17276, r17271, r17275, MPFR_RNDN);
        if (mpfr_get_si(r17253, MPFR_RNDN)) { mpfr_set(r17277, r17266, MPFR_RNDN); } else { mpfr_set(r17277, r17276, MPFR_RNDN); };
        return mpfr_get_d(r17277, MPFR_RNDN);
}

static mpfr_t r17278, r17279, r17280, r17281, r17282, r17283, r17284, r17285, r17286, r17287, r17288, r17289, r17290, r17291, r17292, r17293, r17294, r17295, r17296, r17297, r17298, r17299, r17300, r17301, r17302, r17303, r17304;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17278);
        mpfr_init_set_str(r17279, "1.2543987852557203e+178", 10, MPFR_RNDN);
        mpfr_init(r17280);
        mpfr_init_set_str(r17281, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17282);
        mpfr_init(r17283);
        mpfr_init(r17284);
        mpfr_init(r17285);
        mpfr_init(r17286);
        mpfr_init_set_str(r17287, "2", 10, MPFR_RNDN);
        mpfr_init(r17288);
        mpfr_init(r17289);
        mpfr_init(r17290);
        mpfr_init(r17291);
        mpfr_init(r17292);
        mpfr_init(r17293);
        mpfr_init_set_str(r17294, "0.25", 10, MPFR_RNDN);
        mpfr_init(r17295);
        mpfr_init(r17296);
        mpfr_init_set_str(r17297, "0.5", 10, MPFR_RNDN);
        mpfr_init(r17298);
        mpfr_init(r17299);
        mpfr_init(r17300);
        mpfr_init(r17301);
        mpfr_init(r17302);
        mpfr_init(r17303);
        mpfr_init(r17304);
}

double f_dm(double alpha, double beta) {
        mpfr_set_d(r17278, alpha, MPFR_RNDN);
        ;
        mpfr_set_si(r17280, mpfr_cmp(r17278, r17279) <= 0, MPFR_RNDN);
        ;
        mpfr_add(r17282, r17278, r17281, MPFR_RNDN);
        mpfr_set_d(r17283, beta, MPFR_RNDN);
        mpfr_mul(r17284, r17283, r17278, MPFR_RNDN);
        mpfr_add(r17285, r17283, r17284, MPFR_RNDN);
        mpfr_add(r17286, r17282, r17285, MPFR_RNDN);
        ;
        mpfr_add(r17288, r17287, r17283, MPFR_RNDN);
        mpfr_add(r17289, r17278, r17288, MPFR_RNDN);
        mpfr_div(r17290, r17286, r17289, MPFR_RNDN);
        mpfr_add(r17291, r17282, r17288, MPFR_RNDN);
        mpfr_div(r17292, r17290, r17291, MPFR_RNDN);
        mpfr_div(r17293, r17292, r17289, MPFR_RNDN);
        ;
        mpfr_add(r17295, r17278, r17283, MPFR_RNDN);
        mpfr_mul(r17296, r17294, r17295, MPFR_RNDN);
        ;
        mpfr_add(r17298, r17296, r17297, MPFR_RNDN);
        mpfr_add(r17299, r17295, r17287, MPFR_RNDN);
        mpfr_add(r17300, r17287, r17281, MPFR_RNDN);
        mpfr_add(r17301, r17295, r17300, MPFR_RNDN);
        mpfr_mul(r17302, r17299, r17301, MPFR_RNDN);
        mpfr_div(r17303, r17298, r17302, MPFR_RNDN);
        if (mpfr_get_si(r17280, MPFR_RNDN)) { mpfr_set(r17304, r17293, MPFR_RNDN); } else { mpfr_set(r17304, r17303, MPFR_RNDN); };
        return mpfr_get_d(r17304, MPFR_RNDN);
}

