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

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

double f_if(float J, float K, float U) {
        float r23339 = -2;
        float r23340 = J;
        float r23341 = r23339 * r23340;
        float r23342 = K;
        float r23343 = 2;
        float r23344 = r23342 / r23343;
        float r23345 = cos(r23344);
        float r23346 = r23341 * r23345;
        float r23347 = 1;
        float r23348 = U;
        float r23349 = r23343 * r23340;
        float r23350 = r23349 * r23345;
        float r23351 = r23348 / r23350;
        float r23352 = pow(r23351, r23343);
        float r23353 = r23347 + r23352;
        float r23354 = sqrt(r23353);
        float r23355 = r23346 * r23354;
        return r23355;
}

double f_id(double J, double K, double U) {
        double r23356 = -2;
        double r23357 = J;
        double r23358 = r23356 * r23357;
        double r23359 = K;
        double r23360 = 2;
        double r23361 = r23359 / r23360;
        double r23362 = cos(r23361);
        double r23363 = r23358 * r23362;
        double r23364 = 1;
        double r23365 = U;
        double r23366 = r23360 * r23357;
        double r23367 = r23366 * r23362;
        double r23368 = r23365 / r23367;
        double r23369 = pow(r23368, r23360);
        double r23370 = r23364 + r23369;
        double r23371 = sqrt(r23370);
        double r23372 = r23363 * r23371;
        return r23372;
}


double f_of(float J, float K, float U) {
        float r23373 = -2;
        float r23374 = J;
        float r23375 = r23373 * r23374;
        float r23376 = K;
        float r23377 = 2;
        float r23378 = r23376 / r23377;
        float r23379 = cos(r23378);
        float r23380 = r23375 * r23379;
        float r23381 = 1;
        float r23382 = U;
        float r23383 = r23377 * r23374;
        float r23384 = r23383 * r23379;
        float r23385 = r23382 / r23384;
        float r23386 = pow(r23385, r23377);
        float r23387 = r23381 + r23386;
        float r23388 = sqrt(r23387);
        float r23389 = r23380 * r23388;
        return r23389;
}

double f_od(double J, double K, double U) {
        double r23390 = -2;
        double r23391 = J;
        double r23392 = r23390 * r23391;
        double r23393 = K;
        double r23394 = 2;
        double r23395 = r23393 / r23394;
        double r23396 = cos(r23395);
        double r23397 = r23392 * r23396;
        double r23398 = 1;
        double r23399 = U;
        double r23400 = r23394 * r23391;
        double r23401 = r23400 * r23396;
        double r23402 = r23399 / r23401;
        double r23403 = pow(r23402, r23394);
        double r23404 = r23398 + r23403;
        double r23405 = sqrt(r23404);
        double r23406 = r23397 * r23405;
        return r23406;
}

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 r23407, r23408, r23409, r23410, r23411, r23412, r23413, r23414, r23415, r23416, r23417, r23418, r23419, r23420, r23421, r23422, r23423;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r23407, "-2", 10, MPFR_RNDN);
        mpfr_init(r23408);
        mpfr_init(r23409);
        mpfr_init(r23410);
        mpfr_init_set_str(r23411, "2", 10, MPFR_RNDN);
        mpfr_init(r23412);
        mpfr_init(r23413);
        mpfr_init(r23414);
        mpfr_init_set_str(r23415, "1", 10, MPFR_RNDN);
        mpfr_init(r23416);
        mpfr_init(r23417);
        mpfr_init(r23418);
        mpfr_init(r23419);
        mpfr_init(r23420);
        mpfr_init(r23421);
        mpfr_init(r23422);
        mpfr_init(r23423);
}

double f_im(double J, double K, double U) {
        ;
        mpfr_set_d(r23408, J, MPFR_RNDN);
        mpfr_mul(r23409, r23407, r23408, MPFR_RNDN);
        mpfr_set_d(r23410, K, MPFR_RNDN);
        ;
        mpfr_div(r23412, r23410, r23411, MPFR_RNDN);
        mpfr_cos(r23413, r23412, MPFR_RNDN);
        mpfr_mul(r23414, r23409, r23413, MPFR_RNDN);
        ;
        mpfr_set_d(r23416, U, MPFR_RNDN);
        mpfr_mul(r23417, r23411, r23408, MPFR_RNDN);
        mpfr_mul(r23418, r23417, r23413, MPFR_RNDN);
        mpfr_div(r23419, r23416, r23418, MPFR_RNDN);
        mpfr_pow(r23420, r23419, r23411, MPFR_RNDN);
        mpfr_add(r23421, r23415, r23420, MPFR_RNDN);
        mpfr_sqrt(r23422, r23421, MPFR_RNDN);
        mpfr_mul(r23423, r23414, r23422, MPFR_RNDN);
        return mpfr_get_d(r23423, MPFR_RNDN);
}

static mpfr_t r23424, r23425, r23426, r23427, r23428, r23429, r23430, r23431, r23432, r23433, r23434, r23435, r23436, r23437, r23438, r23439, r23440;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r23424, "-2", 10, MPFR_RNDN);
        mpfr_init(r23425);
        mpfr_init(r23426);
        mpfr_init(r23427);
        mpfr_init_set_str(r23428, "2", 10, MPFR_RNDN);
        mpfr_init(r23429);
        mpfr_init(r23430);
        mpfr_init(r23431);
        mpfr_init_set_str(r23432, "1", 10, MPFR_RNDN);
        mpfr_init(r23433);
        mpfr_init(r23434);
        mpfr_init(r23435);
        mpfr_init(r23436);
        mpfr_init(r23437);
        mpfr_init(r23438);
        mpfr_init(r23439);
        mpfr_init(r23440);
}

double f_fm(double J, double K, double U) {
        ;
        mpfr_set_d(r23425, J, MPFR_RNDN);
        mpfr_mul(r23426, r23424, r23425, MPFR_RNDN);
        mpfr_set_d(r23427, K, MPFR_RNDN);
        ;
        mpfr_div(r23429, r23427, r23428, MPFR_RNDN);
        mpfr_cos(r23430, r23429, MPFR_RNDN);
        mpfr_mul(r23431, r23426, r23430, MPFR_RNDN);
        ;
        mpfr_set_d(r23433, U, MPFR_RNDN);
        mpfr_mul(r23434, r23428, r23425, MPFR_RNDN);
        mpfr_mul(r23435, r23434, r23430, MPFR_RNDN);
        mpfr_div(r23436, r23433, r23435, MPFR_RNDN);
        mpfr_pow(r23437, r23436, r23428, MPFR_RNDN);
        mpfr_add(r23438, r23432, r23437, MPFR_RNDN);
        mpfr_sqrt(r23439, r23438, MPFR_RNDN);
        mpfr_mul(r23440, r23431, r23439, MPFR_RNDN);
        return mpfr_get_d(r23440, MPFR_RNDN);
}

static mpfr_t r23441, r23442, r23443, r23444, r23445, r23446, r23447, r23448, r23449, r23450, r23451, r23452, r23453, r23454, r23455, r23456, r23457;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r23441, "-2", 10, MPFR_RNDN);
        mpfr_init(r23442);
        mpfr_init(r23443);
        mpfr_init(r23444);
        mpfr_init_set_str(r23445, "2", 10, MPFR_RNDN);
        mpfr_init(r23446);
        mpfr_init(r23447);
        mpfr_init(r23448);
        mpfr_init_set_str(r23449, "1", 10, MPFR_RNDN);
        mpfr_init(r23450);
        mpfr_init(r23451);
        mpfr_init(r23452);
        mpfr_init(r23453);
        mpfr_init(r23454);
        mpfr_init(r23455);
        mpfr_init(r23456);
        mpfr_init(r23457);
}

double f_dm(double J, double K, double U) {
        ;
        mpfr_set_d(r23442, J, MPFR_RNDN);
        mpfr_mul(r23443, r23441, r23442, MPFR_RNDN);
        mpfr_set_d(r23444, K, MPFR_RNDN);
        ;
        mpfr_div(r23446, r23444, r23445, MPFR_RNDN);
        mpfr_cos(r23447, r23446, MPFR_RNDN);
        mpfr_mul(r23448, r23443, r23447, MPFR_RNDN);
        ;
        mpfr_set_d(r23450, U, MPFR_RNDN);
        mpfr_mul(r23451, r23445, r23442, MPFR_RNDN);
        mpfr_mul(r23452, r23451, r23447, MPFR_RNDN);
        mpfr_div(r23453, r23450, r23452, MPFR_RNDN);
        mpfr_pow(r23454, r23453, r23445, MPFR_RNDN);
        mpfr_add(r23455, r23449, r23454, MPFR_RNDN);
        mpfr_sqrt(r23456, r23455, MPFR_RNDN);
        mpfr_mul(r23457, r23448, r23456, MPFR_RNDN);
        return mpfr_get_d(r23457, MPFR_RNDN);
}