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

char *name = "Toniolo and Linder, Equation (2)";

double f_if(float t, float l, float Om, float Omc) {
        float r22206 = 1;
        float r22207 = Om;
        float r22208 = Omc;
        float r22209 = r22207 / r22208;
        float r22210 = 2;
        float r22211 = pow(r22209, r22210);
        float r22212 = r22206 - r22211;
        float r22213 = t;
        float r22214 = l;
        float r22215 = r22213 / r22214;
        float r22216 = pow(r22215, r22210);
        float r22217 = r22210 * r22216;
        float r22218 = r22206 + r22217;
        float r22219 = r22212 / r22218;
        float r22220 = sqrt(r22219);
        float r22221 = asin(r22220);
        return r22221;
}

double f_id(double t, double l, double Om, double Omc) {
        double r22222 = 1;
        double r22223 = Om;
        double r22224 = Omc;
        double r22225 = r22223 / r22224;
        double r22226 = 2;
        double r22227 = pow(r22225, r22226);
        double r22228 = r22222 - r22227;
        double r22229 = t;
        double r22230 = l;
        double r22231 = r22229 / r22230;
        double r22232 = pow(r22231, r22226);
        double r22233 = r22226 * r22232;
        double r22234 = r22222 + r22233;
        double r22235 = r22228 / r22234;
        double r22236 = sqrt(r22235);
        double r22237 = asin(r22236);
        return r22237;
}


double f_of(float t, float l, float Om, float Omc) {
        float r22238 = 1;
        float r22239 = Om;
        float r22240 = Omc;
        float r22241 = r22239 / r22240;
        float r22242 = 2;
        float r22243 = pow(r22241, r22242);
        float r22244 = r22238 - r22243;
        float r22245 = sqrt(r22244);
        float r22246 = t;
        float r22247 = l;
        float r22248 = r22246 / r22247;
        float r22249 = pow(r22248, r22242);
        float r22250 = r22242 * r22249;
        float r22251 = r22238 + r22250;
        float r22252 = sqrt(r22251);
        float r22253 = r22245 / r22252;
        float r22254 = asin(r22253);
        return r22254;
}

double f_od(double t, double l, double Om, double Omc) {
        double r22255 = 1;
        double r22256 = Om;
        double r22257 = Omc;
        double r22258 = r22256 / r22257;
        double r22259 = 2;
        double r22260 = pow(r22258, r22259);
        double r22261 = r22255 - r22260;
        double r22262 = sqrt(r22261);
        double r22263 = t;
        double r22264 = l;
        double r22265 = r22263 / r22264;
        double r22266 = pow(r22265, r22259);
        double r22267 = r22259 * r22266;
        double r22268 = r22255 + r22267;
        double r22269 = sqrt(r22268);
        double r22270 = r22262 / r22269;
        double r22271 = asin(r22270);
        return r22271;
}

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 r22272, r22273, r22274, r22275, r22276, r22277, r22278, r22279, r22280, r22281, r22282, r22283, r22284, r22285, r22286, r22287;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r22272, "1", 10, MPFR_RNDN);
        mpfr_init(r22273);
        mpfr_init(r22274);
        mpfr_init(r22275);
        mpfr_init_set_str(r22276, "2", 10, MPFR_RNDN);
        mpfr_init(r22277);
        mpfr_init(r22278);
        mpfr_init(r22279);
        mpfr_init(r22280);
        mpfr_init(r22281);
        mpfr_init(r22282);
        mpfr_init(r22283);
        mpfr_init(r22284);
        mpfr_init(r22285);
        mpfr_init(r22286);
        mpfr_init(r22287);
}

double f_im(double t, double l, double Om, double Omc) {
        ;
        mpfr_set_d(r22273, Om, MPFR_RNDN);
        mpfr_set_d(r22274, Omc, MPFR_RNDN);
        mpfr_div(r22275, r22273, r22274, MPFR_RNDN);
        ;
        mpfr_pow(r22277, r22275, r22276, MPFR_RNDN);
        mpfr_sub(r22278, r22272, r22277, MPFR_RNDN);
        mpfr_set_d(r22279, t, MPFR_RNDN);
        mpfr_set_d(r22280, l, MPFR_RNDN);
        mpfr_div(r22281, r22279, r22280, MPFR_RNDN);
        mpfr_pow(r22282, r22281, r22276, MPFR_RNDN);
        mpfr_mul(r22283, r22276, r22282, MPFR_RNDN);
        mpfr_add(r22284, r22272, r22283, MPFR_RNDN);
        mpfr_div(r22285, r22278, r22284, MPFR_RNDN);
        mpfr_sqrt(r22286, r22285, MPFR_RNDN);
        mpfr_asin(r22287, r22286, MPFR_RNDN);
        return mpfr_get_d(r22287, MPFR_RNDN);
}

static mpfr_t r22288, r22289, r22290, r22291, r22292, r22293, r22294, r22295, r22296, r22297, r22298, r22299, r22300, r22301, r22302, r22303, r22304;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r22288, "1", 10, MPFR_RNDN);
        mpfr_init(r22289);
        mpfr_init(r22290);
        mpfr_init(r22291);
        mpfr_init_set_str(r22292, "2", 10, MPFR_RNDN);
        mpfr_init(r22293);
        mpfr_init(r22294);
        mpfr_init(r22295);
        mpfr_init(r22296);
        mpfr_init(r22297);
        mpfr_init(r22298);
        mpfr_init(r22299);
        mpfr_init(r22300);
        mpfr_init(r22301);
        mpfr_init(r22302);
        mpfr_init(r22303);
        mpfr_init(r22304);
}

double f_fm(double t, double l, double Om, double Omc) {
        ;
        mpfr_set_d(r22289, Om, MPFR_RNDN);
        mpfr_set_d(r22290, Omc, MPFR_RNDN);
        mpfr_div(r22291, r22289, r22290, MPFR_RNDN);
        ;
        mpfr_pow(r22293, r22291, r22292, MPFR_RNDN);
        mpfr_sub(r22294, r22288, r22293, MPFR_RNDN);
        mpfr_sqrt(r22295, r22294, MPFR_RNDN);
        mpfr_set_d(r22296, t, MPFR_RNDN);
        mpfr_set_d(r22297, l, MPFR_RNDN);
        mpfr_div(r22298, r22296, r22297, MPFR_RNDN);
        mpfr_pow(r22299, r22298, r22292, MPFR_RNDN);
        mpfr_mul(r22300, r22292, r22299, MPFR_RNDN);
        mpfr_add(r22301, r22288, r22300, MPFR_RNDN);
        mpfr_sqrt(r22302, r22301, MPFR_RNDN);
        mpfr_div(r22303, r22295, r22302, MPFR_RNDN);
        mpfr_asin(r22304, r22303, MPFR_RNDN);
        return mpfr_get_d(r22304, MPFR_RNDN);
}

static mpfr_t r22305, r22306, r22307, r22308, r22309, r22310, r22311, r22312, r22313, r22314, r22315, r22316, r22317, r22318, r22319, r22320, r22321;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r22305, "1", 10, MPFR_RNDN);
        mpfr_init(r22306);
        mpfr_init(r22307);
        mpfr_init(r22308);
        mpfr_init_set_str(r22309, "2", 10, MPFR_RNDN);
        mpfr_init(r22310);
        mpfr_init(r22311);
        mpfr_init(r22312);
        mpfr_init(r22313);
        mpfr_init(r22314);
        mpfr_init(r22315);
        mpfr_init(r22316);
        mpfr_init(r22317);
        mpfr_init(r22318);
        mpfr_init(r22319);
        mpfr_init(r22320);
        mpfr_init(r22321);
}

double f_dm(double t, double l, double Om, double Omc) {
        ;
        mpfr_set_d(r22306, Om, MPFR_RNDN);
        mpfr_set_d(r22307, Omc, MPFR_RNDN);
        mpfr_div(r22308, r22306, r22307, MPFR_RNDN);
        ;
        mpfr_pow(r22310, r22308, r22309, MPFR_RNDN);
        mpfr_sub(r22311, r22305, r22310, MPFR_RNDN);
        mpfr_sqrt(r22312, r22311, MPFR_RNDN);
        mpfr_set_d(r22313, t, MPFR_RNDN);
        mpfr_set_d(r22314, l, MPFR_RNDN);
        mpfr_div(r22315, r22313, r22314, MPFR_RNDN);
        mpfr_pow(r22316, r22315, r22309, MPFR_RNDN);
        mpfr_mul(r22317, r22309, r22316, MPFR_RNDN);
        mpfr_add(r22318, r22305, r22317, MPFR_RNDN);
        mpfr_sqrt(r22319, r22318, MPFR_RNDN);
        mpfr_div(r22320, r22312, r22319, MPFR_RNDN);
        mpfr_asin(r22321, r22320, MPFR_RNDN);
        return mpfr_get_d(r22321, MPFR_RNDN);
}