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

char *name = "Toniolo and Linder, Equation (10-)";

double f_if(float t, float l, float k) {
        float r22271 = 2;
        float r22272 = t;
        float r22273 = 3;
        float r22274 = pow(r22272, r22273);
        float r22275 = l;
        float r22276 = r22275 * r22275;
        float r22277 = r22274 / r22276;
        float r22278 = k;
        float r22279 = sin(r22278);
        float r22280 = r22277 * r22279;
        float r22281 = tan(r22278);
        float r22282 = r22280 * r22281;
        float r22283 = 1;
        float r22284 = r22278 / r22272;
        float r22285 = pow(r22284, r22271);
        float r22286 = r22283 + r22285;
        float r22287 = r22286 - r22283;
        float r22288 = r22282 * r22287;
        float r22289 = r22271 / r22288;
        return r22289;
}

double f_id(double t, double l, double k) {
        double r22290 = 2;
        double r22291 = t;
        double r22292 = 3;
        double r22293 = pow(r22291, r22292);
        double r22294 = l;
        double r22295 = r22294 * r22294;
        double r22296 = r22293 / r22295;
        double r22297 = k;
        double r22298 = sin(r22297);
        double r22299 = r22296 * r22298;
        double r22300 = tan(r22297);
        double r22301 = r22299 * r22300;
        double r22302 = 1;
        double r22303 = r22297 / r22291;
        double r22304 = pow(r22303, r22290);
        double r22305 = r22302 + r22304;
        double r22306 = r22305 - r22302;
        double r22307 = r22301 * r22306;
        double r22308 = r22290 / r22307;
        return r22308;
}


double f_of(float t, float l, float k) {
        float r22309 = t;
        float r22310 = -2.3953048845751785e-47;
        bool r22311 = r22309 <= r22310;
        float r22312 = 2;
        float r22313 = 1;
        float r22314 = l;
        float r22315 = k;
        float r22316 = r22314 / r22315;
        float r22317 = sin(r22315);
        float r22318 = r22316 / r22317;
        float r22319 = r22313 / r22315;
        float r22320 = tan(r22315);
        float r22321 = r22314 / r22320;
        float r22322 = r22321 / r22309;
        float r22323 = r22319 * r22322;
        float r22324 = r22318 * r22323;
        float r22325 = r22313 / r22324;
        float r22326 = r22312 / r22325;
        float r22327 = 1.7093684075383152e-148;
        bool r22328 = r22309 <= r22327;
        float r22329 = r22315 / r22314;
        float r22330 = r22312 / r22329;
        float r22331 = r22330 / r22320;
        float r22332 = r22315 * r22309;
        float r22333 = r22314 / r22332;
        float r22334 = r22331 * r22333;
        float r22335 = r22334 / r22317;
        float r22336 = r22328 ? r22335 : r22326;
        float r22337 = r22311 ? r22326 : r22336;
        return r22337;
}

double f_od(double t, double l, double k) {
        double r22338 = t;
        double r22339 = -2.3953048845751785e-47;
        bool r22340 = r22338 <= r22339;
        double r22341 = 2;
        double r22342 = 1;
        double r22343 = l;
        double r22344 = k;
        double r22345 = r22343 / r22344;
        double r22346 = sin(r22344);
        double r22347 = r22345 / r22346;
        double r22348 = r22342 / r22344;
        double r22349 = tan(r22344);
        double r22350 = r22343 / r22349;
        double r22351 = r22350 / r22338;
        double r22352 = r22348 * r22351;
        double r22353 = r22347 * r22352;
        double r22354 = r22342 / r22353;
        double r22355 = r22341 / r22354;
        double r22356 = 1.7093684075383152e-148;
        bool r22357 = r22338 <= r22356;
        double r22358 = r22344 / r22343;
        double r22359 = r22341 / r22358;
        double r22360 = r22359 / r22349;
        double r22361 = r22344 * r22338;
        double r22362 = r22343 / r22361;
        double r22363 = r22360 * r22362;
        double r22364 = r22363 / r22346;
        double r22365 = r22357 ? r22364 : r22355;
        double r22366 = r22340 ? r22355 : r22365;
        return r22366;
}

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 r22367, r22368, r22369, r22370, r22371, r22372, r22373, r22374, r22375, r22376, r22377, r22378, r22379, r22380, r22381, r22382, r22383, r22384, r22385;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(4496);
        mpfr_init_set_str(r22367, "2", 10, MPFR_RNDN);
        mpfr_init(r22368);
        mpfr_init_set_str(r22369, "3", 10, MPFR_RNDN);
        mpfr_init(r22370);
        mpfr_init(r22371);
        mpfr_init(r22372);
        mpfr_init(r22373);
        mpfr_init(r22374);
        mpfr_init(r22375);
        mpfr_init(r22376);
        mpfr_init(r22377);
        mpfr_init(r22378);
        mpfr_init_set_str(r22379, "1", 10, MPFR_RNDN);
        mpfr_init(r22380);
        mpfr_init(r22381);
        mpfr_init(r22382);
        mpfr_init(r22383);
        mpfr_init(r22384);
        mpfr_init(r22385);
}

double f_im(double t, double l, double k) {
        ;
        mpfr_set_d(r22368, t, MPFR_RNDN);
        ;
        mpfr_pow(r22370, r22368, r22369, MPFR_RNDN);
        mpfr_set_d(r22371, l, MPFR_RNDN);
        mpfr_mul(r22372, r22371, r22371, MPFR_RNDN);
        mpfr_div(r22373, r22370, r22372, MPFR_RNDN);
        mpfr_set_d(r22374, k, MPFR_RNDN);
        mpfr_sin(r22375, r22374, MPFR_RNDN);
        mpfr_mul(r22376, r22373, r22375, MPFR_RNDN);
        mpfr_tan(r22377, r22374, MPFR_RNDN);
        mpfr_mul(r22378, r22376, r22377, MPFR_RNDN);
        ;
        mpfr_div(r22380, r22374, r22368, MPFR_RNDN);
        mpfr_pow(r22381, r22380, r22367, MPFR_RNDN);
        mpfr_add(r22382, r22379, r22381, MPFR_RNDN);
        mpfr_sub(r22383, r22382, r22379, MPFR_RNDN);
        mpfr_mul(r22384, r22378, r22383, MPFR_RNDN);
        mpfr_div(r22385, r22367, r22384, MPFR_RNDN);
        return mpfr_get_d(r22385, MPFR_RNDN);
}

static mpfr_t r22386, r22387, r22388, r22389, r22390, r22391, r22392, r22393, r22394, r22395, r22396, r22397, r22398, r22399, r22400, r22401, r22402, r22403, r22404, r22405, r22406, r22407, r22408, r22409, r22410, r22411, r22412, r22413, r22414;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(4496);
        mpfr_init(r22386);
        mpfr_init_set_str(r22387, "-2.3953048845751785e-47", 10, MPFR_RNDN);
        mpfr_init(r22388);
        mpfr_init_set_str(r22389, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r22390, "1", 10, MPFR_RNDN);
        mpfr_init(r22391);
        mpfr_init(r22392);
        mpfr_init(r22393);
        mpfr_init(r22394);
        mpfr_init(r22395);
        mpfr_init(r22396);
        mpfr_init(r22397);
        mpfr_init(r22398);
        mpfr_init(r22399);
        mpfr_init(r22400);
        mpfr_init(r22401);
        mpfr_init(r22402);
        mpfr_init(r22403);
        mpfr_init_set_str(r22404, "1.7093684075383152e-148", 10, MPFR_RNDN);
        mpfr_init(r22405);
        mpfr_init(r22406);
        mpfr_init(r22407);
        mpfr_init(r22408);
        mpfr_init(r22409);
        mpfr_init(r22410);
        mpfr_init(r22411);
        mpfr_init(r22412);
        mpfr_init(r22413);
        mpfr_init(r22414);
}

double f_fm(double t, double l, double k) {
        mpfr_set_d(r22386, t, MPFR_RNDN);
        ;
        mpfr_set_si(r22388, mpfr_cmp(r22386, r22387) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_set_d(r22391, l, MPFR_RNDN);
        mpfr_set_d(r22392, k, MPFR_RNDN);
        mpfr_div(r22393, r22391, r22392, MPFR_RNDN);
        mpfr_sin(r22394, r22392, MPFR_RNDN);
        mpfr_div(r22395, r22393, r22394, MPFR_RNDN);
        mpfr_div(r22396, r22390, r22392, MPFR_RNDN);
        mpfr_tan(r22397, r22392, MPFR_RNDN);
        mpfr_div(r22398, r22391, r22397, MPFR_RNDN);
        mpfr_div(r22399, r22398, r22386, MPFR_RNDN);
        mpfr_mul(r22400, r22396, r22399, MPFR_RNDN);
        mpfr_mul(r22401, r22395, r22400, MPFR_RNDN);
        mpfr_div(r22402, r22390, r22401, MPFR_RNDN);
        mpfr_div(r22403, r22389, r22402, MPFR_RNDN);
        ;
        mpfr_set_si(r22405, mpfr_cmp(r22386, r22404) <= 0, MPFR_RNDN);
        mpfr_div(r22406, r22392, r22391, MPFR_RNDN);
        mpfr_div(r22407, r22389, r22406, MPFR_RNDN);
        mpfr_div(r22408, r22407, r22397, MPFR_RNDN);
        mpfr_mul(r22409, r22392, r22386, MPFR_RNDN);
        mpfr_div(r22410, r22391, r22409, MPFR_RNDN);
        mpfr_mul(r22411, r22408, r22410, MPFR_RNDN);
        mpfr_div(r22412, r22411, r22394, MPFR_RNDN);
        if (mpfr_get_si(r22405, MPFR_RNDN)) { mpfr_set(r22413, r22412, MPFR_RNDN); } else { mpfr_set(r22413, r22403, MPFR_RNDN); };
        if (mpfr_get_si(r22388, MPFR_RNDN)) { mpfr_set(r22414, r22403, MPFR_RNDN); } else { mpfr_set(r22414, r22413, MPFR_RNDN); };
        return mpfr_get_d(r22414, MPFR_RNDN);
}

static mpfr_t r22415, r22416, r22417, r22418, r22419, r22420, r22421, r22422, r22423, r22424, r22425, r22426, r22427, r22428, r22429, r22430, r22431, r22432, r22433, r22434, r22435, r22436, r22437, r22438, r22439, r22440, r22441, r22442, r22443;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(4496);
        mpfr_init(r22415);
        mpfr_init_set_str(r22416, "-2.3953048845751785e-47", 10, MPFR_RNDN);
        mpfr_init(r22417);
        mpfr_init_set_str(r22418, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r22419, "1", 10, MPFR_RNDN);
        mpfr_init(r22420);
        mpfr_init(r22421);
        mpfr_init(r22422);
        mpfr_init(r22423);
        mpfr_init(r22424);
        mpfr_init(r22425);
        mpfr_init(r22426);
        mpfr_init(r22427);
        mpfr_init(r22428);
        mpfr_init(r22429);
        mpfr_init(r22430);
        mpfr_init(r22431);
        mpfr_init(r22432);
        mpfr_init_set_str(r22433, "1.7093684075383152e-148", 10, MPFR_RNDN);
        mpfr_init(r22434);
        mpfr_init(r22435);
        mpfr_init(r22436);
        mpfr_init(r22437);
        mpfr_init(r22438);
        mpfr_init(r22439);
        mpfr_init(r22440);
        mpfr_init(r22441);
        mpfr_init(r22442);
        mpfr_init(r22443);
}

double f_dm(double t, double l, double k) {
        mpfr_set_d(r22415, t, MPFR_RNDN);
        ;
        mpfr_set_si(r22417, mpfr_cmp(r22415, r22416) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_set_d(r22420, l, MPFR_RNDN);
        mpfr_set_d(r22421, k, MPFR_RNDN);
        mpfr_div(r22422, r22420, r22421, MPFR_RNDN);
        mpfr_sin(r22423, r22421, MPFR_RNDN);
        mpfr_div(r22424, r22422, r22423, MPFR_RNDN);
        mpfr_div(r22425, r22419, r22421, MPFR_RNDN);
        mpfr_tan(r22426, r22421, MPFR_RNDN);
        mpfr_div(r22427, r22420, r22426, MPFR_RNDN);
        mpfr_div(r22428, r22427, r22415, MPFR_RNDN);
        mpfr_mul(r22429, r22425, r22428, MPFR_RNDN);
        mpfr_mul(r22430, r22424, r22429, MPFR_RNDN);
        mpfr_div(r22431, r22419, r22430, MPFR_RNDN);
        mpfr_div(r22432, r22418, r22431, MPFR_RNDN);
        ;
        mpfr_set_si(r22434, mpfr_cmp(r22415, r22433) <= 0, MPFR_RNDN);
        mpfr_div(r22435, r22421, r22420, MPFR_RNDN);
        mpfr_div(r22436, r22418, r22435, MPFR_RNDN);
        mpfr_div(r22437, r22436, r22426, MPFR_RNDN);
        mpfr_mul(r22438, r22421, r22415, MPFR_RNDN);
        mpfr_div(r22439, r22420, r22438, MPFR_RNDN);
        mpfr_mul(r22440, r22437, r22439, MPFR_RNDN);
        mpfr_div(r22441, r22440, r22423, MPFR_RNDN);
        if (mpfr_get_si(r22434, MPFR_RNDN)) { mpfr_set(r22442, r22441, MPFR_RNDN); } else { mpfr_set(r22442, r22432, MPFR_RNDN); };
        if (mpfr_get_si(r22417, MPFR_RNDN)) { mpfr_set(r22443, r22432, MPFR_RNDN); } else { mpfr_set(r22443, r22442, MPFR_RNDN); };
        return mpfr_get_d(r22443, MPFR_RNDN);
}