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

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

double f_if(float a, float b) {
        float r27482 = a;
        float r27483 = r27482 * r27482;
        float r27484 = b;
        float r27485 = r27484 * r27484;
        float r27486 = r27483 + r27485;
        float r27487 = 2;
        float r27488 = pow(r27486, r27487);
        float r27489 = 4;
        float r27490 = r27489 * r27485;
        float r27491 = r27488 + r27490;
        float r27492 = 1;
        float r27493 = r27491 - r27492;
        return r27493;
}

double f_id(double a, double b) {
        double r27494 = a;
        double r27495 = r27494 * r27494;
        double r27496 = b;
        double r27497 = r27496 * r27496;
        double r27498 = r27495 + r27497;
        double r27499 = 2;
        double r27500 = pow(r27498, r27499);
        double r27501 = 4;
        double r27502 = r27501 * r27497;
        double r27503 = r27500 + r27502;
        double r27504 = 1;
        double r27505 = r27503 - r27504;
        return r27505;
}


double f_of(float a, float b) {
        float r27506 = b;
        float r27507 = 4;
        float r27508 = pow(r27506, r27507);
        float r27509 = a;
        float r27510 = pow(r27509, r27507);
        float r27511 = r27508 + r27510;
        float r27512 = 1;
        float r27513 = r27511 - r27512;
        float r27514 = 2;
        float r27515 = r27509 * r27514;
        float r27516 = r27509 * r27515;
        float r27517 = r27507 + r27516;
        float r27518 = r27506 * r27506;
        float r27519 = r27517 * r27518;
        float r27520 = r27513 + r27519;
        return r27520;
}

double f_od(double a, double b) {
        double r27521 = b;
        double r27522 = 4;
        double r27523 = pow(r27521, r27522);
        double r27524 = a;
        double r27525 = pow(r27524, r27522);
        double r27526 = r27523 + r27525;
        double r27527 = 1;
        double r27528 = r27526 - r27527;
        double r27529 = 2;
        double r27530 = r27524 * r27529;
        double r27531 = r27524 * r27530;
        double r27532 = r27522 + r27531;
        double r27533 = r27521 * r27521;
        double r27534 = r27532 * r27533;
        double r27535 = r27528 + r27534;
        return r27535;
}

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 r27536, r27537, r27538, r27539, r27540, r27541, r27542, r27543, r27544, r27545, r27546, r27547;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init(r27536);
        mpfr_init(r27537);
        mpfr_init(r27538);
        mpfr_init(r27539);
        mpfr_init(r27540);
        mpfr_init_set_str(r27541, "2", 10, MPFR_RNDN);
        mpfr_init(r27542);
        mpfr_init_set_str(r27543, "4", 10, MPFR_RNDN);
        mpfr_init(r27544);
        mpfr_init(r27545);
        mpfr_init_set_str(r27546, "1", 10, MPFR_RNDN);
        mpfr_init(r27547);
}

double f_im(double a, double b) {
        mpfr_set_d(r27536, a, MPFR_RNDN);
        mpfr_mul(r27537, r27536, r27536, MPFR_RNDN);
        mpfr_set_d(r27538, b, MPFR_RNDN);
        mpfr_mul(r27539, r27538, r27538, MPFR_RNDN);
        mpfr_add(r27540, r27537, r27539, MPFR_RNDN);
        ;
        mpfr_pow(r27542, r27540, r27541, MPFR_RNDN);
        ;
        mpfr_mul(r27544, r27543, r27539, MPFR_RNDN);
        mpfr_add(r27545, r27542, r27544, MPFR_RNDN);
        ;
        mpfr_sub(r27547, r27545, r27546, 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;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init(r27548);
        mpfr_init_set_str(r27549, "4", 10, MPFR_RNDN);
        mpfr_init(r27550);
        mpfr_init(r27551);
        mpfr_init(r27552);
        mpfr_init(r27553);
        mpfr_init_set_str(r27554, "1", 10, MPFR_RNDN);
        mpfr_init(r27555);
        mpfr_init_set_str(r27556, "2", 10, MPFR_RNDN);
        mpfr_init(r27557);
        mpfr_init(r27558);
        mpfr_init(r27559);
        mpfr_init(r27560);
        mpfr_init(r27561);
        mpfr_init(r27562);
}

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

static mpfr_t r27563, r27564, r27565, r27566, r27567, r27568, r27569, r27570, r27571, r27572, r27573, r27574, r27575, r27576, r27577;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init(r27563);
        mpfr_init_set_str(r27564, "4", 10, MPFR_RNDN);
        mpfr_init(r27565);
        mpfr_init(r27566);
        mpfr_init(r27567);
        mpfr_init(r27568);
        mpfr_init_set_str(r27569, "1", 10, MPFR_RNDN);
        mpfr_init(r27570);
        mpfr_init_set_str(r27571, "2", 10, MPFR_RNDN);
        mpfr_init(r27572);
        mpfr_init(r27573);
        mpfr_init(r27574);
        mpfr_init(r27575);
        mpfr_init(r27576);
        mpfr_init(r27577);
}

double f_dm(double a, double b) {
        mpfr_set_d(r27563, b, MPFR_RNDN);
        ;
        mpfr_pow(r27565, r27563, r27564, MPFR_RNDN);
        mpfr_set_d(r27566, a, MPFR_RNDN);
        mpfr_pow(r27567, r27566, r27564, MPFR_RNDN);
        mpfr_add(r27568, r27565, r27567, MPFR_RNDN);
        ;
        mpfr_sub(r27570, r27568, r27569, MPFR_RNDN);
        ;
        mpfr_mul(r27572, r27566, r27571, MPFR_RNDN);
        mpfr_mul(r27573, r27566, r27572, MPFR_RNDN);
        mpfr_add(r27574, r27564, r27573, MPFR_RNDN);
        mpfr_mul(r27575, r27563, r27563, MPFR_RNDN);
        mpfr_mul(r27576, r27574, r27575, MPFR_RNDN);
        mpfr_add(r27577, r27570, r27576, MPFR_RNDN);
        return mpfr_get_d(r27577, MPFR_RNDN);
}