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

char *name = "azimuth";

double f_if(float lat1, float lat2, float lon1, float lon2) {
        float r25927 = lat2;
        float r25928 = cos(r25927);
        float r25929 = lon2;
        float r25930 = lon1;
        float r25931 = r25929 - r25930;
        float r25932 = sin(r25931);
        float r25933 = r25928 * r25932;
        float r25934 = lat1;
        float r25935 = cos(r25934);
        float r25936 = sin(r25927);
        float r25937 = r25935 * r25936;
        float r25938 = sin(r25934);
        float r25939 = r25938 * r25928;
        float r25940 = cos(r25931);
        float r25941 = r25939 * r25940;
        float r25942 = r25937 - r25941;
        float r25943 = r25933 / r25942;
        float r25944 = atan(r25943);
        return r25944;
}

double f_id(double lat1, double lat2, double lon1, double lon2) {
        double r25945 = lat2;
        double r25946 = cos(r25945);
        double r25947 = lon2;
        double r25948 = lon1;
        double r25949 = r25947 - r25948;
        double r25950 = sin(r25949);
        double r25951 = r25946 * r25950;
        double r25952 = lat1;
        double r25953 = cos(r25952);
        double r25954 = sin(r25945);
        double r25955 = r25953 * r25954;
        double r25956 = sin(r25952);
        double r25957 = r25956 * r25946;
        double r25958 = cos(r25949);
        double r25959 = r25957 * r25958;
        double r25960 = r25955 - r25959;
        double r25961 = r25951 / r25960;
        double r25962 = atan(r25961);
        return r25962;
}


double f_of(float lat1, float lat2, float lon1, float lon2) {
        float r25963 = lat2;
        float r25964 = cos(r25963);
        float r25965 = 1;
        float r25966 = r25964 / r25965;
        float r25967 = lon1;
        float r25968 = cos(r25967);
        float r25969 = lon2;
        float r25970 = sin(r25969);
        float r25971 = r25968 * r25970;
        float r25972 = sin(r25967);
        float r25973 = -r25972;
        float r25974 = cos(r25969);
        float r25975 = r25973 * r25974;
        float r25976 = r25971 + r25975;
        float r25977 = r25966 * r25976;
        float r25978 = lat1;
        float r25979 = cos(r25978);
        float r25980 = sin(r25963);
        float r25981 = r25979 * r25980;
        float r25982 = sin(r25978);
        float r25983 = r25982 * r25964;
        float r25984 = r25969 - r25967;
        float r25985 = cos(r25984);
        float r25986 = r25983 * r25985;
        float r25987 = r25981 - r25986;
        float r25988 = r25977 / r25987;
        float r25989 = atan(r25988);
        return r25989;
}

double f_od(double lat1, double lat2, double lon1, double lon2) {
        double r25990 = lat2;
        double r25991 = cos(r25990);
        double r25992 = 1;
        double r25993 = r25991 / r25992;
        double r25994 = lon1;
        double r25995 = cos(r25994);
        double r25996 = lon2;
        double r25997 = sin(r25996);
        double r25998 = r25995 * r25997;
        double r25999 = sin(r25994);
        double r26000 = -r25999;
        double r26001 = cos(r25996);
        double r26002 = r26000 * r26001;
        double r26003 = r25998 + r26002;
        double r26004 = r25993 * r26003;
        double r26005 = lat1;
        double r26006 = cos(r26005);
        double r26007 = sin(r25990);
        double r26008 = r26006 * r26007;
        double r26009 = sin(r26005);
        double r26010 = r26009 * r25991;
        double r26011 = r25996 - r25994;
        double r26012 = cos(r26011);
        double r26013 = r26010 * r26012;
        double r26014 = r26008 - r26013;
        double r26015 = r26004 / r26014;
        double r26016 = atan(r26015);
        return r26016;
}

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 r26017, r26018, r26019, r26020, r26021, r26022, r26023, r26024, r26025, r26026, r26027, r26028, r26029, r26030, r26031, r26032, r26033, r26034;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r26017);
        mpfr_init(r26018);
        mpfr_init(r26019);
        mpfr_init(r26020);
        mpfr_init(r26021);
        mpfr_init(r26022);
        mpfr_init(r26023);
        mpfr_init(r26024);
        mpfr_init(r26025);
        mpfr_init(r26026);
        mpfr_init(r26027);
        mpfr_init(r26028);
        mpfr_init(r26029);
        mpfr_init(r26030);
        mpfr_init(r26031);
        mpfr_init(r26032);
        mpfr_init(r26033);
        mpfr_init(r26034);
}

double f_im(double lat1, double lat2, double lon1, double lon2) {
        mpfr_set_d(r26017, lat2, MPFR_RNDN);
        mpfr_cos(r26018, r26017, MPFR_RNDN);
        mpfr_set_d(r26019, lon2, MPFR_RNDN);
        mpfr_set_d(r26020, lon1, MPFR_RNDN);
        mpfr_sub(r26021, r26019, r26020, MPFR_RNDN);
        mpfr_sin(r26022, r26021, MPFR_RNDN);
        mpfr_mul(r26023, r26018, r26022, MPFR_RNDN);
        mpfr_set_d(r26024, lat1, MPFR_RNDN);
        mpfr_cos(r26025, r26024, MPFR_RNDN);
        mpfr_sin(r26026, r26017, MPFR_RNDN);
        mpfr_mul(r26027, r26025, r26026, MPFR_RNDN);
        mpfr_sin(r26028, r26024, MPFR_RNDN);
        mpfr_mul(r26029, r26028, r26018, MPFR_RNDN);
        mpfr_cos(r26030, r26021, MPFR_RNDN);
        mpfr_mul(r26031, r26029, r26030, MPFR_RNDN);
        mpfr_sub(r26032, r26027, r26031, MPFR_RNDN);
        mpfr_div(r26033, r26023, r26032, MPFR_RNDN);
        mpfr_atan(r26034, r26033, MPFR_RNDN);
        return mpfr_get_d(r26034, MPFR_RNDN);
}

static mpfr_t r26035, r26036, r26037, r26038, r26039, r26040, r26041, r26042, r26043, r26044, r26045, r26046, r26047, r26048, r26049, r26050, r26051, r26052, r26053, r26054, r26055, r26056, r26057, r26058, r26059, r26060, r26061;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r26035);
        mpfr_init(r26036);
        mpfr_init_set_str(r26037, "1", 10, MPFR_RNDN);
        mpfr_init(r26038);
        mpfr_init(r26039);
        mpfr_init(r26040);
        mpfr_init(r26041);
        mpfr_init(r26042);
        mpfr_init(r26043);
        mpfr_init(r26044);
        mpfr_init(r26045);
        mpfr_init(r26046);
        mpfr_init(r26047);
        mpfr_init(r26048);
        mpfr_init(r26049);
        mpfr_init(r26050);
        mpfr_init(r26051);
        mpfr_init(r26052);
        mpfr_init(r26053);
        mpfr_init(r26054);
        mpfr_init(r26055);
        mpfr_init(r26056);
        mpfr_init(r26057);
        mpfr_init(r26058);
        mpfr_init(r26059);
        mpfr_init(r26060);
        mpfr_init(r26061);
}

double f_fm(double lat1, double lat2, double lon1, double lon2) {
        mpfr_set_d(r26035, lat2, MPFR_RNDN);
        mpfr_cos(r26036, r26035, MPFR_RNDN);
        ;
        mpfr_div(r26038, r26036, r26037, MPFR_RNDN);
        mpfr_set_d(r26039, lon1, MPFR_RNDN);
        mpfr_cos(r26040, r26039, MPFR_RNDN);
        mpfr_set_d(r26041, lon2, MPFR_RNDN);
        mpfr_sin(r26042, r26041, MPFR_RNDN);
        mpfr_mul(r26043, r26040, r26042, MPFR_RNDN);
        mpfr_sin(r26044, r26039, MPFR_RNDN);
        mpfr_neg(r26045, r26044, MPFR_RNDN);
        mpfr_cos(r26046, r26041, MPFR_RNDN);
        mpfr_mul(r26047, r26045, r26046, MPFR_RNDN);
        mpfr_add(r26048, r26043, r26047, MPFR_RNDN);
        mpfr_mul(r26049, r26038, r26048, MPFR_RNDN);
        mpfr_set_d(r26050, lat1, MPFR_RNDN);
        mpfr_cos(r26051, r26050, MPFR_RNDN);
        mpfr_sin(r26052, r26035, MPFR_RNDN);
        mpfr_mul(r26053, r26051, r26052, MPFR_RNDN);
        mpfr_sin(r26054, r26050, MPFR_RNDN);
        mpfr_mul(r26055, r26054, r26036, MPFR_RNDN);
        mpfr_sub(r26056, r26041, r26039, MPFR_RNDN);
        mpfr_cos(r26057, r26056, MPFR_RNDN);
        mpfr_mul(r26058, r26055, r26057, MPFR_RNDN);
        mpfr_sub(r26059, r26053, r26058, MPFR_RNDN);
        mpfr_div(r26060, r26049, r26059, MPFR_RNDN);
        mpfr_atan(r26061, r26060, MPFR_RNDN);
        return mpfr_get_d(r26061, MPFR_RNDN);
}

static mpfr_t r26062, r26063, r26064, r26065, r26066, r26067, r26068, r26069, r26070, r26071, r26072, r26073, r26074, r26075, r26076, r26077, r26078, r26079, r26080, r26081, r26082, r26083, r26084, r26085, r26086, r26087, r26088;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r26062);
        mpfr_init(r26063);
        mpfr_init_set_str(r26064, "1", 10, MPFR_RNDN);
        mpfr_init(r26065);
        mpfr_init(r26066);
        mpfr_init(r26067);
        mpfr_init(r26068);
        mpfr_init(r26069);
        mpfr_init(r26070);
        mpfr_init(r26071);
        mpfr_init(r26072);
        mpfr_init(r26073);
        mpfr_init(r26074);
        mpfr_init(r26075);
        mpfr_init(r26076);
        mpfr_init(r26077);
        mpfr_init(r26078);
        mpfr_init(r26079);
        mpfr_init(r26080);
        mpfr_init(r26081);
        mpfr_init(r26082);
        mpfr_init(r26083);
        mpfr_init(r26084);
        mpfr_init(r26085);
        mpfr_init(r26086);
        mpfr_init(r26087);
        mpfr_init(r26088);
}

double f_dm(double lat1, double lat2, double lon1, double lon2) {
        mpfr_set_d(r26062, lat2, MPFR_RNDN);
        mpfr_cos(r26063, r26062, MPFR_RNDN);
        ;
        mpfr_div(r26065, r26063, r26064, MPFR_RNDN);
        mpfr_set_d(r26066, lon1, MPFR_RNDN);
        mpfr_cos(r26067, r26066, MPFR_RNDN);
        mpfr_set_d(r26068, lon2, MPFR_RNDN);
        mpfr_sin(r26069, r26068, MPFR_RNDN);
        mpfr_mul(r26070, r26067, r26069, MPFR_RNDN);
        mpfr_sin(r26071, r26066, MPFR_RNDN);
        mpfr_neg(r26072, r26071, MPFR_RNDN);
        mpfr_cos(r26073, r26068, MPFR_RNDN);
        mpfr_mul(r26074, r26072, r26073, MPFR_RNDN);
        mpfr_add(r26075, r26070, r26074, MPFR_RNDN);
        mpfr_mul(r26076, r26065, r26075, MPFR_RNDN);
        mpfr_set_d(r26077, lat1, MPFR_RNDN);
        mpfr_cos(r26078, r26077, MPFR_RNDN);
        mpfr_sin(r26079, r26062, MPFR_RNDN);
        mpfr_mul(r26080, r26078, r26079, MPFR_RNDN);
        mpfr_sin(r26081, r26077, MPFR_RNDN);
        mpfr_mul(r26082, r26081, r26063, MPFR_RNDN);
        mpfr_sub(r26083, r26068, r26066, MPFR_RNDN);
        mpfr_cos(r26084, r26083, MPFR_RNDN);
        mpfr_mul(r26085, r26082, r26084, MPFR_RNDN);
        mpfr_sub(r26086, r26080, r26085, MPFR_RNDN);
        mpfr_div(r26087, r26076, r26086, MPFR_RNDN);
        mpfr_atan(r26088, r26087, MPFR_RNDN);
        return mpfr_get_d(r26088, MPFR_RNDN);
}

