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

char *name = "Equirectangular approximation to distance on a great circle";

double f_if(float R, float lambda1, float lambda2, float phi1, float phi2) {
        float r22846 = R;
        float r22847 = lambda1;
        float r22848 = lambda2;
        float r22849 = r22847 - r22848;
        float r22850 = phi1;
        float r22851 = phi2;
        float r22852 = r22850 + r22851;
        float r22853 = 2;
        float r22854 = r22852 / r22853;
        float r22855 = cos(r22854);
        float r22856 = r22849 * r22855;
        float r22857 = r22856 * r22856;
        float r22858 = r22850 - r22851;
        float r22859 = r22858 * r22858;
        float r22860 = r22857 + r22859;
        float r22861 = sqrt(r22860);
        float r22862 = r22846 * r22861;
        return r22862;
}

double f_id(double R, double lambda1, double lambda2, double phi1, double phi2) {
        double r22863 = R;
        double r22864 = lambda1;
        double r22865 = lambda2;
        double r22866 = r22864 - r22865;
        double r22867 = phi1;
        double r22868 = phi2;
        double r22869 = r22867 + r22868;
        double r22870 = 2;
        double r22871 = r22869 / r22870;
        double r22872 = cos(r22871);
        double r22873 = r22866 * r22872;
        double r22874 = r22873 * r22873;
        double r22875 = r22867 - r22868;
        double r22876 = r22875 * r22875;
        double r22877 = r22874 + r22876;
        double r22878 = sqrt(r22877);
        double r22879 = r22863 * r22878;
        return r22879;
}


double f_of(float R, float lambda1, float lambda2, float phi1, float phi2) {
        float r22880 = phi2;
        float r22881 = phi1;
        float r22882 = r22880 - r22881;
        float r22883 = 3.008847177126964e+156;
        bool r22884 = r22882 <= r22883;
        float r22885 = R;
        float r22886 = lambda1;
        float r22887 = lambda2;
        float r22888 = r22886 - r22887;
        float r22889 = r22881 + r22880;
        float r22890 = 2;
        float r22891 = r22889 / r22890;
        float r22892 = cos(r22891);
        float r22893 = r22888 * r22892;
        float r22894 = r22893 * r22893;
        float r22895 = r22881 - r22880;
        float r22896 = r22895 * r22895;
        float r22897 = r22894 + r22896;
        float r22898 = sqrt(r22897);
        float r22899 = r22885 * r22898;
        float r22900 = r22885 * r22882;
        float r22901 = r22884 ? r22899 : r22900;
        return r22901;
}

double f_od(double R, double lambda1, double lambda2, double phi1, double phi2) {
        double r22902 = phi2;
        double r22903 = phi1;
        double r22904 = r22902 - r22903;
        double r22905 = 3.008847177126964e+156;
        bool r22906 = r22904 <= r22905;
        double r22907 = R;
        double r22908 = lambda1;
        double r22909 = lambda2;
        double r22910 = r22908 - r22909;
        double r22911 = r22903 + r22902;
        double r22912 = 2;
        double r22913 = r22911 / r22912;
        double r22914 = cos(r22913);
        double r22915 = r22910 * r22914;
        double r22916 = r22915 * r22915;
        double r22917 = r22903 - r22902;
        double r22918 = r22917 * r22917;
        double r22919 = r22916 + r22918;
        double r22920 = sqrt(r22919);
        double r22921 = r22907 * r22920;
        double r22922 = r22907 * r22904;
        double r22923 = r22906 ? r22921 : r22922;
        return r22923;
}

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 r22924, r22925, r22926, r22927, r22928, r22929, r22930, r22931, r22932, r22933, r22934, r22935, r22936, r22937, r22938, r22939, r22940;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init(r22924);
        mpfr_init(r22925);
        mpfr_init(r22926);
        mpfr_init(r22927);
        mpfr_init(r22928);
        mpfr_init(r22929);
        mpfr_init(r22930);
        mpfr_init_set_str(r22931, "2", 10, MPFR_RNDN);
        mpfr_init(r22932);
        mpfr_init(r22933);
        mpfr_init(r22934);
        mpfr_init(r22935);
        mpfr_init(r22936);
        mpfr_init(r22937);
        mpfr_init(r22938);
        mpfr_init(r22939);
        mpfr_init(r22940);
}

double f_im(double R, double lambda1, double lambda2, double phi1, double phi2) {
        mpfr_set_d(r22924, R, MPFR_RNDN);
        mpfr_set_d(r22925, lambda1, MPFR_RNDN);
        mpfr_set_d(r22926, lambda2, MPFR_RNDN);
        mpfr_sub(r22927, r22925, r22926, MPFR_RNDN);
        mpfr_set_d(r22928, phi1, MPFR_RNDN);
        mpfr_set_d(r22929, phi2, MPFR_RNDN);
        mpfr_add(r22930, r22928, r22929, MPFR_RNDN);
        ;
        mpfr_div(r22932, r22930, r22931, MPFR_RNDN);
        mpfr_cos(r22933, r22932, MPFR_RNDN);
        mpfr_mul(r22934, r22927, r22933, MPFR_RNDN);
        mpfr_mul(r22935, r22934, r22934, MPFR_RNDN);
        mpfr_sub(r22936, r22928, r22929, MPFR_RNDN);
        mpfr_mul(r22937, r22936, r22936, MPFR_RNDN);
        mpfr_add(r22938, r22935, r22937, MPFR_RNDN);
        mpfr_sqrt(r22939, r22938, MPFR_RNDN);
        mpfr_mul(r22940, r22924, r22939, MPFR_RNDN);
        return mpfr_get_d(r22940, MPFR_RNDN);
}

static mpfr_t r22941, r22942, r22943, r22944, r22945, r22946, r22947, r22948, r22949, r22950, r22951, r22952, r22953, r22954, r22955, r22956, r22957, r22958, r22959, r22960, r22961, r22962;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init(r22941);
        mpfr_init(r22942);
        mpfr_init(r22943);
        mpfr_init_set_str(r22944, "3.008847177126964e+156", 10, MPFR_RNDN);
        mpfr_init(r22945);
        mpfr_init(r22946);
        mpfr_init(r22947);
        mpfr_init(r22948);
        mpfr_init(r22949);
        mpfr_init(r22950);
        mpfr_init_set_str(r22951, "2", 10, MPFR_RNDN);
        mpfr_init(r22952);
        mpfr_init(r22953);
        mpfr_init(r22954);
        mpfr_init(r22955);
        mpfr_init(r22956);
        mpfr_init(r22957);
        mpfr_init(r22958);
        mpfr_init(r22959);
        mpfr_init(r22960);
        mpfr_init(r22961);
        mpfr_init(r22962);
}

double f_fm(double R, double lambda1, double lambda2, double phi1, double phi2) {
        mpfr_set_d(r22941, phi2, MPFR_RNDN);
        mpfr_set_d(r22942, phi1, MPFR_RNDN);
        mpfr_sub(r22943, r22941, r22942, MPFR_RNDN);
        ;
        mpfr_set_si(r22945, mpfr_cmp(r22943, r22944) <= 0, MPFR_RNDN);
        mpfr_set_d(r22946, R, MPFR_RNDN);
        mpfr_set_d(r22947, lambda1, MPFR_RNDN);
        mpfr_set_d(r22948, lambda2, MPFR_RNDN);
        mpfr_sub(r22949, r22947, r22948, MPFR_RNDN);
        mpfr_add(r22950, r22942, r22941, MPFR_RNDN);
        ;
        mpfr_div(r22952, r22950, r22951, MPFR_RNDN);
        mpfr_cos(r22953, r22952, MPFR_RNDN);
        mpfr_mul(r22954, r22949, r22953, MPFR_RNDN);
        mpfr_mul(r22955, r22954, r22954, MPFR_RNDN);
        mpfr_sub(r22956, r22942, r22941, MPFR_RNDN);
        mpfr_mul(r22957, r22956, r22956, MPFR_RNDN);
        mpfr_add(r22958, r22955, r22957, MPFR_RNDN);
        mpfr_sqrt(r22959, r22958, MPFR_RNDN);
        mpfr_mul(r22960, r22946, r22959, MPFR_RNDN);
        mpfr_mul(r22961, r22946, r22943, MPFR_RNDN);
        if (mpfr_get_si(r22945, MPFR_RNDN)) { mpfr_set(r22962, r22960, MPFR_RNDN); } else { mpfr_set(r22962, r22961, MPFR_RNDN); };
        return mpfr_get_d(r22962, MPFR_RNDN);
}

static mpfr_t r22963, r22964, r22965, r22966, r22967, r22968, r22969, r22970, r22971, r22972, r22973, r22974, r22975, r22976, r22977, r22978, r22979, r22980, r22981, r22982, r22983, r22984;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init(r22963);
        mpfr_init(r22964);
        mpfr_init(r22965);
        mpfr_init_set_str(r22966, "3.008847177126964e+156", 10, MPFR_RNDN);
        mpfr_init(r22967);
        mpfr_init(r22968);
        mpfr_init(r22969);
        mpfr_init(r22970);
        mpfr_init(r22971);
        mpfr_init(r22972);
        mpfr_init_set_str(r22973, "2", 10, MPFR_RNDN);
        mpfr_init(r22974);
        mpfr_init(r22975);
        mpfr_init(r22976);
        mpfr_init(r22977);
        mpfr_init(r22978);
        mpfr_init(r22979);
        mpfr_init(r22980);
        mpfr_init(r22981);
        mpfr_init(r22982);
        mpfr_init(r22983);
        mpfr_init(r22984);
}

double f_dm(double R, double lambda1, double lambda2, double phi1, double phi2) {
        mpfr_set_d(r22963, phi2, MPFR_RNDN);
        mpfr_set_d(r22964, phi1, MPFR_RNDN);
        mpfr_sub(r22965, r22963, r22964, MPFR_RNDN);
        ;
        mpfr_set_si(r22967, mpfr_cmp(r22965, r22966) <= 0, MPFR_RNDN);
        mpfr_set_d(r22968, R, MPFR_RNDN);
        mpfr_set_d(r22969, lambda1, MPFR_RNDN);
        mpfr_set_d(r22970, lambda2, MPFR_RNDN);
        mpfr_sub(r22971, r22969, r22970, MPFR_RNDN);
        mpfr_add(r22972, r22964, r22963, MPFR_RNDN);
        ;
        mpfr_div(r22974, r22972, r22973, MPFR_RNDN);
        mpfr_cos(r22975, r22974, MPFR_RNDN);
        mpfr_mul(r22976, r22971, r22975, MPFR_RNDN);
        mpfr_mul(r22977, r22976, r22976, MPFR_RNDN);
        mpfr_sub(r22978, r22964, r22963, MPFR_RNDN);
        mpfr_mul(r22979, r22978, r22978, MPFR_RNDN);
        mpfr_add(r22980, r22977, r22979, MPFR_RNDN);
        mpfr_sqrt(r22981, r22980, MPFR_RNDN);
        mpfr_mul(r22982, r22968, r22981, MPFR_RNDN);
        mpfr_mul(r22983, r22968, r22965, MPFR_RNDN);
        if (mpfr_get_si(r22967, MPFR_RNDN)) { mpfr_set(r22984, r22982, MPFR_RNDN); } else { mpfr_set(r22984, r22983, MPFR_RNDN); };
        return mpfr_get_d(r22984, MPFR_RNDN);
}