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

char *name = "Falkner and Boettcher, Equation (20:1,3)";

double f_if(float v, float t) {
        float r27299 = 1;
        float r27300 = 5;
        float r27301 = v;
        float r27302 = r27301 * r27301;
        float r27303 = r27300 * r27302;
        float r27304 = r27299 - r27303;
        float r27305 = atan2(1.0, 0.0);
        float r27306 = t;
        float r27307 = r27305 * r27306;
        float r27308 = 2;
        float r27309 = 3;
        float r27310 = r27309 * r27302;
        float r27311 = r27299 - r27310;
        float r27312 = r27308 * r27311;
        float r27313 = sqrt(r27312);
        float r27314 = r27307 * r27313;
        float r27315 = r27299 - r27302;
        float r27316 = r27314 * r27315;
        float r27317 = r27304 / r27316;
        return r27317;
}

double f_id(double v, double t) {
        double r27318 = 1;
        double r27319 = 5;
        double r27320 = v;
        double r27321 = r27320 * r27320;
        double r27322 = r27319 * r27321;
        double r27323 = r27318 - r27322;
        double r27324 = atan2(1.0, 0.0);
        double r27325 = t;
        double r27326 = r27324 * r27325;
        double r27327 = 2;
        double r27328 = 3;
        double r27329 = r27328 * r27321;
        double r27330 = r27318 - r27329;
        double r27331 = r27327 * r27330;
        double r27332 = sqrt(r27331);
        double r27333 = r27326 * r27332;
        double r27334 = r27318 - r27321;
        double r27335 = r27333 * r27334;
        double r27336 = r27323 / r27335;
        return r27336;
}


double f_of(float v, float t) {
        float r27337 = 5;
        float r27338 = -r27337;
        float r27339 = v;
        float r27340 = r27339 * r27339;
        float r27341 = 1;
        float r27342 = fma(r27338, r27340, r27341);
        float r27343 = 3;
        float r27344 = -r27343;
        float r27345 = r27340 * r27344;
        float r27346 = r27340 * r27343;
        float r27347 = fma(r27345, r27346, r27341);
        float r27348 = 2;
        float r27349 = r27347 * r27348;
        float r27350 = sqrt(r27349);
        float r27351 = r27342 / r27350;
        float r27352 = pow(r27339, r27343);
        float r27353 = -r27339;
        float r27354 = fma(r27352, r27353, r27341);
        float r27355 = t;
        float r27356 = atan2(1.0, 0.0);
        float r27357 = r27355 * r27356;
        float r27358 = r27354 * r27357;
        float r27359 = r27351 / r27358;
        float r27360 = r27343 * r27340;
        float r27361 = r27341 + r27360;
        float r27362 = sqrt(r27361);
        float r27363 = r27341 + r27340;
        float r27364 = r27362 * r27363;
        float r27365 = r27359 * r27364;
        return r27365;
}

double f_od(double v, double t) {
        double r27366 = 5;
        double r27367 = -r27366;
        double r27368 = v;
        double r27369 = r27368 * r27368;
        double r27370 = 1;
        double r27371 = fma(r27367, r27369, r27370);
        double r27372 = 3;
        double r27373 = -r27372;
        double r27374 = r27369 * r27373;
        double r27375 = r27369 * r27372;
        double r27376 = fma(r27374, r27375, r27370);
        double r27377 = 2;
        double r27378 = r27376 * r27377;
        double r27379 = sqrt(r27378);
        double r27380 = r27371 / r27379;
        double r27381 = pow(r27368, r27372);
        double r27382 = -r27368;
        double r27383 = fma(r27381, r27382, r27370);
        double r27384 = t;
        double r27385 = atan2(1.0, 0.0);
        double r27386 = r27384 * r27385;
        double r27387 = r27383 * r27386;
        double r27388 = r27380 / r27387;
        double r27389 = r27372 * r27369;
        double r27390 = r27370 + r27389;
        double r27391 = sqrt(r27390);
        double r27392 = r27370 + r27369;
        double r27393 = r27391 * r27392;
        double r27394 = r27388 * r27393;
        return r27394;
}

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 r27395, r27396, r27397, r27398, r27399, r27400, r27401, r27402, r27403, r27404, r27405, r27406, r27407, r27408, r27409, r27410, r27411, r27412, r27413;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r27395, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r27396, "5", 10, MPFR_RNDN);
        mpfr_init(r27397);
        mpfr_init(r27398);
        mpfr_init(r27399);
        mpfr_init(r27400);
        mpfr_init(r27401);
        mpfr_init(r27402);
        mpfr_init(r27403);
        mpfr_init_set_str(r27404, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r27405, "3", 10, MPFR_RNDN);
        mpfr_init(r27406);
        mpfr_init(r27407);
        mpfr_init(r27408);
        mpfr_init(r27409);
        mpfr_init(r27410);
        mpfr_init(r27411);
        mpfr_init(r27412);
        mpfr_init(r27413);
}

double f_im(double v, double t) {
        ;
        ;
        mpfr_set_d(r27397, v, MPFR_RNDN);
        mpfr_mul(r27398, r27397, r27397, MPFR_RNDN);
        mpfr_mul(r27399, r27396, r27398, MPFR_RNDN);
        mpfr_sub(r27400, r27395, r27399, MPFR_RNDN);
        mpfr_const_pi(r27401, MPFR_RNDN);
        mpfr_set_d(r27402, t, MPFR_RNDN);
        mpfr_mul(r27403, r27401, r27402, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r27406, r27405, r27398, MPFR_RNDN);
        mpfr_sub(r27407, r27395, r27406, MPFR_RNDN);
        mpfr_mul(r27408, r27404, r27407, MPFR_RNDN);
        mpfr_sqrt(r27409, r27408, MPFR_RNDN);
        mpfr_mul(r27410, r27403, r27409, MPFR_RNDN);
        mpfr_sub(r27411, r27395, r27398, MPFR_RNDN);
        mpfr_mul(r27412, r27410, r27411, MPFR_RNDN);
        mpfr_div(r27413, r27400, r27412, MPFR_RNDN);
        return mpfr_get_d(r27413, MPFR_RNDN);
}

static mpfr_t r27414, r27415, r27416, r27417, r27418, r27419, r27420, r27421, r27422, r27423, r27424, r27425, r27426, r27427, r27428, r27429, r27430, r27431, r27432, r27433, r27434, r27435, r27436, r27437, r27438, r27439, r27440, r27441, r27442;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r27414, "5", 10, MPFR_RNDN);
        mpfr_init(r27415);
        mpfr_init(r27416);
        mpfr_init(r27417);
        mpfr_init_set_str(r27418, "1", 10, MPFR_RNDN);
        mpfr_init(r27419);
        mpfr_init_set_str(r27420, "3", 10, MPFR_RNDN);
        mpfr_init(r27421);
        mpfr_init(r27422);
        mpfr_init(r27423);
        mpfr_init(r27424);
        mpfr_init_set_str(r27425, "2", 10, MPFR_RNDN);
        mpfr_init(r27426);
        mpfr_init(r27427);
        mpfr_init(r27428);
        mpfr_init(r27429);
        mpfr_init(r27430);
        mpfr_init(r27431);
        mpfr_init(r27432);
        mpfr_init(r27433);
        mpfr_init(r27434);
        mpfr_init(r27435);
        mpfr_init(r27436);
        mpfr_init(r27437);
        mpfr_init(r27438);
        mpfr_init(r27439);
        mpfr_init(r27440);
        mpfr_init(r27441);
        mpfr_init(r27442);
}

double f_fm(double v, double t) {
        ;
        mpfr_neg(r27415, r27414, MPFR_RNDN);
        mpfr_set_d(r27416, v, MPFR_RNDN);
        mpfr_mul(r27417, r27416, r27416, MPFR_RNDN);
        ;
        mpfr_fma(r27419, r27415, r27417, r27418, MPFR_RNDN);
        ;
        mpfr_neg(r27421, r27420, MPFR_RNDN);
        mpfr_mul(r27422, r27417, r27421, MPFR_RNDN);
        mpfr_mul(r27423, r27417, r27420, MPFR_RNDN);
        mpfr_fma(r27424, r27422, r27423, r27418, MPFR_RNDN);
        ;
        mpfr_mul(r27426, r27424, r27425, MPFR_RNDN);
        mpfr_sqrt(r27427, r27426, MPFR_RNDN);
        mpfr_div(r27428, r27419, r27427, MPFR_RNDN);
        mpfr_pow(r27429, r27416, r27420, MPFR_RNDN);
        mpfr_neg(r27430, r27416, MPFR_RNDN);
        mpfr_fma(r27431, r27429, r27430, r27418, MPFR_RNDN);
        mpfr_set_d(r27432, t, MPFR_RNDN);
        mpfr_const_pi(r27433, MPFR_RNDN);
        mpfr_mul(r27434, r27432, r27433, MPFR_RNDN);
        mpfr_mul(r27435, r27431, r27434, MPFR_RNDN);
        mpfr_div(r27436, r27428, r27435, MPFR_RNDN);
        mpfr_mul(r27437, r27420, r27417, MPFR_RNDN);
        mpfr_add(r27438, r27418, r27437, MPFR_RNDN);
        mpfr_sqrt(r27439, r27438, MPFR_RNDN);
        mpfr_add(r27440, r27418, r27417, MPFR_RNDN);
        mpfr_mul(r27441, r27439, r27440, MPFR_RNDN);
        mpfr_mul(r27442, r27436, r27441, MPFR_RNDN);
        return mpfr_get_d(r27442, MPFR_RNDN);
}

static mpfr_t r27443, r27444, r27445, r27446, r27447, r27448, r27449, r27450, r27451, r27452, r27453, r27454, r27455, r27456, r27457, r27458, r27459, r27460, r27461, r27462, r27463, r27464, r27465, r27466, r27467, r27468, r27469, r27470, r27471;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r27443, "5", 10, MPFR_RNDN);
        mpfr_init(r27444);
        mpfr_init(r27445);
        mpfr_init(r27446);
        mpfr_init_set_str(r27447, "1", 10, MPFR_RNDN);
        mpfr_init(r27448);
        mpfr_init_set_str(r27449, "3", 10, MPFR_RNDN);
        mpfr_init(r27450);
        mpfr_init(r27451);
        mpfr_init(r27452);
        mpfr_init(r27453);
        mpfr_init_set_str(r27454, "2", 10, MPFR_RNDN);
        mpfr_init(r27455);
        mpfr_init(r27456);
        mpfr_init(r27457);
        mpfr_init(r27458);
        mpfr_init(r27459);
        mpfr_init(r27460);
        mpfr_init(r27461);
        mpfr_init(r27462);
        mpfr_init(r27463);
        mpfr_init(r27464);
        mpfr_init(r27465);
        mpfr_init(r27466);
        mpfr_init(r27467);
        mpfr_init(r27468);
        mpfr_init(r27469);
        mpfr_init(r27470);
        mpfr_init(r27471);
}

double f_dm(double v, double t) {
        ;
        mpfr_neg(r27444, r27443, MPFR_RNDN);
        mpfr_set_d(r27445, v, MPFR_RNDN);
        mpfr_mul(r27446, r27445, r27445, MPFR_RNDN);
        ;
        mpfr_fma(r27448, r27444, r27446, r27447, MPFR_RNDN);
        ;
        mpfr_neg(r27450, r27449, MPFR_RNDN);
        mpfr_mul(r27451, r27446, r27450, MPFR_RNDN);
        mpfr_mul(r27452, r27446, r27449, MPFR_RNDN);
        mpfr_fma(r27453, r27451, r27452, r27447, MPFR_RNDN);
        ;
        mpfr_mul(r27455, r27453, r27454, MPFR_RNDN);
        mpfr_sqrt(r27456, r27455, MPFR_RNDN);
        mpfr_div(r27457, r27448, r27456, MPFR_RNDN);
        mpfr_pow(r27458, r27445, r27449, MPFR_RNDN);
        mpfr_neg(r27459, r27445, MPFR_RNDN);
        mpfr_fma(r27460, r27458, r27459, r27447, MPFR_RNDN);
        mpfr_set_d(r27461, t, MPFR_RNDN);
        mpfr_const_pi(r27462, MPFR_RNDN);
        mpfr_mul(r27463, r27461, r27462, MPFR_RNDN);
        mpfr_mul(r27464, r27460, r27463, MPFR_RNDN);
        mpfr_div(r27465, r27457, r27464, MPFR_RNDN);
        mpfr_mul(r27466, r27449, r27446, MPFR_RNDN);
        mpfr_add(r27467, r27447, r27466, MPFR_RNDN);
        mpfr_sqrt(r27468, r27467, MPFR_RNDN);
        mpfr_add(r27469, r27447, r27446, MPFR_RNDN);
        mpfr_mul(r27470, r27468, r27469, MPFR_RNDN);
        mpfr_mul(r27471, r27465, r27470, MPFR_RNDN);
        return mpfr_get_d(r27471, MPFR_RNDN);
}