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

char *name = "Maksimov and Kolovsky, Equation (4)";

double f_if(float J, float l, float K, float U) {
        float r22400 = J;
        float r22401 = l;
        float r22402 = exp(r22401);
        float r22403 = -r22401;
        float r22404 = exp(r22403);
        float r22405 = r22402 - r22404;
        float r22406 = r22400 * r22405;
        float r22407 = K;
        float r22408 = 2;
        float r22409 = r22407 / r22408;
        float r22410 = cos(r22409);
        float r22411 = r22406 * r22410;
        float r22412 = U;
        float r22413 = r22411 + r22412;
        return r22413;
}

double f_id(double J, double l, double K, double U) {
        double r22414 = J;
        double r22415 = l;
        double r22416 = exp(r22415);
        double r22417 = -r22415;
        double r22418 = exp(r22417);
        double r22419 = r22416 - r22418;
        double r22420 = r22414 * r22419;
        double r22421 = K;
        double r22422 = 2;
        double r22423 = r22421 / r22422;
        double r22424 = cos(r22423);
        double r22425 = r22420 * r22424;
        double r22426 = U;
        double r22427 = r22425 + r22426;
        return r22427;
}


double f_of(float J, float l, float K, float U) {
        float r22428 = U;
        float r22429 = 1/60;
        float r22430 = l;
        float r22431 = 5;
        float r22432 = pow(r22430, r22431);
        float r22433 = r22429 * r22432;
        float r22434 = 3;
        float r22435 = pow(r22430, r22434);
        float r22436 = 1/3;
        float r22437 = r22435 * r22436;
        float r22438 = r22433 + r22437;
        float r22439 = r22430 + r22430;
        float r22440 = r22438 + r22439;
        float r22441 = J;
        float r22442 = K;
        float r22443 = 2;
        float r22444 = r22442 / r22443;
        float r22445 = cos(r22444);
        float r22446 = r22441 * r22445;
        float r22447 = r22440 * r22446;
        float r22448 = r22428 + r22447;
        return r22448;
}

double f_od(double J, double l, double K, double U) {
        double r22449 = U;
        double r22450 = 1/60;
        double r22451 = l;
        double r22452 = 5;
        double r22453 = pow(r22451, r22452);
        double r22454 = r22450 * r22453;
        double r22455 = 3;
        double r22456 = pow(r22451, r22455);
        double r22457 = 1/3;
        double r22458 = r22456 * r22457;
        double r22459 = r22454 + r22458;
        double r22460 = r22451 + r22451;
        double r22461 = r22459 + r22460;
        double r22462 = J;
        double r22463 = K;
        double r22464 = 2;
        double r22465 = r22463 / r22464;
        double r22466 = cos(r22465);
        double r22467 = r22462 * r22466;
        double r22468 = r22461 * r22467;
        double r22469 = r22449 + r22468;
        return r22469;
}

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 r22470, r22471, r22472, r22473, r22474, r22475, r22476, r22477, r22478, r22479, r22480, r22481, r22482, r22483;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init(r22470);
        mpfr_init(r22471);
        mpfr_init(r22472);
        mpfr_init(r22473);
        mpfr_init(r22474);
        mpfr_init(r22475);
        mpfr_init(r22476);
        mpfr_init(r22477);
        mpfr_init_set_str(r22478, "2", 10, MPFR_RNDN);
        mpfr_init(r22479);
        mpfr_init(r22480);
        mpfr_init(r22481);
        mpfr_init(r22482);
        mpfr_init(r22483);
}

double f_im(double J, double l, double K, double U) {
        mpfr_set_d(r22470, J, MPFR_RNDN);
        mpfr_set_d(r22471, l, MPFR_RNDN);
        mpfr_exp(r22472, r22471, MPFR_RNDN);
        mpfr_neg(r22473, r22471, MPFR_RNDN);
        mpfr_exp(r22474, r22473, MPFR_RNDN);
        mpfr_sub(r22475, r22472, r22474, MPFR_RNDN);
        mpfr_mul(r22476, r22470, r22475, MPFR_RNDN);
        mpfr_set_d(r22477, K, MPFR_RNDN);
        ;
        mpfr_div(r22479, r22477, r22478, MPFR_RNDN);
        mpfr_cos(r22480, r22479, MPFR_RNDN);
        mpfr_mul(r22481, r22476, r22480, MPFR_RNDN);
        mpfr_set_d(r22482, U, MPFR_RNDN);
        mpfr_add(r22483, r22481, r22482, MPFR_RNDN);
        return mpfr_get_d(r22483, MPFR_RNDN);
}

static mpfr_t r22484, r22485, r22486, r22487, r22488, r22489, r22490, r22491, r22492, r22493, r22494, r22495, r22496, r22497, r22498, r22499, r22500, r22501, r22502, r22503, r22504;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init(r22484);
        mpfr_init_set_str(r22485, "1/60", 10, MPFR_RNDN);
        mpfr_init(r22486);
        mpfr_init_set_str(r22487, "5", 10, MPFR_RNDN);
        mpfr_init(r22488);
        mpfr_init(r22489);
        mpfr_init_set_str(r22490, "3", 10, MPFR_RNDN);
        mpfr_init(r22491);
        mpfr_init_set_str(r22492, "1/3", 10, MPFR_RNDN);
        mpfr_init(r22493);
        mpfr_init(r22494);
        mpfr_init(r22495);
        mpfr_init(r22496);
        mpfr_init(r22497);
        mpfr_init(r22498);
        mpfr_init_set_str(r22499, "2", 10, MPFR_RNDN);
        mpfr_init(r22500);
        mpfr_init(r22501);
        mpfr_init(r22502);
        mpfr_init(r22503);
        mpfr_init(r22504);
}

double f_fm(double J, double l, double K, double U) {
        mpfr_set_d(r22484, U, MPFR_RNDN);
        ;
        mpfr_set_d(r22486, l, MPFR_RNDN);
        ;
        mpfr_pow(r22488, r22486, r22487, MPFR_RNDN);
        mpfr_mul(r22489, r22485, r22488, MPFR_RNDN);
        ;
        mpfr_pow(r22491, r22486, r22490, MPFR_RNDN);
        ;
        mpfr_mul(r22493, r22491, r22492, MPFR_RNDN);
        mpfr_add(r22494, r22489, r22493, MPFR_RNDN);
        mpfr_add(r22495, r22486, r22486, MPFR_RNDN);
        mpfr_add(r22496, r22494, r22495, MPFR_RNDN);
        mpfr_set_d(r22497, J, MPFR_RNDN);
        mpfr_set_d(r22498, K, MPFR_RNDN);
        ;
        mpfr_div(r22500, r22498, r22499, MPFR_RNDN);
        mpfr_cos(r22501, r22500, MPFR_RNDN);
        mpfr_mul(r22502, r22497, r22501, MPFR_RNDN);
        mpfr_mul(r22503, r22496, r22502, MPFR_RNDN);
        mpfr_add(r22504, r22484, r22503, MPFR_RNDN);
        return mpfr_get_d(r22504, MPFR_RNDN);
}

static mpfr_t r22505, r22506, r22507, r22508, r22509, r22510, r22511, r22512, r22513, r22514, r22515, r22516, r22517, r22518, r22519, r22520, r22521, r22522, r22523, r22524, r22525;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init(r22505);
        mpfr_init_set_str(r22506, "1/60", 10, MPFR_RNDN);
        mpfr_init(r22507);
        mpfr_init_set_str(r22508, "5", 10, MPFR_RNDN);
        mpfr_init(r22509);
        mpfr_init(r22510);
        mpfr_init_set_str(r22511, "3", 10, MPFR_RNDN);
        mpfr_init(r22512);
        mpfr_init_set_str(r22513, "1/3", 10, MPFR_RNDN);
        mpfr_init(r22514);
        mpfr_init(r22515);
        mpfr_init(r22516);
        mpfr_init(r22517);
        mpfr_init(r22518);
        mpfr_init(r22519);
        mpfr_init_set_str(r22520, "2", 10, MPFR_RNDN);
        mpfr_init(r22521);
        mpfr_init(r22522);
        mpfr_init(r22523);
        mpfr_init(r22524);
        mpfr_init(r22525);
}

double f_dm(double J, double l, double K, double U) {
        mpfr_set_d(r22505, U, MPFR_RNDN);
        ;
        mpfr_set_d(r22507, l, MPFR_RNDN);
        ;
        mpfr_pow(r22509, r22507, r22508, MPFR_RNDN);
        mpfr_mul(r22510, r22506, r22509, MPFR_RNDN);
        ;
        mpfr_pow(r22512, r22507, r22511, MPFR_RNDN);
        ;
        mpfr_mul(r22514, r22512, r22513, MPFR_RNDN);
        mpfr_add(r22515, r22510, r22514, MPFR_RNDN);
        mpfr_add(r22516, r22507, r22507, MPFR_RNDN);
        mpfr_add(r22517, r22515, r22516, MPFR_RNDN);
        mpfr_set_d(r22518, J, MPFR_RNDN);
        mpfr_set_d(r22519, K, MPFR_RNDN);
        ;
        mpfr_div(r22521, r22519, r22520, MPFR_RNDN);
        mpfr_cos(r22522, r22521, MPFR_RNDN);
        mpfr_mul(r22523, r22518, r22522, MPFR_RNDN);
        mpfr_mul(r22524, r22517, r22523, MPFR_RNDN);
        mpfr_add(r22525, r22505, r22524, MPFR_RNDN);
        return mpfr_get_d(r22525, MPFR_RNDN);
}