#include #include #include #include #include char *name = "Midpoint on a great circle"; double f_if(float lambda1, float lambda2, float phi1, float phi2) { float r19829 = lambda1; float r19830 = phi2; float r19831 = cos(r19830); float r19832 = lambda2; float r19833 = r19829 - r19832; float r19834 = sin(r19833); float r19835 = r19831 * r19834; float r19836 = phi1; float r19837 = cos(r19836); float r19838 = cos(r19833); float r19839 = r19831 * r19838; float r19840 = r19837 + r19839; float r19841 = atan2(r19835, r19840); float r19842 = r19829 + r19841; return r19842; } double f_id(double lambda1, double lambda2, double phi1, double phi2) { double r19843 = lambda1; double r19844 = phi2; double r19845 = cos(r19844); double r19846 = lambda2; double r19847 = r19843 - r19846; double r19848 = sin(r19847); double r19849 = r19845 * r19848; double r19850 = phi1; double r19851 = cos(r19850); double r19852 = cos(r19847); double r19853 = r19845 * r19852; double r19854 = r19851 + r19853; double r19855 = atan2(r19849, r19854); double r19856 = r19843 + r19855; return r19856; } double f_of(float lambda1, float lambda2, float phi1, float phi2) { float r19857 = lambda1; float r19858 = phi2; float r19859 = cos(r19858); float r19860 = sin(r19857); float r19861 = lambda2; float r19862 = cos(r19861); float r19863 = r19860 * r19862; float r19864 = cos(r19857); float r19865 = -r19861; float r19866 = sin(r19865); float r19867 = r19864 * r19866; float r19868 = r19863 + r19867; float r19869 = r19859 * r19868; float r19870 = phi1; float r19871 = cos(r19870); float r19872 = r19864 * r19862; float r19873 = r19860 * r19866; float r19874 = r19872 - r19873; float r19875 = r19859 * r19874; float r19876 = r19871 + r19875; float r19877 = atan2(r19869, r19876); float r19878 = r19857 + r19877; return r19878; } double f_od(double lambda1, double lambda2, double phi1, double phi2) { double r19879 = lambda1; double r19880 = phi2; double r19881 = cos(r19880); double r19882 = sin(r19879); double r19883 = lambda2; double r19884 = cos(r19883); double r19885 = r19882 * r19884; double r19886 = cos(r19879); double r19887 = -r19883; double r19888 = sin(r19887); double r19889 = r19886 * r19888; double r19890 = r19885 + r19889; double r19891 = r19881 * r19890; double r19892 = phi1; double r19893 = cos(r19892); double r19894 = r19886 * r19884; double r19895 = r19882 * r19888; double r19896 = r19894 - r19895; double r19897 = r19881 * r19896; double r19898 = r19893 + r19897; double r19899 = atan2(r19891, r19898); double r19900 = r19879 + r19899; return r19900; } 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 r19901, r19902, r19903, r19904, r19905, r19906, r19907, r19908, r19909, r19910, r19911, r19912, r19913, r19914; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init(r19901); mpfr_init(r19902); mpfr_init(r19903); mpfr_init(r19904); mpfr_init(r19905); mpfr_init(r19906); mpfr_init(r19907); mpfr_init(r19908); mpfr_init(r19909); mpfr_init(r19910); mpfr_init(r19911); mpfr_init(r19912); mpfr_init(r19913); mpfr_init(r19914); } double f_im(double lambda1, double lambda2, double phi1, double phi2) { mpfr_set_d(r19901, lambda1, MPFR_RNDN); mpfr_set_d(r19902, phi2, MPFR_RNDN); mpfr_cos(r19903, r19902, MPFR_RNDN); mpfr_set_d(r19904, lambda2, MPFR_RNDN); mpfr_sub(r19905, r19901, r19904, MPFR_RNDN); mpfr_sin(r19906, r19905, MPFR_RNDN); mpfr_mul(r19907, r19903, r19906, MPFR_RNDN); mpfr_set_d(r19908, phi1, MPFR_RNDN); mpfr_cos(r19909, r19908, MPFR_RNDN); mpfr_cos(r19910, r19905, MPFR_RNDN); mpfr_mul(r19911, r19903, r19910, MPFR_RNDN); mpfr_add(r19912, r19909, r19911, MPFR_RNDN); mpfr_atan2(r19913, r19907, r19912, MPFR_RNDN); mpfr_add(r19914, r19901, r19913, MPFR_RNDN); return mpfr_get_d(r19914, MPFR_RNDN); } static mpfr_t r19915, r19916, r19917, r19918, r19919, r19920, r19921, r19922, r19923, r19924, r19925, r19926, r19927, r19928, r19929, r19930, r19931, r19932, r19933, r19934, r19935, r19936; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init(r19915); mpfr_init(r19916); mpfr_init(r19917); mpfr_init(r19918); mpfr_init(r19919); mpfr_init(r19920); mpfr_init(r19921); mpfr_init(r19922); mpfr_init(r19923); mpfr_init(r19924); mpfr_init(r19925); mpfr_init(r19926); mpfr_init(r19927); mpfr_init(r19928); mpfr_init(r19929); mpfr_init(r19930); mpfr_init(r19931); mpfr_init(r19932); mpfr_init(r19933); mpfr_init(r19934); mpfr_init(r19935); mpfr_init(r19936); } double f_fm(double lambda1, double lambda2, double phi1, double phi2) { mpfr_set_d(r19915, lambda1, MPFR_RNDN); mpfr_set_d(r19916, phi2, MPFR_RNDN); mpfr_cos(r19917, r19916, MPFR_RNDN); mpfr_sin(r19918, r19915, MPFR_RNDN); mpfr_set_d(r19919, lambda2, MPFR_RNDN); mpfr_cos(r19920, r19919, MPFR_RNDN); mpfr_mul(r19921, r19918, r19920, MPFR_RNDN); mpfr_cos(r19922, r19915, MPFR_RNDN); mpfr_neg(r19923, r19919, MPFR_RNDN); mpfr_sin(r19924, r19923, MPFR_RNDN); mpfr_mul(r19925, r19922, r19924, MPFR_RNDN); mpfr_add(r19926, r19921, r19925, MPFR_RNDN); mpfr_mul(r19927, r19917, r19926, MPFR_RNDN); mpfr_set_d(r19928, phi1, MPFR_RNDN); mpfr_cos(r19929, r19928, MPFR_RNDN); mpfr_mul(r19930, r19922, r19920, MPFR_RNDN); mpfr_mul(r19931, r19918, r19924, MPFR_RNDN); mpfr_sub(r19932, r19930, r19931, MPFR_RNDN); mpfr_mul(r19933, r19917, r19932, MPFR_RNDN); mpfr_add(r19934, r19929, r19933, MPFR_RNDN); mpfr_atan2(r19935, r19927, r19934, MPFR_RNDN); mpfr_add(r19936, r19915, r19935, MPFR_RNDN); return mpfr_get_d(r19936, MPFR_RNDN); } static mpfr_t r19937, r19938, r19939, r19940, r19941, r19942, r19943, r19944, r19945, r19946, r19947, r19948, r19949, r19950, r19951, r19952, r19953, r19954, r19955, r19956, r19957, r19958; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init(r19937); mpfr_init(r19938); mpfr_init(r19939); mpfr_init(r19940); mpfr_init(r19941); mpfr_init(r19942); mpfr_init(r19943); mpfr_init(r19944); mpfr_init(r19945); mpfr_init(r19946); mpfr_init(r19947); mpfr_init(r19948); mpfr_init(r19949); mpfr_init(r19950); mpfr_init(r19951); mpfr_init(r19952); mpfr_init(r19953); mpfr_init(r19954); mpfr_init(r19955); mpfr_init(r19956); mpfr_init(r19957); mpfr_init(r19958); } double f_dm(double lambda1, double lambda2, double phi1, double phi2) { mpfr_set_d(r19937, lambda1, MPFR_RNDN); mpfr_set_d(r19938, phi2, MPFR_RNDN); mpfr_cos(r19939, r19938, MPFR_RNDN); mpfr_sin(r19940, r19937, MPFR_RNDN); mpfr_set_d(r19941, lambda2, MPFR_RNDN); mpfr_cos(r19942, r19941, MPFR_RNDN); mpfr_mul(r19943, r19940, r19942, MPFR_RNDN); mpfr_cos(r19944, r19937, MPFR_RNDN); mpfr_neg(r19945, r19941, MPFR_RNDN); mpfr_sin(r19946, r19945, MPFR_RNDN); mpfr_mul(r19947, r19944, r19946, MPFR_RNDN); mpfr_add(r19948, r19943, r19947, MPFR_RNDN); mpfr_mul(r19949, r19939, r19948, MPFR_RNDN); mpfr_set_d(r19950, phi1, MPFR_RNDN); mpfr_cos(r19951, r19950, MPFR_RNDN); mpfr_mul(r19952, r19944, r19942, MPFR_RNDN); mpfr_mul(r19953, r19940, r19946, MPFR_RNDN); mpfr_sub(r19954, r19952, r19953, MPFR_RNDN); mpfr_mul(r19955, r19939, r19954, MPFR_RNDN); mpfr_add(r19956, r19951, r19955, MPFR_RNDN); mpfr_atan2(r19957, r19949, r19956, MPFR_RNDN); mpfr_add(r19958, r19937, r19957, MPFR_RNDN); return mpfr_get_d(r19958, MPFR_RNDN); }