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

char *name = "Henrywood and Agarwal, Equation (3)";

double f_if(float c0, float A, float V, float l) {
        float r22941 = c0;
        float r22942 = A;
        float r22943 = V;
        float r22944 = l;
        float r22945 = r22943 * r22944;
        float r22946 = r22942 / r22945;
        float r22947 = sqrt(r22946);
        float r22948 = r22941 * r22947;
        return r22948;
}

double f_id(double c0, double A, double V, double l) {
        double r22949 = c0;
        double r22950 = A;
        double r22951 = V;
        double r22952 = l;
        double r22953 = r22951 * r22952;
        double r22954 = r22950 / r22953;
        double r22955 = sqrt(r22954);
        double r22956 = r22949 * r22955;
        return r22956;
}


double f_of(float c0, float A, float V, float l) {
        float r22957 = A;
        float r22958 = l;
        float r22959 = r22957 / r22958;
        float r22960 = 3.2138083397342488e-252;
        bool r22961 = r22959 <= r22960;
        float r22962 = c0;
        float r22963 = V;
        float r22964 = r22963 * r22958;
        float r22965 = r22957 / r22964;
        float r22966 = sqrt(r22965);
        float r22967 = r22962 * r22966;
        float r22968 = 4.533790555896115e+298;
        bool r22969 = r22959 <= r22968;
        float r22970 = sqrt(r22959);
        float r22971 = sqrt(r22963);
        float r22972 = r22970 / r22971;
        float r22973 = r22962 * r22972;
        float r22974 = r22957 / r22963;
        float r22975 = sqrt(r22974);
        float r22976 = r22962 * r22975;
        float r22977 = sqrt(r22958);
        float r22978 = r22976 / r22977;
        float r22979 = r22969 ? r22973 : r22978;
        float r22980 = r22961 ? r22967 : r22979;
        return r22980;
}

double f_od(double c0, double A, double V, double l) {
        double r22981 = A;
        double r22982 = l;
        double r22983 = r22981 / r22982;
        double r22984 = 3.2138083397342488e-252;
        bool r22985 = r22983 <= r22984;
        double r22986 = c0;
        double r22987 = V;
        double r22988 = r22987 * r22982;
        double r22989 = r22981 / r22988;
        double r22990 = sqrt(r22989);
        double r22991 = r22986 * r22990;
        double r22992 = 4.533790555896115e+298;
        bool r22993 = r22983 <= r22992;
        double r22994 = sqrt(r22983);
        double r22995 = sqrt(r22987);
        double r22996 = r22994 / r22995;
        double r22997 = r22986 * r22996;
        double r22998 = r22981 / r22987;
        double r22999 = sqrt(r22998);
        double r23000 = r22986 * r22999;
        double r23001 = sqrt(r22982);
        double r23002 = r23000 / r23001;
        double r23003 = r22993 ? r22997 : r23002;
        double r23004 = r22985 ? r22991 : r23003;
        return r23004;
}

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 r23005, r23006, r23007, r23008, r23009, r23010, r23011, r23012;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r23005);
        mpfr_init(r23006);
        mpfr_init(r23007);
        mpfr_init(r23008);
        mpfr_init(r23009);
        mpfr_init(r23010);
        mpfr_init(r23011);
        mpfr_init(r23012);
}

double f_im(double c0, double A, double V, double l) {
        mpfr_set_d(r23005, c0, MPFR_RNDN);
        mpfr_set_d(r23006, A, MPFR_RNDN);
        mpfr_set_d(r23007, V, MPFR_RNDN);
        mpfr_set_d(r23008, l, MPFR_RNDN);
        mpfr_mul(r23009, r23007, r23008, MPFR_RNDN);
        mpfr_div(r23010, r23006, r23009, MPFR_RNDN);
        mpfr_sqrt(r23011, r23010, MPFR_RNDN);
        mpfr_mul(r23012, r23005, r23011, MPFR_RNDN);
        return mpfr_get_d(r23012, MPFR_RNDN);
}

static mpfr_t r23013, r23014, r23015, r23016, r23017, r23018, r23019, r23020, r23021, r23022, r23023, r23024, r23025, r23026, r23027, r23028, r23029, r23030, r23031, r23032, r23033, r23034, r23035, r23036;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r23013);
        mpfr_init(r23014);
        mpfr_init(r23015);
        mpfr_init_set_str(r23016, "3.2138083397342488e-252", 10, MPFR_RNDN);
        mpfr_init(r23017);
        mpfr_init(r23018);
        mpfr_init(r23019);
        mpfr_init(r23020);
        mpfr_init(r23021);
        mpfr_init(r23022);
        mpfr_init(r23023);
        mpfr_init_set_str(r23024, "4.533790555896115e+298", 10, MPFR_RNDN);
        mpfr_init(r23025);
        mpfr_init(r23026);
        mpfr_init(r23027);
        mpfr_init(r23028);
        mpfr_init(r23029);
        mpfr_init(r23030);
        mpfr_init(r23031);
        mpfr_init(r23032);
        mpfr_init(r23033);
        mpfr_init(r23034);
        mpfr_init(r23035);
        mpfr_init(r23036);
}

double f_fm(double c0, double A, double V, double l) {
        mpfr_set_d(r23013, A, MPFR_RNDN);
        mpfr_set_d(r23014, l, MPFR_RNDN);
        mpfr_div(r23015, r23013, r23014, MPFR_RNDN);
        ;
        mpfr_set_si(r23017, mpfr_cmp(r23015, r23016) <= 0, MPFR_RNDN);
        mpfr_set_d(r23018, c0, MPFR_RNDN);
        mpfr_set_d(r23019, V, MPFR_RNDN);
        mpfr_mul(r23020, r23019, r23014, MPFR_RNDN);
        mpfr_div(r23021, r23013, r23020, MPFR_RNDN);
        mpfr_sqrt(r23022, r23021, MPFR_RNDN);
        mpfr_mul(r23023, r23018, r23022, MPFR_RNDN);
        ;
        mpfr_set_si(r23025, mpfr_cmp(r23015, r23024) <= 0, MPFR_RNDN);
        mpfr_sqrt(r23026, r23015, MPFR_RNDN);
        mpfr_sqrt(r23027, r23019, MPFR_RNDN);
        mpfr_div(r23028, r23026, r23027, MPFR_RNDN);
        mpfr_mul(r23029, r23018, r23028, MPFR_RNDN);
        mpfr_div(r23030, r23013, r23019, MPFR_RNDN);
        mpfr_sqrt(r23031, r23030, MPFR_RNDN);
        mpfr_mul(r23032, r23018, r23031, MPFR_RNDN);
        mpfr_sqrt(r23033, r23014, MPFR_RNDN);
        mpfr_div(r23034, r23032, r23033, MPFR_RNDN);
        if (mpfr_get_si(r23025, MPFR_RNDN)) { mpfr_set(r23035, r23029, MPFR_RNDN); } else { mpfr_set(r23035, r23034, MPFR_RNDN); };
        if (mpfr_get_si(r23017, MPFR_RNDN)) { mpfr_set(r23036, r23023, MPFR_RNDN); } else { mpfr_set(r23036, r23035, MPFR_RNDN); };
        return mpfr_get_d(r23036, MPFR_RNDN);
}

static mpfr_t r23037, r23038, r23039, r23040, r23041, r23042, r23043, r23044, r23045, r23046, r23047, r23048, r23049, r23050, r23051, r23052, r23053, r23054, r23055, r23056, r23057, r23058, r23059, r23060;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r23037);
        mpfr_init(r23038);
        mpfr_init(r23039);
        mpfr_init_set_str(r23040, "3.2138083397342488e-252", 10, MPFR_RNDN);
        mpfr_init(r23041);
        mpfr_init(r23042);
        mpfr_init(r23043);
        mpfr_init(r23044);
        mpfr_init(r23045);
        mpfr_init(r23046);
        mpfr_init(r23047);
        mpfr_init_set_str(r23048, "4.533790555896115e+298", 10, MPFR_RNDN);
        mpfr_init(r23049);
        mpfr_init(r23050);
        mpfr_init(r23051);
        mpfr_init(r23052);
        mpfr_init(r23053);
        mpfr_init(r23054);
        mpfr_init(r23055);
        mpfr_init(r23056);
        mpfr_init(r23057);
        mpfr_init(r23058);
        mpfr_init(r23059);
        mpfr_init(r23060);
}

double f_dm(double c0, double A, double V, double l) {
        mpfr_set_d(r23037, A, MPFR_RNDN);
        mpfr_set_d(r23038, l, MPFR_RNDN);
        mpfr_div(r23039, r23037, r23038, MPFR_RNDN);
        ;
        mpfr_set_si(r23041, mpfr_cmp(r23039, r23040) <= 0, MPFR_RNDN);
        mpfr_set_d(r23042, c0, MPFR_RNDN);
        mpfr_set_d(r23043, V, MPFR_RNDN);
        mpfr_mul(r23044, r23043, r23038, MPFR_RNDN);
        mpfr_div(r23045, r23037, r23044, MPFR_RNDN);
        mpfr_sqrt(r23046, r23045, MPFR_RNDN);
        mpfr_mul(r23047, r23042, r23046, MPFR_RNDN);
        ;
        mpfr_set_si(r23049, mpfr_cmp(r23039, r23048) <= 0, MPFR_RNDN);
        mpfr_sqrt(r23050, r23039, MPFR_RNDN);
        mpfr_sqrt(r23051, r23043, MPFR_RNDN);
        mpfr_div(r23052, r23050, r23051, MPFR_RNDN);
        mpfr_mul(r23053, r23042, r23052, MPFR_RNDN);
        mpfr_div(r23054, r23037, r23043, MPFR_RNDN);
        mpfr_sqrt(r23055, r23054, MPFR_RNDN);
        mpfr_mul(r23056, r23042, r23055, MPFR_RNDN);
        mpfr_sqrt(r23057, r23038, MPFR_RNDN);
        mpfr_div(r23058, r23056, r23057, MPFR_RNDN);
        if (mpfr_get_si(r23049, MPFR_RNDN)) { mpfr_set(r23059, r23053, MPFR_RNDN); } else { mpfr_set(r23059, r23058, MPFR_RNDN); };
        if (mpfr_get_si(r23041, MPFR_RNDN)) { mpfr_set(r23060, r23047, MPFR_RNDN); } else { mpfr_set(r23060, r23059, MPFR_RNDN); };
        return mpfr_get_d(r23060, MPFR_RNDN);
}