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

char *name = "Midpoint on a great circle";

double f_if(float lambda1, float lambda2, float phi1, float phi2) {
        float r22211 = lambda1;
        float r22212 = phi2;
        float r22213 = cos(r22212);
        float r22214 = lambda2;
        float r22215 = r22211 - r22214;
        float r22216 = sin(r22215);
        float r22217 = r22213 * r22216;
        float r22218 = phi1;
        float r22219 = cos(r22218);
        float r22220 = cos(r22215);
        float r22221 = r22213 * r22220;
        float r22222 = r22219 + r22221;
        float r22223 = atan2(r22217, r22222);
        float r22224 = r22211 + r22223;
        return r22224;
}

double f_id(double lambda1, double lambda2, double phi1, double phi2) {
        double r22225 = lambda1;
        double r22226 = phi2;
        double r22227 = cos(r22226);
        double r22228 = lambda2;
        double r22229 = r22225 - r22228;
        double r22230 = sin(r22229);
        double r22231 = r22227 * r22230;
        double r22232 = phi1;
        double r22233 = cos(r22232);
        double r22234 = cos(r22229);
        double r22235 = r22227 * r22234;
        double r22236 = r22233 + r22235;
        double r22237 = atan2(r22231, r22236);
        double r22238 = r22225 + r22237;
        return r22238;
}


double f_of(float lambda1, float lambda2, float phi1, float phi2) {
        float r22239 = lambda1;
        float r22240 = phi2;
        float r22241 = cos(r22240);
        float r22242 = sin(r22239);
        float r22243 = lambda2;
        float r22244 = cos(r22243);
        float r22245 = r22242 * r22244;
        float r22246 = cos(r22239);
        float r22247 = -r22243;
        float r22248 = sin(r22247);
        float r22249 = r22246 * r22248;
        float r22250 = r22245 + r22249;
        float r22251 = r22241 * r22250;
        float r22252 = phi1;
        float r22253 = cos(r22252);
        float r22254 = exp(r22253);
        float r22255 = exp(r22241);
        float r22256 = sin(r22243);
        float r22257 = r22256 * r22242;
        float r22258 = r22244 * r22246;
        float r22259 = r22257 + r22258;
        float r22260 = pow(r22255, r22259);
        float r22261 = r22254 * r22260;
        float r22262 = log(r22261);
        float r22263 = atan2(r22251, r22262);
        float r22264 = r22239 + r22263;
        return r22264;
}

double f_od(double lambda1, double lambda2, double phi1, double phi2) {
        double r22265 = lambda1;
        double r22266 = phi2;
        double r22267 = cos(r22266);
        double r22268 = sin(r22265);
        double r22269 = lambda2;
        double r22270 = cos(r22269);
        double r22271 = r22268 * r22270;
        double r22272 = cos(r22265);
        double r22273 = -r22269;
        double r22274 = sin(r22273);
        double r22275 = r22272 * r22274;
        double r22276 = r22271 + r22275;
        double r22277 = r22267 * r22276;
        double r22278 = phi1;
        double r22279 = cos(r22278);
        double r22280 = exp(r22279);
        double r22281 = exp(r22267);
        double r22282 = sin(r22269);
        double r22283 = r22282 * r22268;
        double r22284 = r22270 * r22272;
        double r22285 = r22283 + r22284;
        double r22286 = pow(r22281, r22285);
        double r22287 = r22280 * r22286;
        double r22288 = log(r22287);
        double r22289 = atan2(r22277, r22288);
        double r22290 = r22265 + r22289;
        return r22290;
}

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 r22291, r22292, r22293, r22294, r22295, r22296, r22297, r22298, r22299, r22300, r22301, r22302, r22303, r22304;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init(r22291);
        mpfr_init(r22292);
        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_im(double lambda1, double lambda2, double phi1, double phi2) {
        mpfr_set_d(r22291, lambda1, MPFR_RNDN);
        mpfr_set_d(r22292, phi2, MPFR_RNDN);
        mpfr_cos(r22293, r22292, MPFR_RNDN);
        mpfr_set_d(r22294, lambda2, MPFR_RNDN);
        mpfr_sub(r22295, r22291, r22294, MPFR_RNDN);
        mpfr_sin(r22296, r22295, MPFR_RNDN);
        mpfr_mul(r22297, r22293, r22296, MPFR_RNDN);
        mpfr_set_d(r22298, phi1, MPFR_RNDN);
        mpfr_cos(r22299, r22298, MPFR_RNDN);
        mpfr_cos(r22300, r22295, MPFR_RNDN);
        mpfr_mul(r22301, r22293, r22300, MPFR_RNDN);
        mpfr_add(r22302, r22299, r22301, MPFR_RNDN);
        mpfr_atan2(r22303, r22297, r22302, MPFR_RNDN);
        mpfr_add(r22304, r22291, 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, r22322, r22323, r22324, r22325, r22326, r22327, r22328, r22329, r22330;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init(r22305);
        mpfr_init(r22306);
        mpfr_init(r22307);
        mpfr_init(r22308);
        mpfr_init(r22309);
        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);
        mpfr_init(r22322);
        mpfr_init(r22323);
        mpfr_init(r22324);
        mpfr_init(r22325);
        mpfr_init(r22326);
        mpfr_init(r22327);
        mpfr_init(r22328);
        mpfr_init(r22329);
        mpfr_init(r22330);
}

double f_fm(double lambda1, double lambda2, double phi1, double phi2) {
        mpfr_set_d(r22305, lambda1, MPFR_RNDN);
        mpfr_set_d(r22306, phi2, MPFR_RNDN);
        mpfr_cos(r22307, r22306, MPFR_RNDN);
        mpfr_sin(r22308, r22305, MPFR_RNDN);
        mpfr_set_d(r22309, lambda2, MPFR_RNDN);
        mpfr_cos(r22310, r22309, MPFR_RNDN);
        mpfr_mul(r22311, r22308, r22310, MPFR_RNDN);
        mpfr_cos(r22312, r22305, MPFR_RNDN);
        mpfr_neg(r22313, r22309, MPFR_RNDN);
        mpfr_sin(r22314, r22313, MPFR_RNDN);
        mpfr_mul(r22315, r22312, r22314, MPFR_RNDN);
        mpfr_add(r22316, r22311, r22315, MPFR_RNDN);
        mpfr_mul(r22317, r22307, r22316, MPFR_RNDN);
        mpfr_set_d(r22318, phi1, MPFR_RNDN);
        mpfr_cos(r22319, r22318, MPFR_RNDN);
        mpfr_exp(r22320, r22319, MPFR_RNDN);
        mpfr_exp(r22321, r22307, MPFR_RNDN);
        mpfr_sin(r22322, r22309, MPFR_RNDN);
        mpfr_mul(r22323, r22322, r22308, MPFR_RNDN);
        mpfr_mul(r22324, r22310, r22312, MPFR_RNDN);
        mpfr_add(r22325, r22323, r22324, MPFR_RNDN);
        mpfr_pow(r22326, r22321, r22325, MPFR_RNDN);
        mpfr_mul(r22327, r22320, r22326, MPFR_RNDN);
        mpfr_log(r22328, r22327, MPFR_RNDN);
        mpfr_atan2(r22329, r22317, r22328, MPFR_RNDN);
        mpfr_add(r22330, r22305, r22329, MPFR_RNDN);
        return mpfr_get_d(r22330, MPFR_RNDN);
}

static mpfr_t r22331, r22332, r22333, r22334, r22335, r22336, r22337, r22338, r22339, r22340, r22341, r22342, r22343, r22344, r22345, r22346, r22347, r22348, r22349, r22350, r22351, r22352, r22353, r22354, r22355, r22356;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init(r22331);
        mpfr_init(r22332);
        mpfr_init(r22333);
        mpfr_init(r22334);
        mpfr_init(r22335);
        mpfr_init(r22336);
        mpfr_init(r22337);
        mpfr_init(r22338);
        mpfr_init(r22339);
        mpfr_init(r22340);
        mpfr_init(r22341);
        mpfr_init(r22342);
        mpfr_init(r22343);
        mpfr_init(r22344);
        mpfr_init(r22345);
        mpfr_init(r22346);
        mpfr_init(r22347);
        mpfr_init(r22348);
        mpfr_init(r22349);
        mpfr_init(r22350);
        mpfr_init(r22351);
        mpfr_init(r22352);
        mpfr_init(r22353);
        mpfr_init(r22354);
        mpfr_init(r22355);
        mpfr_init(r22356);
}

double f_dm(double lambda1, double lambda2, double phi1, double phi2) {
        mpfr_set_d(r22331, lambda1, MPFR_RNDN);
        mpfr_set_d(r22332, phi2, MPFR_RNDN);
        mpfr_cos(r22333, r22332, MPFR_RNDN);
        mpfr_sin(r22334, r22331, MPFR_RNDN);
        mpfr_set_d(r22335, lambda2, MPFR_RNDN);
        mpfr_cos(r22336, r22335, MPFR_RNDN);
        mpfr_mul(r22337, r22334, r22336, MPFR_RNDN);
        mpfr_cos(r22338, r22331, MPFR_RNDN);
        mpfr_neg(r22339, r22335, MPFR_RNDN);
        mpfr_sin(r22340, r22339, MPFR_RNDN);
        mpfr_mul(r22341, r22338, r22340, MPFR_RNDN);
        mpfr_add(r22342, r22337, r22341, MPFR_RNDN);
        mpfr_mul(r22343, r22333, r22342, MPFR_RNDN);
        mpfr_set_d(r22344, phi1, MPFR_RNDN);
        mpfr_cos(r22345, r22344, MPFR_RNDN);
        mpfr_exp(r22346, r22345, MPFR_RNDN);
        mpfr_exp(r22347, r22333, MPFR_RNDN);
        mpfr_sin(r22348, r22335, MPFR_RNDN);
        mpfr_mul(r22349, r22348, r22334, MPFR_RNDN);
        mpfr_mul(r22350, r22336, r22338, MPFR_RNDN);
        mpfr_add(r22351, r22349, r22350, MPFR_RNDN);
        mpfr_pow(r22352, r22347, r22351, MPFR_RNDN);
        mpfr_mul(r22353, r22346, r22352, MPFR_RNDN);
        mpfr_log(r22354, r22353, MPFR_RNDN);
        mpfr_atan2(r22355, r22343, r22354, MPFR_RNDN);
        mpfr_add(r22356, r22331, r22355, MPFR_RNDN);
        return mpfr_get_d(r22356, MPFR_RNDN);
}

