#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 r26886 = a;
        float r26887 = r26886 * r26886;
        float r26888 = b;
        float r26889 = r26888 * r26888;
        float r26890 = r26887 + r26889;
        float r26891 = 2;
        float r26892 = pow(r26890, r26891);
        float r26893 = 4;
        float r26894 = 1;
        float r26895 = r26894 + r26886;
        float r26896 = r26887 * r26895;
        float r26897 = 3;
        float r26898 = r26897 * r26886;
        float r26899 = r26894 - r26898;
        float r26900 = r26889 * r26899;
        float r26901 = r26896 + r26900;
        float r26902 = r26893 * r26901;
        float r26903 = r26892 + r26902;
        float r26904 = r26903 - r26894;
        return r26904;
}

double f_id(double a, double b) {
        double r26905 = a;
        double r26906 = r26905 * r26905;
        double r26907 = b;
        double r26908 = r26907 * r26907;
        double r26909 = r26906 + r26908;
        double r26910 = 2;
        double r26911 = pow(r26909, r26910);
        double r26912 = 4;
        double r26913 = 1;
        double r26914 = r26913 + r26905;
        double r26915 = r26906 * r26914;
        double r26916 = 3;
        double r26917 = r26916 * r26905;
        double r26918 = r26913 - r26917;
        double r26919 = r26908 * r26918;
        double r26920 = r26915 + r26919;
        double r26921 = r26912 * r26920;
        double r26922 = r26911 + r26921;
        double r26923 = r26922 - r26913;
        return r26923;
}


double f_of(float a, float b) {
        float r26924 = a;
        float r26925 = r26924 * r26924;
        float r26926 = b;
        float r26927 = r26926 * r26926;
        float r26928 = r26925 + r26927;
        float r26929 = 2;
        float r26930 = pow(r26928, r26929);
        float r26931 = 4;
        float r26932 = 1;
        float r26933 = r26932 + r26924;
        float r26934 = r26925 * r26933;
        float r26935 = 3;
        float r26936 = r26935 * r26924;
        float r26937 = r26932 - r26936;
        float r26938 = r26927 * r26937;
        float r26939 = r26934 + r26938;
        float r26940 = r26931 * r26939;
        float r26941 = r26930 + r26940;
        float r26942 = r26941 - r26932;
        return r26942;
}

double f_od(double a, double b) {
        double r26943 = a;
        double r26944 = r26943 * r26943;
        double r26945 = b;
        double r26946 = r26945 * r26945;
        double r26947 = r26944 + r26946;
        double r26948 = 2;
        double r26949 = pow(r26947, r26948);
        double r26950 = 4;
        double r26951 = 1;
        double r26952 = r26951 + r26943;
        double r26953 = r26944 * r26952;
        double r26954 = 3;
        double r26955 = r26954 * r26943;
        double r26956 = r26951 - r26955;
        double r26957 = r26946 * r26956;
        double r26958 = r26953 + r26957;
        double r26959 = r26950 * r26958;
        double r26960 = r26949 + r26959;
        double r26961 = r26960 - r26951;
        return r26961;
}

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 r26962, r26963, r26964, r26965, r26966, r26967, r26968, r26969, r26970, r26971, r26972, r26973, r26974, r26975, r26976, r26977, r26978, r26979, r26980;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init(r26962);
        mpfr_init(r26963);
        mpfr_init(r26964);
        mpfr_init(r26965);
        mpfr_init(r26966);
        mpfr_init_set_str(r26967, "2", 10, MPFR_RNDN);
        mpfr_init(r26968);
        mpfr_init_set_str(r26969, "4", 10, MPFR_RNDN);
        mpfr_init_set_str(r26970, "1", 10, MPFR_RNDN);
        mpfr_init(r26971);
        mpfr_init(r26972);
        mpfr_init_set_str(r26973, "3", 10, MPFR_RNDN);
        mpfr_init(r26974);
        mpfr_init(r26975);
        mpfr_init(r26976);
        mpfr_init(r26977);
        mpfr_init(r26978);
        mpfr_init(r26979);
        mpfr_init(r26980);
}

double f_im(double a, double b) {
        mpfr_set_d(r26962, a, MPFR_RNDN);
        mpfr_mul(r26963, r26962, r26962, MPFR_RNDN);
        mpfr_set_d(r26964, b, MPFR_RNDN);
        mpfr_mul(r26965, r26964, r26964, MPFR_RNDN);
        mpfr_add(r26966, r26963, r26965, MPFR_RNDN);
        ;
        mpfr_pow(r26968, r26966, r26967, MPFR_RNDN);
        ;
        ;
        mpfr_add(r26971, r26970, r26962, MPFR_RNDN);
        mpfr_mul(r26972, r26963, r26971, MPFR_RNDN);
        ;
        mpfr_mul(r26974, r26973, r26962, MPFR_RNDN);
        mpfr_sub(r26975, r26970, r26974, MPFR_RNDN);
        mpfr_mul(r26976, r26965, r26975, MPFR_RNDN);
        mpfr_add(r26977, r26972, r26976, MPFR_RNDN);
        mpfr_mul(r26978, r26969, r26977, MPFR_RNDN);
        mpfr_add(r26979, r26968, r26978, MPFR_RNDN);
        mpfr_sub(r26980, r26979, r26970, MPFR_RNDN);
        return mpfr_get_d(r26980, MPFR_RNDN);
}

static mpfr_t r26981, r26982, r26983, r26984, r26985, r26986, r26987, r26988, r26989, r26990, r26991, r26992, r26993, r26994, r26995, r26996, r26997, r26998, r26999;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init(r26981);
        mpfr_init(r26982);
        mpfr_init(r26983);
        mpfr_init(r26984);
        mpfr_init(r26985);
        mpfr_init_set_str(r26986, "2", 10, MPFR_RNDN);
        mpfr_init(r26987);
        mpfr_init_set_str(r26988, "4", 10, MPFR_RNDN);
        mpfr_init_set_str(r26989, "1", 10, MPFR_RNDN);
        mpfr_init(r26990);
        mpfr_init(r26991);
        mpfr_init_set_str(r26992, "3", 10, MPFR_RNDN);
        mpfr_init(r26993);
        mpfr_init(r26994);
        mpfr_init(r26995);
        mpfr_init(r26996);
        mpfr_init(r26997);
        mpfr_init(r26998);
        mpfr_init(r26999);
}

double f_fm(double a, double b) {
        mpfr_set_d(r26981, a, MPFR_RNDN);
        mpfr_mul(r26982, r26981, r26981, MPFR_RNDN);
        mpfr_set_d(r26983, b, MPFR_RNDN);
        mpfr_mul(r26984, r26983, r26983, MPFR_RNDN);
        mpfr_add(r26985, r26982, r26984, MPFR_RNDN);
        ;
        mpfr_pow(r26987, r26985, r26986, MPFR_RNDN);
        ;
        ;
        mpfr_add(r26990, r26989, r26981, MPFR_RNDN);
        mpfr_mul(r26991, r26982, r26990, MPFR_RNDN);
        ;
        mpfr_mul(r26993, r26992, r26981, MPFR_RNDN);
        mpfr_sub(r26994, r26989, r26993, MPFR_RNDN);
        mpfr_mul(r26995, r26984, r26994, MPFR_RNDN);
        mpfr_add(r26996, r26991, r26995, MPFR_RNDN);
        mpfr_mul(r26997, r26988, r26996, MPFR_RNDN);
        mpfr_add(r26998, r26987, r26997, MPFR_RNDN);
        mpfr_sub(r26999, r26998, r26989, MPFR_RNDN);
        return mpfr_get_d(r26999, MPFR_RNDN);
}

static mpfr_t r27000, r27001, r27002, r27003, r27004, r27005, r27006, r27007, r27008, r27009, r27010, r27011, r27012, r27013, r27014, r27015, r27016, r27017, r27018;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init(r27000);
        mpfr_init(r27001);
        mpfr_init(r27002);
        mpfr_init(r27003);
        mpfr_init(r27004);
        mpfr_init_set_str(r27005, "2", 10, MPFR_RNDN);
        mpfr_init(r27006);
        mpfr_init_set_str(r27007, "4", 10, MPFR_RNDN);
        mpfr_init_set_str(r27008, "1", 10, MPFR_RNDN);
        mpfr_init(r27009);
        mpfr_init(r27010);
        mpfr_init_set_str(r27011, "3", 10, MPFR_RNDN);
        mpfr_init(r27012);
        mpfr_init(r27013);
        mpfr_init(r27014);
        mpfr_init(r27015);
        mpfr_init(r27016);
        mpfr_init(r27017);
        mpfr_init(r27018);
}

double f_dm(double a, double b) {
        mpfr_set_d(r27000, a, MPFR_RNDN);
        mpfr_mul(r27001, r27000, r27000, MPFR_RNDN);
        mpfr_set_d(r27002, b, MPFR_RNDN);
        mpfr_mul(r27003, r27002, r27002, MPFR_RNDN);
        mpfr_add(r27004, r27001, r27003, MPFR_RNDN);
        ;
        mpfr_pow(r27006, r27004, r27005, MPFR_RNDN);
        ;
        ;
        mpfr_add(r27009, r27008, r27000, MPFR_RNDN);
        mpfr_mul(r27010, r27001, r27009, MPFR_RNDN);
        ;
        mpfr_mul(r27012, r27011, r27000, MPFR_RNDN);
        mpfr_sub(r27013, r27008, r27012, MPFR_RNDN);
        mpfr_mul(r27014, r27003, r27013, MPFR_RNDN);
        mpfr_add(r27015, r27010, r27014, MPFR_RNDN);
        mpfr_mul(r27016, r27007, r27015, MPFR_RNDN);
        mpfr_add(r27017, r27006, r27016, MPFR_RNDN);
        mpfr_sub(r27018, r27017, r27008, MPFR_RNDN);
        return mpfr_get_d(r27018, MPFR_RNDN);
}