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

char *name = "Bouland and Aaronson, Equation (25)";

double f_if(float a, float b) {
        float r27449 = a;
        float r27450 = r27449 * r27449;
        float r27451 = b;
        float r27452 = r27451 * r27451;
        float r27453 = r27450 + r27452;
        float r27454 = 2;
        float r27455 = pow(r27453, r27454);
        float r27456 = 4;
        float r27457 = 1;
        float r27458 = r27457 + r27449;
        float r27459 = r27450 * r27458;
        float r27460 = 3;
        float r27461 = r27460 * r27449;
        float r27462 = r27457 - r27461;
        float r27463 = r27452 * r27462;
        float r27464 = r27459 + r27463;
        float r27465 = r27456 * r27464;
        float r27466 = r27455 + r27465;
        float r27467 = r27466 - r27457;
        return r27467;
}

double f_id(double a, double b) {
        double r27468 = a;
        double r27469 = r27468 * r27468;
        double r27470 = b;
        double r27471 = r27470 * r27470;
        double r27472 = r27469 + r27471;
        double r27473 = 2;
        double r27474 = pow(r27472, r27473);
        double r27475 = 4;
        double r27476 = 1;
        double r27477 = r27476 + r27468;
        double r27478 = r27469 * r27477;
        double r27479 = 3;
        double r27480 = r27479 * r27468;
        double r27481 = r27476 - r27480;
        double r27482 = r27471 * r27481;
        double r27483 = r27478 + r27482;
        double r27484 = r27475 * r27483;
        double r27485 = r27474 + r27484;
        double r27486 = r27485 - r27476;
        return r27486;
}


double f_of(float a, float b) {
        float r27487 = a;
        float r27488 = r27487 * r27487;
        float r27489 = b;
        float r27490 = r27489 * r27489;
        float r27491 = r27488 + r27490;
        float r27492 = 2;
        float r27493 = pow(r27491, r27492);
        float r27494 = 4;
        float r27495 = 1;
        float r27496 = r27495 + r27487;
        float r27497 = r27488 * r27496;
        float r27498 = 3;
        float r27499 = r27498 * r27487;
        float r27500 = r27495 - r27499;
        float r27501 = r27490 * r27500;
        float r27502 = r27497 + r27501;
        float r27503 = r27494 * r27502;
        float r27504 = r27493 + r27503;
        float r27505 = sqrt(r27504);
        float r27506 = r27505 * r27505;
        float r27507 = r27506 - r27495;
        return r27507;
}

double f_od(double a, double b) {
        double r27508 = a;
        double r27509 = r27508 * r27508;
        double r27510 = b;
        double r27511 = r27510 * r27510;
        double r27512 = r27509 + r27511;
        double r27513 = 2;
        double r27514 = pow(r27512, r27513);
        double r27515 = 4;
        double r27516 = 1;
        double r27517 = r27516 + r27508;
        double r27518 = r27509 * r27517;
        double r27519 = 3;
        double r27520 = r27519 * r27508;
        double r27521 = r27516 - r27520;
        double r27522 = r27511 * r27521;
        double r27523 = r27518 + r27522;
        double r27524 = r27515 * r27523;
        double r27525 = r27514 + r27524;
        double r27526 = sqrt(r27525);
        double r27527 = r27526 * r27526;
        double r27528 = r27527 - r27516;
        return r27528;
}

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 r27529, r27530, r27531, r27532, r27533, r27534, r27535, r27536, r27537, r27538, r27539, r27540, r27541, r27542, r27543, r27544, r27545, r27546, r27547;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r27529);
        mpfr_init(r27530);
        mpfr_init(r27531);
        mpfr_init(r27532);
        mpfr_init(r27533);
        mpfr_init_set_str(r27534, "2", 10, MPFR_RNDN);
        mpfr_init(r27535);
        mpfr_init_set_str(r27536, "4", 10, MPFR_RNDN);
        mpfr_init_set_str(r27537, "1", 10, MPFR_RNDN);
        mpfr_init(r27538);
        mpfr_init(r27539);
        mpfr_init_set_str(r27540, "3", 10, MPFR_RNDN);
        mpfr_init(r27541);
        mpfr_init(r27542);
        mpfr_init(r27543);
        mpfr_init(r27544);
        mpfr_init(r27545);
        mpfr_init(r27546);
        mpfr_init(r27547);
}

double f_im(double a, double b) {
        mpfr_set_d(r27529, a, MPFR_RNDN);
        mpfr_mul(r27530, r27529, r27529, MPFR_RNDN);
        mpfr_set_d(r27531, b, MPFR_RNDN);
        mpfr_mul(r27532, r27531, r27531, MPFR_RNDN);
        mpfr_add(r27533, r27530, r27532, MPFR_RNDN);
        ;
        mpfr_pow(r27535, r27533, r27534, MPFR_RNDN);
        ;
        ;
        mpfr_add(r27538, r27537, r27529, MPFR_RNDN);
        mpfr_mul(r27539, r27530, r27538, MPFR_RNDN);
        ;
        mpfr_mul(r27541, r27540, r27529, MPFR_RNDN);
        mpfr_sub(r27542, r27537, r27541, MPFR_RNDN);
        mpfr_mul(r27543, r27532, r27542, MPFR_RNDN);
        mpfr_add(r27544, r27539, r27543, MPFR_RNDN);
        mpfr_mul(r27545, r27536, r27544, MPFR_RNDN);
        mpfr_add(r27546, r27535, r27545, MPFR_RNDN);
        mpfr_sub(r27547, r27546, r27537, MPFR_RNDN);
        return mpfr_get_d(r27547, MPFR_RNDN);
}

static mpfr_t r27548, r27549, r27550, r27551, r27552, r27553, r27554, r27555, r27556, r27557, r27558, r27559, r27560, r27561, r27562, r27563, r27564, r27565, r27566, r27567, r27568;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r27548);
        mpfr_init(r27549);
        mpfr_init(r27550);
        mpfr_init(r27551);
        mpfr_init(r27552);
        mpfr_init_set_str(r27553, "2", 10, MPFR_RNDN);
        mpfr_init(r27554);
        mpfr_init_set_str(r27555, "4", 10, MPFR_RNDN);
        mpfr_init_set_str(r27556, "1", 10, MPFR_RNDN);
        mpfr_init(r27557);
        mpfr_init(r27558);
        mpfr_init_set_str(r27559, "3", 10, MPFR_RNDN);
        mpfr_init(r27560);
        mpfr_init(r27561);
        mpfr_init(r27562);
        mpfr_init(r27563);
        mpfr_init(r27564);
        mpfr_init(r27565);
        mpfr_init(r27566);
        mpfr_init(r27567);
        mpfr_init(r27568);
}

double f_fm(double a, double b) {
        mpfr_set_d(r27548, a, MPFR_RNDN);
        mpfr_mul(r27549, r27548, r27548, MPFR_RNDN);
        mpfr_set_d(r27550, b, MPFR_RNDN);
        mpfr_mul(r27551, r27550, r27550, MPFR_RNDN);
        mpfr_add(r27552, r27549, r27551, MPFR_RNDN);
        ;
        mpfr_pow(r27554, r27552, r27553, MPFR_RNDN);
        ;
        ;
        mpfr_add(r27557, r27556, r27548, MPFR_RNDN);
        mpfr_mul(r27558, r27549, r27557, MPFR_RNDN);
        ;
        mpfr_mul(r27560, r27559, r27548, MPFR_RNDN);
        mpfr_sub(r27561, r27556, r27560, MPFR_RNDN);
        mpfr_mul(r27562, r27551, r27561, MPFR_RNDN);
        mpfr_add(r27563, r27558, r27562, MPFR_RNDN);
        mpfr_mul(r27564, r27555, r27563, MPFR_RNDN);
        mpfr_add(r27565, r27554, r27564, MPFR_RNDN);
        mpfr_sqrt(r27566, r27565, MPFR_RNDN);
        mpfr_mul(r27567, r27566, r27566, MPFR_RNDN);
        mpfr_sub(r27568, r27567, r27556, MPFR_RNDN);
        return mpfr_get_d(r27568, MPFR_RNDN);
}

static mpfr_t r27569, r27570, r27571, r27572, r27573, r27574, r27575, r27576, r27577, r27578, r27579, r27580, r27581, r27582, r27583, r27584, r27585, r27586, r27587, r27588, r27589;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r27569);
        mpfr_init(r27570);
        mpfr_init(r27571);
        mpfr_init(r27572);
        mpfr_init(r27573);
        mpfr_init_set_str(r27574, "2", 10, MPFR_RNDN);
        mpfr_init(r27575);
        mpfr_init_set_str(r27576, "4", 10, MPFR_RNDN);
        mpfr_init_set_str(r27577, "1", 10, MPFR_RNDN);
        mpfr_init(r27578);
        mpfr_init(r27579);
        mpfr_init_set_str(r27580, "3", 10, MPFR_RNDN);
        mpfr_init(r27581);
        mpfr_init(r27582);
        mpfr_init(r27583);
        mpfr_init(r27584);
        mpfr_init(r27585);
        mpfr_init(r27586);
        mpfr_init(r27587);
        mpfr_init(r27588);
        mpfr_init(r27589);
}

double f_dm(double a, double b) {
        mpfr_set_d(r27569, a, MPFR_RNDN);
        mpfr_mul(r27570, r27569, r27569, MPFR_RNDN);
        mpfr_set_d(r27571, b, MPFR_RNDN);
        mpfr_mul(r27572, r27571, r27571, MPFR_RNDN);
        mpfr_add(r27573, r27570, r27572, MPFR_RNDN);
        ;
        mpfr_pow(r27575, r27573, r27574, MPFR_RNDN);
        ;
        ;
        mpfr_add(r27578, r27577, r27569, MPFR_RNDN);
        mpfr_mul(r27579, r27570, r27578, MPFR_RNDN);
        ;
        mpfr_mul(r27581, r27580, r27569, MPFR_RNDN);
        mpfr_sub(r27582, r27577, r27581, MPFR_RNDN);
        mpfr_mul(r27583, r27572, r27582, MPFR_RNDN);
        mpfr_add(r27584, r27579, r27583, MPFR_RNDN);
        mpfr_mul(r27585, r27576, r27584, MPFR_RNDN);
        mpfr_add(r27586, r27575, r27585, MPFR_RNDN);
        mpfr_sqrt(r27587, r27586, MPFR_RNDN);
        mpfr_mul(r27588, r27587, r27587, MPFR_RNDN);
        mpfr_sub(r27589, r27588, r27577, MPFR_RNDN);
        return mpfr_get_d(r27589, MPFR_RNDN);
}