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

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

double f_if(float a, float b) {
        float r24862 = a;
        float r24863 = r24862 * r24862;
        float r24864 = b;
        float r24865 = r24864 * r24864;
        float r24866 = r24863 + r24865;
        float r24867 = 2;
        float r24868 = pow(r24866, r24867);
        float r24869 = 4;
        float r24870 = 1;
        float r24871 = r24870 - r24862;
        float r24872 = r24863 * r24871;
        float r24873 = 3;
        float r24874 = r24873 + r24862;
        float r24875 = r24865 * r24874;
        float r24876 = r24872 + r24875;
        float r24877 = r24869 * r24876;
        float r24878 = r24868 + r24877;
        float r24879 = r24878 - r24870;
        return r24879;
}

double f_id(double a, double b) {
        double r24880 = a;
        double r24881 = r24880 * r24880;
        double r24882 = b;
        double r24883 = r24882 * r24882;
        double r24884 = r24881 + r24883;
        double r24885 = 2;
        double r24886 = pow(r24884, r24885);
        double r24887 = 4;
        double r24888 = 1;
        double r24889 = r24888 - r24880;
        double r24890 = r24881 * r24889;
        double r24891 = 3;
        double r24892 = r24891 + r24880;
        double r24893 = r24883 * r24892;
        double r24894 = r24890 + r24893;
        double r24895 = r24887 * r24894;
        double r24896 = r24886 + r24895;
        double r24897 = r24896 - r24888;
        return r24897;
}


double f_of(float a, float b) {
        float r24898 = b;
        float r24899 = a;
        float r24900 = hypot(r24898, r24899);
        float r24901 = 3;
        float r24902 = 1;
        float r24903 = r24901 + r24902;
        float r24904 = pow(r24900, r24903);
        float r24905 = 4;
        float r24906 = r24899 * r24899;
        float r24907 = r24902 - r24899;
        float r24908 = r24906 * r24907;
        float r24909 = r24898 * r24898;
        float r24910 = r24901 + r24899;
        float r24911 = r24909 * r24910;
        float r24912 = r24908 + r24911;
        float r24913 = r24905 * r24912;
        float r24914 = r24904 + r24913;
        float r24915 = r24914 - r24902;
        return r24915;
}

double f_od(double a, double b) {
        double r24916 = b;
        double r24917 = a;
        double r24918 = hypot(r24916, r24917);
        double r24919 = 3;
        double r24920 = 1;
        double r24921 = r24919 + r24920;
        double r24922 = pow(r24918, r24921);
        double r24923 = 4;
        double r24924 = r24917 * r24917;
        double r24925 = r24920 - r24917;
        double r24926 = r24924 * r24925;
        double r24927 = r24916 * r24916;
        double r24928 = r24919 + r24917;
        double r24929 = r24927 * r24928;
        double r24930 = r24926 + r24929;
        double r24931 = r24923 * r24930;
        double r24932 = r24922 + r24931;
        double r24933 = r24932 - r24920;
        return r24933;
}

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 r24934, r24935, r24936, r24937, r24938, r24939, r24940, r24941, r24942, r24943, r24944, r24945, r24946, r24947, r24948, r24949, r24950, r24951;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r24934);
        mpfr_init(r24935);
        mpfr_init(r24936);
        mpfr_init(r24937);
        mpfr_init(r24938);
        mpfr_init_set_str(r24939, "2", 10, MPFR_RNDN);
        mpfr_init(r24940);
        mpfr_init_set_str(r24941, "4", 10, MPFR_RNDN);
        mpfr_init_set_str(r24942, "1", 10, MPFR_RNDN);
        mpfr_init(r24943);
        mpfr_init(r24944);
        mpfr_init_set_str(r24945, "3", 10, MPFR_RNDN);
        mpfr_init(r24946);
        mpfr_init(r24947);
        mpfr_init(r24948);
        mpfr_init(r24949);
        mpfr_init(r24950);
        mpfr_init(r24951);
}

double f_im(double a, double b) {
        mpfr_set_d(r24934, a, MPFR_RNDN);
        mpfr_mul(r24935, r24934, r24934, MPFR_RNDN);
        mpfr_set_d(r24936, b, MPFR_RNDN);
        mpfr_mul(r24937, r24936, r24936, MPFR_RNDN);
        mpfr_add(r24938, r24935, r24937, MPFR_RNDN);
        ;
        mpfr_pow(r24940, r24938, r24939, MPFR_RNDN);
        ;
        ;
        mpfr_sub(r24943, r24942, r24934, MPFR_RNDN);
        mpfr_mul(r24944, r24935, r24943, MPFR_RNDN);
        ;
        mpfr_add(r24946, r24945, r24934, MPFR_RNDN);
        mpfr_mul(r24947, r24937, r24946, MPFR_RNDN);
        mpfr_add(r24948, r24944, r24947, MPFR_RNDN);
        mpfr_mul(r24949, r24941, r24948, MPFR_RNDN);
        mpfr_add(r24950, r24940, r24949, MPFR_RNDN);
        mpfr_sub(r24951, r24950, r24942, MPFR_RNDN);
        return mpfr_get_d(r24951, MPFR_RNDN);
}

static mpfr_t r24952, r24953, r24954, r24955, r24956, r24957, r24958, r24959, r24960, r24961, r24962, r24963, r24964, r24965, r24966, r24967, r24968, r24969;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r24952);
        mpfr_init(r24953);
        mpfr_init(r24954);
        mpfr_init_set_str(r24955, "3", 10, MPFR_RNDN);
        mpfr_init_set_str(r24956, "1", 10, MPFR_RNDN);
        mpfr_init(r24957);
        mpfr_init(r24958);
        mpfr_init_set_str(r24959, "4", 10, MPFR_RNDN);
        mpfr_init(r24960);
        mpfr_init(r24961);
        mpfr_init(r24962);
        mpfr_init(r24963);
        mpfr_init(r24964);
        mpfr_init(r24965);
        mpfr_init(r24966);
        mpfr_init(r24967);
        mpfr_init(r24968);
        mpfr_init(r24969);
}

double f_fm(double a, double b) {
        mpfr_set_d(r24952, b, MPFR_RNDN);
        mpfr_set_d(r24953, a, MPFR_RNDN);
        mpfr_hypot(r24954, r24952, r24953, MPFR_RNDN);
        ;
        ;
        mpfr_add(r24957, r24955, r24956, MPFR_RNDN);
        mpfr_pow(r24958, r24954, r24957, MPFR_RNDN);
        ;
        mpfr_mul(r24960, r24953, r24953, MPFR_RNDN);
        mpfr_sub(r24961, r24956, r24953, MPFR_RNDN);
        mpfr_mul(r24962, r24960, r24961, MPFR_RNDN);
        mpfr_mul(r24963, r24952, r24952, MPFR_RNDN);
        mpfr_add(r24964, r24955, r24953, MPFR_RNDN);
        mpfr_mul(r24965, r24963, r24964, MPFR_RNDN);
        mpfr_add(r24966, r24962, r24965, MPFR_RNDN);
        mpfr_mul(r24967, r24959, r24966, MPFR_RNDN);
        mpfr_add(r24968, r24958, r24967, MPFR_RNDN);
        mpfr_sub(r24969, r24968, r24956, MPFR_RNDN);
        return mpfr_get_d(r24969, MPFR_RNDN);
}

static mpfr_t r24970, r24971, r24972, r24973, r24974, r24975, r24976, r24977, r24978, r24979, r24980, r24981, r24982, r24983, r24984, r24985, r24986, r24987;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r24970);
        mpfr_init(r24971);
        mpfr_init(r24972);
        mpfr_init_set_str(r24973, "3", 10, MPFR_RNDN);
        mpfr_init_set_str(r24974, "1", 10, MPFR_RNDN);
        mpfr_init(r24975);
        mpfr_init(r24976);
        mpfr_init_set_str(r24977, "4", 10, MPFR_RNDN);
        mpfr_init(r24978);
        mpfr_init(r24979);
        mpfr_init(r24980);
        mpfr_init(r24981);
        mpfr_init(r24982);
        mpfr_init(r24983);
        mpfr_init(r24984);
        mpfr_init(r24985);
        mpfr_init(r24986);
        mpfr_init(r24987);
}

double f_dm(double a, double b) {
        mpfr_set_d(r24970, b, MPFR_RNDN);
        mpfr_set_d(r24971, a, MPFR_RNDN);
        mpfr_hypot(r24972, r24970, r24971, MPFR_RNDN);
        ;
        ;
        mpfr_add(r24975, r24973, r24974, MPFR_RNDN);
        mpfr_pow(r24976, r24972, r24975, MPFR_RNDN);
        ;
        mpfr_mul(r24978, r24971, r24971, MPFR_RNDN);
        mpfr_sub(r24979, r24974, r24971, MPFR_RNDN);
        mpfr_mul(r24980, r24978, r24979, MPFR_RNDN);
        mpfr_mul(r24981, r24970, r24970, MPFR_RNDN);
        mpfr_add(r24982, r24973, r24971, MPFR_RNDN);
        mpfr_mul(r24983, r24981, r24982, MPFR_RNDN);
        mpfr_add(r24984, r24980, r24983, MPFR_RNDN);
        mpfr_mul(r24985, r24977, r24984, MPFR_RNDN);
        mpfr_add(r24986, r24976, r24985, MPFR_RNDN);
        mpfr_sub(r24987, r24986, r24974, MPFR_RNDN);
        return mpfr_get_d(r24987, MPFR_RNDN);
}