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

char *name = "Spherical law of cosines";

double f_if(float R, float lambda1, float lambda2, float phi1, float phi2) {
        float r21189 = phi1;
        float r21190 = sin(r21189);
        float r21191 = phi2;
        float r21192 = sin(r21191);
        float r21193 = r21190 * r21192;
        float r21194 = cos(r21189);
        float r21195 = cos(r21191);
        float r21196 = r21194 * r21195;
        float r21197 = lambda1;
        float r21198 = lambda2;
        float r21199 = r21197 - r21198;
        float r21200 = cos(r21199);
        float r21201 = r21196 * r21200;
        float r21202 = r21193 + r21201;
        float r21203 = acos(r21202);
        float r21204 = R;
        float r21205 = r21203 * r21204;
        return r21205;
}

double f_id(double R, double lambda1, double lambda2, double phi1, double phi2) {
        double r21206 = phi1;
        double r21207 = sin(r21206);
        double r21208 = phi2;
        double r21209 = sin(r21208);
        double r21210 = r21207 * r21209;
        double r21211 = cos(r21206);
        double r21212 = cos(r21208);
        double r21213 = r21211 * r21212;
        double r21214 = lambda1;
        double r21215 = lambda2;
        double r21216 = r21214 - r21215;
        double r21217 = cos(r21216);
        double r21218 = r21213 * r21217;
        double r21219 = r21210 + r21218;
        double r21220 = acos(r21219);
        double r21221 = R;
        double r21222 = r21220 * r21221;
        return r21222;
}


double f_of(float R, float lambda1, float lambda2, float phi1, float phi2) {
        float r21223 = phi1;
        float r21224 = cos(r21223);
        float r21225 = phi2;
        float r21226 = cos(r21225);
        float r21227 = r21224 * r21226;
        float r21228 = lambda1;
        float r21229 = sin(r21228);
        float r21230 = lambda2;
        float r21231 = sin(r21230);
        float r21232 = cos(r21230);
        float r21233 = cos(r21228);
        float r21234 = r21232 * r21233;
        float r21235 = fma(r21229, r21231, r21234);
        float r21236 = sin(r21223);
        float r21237 = sin(r21225);
        float r21238 = r21236 * r21237;
        float r21239 = fma(r21227, r21235, r21238);
        float r21240 = acos(r21239);
        float r21241 = exp(r21240);
        float r21242 = sqrt(r21241);
        float r21243 = log(r21242);
        float r21244 = 1/2;
        float r21245 = r21226 * r21224;
        float r21246 = r21233 * r21232;
        float r21247 = fma(r21229, r21231, r21246);
        float r21248 = fma(r21245, r21247, r21238);
        float r21249 = acos(r21248);
        float r21250 = r21244 * r21249;
        float r21251 = r21243 + r21250;
        float r21252 = R;
        float r21253 = r21251 * r21252;
        return r21253;
}

double f_od(double R, double lambda1, double lambda2, double phi1, double phi2) {
        double r21254 = phi1;
        double r21255 = cos(r21254);
        double r21256 = phi2;
        double r21257 = cos(r21256);
        double r21258 = r21255 * r21257;
        double r21259 = lambda1;
        double r21260 = sin(r21259);
        double r21261 = lambda2;
        double r21262 = sin(r21261);
        double r21263 = cos(r21261);
        double r21264 = cos(r21259);
        double r21265 = r21263 * r21264;
        double r21266 = fma(r21260, r21262, r21265);
        double r21267 = sin(r21254);
        double r21268 = sin(r21256);
        double r21269 = r21267 * r21268;
        double r21270 = fma(r21258, r21266, r21269);
        double r21271 = acos(r21270);
        double r21272 = exp(r21271);
        double r21273 = sqrt(r21272);
        double r21274 = log(r21273);
        double r21275 = 1/2;
        double r21276 = r21257 * r21255;
        double r21277 = r21264 * r21263;
        double r21278 = fma(r21260, r21262, r21277);
        double r21279 = fma(r21276, r21278, r21269);
        double r21280 = acos(r21279);
        double r21281 = r21275 * r21280;
        double r21282 = r21274 + r21281;
        double r21283 = R;
        double r21284 = r21282 * r21283;
        return r21284;
}

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 r21285, r21286, r21287, r21288, r21289, r21290, r21291, r21292, r21293, r21294, r21295, r21296, r21297, r21298, r21299, r21300, r21301;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1936);
        mpfr_init(r21285);
        mpfr_init(r21286);
        mpfr_init(r21287);
        mpfr_init(r21288);
        mpfr_init(r21289);
        mpfr_init(r21290);
        mpfr_init(r21291);
        mpfr_init(r21292);
        mpfr_init(r21293);
        mpfr_init(r21294);
        mpfr_init(r21295);
        mpfr_init(r21296);
        mpfr_init(r21297);
        mpfr_init(r21298);
        mpfr_init(r21299);
        mpfr_init(r21300);
        mpfr_init(r21301);
}

double f_im(double R, double lambda1, double lambda2, double phi1, double phi2) {
        mpfr_set_d(r21285, phi1, MPFR_RNDN);
        mpfr_sin(r21286, r21285, MPFR_RNDN);
        mpfr_set_d(r21287, phi2, MPFR_RNDN);
        mpfr_sin(r21288, r21287, MPFR_RNDN);
        mpfr_mul(r21289, r21286, r21288, MPFR_RNDN);
        mpfr_cos(r21290, r21285, MPFR_RNDN);
        mpfr_cos(r21291, r21287, MPFR_RNDN);
        mpfr_mul(r21292, r21290, r21291, MPFR_RNDN);
        mpfr_set_d(r21293, lambda1, MPFR_RNDN);
        mpfr_set_d(r21294, lambda2, MPFR_RNDN);
        mpfr_sub(r21295, r21293, r21294, MPFR_RNDN);
        mpfr_cos(r21296, r21295, MPFR_RNDN);
        mpfr_mul(r21297, r21292, r21296, MPFR_RNDN);
        mpfr_add(r21298, r21289, r21297, MPFR_RNDN);
        mpfr_acos(r21299, r21298, MPFR_RNDN);
        mpfr_set_d(r21300, R, MPFR_RNDN);
        mpfr_mul(r21301, r21299, r21300, MPFR_RNDN);
        return mpfr_get_d(r21301, MPFR_RNDN);
}

static mpfr_t r21302, r21303, r21304, r21305, r21306, r21307, r21308, r21309, r21310, r21311, r21312, r21313, r21314, r21315, r21316, r21317, r21318, r21319, r21320, r21321, r21322, r21323, r21324, r21325, r21326, r21327, r21328, r21329, r21330, r21331, r21332;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1936);
        mpfr_init(r21302);
        mpfr_init(r21303);
        mpfr_init(r21304);
        mpfr_init(r21305);
        mpfr_init(r21306);
        mpfr_init(r21307);
        mpfr_init(r21308);
        mpfr_init(r21309);
        mpfr_init(r21310);
        mpfr_init(r21311);
        mpfr_init(r21312);
        mpfr_init(r21313);
        mpfr_init(r21314);
        mpfr_init(r21315);
        mpfr_init(r21316);
        mpfr_init(r21317);
        mpfr_init(r21318);
        mpfr_init(r21319);
        mpfr_init(r21320);
        mpfr_init(r21321);
        mpfr_init(r21322);
        mpfr_init_set_str(r21323, "1/2", 10, MPFR_RNDN);
        mpfr_init(r21324);
        mpfr_init(r21325);
        mpfr_init(r21326);
        mpfr_init(r21327);
        mpfr_init(r21328);
        mpfr_init(r21329);
        mpfr_init(r21330);
        mpfr_init(r21331);
        mpfr_init(r21332);
}

double f_fm(double R, double lambda1, double lambda2, double phi1, double phi2) {
        mpfr_set_d(r21302, phi1, MPFR_RNDN);
        mpfr_cos(r21303, r21302, MPFR_RNDN);
        mpfr_set_d(r21304, phi2, MPFR_RNDN);
        mpfr_cos(r21305, r21304, MPFR_RNDN);
        mpfr_mul(r21306, r21303, r21305, MPFR_RNDN);
        mpfr_set_d(r21307, lambda1, MPFR_RNDN);
        mpfr_sin(r21308, r21307, MPFR_RNDN);
        mpfr_set_d(r21309, lambda2, MPFR_RNDN);
        mpfr_sin(r21310, r21309, MPFR_RNDN);
        mpfr_cos(r21311, r21309, MPFR_RNDN);
        mpfr_cos(r21312, r21307, MPFR_RNDN);
        mpfr_mul(r21313, r21311, r21312, MPFR_RNDN);
        mpfr_fma(r21314, r21308, r21310, r21313, MPFR_RNDN);
        mpfr_sin(r21315, r21302, MPFR_RNDN);
        mpfr_sin(r21316, r21304, MPFR_RNDN);
        mpfr_mul(r21317, r21315, r21316, MPFR_RNDN);
        mpfr_fma(r21318, r21306, r21314, r21317, MPFR_RNDN);
        mpfr_acos(r21319, r21318, MPFR_RNDN);
        mpfr_exp(r21320, r21319, MPFR_RNDN);
        mpfr_sqrt(r21321, r21320, MPFR_RNDN);
        mpfr_log(r21322, r21321, MPFR_RNDN);
        ;
        mpfr_mul(r21324, r21305, r21303, MPFR_RNDN);
        mpfr_mul(r21325, r21312, r21311, MPFR_RNDN);
        mpfr_fma(r21326, r21308, r21310, r21325, MPFR_RNDN);
        mpfr_fma(r21327, r21324, r21326, r21317, MPFR_RNDN);
        mpfr_acos(r21328, r21327, MPFR_RNDN);
        mpfr_mul(r21329, r21323, r21328, MPFR_RNDN);
        mpfr_add(r21330, r21322, r21329, MPFR_RNDN);
        mpfr_set_d(r21331, R, MPFR_RNDN);
        mpfr_mul(r21332, r21330, r21331, MPFR_RNDN);
        return mpfr_get_d(r21332, MPFR_RNDN);
}

static mpfr_t r21333, r21334, r21335, r21336, r21337, r21338, r21339, r21340, r21341, r21342, r21343, r21344, r21345, r21346, r21347, r21348, r21349, r21350, r21351, r21352, r21353, r21354, r21355, r21356, r21357, r21358, r21359, r21360, r21361, r21362, r21363;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1936);
        mpfr_init(r21333);
        mpfr_init(r21334);
        mpfr_init(r21335);
        mpfr_init(r21336);
        mpfr_init(r21337);
        mpfr_init(r21338);
        mpfr_init(r21339);
        mpfr_init(r21340);
        mpfr_init(r21341);
        mpfr_init(r21342);
        mpfr_init(r21343);
        mpfr_init(r21344);
        mpfr_init(r21345);
        mpfr_init(r21346);
        mpfr_init(r21347);
        mpfr_init(r21348);
        mpfr_init(r21349);
        mpfr_init(r21350);
        mpfr_init(r21351);
        mpfr_init(r21352);
        mpfr_init(r21353);
        mpfr_init_set_str(r21354, "1/2", 10, MPFR_RNDN);
        mpfr_init(r21355);
        mpfr_init(r21356);
        mpfr_init(r21357);
        mpfr_init(r21358);
        mpfr_init(r21359);
        mpfr_init(r21360);
        mpfr_init(r21361);
        mpfr_init(r21362);
        mpfr_init(r21363);
}

double f_dm(double R, double lambda1, double lambda2, double phi1, double phi2) {
        mpfr_set_d(r21333, phi1, MPFR_RNDN);
        mpfr_cos(r21334, r21333, MPFR_RNDN);
        mpfr_set_d(r21335, phi2, MPFR_RNDN);
        mpfr_cos(r21336, r21335, MPFR_RNDN);
        mpfr_mul(r21337, r21334, r21336, MPFR_RNDN);
        mpfr_set_d(r21338, lambda1, MPFR_RNDN);
        mpfr_sin(r21339, r21338, MPFR_RNDN);
        mpfr_set_d(r21340, lambda2, MPFR_RNDN);
        mpfr_sin(r21341, r21340, MPFR_RNDN);
        mpfr_cos(r21342, r21340, MPFR_RNDN);
        mpfr_cos(r21343, r21338, MPFR_RNDN);
        mpfr_mul(r21344, r21342, r21343, MPFR_RNDN);
        mpfr_fma(r21345, r21339, r21341, r21344, MPFR_RNDN);
        mpfr_sin(r21346, r21333, MPFR_RNDN);
        mpfr_sin(r21347, r21335, MPFR_RNDN);
        mpfr_mul(r21348, r21346, r21347, MPFR_RNDN);
        mpfr_fma(r21349, r21337, r21345, r21348, MPFR_RNDN);
        mpfr_acos(r21350, r21349, MPFR_RNDN);
        mpfr_exp(r21351, r21350, MPFR_RNDN);
        mpfr_sqrt(r21352, r21351, MPFR_RNDN);
        mpfr_log(r21353, r21352, MPFR_RNDN);
        ;
        mpfr_mul(r21355, r21336, r21334, MPFR_RNDN);
        mpfr_mul(r21356, r21343, r21342, MPFR_RNDN);
        mpfr_fma(r21357, r21339, r21341, r21356, MPFR_RNDN);
        mpfr_fma(r21358, r21355, r21357, r21348, MPFR_RNDN);
        mpfr_acos(r21359, r21358, MPFR_RNDN);
        mpfr_mul(r21360, r21354, r21359, MPFR_RNDN);
        mpfr_add(r21361, r21353, r21360, MPFR_RNDN);
        mpfr_set_d(r21362, R, MPFR_RNDN);
        mpfr_mul(r21363, r21361, r21362, MPFR_RNDN);
        return mpfr_get_d(r21363, MPFR_RNDN);
}