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

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

double f_if(float alpha, float beta) {
        float r26172 = beta;
        float r26173 = alpha;
        float r26174 = r26172 - r26173;
        float r26175 = r26173 + r26172;
        float r26176 = 2.0;
        float r26177 = r26175 + r26176;
        float r26178 = r26174 / r26177;
        float r26179 = 1.0;
        float r26180 = r26178 + r26179;
        float r26181 = r26180 / r26176;
        return r26181;
}

double f_id(double alpha, double beta) {
        double r26182 = beta;
        double r26183 = alpha;
        double r26184 = r26182 - r26183;
        double r26185 = r26183 + r26182;
        double r26186 = 2.0;
        double r26187 = r26185 + r26186;
        double r26188 = r26184 / r26187;
        double r26189 = 1.0;
        double r26190 = r26188 + r26189;
        double r26191 = r26190 / r26186;
        return r26191;
}


double f_of(float alpha, float beta) {
        float r26192 = beta;
        float r26193 = alpha;
        float r26194 = r26193 + r26192;
        float r26195 = 2.0;
        float r26196 = r26194 + r26195;
        float r26197 = r26192 / r26196;
        float r26198 = 4.0;
        float r26199 = 1;
        float r26200 = 2;
        float r26201 = pow(r26193, r26200);
        float r26202 = r26199 / r26201;
        float r26203 = r26198 * r26202;
        float r26204 = 8.0;
        float r26205 = 3;
        float r26206 = pow(r26193, r26205);
        float r26207 = r26199 / r26206;
        float r26208 = r26204 * r26207;
        float r26209 = r26199 / r26193;
        float r26210 = r26195 * r26209;
        float r26211 = r26208 + r26210;
        float r26212 = r26203 - r26211;
        float r26213 = r26197 - r26212;
        float r26214 = r26213 / r26195;
        float r26215 = 1.583875705995391e-300;
        bool r26216 = r26214 <= r26215;
        float r26217 = r26193 / r26196;
        float r26218 = pow(r26217, r26205);
        float r26219 = pow(r26218, r26205);
        float r26220 = 1.0;
        float r26221 = pow(r26220, r26205);
        float r26222 = pow(r26221, r26205);
        float r26223 = r26219 - r26222;
        float r26224 = r26218 * r26218;
        float r26225 = r26221 * r26221;
        float r26226 = r26218 * r26221;
        float r26227 = r26225 + r26226;
        float r26228 = r26224 + r26227;
        float r26229 = r26223 / r26228;
        float r26230 = r26192 + r26193;
        float r26231 = r26195 + r26230;
        float r26232 = r26193 / r26231;
        float r26233 = r26232 + r26220;
        float r26234 = r26232 * r26232;
        float r26235 = fma(r26233, r26220, r26234);
        float r26236 = r26229 / r26235;
        float r26237 = r26197 - r26236;
        float r26238 = r26237 / r26195;
        float r26239 = 8.499631403808008e-06;
        bool r26240 = r26214 <= r26239;
        float r26241 = log1p(r26218);
        float r26242 = expm1(r26241);
        float r26243 = r26242 - r26221;
        float r26244 = r26243 / r26235;
        float r26245 = r26197 - r26244;
        float r26246 = r26245 / r26195;
        float r26247 = r26240 ? r26214 : r26246;
        float r26248 = r26216 ? r26238 : r26247;
        return r26248;
}

double f_od(double alpha, double beta) {
        double r26249 = beta;
        double r26250 = alpha;
        double r26251 = r26250 + r26249;
        double r26252 = 2.0;
        double r26253 = r26251 + r26252;
        double r26254 = r26249 / r26253;
        double r26255 = 4.0;
        double r26256 = 1;
        double r26257 = 2;
        double r26258 = pow(r26250, r26257);
        double r26259 = r26256 / r26258;
        double r26260 = r26255 * r26259;
        double r26261 = 8.0;
        double r26262 = 3;
        double r26263 = pow(r26250, r26262);
        double r26264 = r26256 / r26263;
        double r26265 = r26261 * r26264;
        double r26266 = r26256 / r26250;
        double r26267 = r26252 * r26266;
        double r26268 = r26265 + r26267;
        double r26269 = r26260 - r26268;
        double r26270 = r26254 - r26269;
        double r26271 = r26270 / r26252;
        double r26272 = 1.583875705995391e-300;
        bool r26273 = r26271 <= r26272;
        double r26274 = r26250 / r26253;
        double r26275 = pow(r26274, r26262);
        double r26276 = pow(r26275, r26262);
        double r26277 = 1.0;
        double r26278 = pow(r26277, r26262);
        double r26279 = pow(r26278, r26262);
        double r26280 = r26276 - r26279;
        double r26281 = r26275 * r26275;
        double r26282 = r26278 * r26278;
        double r26283 = r26275 * r26278;
        double r26284 = r26282 + r26283;
        double r26285 = r26281 + r26284;
        double r26286 = r26280 / r26285;
        double r26287 = r26249 + r26250;
        double r26288 = r26252 + r26287;
        double r26289 = r26250 / r26288;
        double r26290 = r26289 + r26277;
        double r26291 = r26289 * r26289;
        double r26292 = fma(r26290, r26277, r26291);
        double r26293 = r26286 / r26292;
        double r26294 = r26254 - r26293;
        double r26295 = r26294 / r26252;
        double r26296 = 8.499631403808008e-06;
        bool r26297 = r26271 <= r26296;
        double r26298 = log1p(r26275);
        double r26299 = expm1(r26298);
        double r26300 = r26299 - r26278;
        double r26301 = r26300 / r26292;
        double r26302 = r26254 - r26301;
        double r26303 = r26302 / r26252;
        double r26304 = r26297 ? r26271 : r26303;
        double r26305 = r26273 ? r26295 : r26304;
        return r26305;
}

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 r26306, r26307, r26308, r26309, r26310, r26311, r26312, r26313, r26314, r26315;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26306);
        mpfr_init(r26307);
        mpfr_init(r26308);
        mpfr_init(r26309);
        mpfr_init_set_str(r26310, "2.0", 10, MPFR_RNDN);
        mpfr_init(r26311);
        mpfr_init(r26312);
        mpfr_init_set_str(r26313, "1.0", 10, MPFR_RNDN);
        mpfr_init(r26314);
        mpfr_init(r26315);
}

double f_im(double alpha, double beta) {
        mpfr_set_d(r26306, beta, MPFR_RNDN);
        mpfr_set_d(r26307, alpha, MPFR_RNDN);
        mpfr_sub(r26308, r26306, r26307, MPFR_RNDN);
        mpfr_add(r26309, r26307, r26306, MPFR_RNDN);
        ;
        mpfr_add(r26311, r26309, r26310, MPFR_RNDN);
        mpfr_div(r26312, r26308, r26311, MPFR_RNDN);
        ;
        mpfr_add(r26314, r26312, r26313, MPFR_RNDN);
        mpfr_div(r26315, r26314, r26310, MPFR_RNDN);
        return mpfr_get_d(r26315, MPFR_RNDN);
}

static mpfr_t r26316, r26317, r26318, r26319, r26320, r26321, r26322, r26323, r26324, r26325, r26326, r26327, r26328, r26329, r26330, r26331, r26332, r26333, r26334, r26335, r26336, r26337, r26338, r26339, r26340, r26341, r26342, r26343, r26344, r26345, r26346, r26347, r26348, r26349, r26350, r26351, r26352, r26353, r26354, r26355, r26356, r26357, r26358, r26359, r26360, r26361, r26362, r26363, r26364, r26365, r26366, r26367, r26368, r26369, r26370, r26371, r26372;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26316);
        mpfr_init(r26317);
        mpfr_init(r26318);
        mpfr_init_set_str(r26319, "2.0", 10, MPFR_RNDN);
        mpfr_init(r26320);
        mpfr_init(r26321);
        mpfr_init_set_str(r26322, "4.0", 10, MPFR_RNDN);
        mpfr_init_set_str(r26323, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r26324, "2", 10, MPFR_RNDN);
        mpfr_init(r26325);
        mpfr_init(r26326);
        mpfr_init(r26327);
        mpfr_init_set_str(r26328, "8.0", 10, MPFR_RNDN);
        mpfr_init_set_str(r26329, "3", 10, MPFR_RNDN);
        mpfr_init(r26330);
        mpfr_init(r26331);
        mpfr_init(r26332);
        mpfr_init(r26333);
        mpfr_init(r26334);
        mpfr_init(r26335);
        mpfr_init(r26336);
        mpfr_init(r26337);
        mpfr_init(r26338);
        mpfr_init_set_str(r26339, "1.583875705995391e-300", 10, MPFR_RNDN);
        mpfr_init(r26340);
        mpfr_init(r26341);
        mpfr_init(r26342);
        mpfr_init(r26343);
        mpfr_init_set_str(r26344, "1.0", 10, MPFR_RNDN);
        mpfr_init(r26345);
        mpfr_init(r26346);
        mpfr_init(r26347);
        mpfr_init(r26348);
        mpfr_init(r26349);
        mpfr_init(r26350);
        mpfr_init(r26351);
        mpfr_init(r26352);
        mpfr_init(r26353);
        mpfr_init(r26354);
        mpfr_init(r26355);
        mpfr_init(r26356);
        mpfr_init(r26357);
        mpfr_init(r26358);
        mpfr_init(r26359);
        mpfr_init(r26360);
        mpfr_init(r26361);
        mpfr_init(r26362);
        mpfr_init_set_str(r26363, "8.499631403808008e-06", 10, MPFR_RNDN);
        mpfr_init(r26364);
        mpfr_init(r26365);
        mpfr_init(r26366);
        mpfr_init(r26367);
        mpfr_init(r26368);
        mpfr_init(r26369);
        mpfr_init(r26370);
        mpfr_init(r26371);
        mpfr_init(r26372);
}

double f_fm(double alpha, double beta) {
        mpfr_set_d(r26316, beta, MPFR_RNDN);
        mpfr_set_d(r26317, alpha, MPFR_RNDN);
        mpfr_add(r26318, r26317, r26316, MPFR_RNDN);
        ;
        mpfr_add(r26320, r26318, r26319, MPFR_RNDN);
        mpfr_div(r26321, r26316, r26320, MPFR_RNDN);
        ;
        ;
        ;
        mpfr_pow(r26325, r26317, r26324, MPFR_RNDN);
        mpfr_div(r26326, r26323, r26325, MPFR_RNDN);
        mpfr_mul(r26327, r26322, r26326, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r26330, r26317, r26329, MPFR_RNDN);
        mpfr_div(r26331, r26323, r26330, MPFR_RNDN);
        mpfr_mul(r26332, r26328, r26331, MPFR_RNDN);
        mpfr_div(r26333, r26323, r26317, MPFR_RNDN);
        mpfr_mul(r26334, r26319, r26333, MPFR_RNDN);
        mpfr_add(r26335, r26332, r26334, MPFR_RNDN);
        mpfr_sub(r26336, r26327, r26335, MPFR_RNDN);
        mpfr_sub(r26337, r26321, r26336, MPFR_RNDN);
        mpfr_div(r26338, r26337, r26319, MPFR_RNDN);
        ;
        mpfr_set_si(r26340, mpfr_cmp(r26338, r26339) <= 0, MPFR_RNDN);
        mpfr_div(r26341, r26317, r26320, MPFR_RNDN);
        mpfr_pow(r26342, r26341, r26329, MPFR_RNDN);
        mpfr_pow(r26343, r26342, r26329, MPFR_RNDN);
        ;
        mpfr_pow(r26345, r26344, r26329, MPFR_RNDN);
        mpfr_pow(r26346, r26345, r26329, MPFR_RNDN);
        mpfr_sub(r26347, r26343, r26346, MPFR_RNDN);
        mpfr_mul(r26348, r26342, r26342, MPFR_RNDN);
        mpfr_mul(r26349, r26345, r26345, MPFR_RNDN);
        mpfr_mul(r26350, r26342, r26345, MPFR_RNDN);
        mpfr_add(r26351, r26349, r26350, MPFR_RNDN);
        mpfr_add(r26352, r26348, r26351, MPFR_RNDN);
        mpfr_div(r26353, r26347, r26352, MPFR_RNDN);
        mpfr_add(r26354, r26316, r26317, MPFR_RNDN);
        mpfr_add(r26355, r26319, r26354, MPFR_RNDN);
        mpfr_div(r26356, r26317, r26355, MPFR_RNDN);
        mpfr_add(r26357, r26356, r26344, MPFR_RNDN);
        mpfr_mul(r26358, r26356, r26356, MPFR_RNDN);
        mpfr_fma(r26359, r26357, r26344, r26358, MPFR_RNDN);
        mpfr_div(r26360, r26353, r26359, MPFR_RNDN);
        mpfr_sub(r26361, r26321, r26360, MPFR_RNDN);
        mpfr_div(r26362, r26361, r26319, MPFR_RNDN);
        ;
        mpfr_set_si(r26364, mpfr_cmp(r26338, r26363) <= 0, MPFR_RNDN);
        mpfr_log1p(r26365, r26342, MPFR_RNDN);
        mpfr_expm1(r26366, r26365, MPFR_RNDN);
        mpfr_sub(r26367, r26366, r26345, MPFR_RNDN);
        mpfr_div(r26368, r26367, r26359, MPFR_RNDN);
        mpfr_sub(r26369, r26321, r26368, MPFR_RNDN);
        mpfr_div(r26370, r26369, r26319, MPFR_RNDN);
        if (mpfr_get_si(r26364, MPFR_RNDN)) { mpfr_set(r26371, r26338, MPFR_RNDN); } else { mpfr_set(r26371, r26370, MPFR_RNDN); };
        if (mpfr_get_si(r26340, MPFR_RNDN)) { mpfr_set(r26372, r26362, MPFR_RNDN); } else { mpfr_set(r26372, r26371, MPFR_RNDN); };
        return mpfr_get_d(r26372, MPFR_RNDN);
}

static mpfr_t r26373, r26374, r26375, r26376, r26377, r26378, r26379, r26380, r26381, r26382, r26383, r26384, r26385, r26386, r26387, r26388, r26389, r26390, r26391, r26392, r26393, r26394, r26395, r26396, r26397, r26398, r26399, r26400, r26401, r26402, r26403, r26404, r26405, r26406, r26407, r26408, r26409, r26410, r26411, r26412, r26413, r26414, r26415, r26416, r26417, r26418, r26419, r26420, r26421, r26422, r26423, r26424, r26425, r26426, r26427, r26428, r26429;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26373);
        mpfr_init(r26374);
        mpfr_init(r26375);
        mpfr_init_set_str(r26376, "2.0", 10, MPFR_RNDN);
        mpfr_init(r26377);
        mpfr_init(r26378);
        mpfr_init_set_str(r26379, "4.0", 10, MPFR_RNDN);
        mpfr_init_set_str(r26380, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r26381, "2", 10, MPFR_RNDN);
        mpfr_init(r26382);
        mpfr_init(r26383);
        mpfr_init(r26384);
        mpfr_init_set_str(r26385, "8.0", 10, MPFR_RNDN);
        mpfr_init_set_str(r26386, "3", 10, MPFR_RNDN);
        mpfr_init(r26387);
        mpfr_init(r26388);
        mpfr_init(r26389);
        mpfr_init(r26390);
        mpfr_init(r26391);
        mpfr_init(r26392);
        mpfr_init(r26393);
        mpfr_init(r26394);
        mpfr_init(r26395);
        mpfr_init_set_str(r26396, "1.583875705995391e-300", 10, MPFR_RNDN);
        mpfr_init(r26397);
        mpfr_init(r26398);
        mpfr_init(r26399);
        mpfr_init(r26400);
        mpfr_init_set_str(r26401, "1.0", 10, MPFR_RNDN);
        mpfr_init(r26402);
        mpfr_init(r26403);
        mpfr_init(r26404);
        mpfr_init(r26405);
        mpfr_init(r26406);
        mpfr_init(r26407);
        mpfr_init(r26408);
        mpfr_init(r26409);
        mpfr_init(r26410);
        mpfr_init(r26411);
        mpfr_init(r26412);
        mpfr_init(r26413);
        mpfr_init(r26414);
        mpfr_init(r26415);
        mpfr_init(r26416);
        mpfr_init(r26417);
        mpfr_init(r26418);
        mpfr_init(r26419);
        mpfr_init_set_str(r26420, "8.499631403808008e-06", 10, MPFR_RNDN);
        mpfr_init(r26421);
        mpfr_init(r26422);
        mpfr_init(r26423);
        mpfr_init(r26424);
        mpfr_init(r26425);
        mpfr_init(r26426);
        mpfr_init(r26427);
        mpfr_init(r26428);
        mpfr_init(r26429);
}

double f_dm(double alpha, double beta) {
        mpfr_set_d(r26373, beta, MPFR_RNDN);
        mpfr_set_d(r26374, alpha, MPFR_RNDN);
        mpfr_add(r26375, r26374, r26373, MPFR_RNDN);
        ;
        mpfr_add(r26377, r26375, r26376, MPFR_RNDN);
        mpfr_div(r26378, r26373, r26377, MPFR_RNDN);
        ;
        ;
        ;
        mpfr_pow(r26382, r26374, r26381, MPFR_RNDN);
        mpfr_div(r26383, r26380, r26382, MPFR_RNDN);
        mpfr_mul(r26384, r26379, r26383, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r26387, r26374, r26386, MPFR_RNDN);
        mpfr_div(r26388, r26380, r26387, MPFR_RNDN);
        mpfr_mul(r26389, r26385, r26388, MPFR_RNDN);
        mpfr_div(r26390, r26380, r26374, MPFR_RNDN);
        mpfr_mul(r26391, r26376, r26390, MPFR_RNDN);
        mpfr_add(r26392, r26389, r26391, MPFR_RNDN);
        mpfr_sub(r26393, r26384, r26392, MPFR_RNDN);
        mpfr_sub(r26394, r26378, r26393, MPFR_RNDN);
        mpfr_div(r26395, r26394, r26376, MPFR_RNDN);
        ;
        mpfr_set_si(r26397, mpfr_cmp(r26395, r26396) <= 0, MPFR_RNDN);
        mpfr_div(r26398, r26374, r26377, MPFR_RNDN);
        mpfr_pow(r26399, r26398, r26386, MPFR_RNDN);
        mpfr_pow(r26400, r26399, r26386, MPFR_RNDN);
        ;
        mpfr_pow(r26402, r26401, r26386, MPFR_RNDN);
        mpfr_pow(r26403, r26402, r26386, MPFR_RNDN);
        mpfr_sub(r26404, r26400, r26403, MPFR_RNDN);
        mpfr_mul(r26405, r26399, r26399, MPFR_RNDN);
        mpfr_mul(r26406, r26402, r26402, MPFR_RNDN);
        mpfr_mul(r26407, r26399, r26402, MPFR_RNDN);
        mpfr_add(r26408, r26406, r26407, MPFR_RNDN);
        mpfr_add(r26409, r26405, r26408, MPFR_RNDN);
        mpfr_div(r26410, r26404, r26409, MPFR_RNDN);
        mpfr_add(r26411, r26373, r26374, MPFR_RNDN);
        mpfr_add(r26412, r26376, r26411, MPFR_RNDN);
        mpfr_div(r26413, r26374, r26412, MPFR_RNDN);
        mpfr_add(r26414, r26413, r26401, MPFR_RNDN);
        mpfr_mul(r26415, r26413, r26413, MPFR_RNDN);
        mpfr_fma(r26416, r26414, r26401, r26415, MPFR_RNDN);
        mpfr_div(r26417, r26410, r26416, MPFR_RNDN);
        mpfr_sub(r26418, r26378, r26417, MPFR_RNDN);
        mpfr_div(r26419, r26418, r26376, MPFR_RNDN);
        ;
        mpfr_set_si(r26421, mpfr_cmp(r26395, r26420) <= 0, MPFR_RNDN);
        mpfr_log1p(r26422, r26399, MPFR_RNDN);
        mpfr_expm1(r26423, r26422, MPFR_RNDN);
        mpfr_sub(r26424, r26423, r26402, MPFR_RNDN);
        mpfr_div(r26425, r26424, r26416, MPFR_RNDN);
        mpfr_sub(r26426, r26378, r26425, MPFR_RNDN);
        mpfr_div(r26427, r26426, r26376, MPFR_RNDN);
        if (mpfr_get_si(r26421, MPFR_RNDN)) { mpfr_set(r26428, r26395, MPFR_RNDN); } else { mpfr_set(r26428, r26427, MPFR_RNDN); };
        if (mpfr_get_si(r26397, MPFR_RNDN)) { mpfr_set(r26429, r26419, MPFR_RNDN); } else { mpfr_set(r26429, r26428, MPFR_RNDN); };
        return mpfr_get_d(r26429, MPFR_RNDN);
}