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

char *name = "Octave 3.8, jcobi/4, as called";

double f_if(float i) {
        float r17139 = i;
        float r17140 = r17139 * r17139;
        float r17141 = r17140 * r17140;
        float r17142 = 2.0f;
        float r17143 = r17142 * r17139;
        float r17144 = r17143 * r17143;
        float r17145 = r17141 / r17144;
        float r17146 = 1.0f;
        float r17147 = r17144 - r17146;
        float r17148 = r17145 / r17147;
        return r17148;
}

double f_id(double i) {
        double r17149 = i;
        double r17150 = r17149 * r17149;
        double r17151 = r17150 * r17150;
        double r17152 = 2.0;
        double r17153 = r17152 * r17149;
        double r17154 = r17153 * r17153;
        double r17155 = r17151 / r17154;
        double r17156 = 1.0;
        double r17157 = r17154 - r17156;
        double r17158 = r17155 / r17157;
        return r17158;
}


double f_of(float i) {
        float r17159 = i;
        float r17160 = 6809.194157769488f;
        bool r17161 = r17159 <= r17160;
        float r17162 = 2.0f;
        float r17163 = r17159 / r17162;
        float r17164 = r17163 * r17163;
        float r17165 = r17159 * r17162;
        float r17166 = r17165 * r17165;
        float r17167 = 1.0f;
        float r17168 = r17166 - r17167;
        float r17169 = r17164 / r17168;
        float r17170 = 0.0625f;
        float r17171 = 0.00390625f;
        float r17172 = 4.0f;
        float r17173 = pow(r17159, r17172);
        float r17174 = r17171 / r17173;
        float r17175 = r17170 + r17174;
        float r17176 = 0.015625f;
        float r17177 = r17159 * r17159;
        float r17178 = r17176 / r17177;
        float r17179 = r17175 + r17178;
        float r17180 = r17161 ? r17169 : r17179;
        return r17180;
}

double f_od(double i) {
        double r17181 = i;
        double r17182 = 6809.194157769488;
        bool r17183 = r17181 <= r17182;
        double r17184 = 2.0;
        double r17185 = r17181 / r17184;
        double r17186 = r17185 * r17185;
        double r17187 = r17181 * r17184;
        double r17188 = r17187 * r17187;
        double r17189 = 1.0;
        double r17190 = r17188 - r17189;
        double r17191 = r17186 / r17190;
        double r17192 = 0.0625;
        double r17193 = 0.00390625;
        double r17194 = 4.0;
        double r17195 = pow(r17181, r17194);
        double r17196 = r17193 / r17195;
        double r17197 = r17192 + r17196;
        double r17198 = 0.015625;
        double r17199 = r17181 * r17181;
        double r17200 = r17198 / r17199;
        double r17201 = r17197 + r17200;
        double r17202 = r17183 ? r17191 : r17201;
        return r17202;
}

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 r17203, r17204, r17205, r17206, r17207, r17208, r17209, r17210, r17211, r17212;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17203);
        mpfr_init(r17204);
        mpfr_init(r17205);
        mpfr_init_set_str(r17206, "2", 10, MPFR_RNDN);
        mpfr_init(r17207);
        mpfr_init(r17208);
        mpfr_init(r17209);
        mpfr_init_set_str(r17210, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17211);
        mpfr_init(r17212);
}

double f_im(double i) {
        mpfr_set_d(r17203, i, MPFR_RNDN);
        mpfr_mul(r17204, r17203, r17203, MPFR_RNDN);
        mpfr_mul(r17205, r17204, r17204, MPFR_RNDN);
        ;
        mpfr_mul(r17207, r17206, r17203, MPFR_RNDN);
        mpfr_mul(r17208, r17207, r17207, MPFR_RNDN);
        mpfr_div(r17209, r17205, r17208, MPFR_RNDN);
        ;
        mpfr_sub(r17211, r17208, r17210, MPFR_RNDN);
        mpfr_div(r17212, r17209, r17211, MPFR_RNDN);
        return mpfr_get_d(r17212, MPFR_RNDN);
}

static mpfr_t r17213, r17214, r17215, r17216, r17217, r17218, r17219, r17220, r17221, r17222, r17223, r17224, r17225, r17226, r17227, r17228, r17229, r17230, r17231, r17232, r17233, r17234;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17213);
        mpfr_init_set_str(r17214, "6809.194157769488", 10, MPFR_RNDN);
        mpfr_init(r17215);
        mpfr_init_set_str(r17216, "2", 10, MPFR_RNDN);
        mpfr_init(r17217);
        mpfr_init(r17218);
        mpfr_init(r17219);
        mpfr_init(r17220);
        mpfr_init_set_str(r17221, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17222);
        mpfr_init(r17223);
        mpfr_init_set_str(r17224, "1/16", 10, MPFR_RNDN);
        mpfr_init_set_str(r17225, "0.00390625", 10, MPFR_RNDN);
        mpfr_init_set_str(r17226, "4", 10, MPFR_RNDN);
        mpfr_init(r17227);
        mpfr_init(r17228);
        mpfr_init(r17229);
        mpfr_init_set_str(r17230, "0.015625", 10, MPFR_RNDN);
        mpfr_init(r17231);
        mpfr_init(r17232);
        mpfr_init(r17233);
        mpfr_init(r17234);
}

double f_fm(double i) {
        mpfr_set_d(r17213, i, MPFR_RNDN);
        ;
        mpfr_set_si(r17215, mpfr_cmp(r17213, r17214) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r17217, r17213, r17216, MPFR_RNDN);
        mpfr_sqr(r17218, r17217, MPFR_RNDN);
        mpfr_mul(r17219, r17213, r17216, MPFR_RNDN);
        mpfr_mul(r17220, r17219, r17219, MPFR_RNDN);
        ;
        mpfr_sub(r17222, r17220, r17221, MPFR_RNDN);
        mpfr_div(r17223, r17218, r17222, MPFR_RNDN);
        ;
        ;
        ;
        mpfr_pow(r17227, r17213, r17226, MPFR_RNDN);
        mpfr_div(r17228, r17225, r17227, MPFR_RNDN);
        mpfr_add(r17229, r17224, r17228, MPFR_RNDN);
        ;
        mpfr_mul(r17231, r17213, r17213, MPFR_RNDN);
        mpfr_div(r17232, r17230, r17231, MPFR_RNDN);
        mpfr_add(r17233, r17229, r17232, MPFR_RNDN);
        if (mpfr_get_si(r17215, MPFR_RNDN)) { mpfr_set(r17234, r17223, MPFR_RNDN); } else { mpfr_set(r17234, r17233, MPFR_RNDN); };
        return mpfr_get_d(r17234, MPFR_RNDN);
}

static mpfr_t r17235, r17236, r17237, r17238, r17239, r17240, r17241, r17242, r17243, r17244, r17245, r17246, r17247, r17248, r17249, r17250, r17251, r17252, r17253, r17254, r17255, r17256;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17235);
        mpfr_init_set_str(r17236, "6809.194157769488", 10, MPFR_RNDN);
        mpfr_init(r17237);
        mpfr_init_set_str(r17238, "2", 10, MPFR_RNDN);
        mpfr_init(r17239);
        mpfr_init(r17240);
        mpfr_init(r17241);
        mpfr_init(r17242);
        mpfr_init_set_str(r17243, "1.0", 10, MPFR_RNDN);
        mpfr_init(r17244);
        mpfr_init(r17245);
        mpfr_init_set_str(r17246, "1/16", 10, MPFR_RNDN);
        mpfr_init_set_str(r17247, "0.00390625", 10, MPFR_RNDN);
        mpfr_init_set_str(r17248, "4", 10, MPFR_RNDN);
        mpfr_init(r17249);
        mpfr_init(r17250);
        mpfr_init(r17251);
        mpfr_init_set_str(r17252, "0.015625", 10, MPFR_RNDN);
        mpfr_init(r17253);
        mpfr_init(r17254);
        mpfr_init(r17255);
        mpfr_init(r17256);
}

double f_dm(double i) {
        mpfr_set_d(r17235, i, MPFR_RNDN);
        ;
        mpfr_set_si(r17237, mpfr_cmp(r17235, r17236) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r17239, r17235, r17238, MPFR_RNDN);
        mpfr_sqr(r17240, r17239, MPFR_RNDN);
        mpfr_mul(r17241, r17235, r17238, MPFR_RNDN);
        mpfr_mul(r17242, r17241, r17241, MPFR_RNDN);
        ;
        mpfr_sub(r17244, r17242, r17243, MPFR_RNDN);
        mpfr_div(r17245, r17240, r17244, MPFR_RNDN);
        ;
        ;
        ;
        mpfr_pow(r17249, r17235, r17248, MPFR_RNDN);
        mpfr_div(r17250, r17247, r17249, MPFR_RNDN);
        mpfr_add(r17251, r17246, r17250, MPFR_RNDN);
        ;
        mpfr_mul(r17253, r17235, r17235, MPFR_RNDN);
        mpfr_div(r17254, r17252, r17253, MPFR_RNDN);
        mpfr_add(r17255, r17251, r17254, MPFR_RNDN);
        if (mpfr_get_si(r17237, MPFR_RNDN)) { mpfr_set(r17256, r17245, MPFR_RNDN); } else { mpfr_set(r17256, r17255, MPFR_RNDN); };
        return mpfr_get_d(r17256, MPFR_RNDN);
}