#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 r27473 = a;
        float r27474 = r27473 * r27473;
        float r27475 = b;
        float r27476 = r27475 * r27475;
        float r27477 = r27474 + r27476;
        float r27478 = 2;
        float r27479 = pow(r27477, r27478);
        float r27480 = 4;
        float r27481 = 1;
        float r27482 = r27481 + r27473;
        float r27483 = r27474 * r27482;
        float r27484 = 3;
        float r27485 = r27484 * r27473;
        float r27486 = r27481 - r27485;
        float r27487 = r27476 * r27486;
        float r27488 = r27483 + r27487;
        float r27489 = r27480 * r27488;
        float r27490 = r27479 + r27489;
        float r27491 = r27490 - r27481;
        return r27491;
}

double f_id(double a, double b) {
        double r27492 = a;
        double r27493 = r27492 * r27492;
        double r27494 = b;
        double r27495 = r27494 * r27494;
        double r27496 = r27493 + r27495;
        double r27497 = 2;
        double r27498 = pow(r27496, r27497);
        double r27499 = 4;
        double r27500 = 1;
        double r27501 = r27500 + r27492;
        double r27502 = r27493 * r27501;
        double r27503 = 3;
        double r27504 = r27503 * r27492;
        double r27505 = r27500 - r27504;
        double r27506 = r27495 * r27505;
        double r27507 = r27502 + r27506;
        double r27508 = r27499 * r27507;
        double r27509 = r27498 + r27508;
        double r27510 = r27509 - r27500;
        return r27510;
}


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

double f_od(double a, double b) {
        double r27530 = a;
        double r27531 = r27530 * r27530;
        double r27532 = b;
        double r27533 = r27532 * r27532;
        double r27534 = r27531 + r27533;
        double r27535 = 2;
        double r27536 = pow(r27534, r27535);
        double r27537 = 4;
        double r27538 = 1;
        double r27539 = r27538 + r27530;
        double r27540 = r27531 * r27539;
        double r27541 = 3;
        double r27542 = r27541 * r27530;
        double r27543 = r27538 - r27542;
        double r27544 = r27533 * r27543;
        double r27545 = r27540 + r27544;
        double r27546 = r27537 * r27545;
        double r27547 = r27536 + r27546;
        double r27548 = r27547 - r27538;
        return r27548;
}

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 r27549, r27550, r27551, r27552, r27553, r27554, r27555, r27556, r27557, r27558, r27559, r27560, r27561, r27562, r27563, r27564, r27565, r27566, r27567;

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

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

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

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

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

static mpfr_t r27587, r27588, r27589, r27590, r27591, r27592, r27593, r27594, r27595, r27596, r27597, r27598, r27599, r27600, r27601, r27602, r27603, r27604, r27605;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init(r27587);
        mpfr_init(r27588);
        mpfr_init(r27589);
        mpfr_init(r27590);
        mpfr_init(r27591);
        mpfr_init_set_str(r27592, "2", 10, MPFR_RNDN);
        mpfr_init(r27593);
        mpfr_init_set_str(r27594, "4", 10, MPFR_RNDN);
        mpfr_init_set_str(r27595, "1", 10, MPFR_RNDN);
        mpfr_init(r27596);
        mpfr_init(r27597);
        mpfr_init_set_str(r27598, "3", 10, MPFR_RNDN);
        mpfr_init(r27599);
        mpfr_init(r27600);
        mpfr_init(r27601);
        mpfr_init(r27602);
        mpfr_init(r27603);
        mpfr_init(r27604);
        mpfr_init(r27605);
}

double f_dm(double a, double b) {
        mpfr_set_d(r27587, a, MPFR_RNDN);
        mpfr_mul(r27588, r27587, r27587, MPFR_RNDN);
        mpfr_set_d(r27589, b, MPFR_RNDN);
        mpfr_mul(r27590, r27589, r27589, MPFR_RNDN);
        mpfr_add(r27591, r27588, r27590, MPFR_RNDN);
        ;
        mpfr_pow(r27593, r27591, r27592, MPFR_RNDN);
        ;
        ;
        mpfr_add(r27596, r27595, r27587, MPFR_RNDN);
        mpfr_mul(r27597, r27588, r27596, MPFR_RNDN);
        ;
        mpfr_mul(r27599, r27598, r27587, MPFR_RNDN);
        mpfr_sub(r27600, r27595, r27599, MPFR_RNDN);
        mpfr_mul(r27601, r27590, r27600, MPFR_RNDN);
        mpfr_add(r27602, r27597, r27601, MPFR_RNDN);
        mpfr_mul(r27603, r27594, r27602, MPFR_RNDN);
        mpfr_add(r27604, r27593, r27603, MPFR_RNDN);
        mpfr_sub(r27605, r27604, r27595, MPFR_RNDN);
        return mpfr_get_d(r27605, MPFR_RNDN);
}