#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 r26745 = a;
        float r26746 = r26745 * r26745;
        float r26747 = b;
        float r26748 = r26747 * r26747;
        float r26749 = r26746 + r26748;
        float r26750 = 2;
        float r26751 = pow(r26749, r26750);
        float r26752 = 4;
        float r26753 = 1;
        float r26754 = r26753 + r26745;
        float r26755 = r26746 * r26754;
        float r26756 = 3;
        float r26757 = r26756 * r26745;
        float r26758 = r26753 - r26757;
        float r26759 = r26748 * r26758;
        float r26760 = r26755 + r26759;
        float r26761 = r26752 * r26760;
        float r26762 = r26751 + r26761;
        float r26763 = r26762 - r26753;
        return r26763;
}

double f_id(double a, double b) {
        double r26764 = a;
        double r26765 = r26764 * r26764;
        double r26766 = b;
        double r26767 = r26766 * r26766;
        double r26768 = r26765 + r26767;
        double r26769 = 2;
        double r26770 = pow(r26768, r26769);
        double r26771 = 4;
        double r26772 = 1;
        double r26773 = r26772 + r26764;
        double r26774 = r26765 * r26773;
        double r26775 = 3;
        double r26776 = r26775 * r26764;
        double r26777 = r26772 - r26776;
        double r26778 = r26767 * r26777;
        double r26779 = r26774 + r26778;
        double r26780 = r26771 * r26779;
        double r26781 = r26770 + r26780;
        double r26782 = r26781 - r26772;
        return r26782;
}


double f_of(float a, float b) {
        float r26783 = a;
        float r26784 = r26783 * r26783;
        float r26785 = b;
        float r26786 = r26785 * r26785;
        float r26787 = r26784 + r26786;
        float r26788 = 2;
        float r26789 = pow(r26787, r26788);
        float r26790 = 4;
        float r26791 = 1;
        float r26792 = r26791 + r26783;
        float r26793 = r26784 * r26792;
        float r26794 = 3;
        float r26795 = r26794 * r26783;
        float r26796 = r26791 - r26795;
        float r26797 = r26786 * r26796;
        float r26798 = r26793 + r26797;
        float r26799 = r26790 * r26798;
        float r26800 = r26789 + r26799;
        float r26801 = r26800 - r26791;
        return r26801;
}

double f_od(double a, double b) {
        double r26802 = a;
        double r26803 = r26802 * r26802;
        double r26804 = b;
        double r26805 = r26804 * r26804;
        double r26806 = r26803 + r26805;
        double r26807 = 2;
        double r26808 = pow(r26806, r26807);
        double r26809 = 4;
        double r26810 = 1;
        double r26811 = r26810 + r26802;
        double r26812 = r26803 * r26811;
        double r26813 = 3;
        double r26814 = r26813 * r26802;
        double r26815 = r26810 - r26814;
        double r26816 = r26805 * r26815;
        double r26817 = r26812 + r26816;
        double r26818 = r26809 * r26817;
        double r26819 = r26808 + r26818;
        double r26820 = r26819 - r26810;
        return r26820;
}

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 r26821, r26822, r26823, r26824, r26825, r26826, r26827, r26828, r26829, r26830, r26831, r26832, r26833, r26834, r26835, r26836, r26837, r26838, r26839;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r26821);
        mpfr_init(r26822);
        mpfr_init(r26823);
        mpfr_init(r26824);
        mpfr_init(r26825);
        mpfr_init_set_str(r26826, "2", 10, MPFR_RNDN);
        mpfr_init(r26827);
        mpfr_init_set_str(r26828, "4", 10, MPFR_RNDN);
        mpfr_init_set_str(r26829, "1", 10, MPFR_RNDN);
        mpfr_init(r26830);
        mpfr_init(r26831);
        mpfr_init_set_str(r26832, "3", 10, MPFR_RNDN);
        mpfr_init(r26833);
        mpfr_init(r26834);
        mpfr_init(r26835);
        mpfr_init(r26836);
        mpfr_init(r26837);
        mpfr_init(r26838);
        mpfr_init(r26839);
}

double f_im(double a, double b) {
        mpfr_set_d(r26821, a, MPFR_RNDN);
        mpfr_mul(r26822, r26821, r26821, MPFR_RNDN);
        mpfr_set_d(r26823, b, MPFR_RNDN);
        mpfr_mul(r26824, r26823, r26823, MPFR_RNDN);
        mpfr_add(r26825, r26822, r26824, MPFR_RNDN);
        ;
        mpfr_pow(r26827, r26825, r26826, MPFR_RNDN);
        ;
        ;
        mpfr_add(r26830, r26829, r26821, MPFR_RNDN);
        mpfr_mul(r26831, r26822, r26830, MPFR_RNDN);
        ;
        mpfr_mul(r26833, r26832, r26821, MPFR_RNDN);
        mpfr_sub(r26834, r26829, r26833, MPFR_RNDN);
        mpfr_mul(r26835, r26824, r26834, MPFR_RNDN);
        mpfr_add(r26836, r26831, r26835, MPFR_RNDN);
        mpfr_mul(r26837, r26828, r26836, MPFR_RNDN);
        mpfr_add(r26838, r26827, r26837, MPFR_RNDN);
        mpfr_sub(r26839, r26838, r26829, MPFR_RNDN);
        return mpfr_get_d(r26839, MPFR_RNDN);
}

static mpfr_t r26840, r26841, r26842, r26843, r26844, r26845, r26846, r26847, r26848, r26849, r26850, r26851, r26852, r26853, r26854, r26855, r26856, r26857, r26858;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r26840);
        mpfr_init(r26841);
        mpfr_init(r26842);
        mpfr_init(r26843);
        mpfr_init(r26844);
        mpfr_init_set_str(r26845, "2", 10, MPFR_RNDN);
        mpfr_init(r26846);
        mpfr_init_set_str(r26847, "4", 10, MPFR_RNDN);
        mpfr_init_set_str(r26848, "1", 10, MPFR_RNDN);
        mpfr_init(r26849);
        mpfr_init(r26850);
        mpfr_init_set_str(r26851, "3", 10, MPFR_RNDN);
        mpfr_init(r26852);
        mpfr_init(r26853);
        mpfr_init(r26854);
        mpfr_init(r26855);
        mpfr_init(r26856);
        mpfr_init(r26857);
        mpfr_init(r26858);
}

double f_fm(double a, double b) {
        mpfr_set_d(r26840, a, MPFR_RNDN);
        mpfr_mul(r26841, r26840, r26840, MPFR_RNDN);
        mpfr_set_d(r26842, b, MPFR_RNDN);
        mpfr_mul(r26843, r26842, r26842, MPFR_RNDN);
        mpfr_add(r26844, r26841, r26843, MPFR_RNDN);
        ;
        mpfr_pow(r26846, r26844, r26845, MPFR_RNDN);
        ;
        ;
        mpfr_add(r26849, r26848, r26840, MPFR_RNDN);
        mpfr_mul(r26850, r26841, r26849, MPFR_RNDN);
        ;
        mpfr_mul(r26852, r26851, r26840, MPFR_RNDN);
        mpfr_sub(r26853, r26848, r26852, MPFR_RNDN);
        mpfr_mul(r26854, r26843, r26853, MPFR_RNDN);
        mpfr_add(r26855, r26850, r26854, MPFR_RNDN);
        mpfr_mul(r26856, r26847, r26855, MPFR_RNDN);
        mpfr_add(r26857, r26846, r26856, MPFR_RNDN);
        mpfr_sub(r26858, r26857, r26848, MPFR_RNDN);
        return mpfr_get_d(r26858, MPFR_RNDN);
}

static mpfr_t r26859, r26860, r26861, r26862, r26863, r26864, r26865, r26866, r26867, r26868, r26869, r26870, r26871, r26872, r26873, r26874, r26875, r26876, r26877;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r26859);
        mpfr_init(r26860);
        mpfr_init(r26861);
        mpfr_init(r26862);
        mpfr_init(r26863);
        mpfr_init_set_str(r26864, "2", 10, MPFR_RNDN);
        mpfr_init(r26865);
        mpfr_init_set_str(r26866, "4", 10, MPFR_RNDN);
        mpfr_init_set_str(r26867, "1", 10, MPFR_RNDN);
        mpfr_init(r26868);
        mpfr_init(r26869);
        mpfr_init_set_str(r26870, "3", 10, MPFR_RNDN);
        mpfr_init(r26871);
        mpfr_init(r26872);
        mpfr_init(r26873);
        mpfr_init(r26874);
        mpfr_init(r26875);
        mpfr_init(r26876);
        mpfr_init(r26877);
}

double f_dm(double a, double b) {
        mpfr_set_d(r26859, a, MPFR_RNDN);
        mpfr_mul(r26860, r26859, r26859, MPFR_RNDN);
        mpfr_set_d(r26861, b, MPFR_RNDN);
        mpfr_mul(r26862, r26861, r26861, MPFR_RNDN);
        mpfr_add(r26863, r26860, r26862, MPFR_RNDN);
        ;
        mpfr_pow(r26865, r26863, r26864, MPFR_RNDN);
        ;
        ;
        mpfr_add(r26868, r26867, r26859, MPFR_RNDN);
        mpfr_mul(r26869, r26860, r26868, MPFR_RNDN);
        ;
        mpfr_mul(r26871, r26870, r26859, MPFR_RNDN);
        mpfr_sub(r26872, r26867, r26871, MPFR_RNDN);
        mpfr_mul(r26873, r26862, r26872, MPFR_RNDN);
        mpfr_add(r26874, r26869, r26873, MPFR_RNDN);
        mpfr_mul(r26875, r26866, r26874, MPFR_RNDN);
        mpfr_add(r26876, r26865, r26875, MPFR_RNDN);
        mpfr_sub(r26877, r26876, r26867, MPFR_RNDN);
        return mpfr_get_d(r26877, MPFR_RNDN);
}