#include #include #include #include #include char *name = "Graphics.Rendering.Plot.Render.Plot.Axis:tickPosition from plot-0.2.3.4"; double f_if(float x, float y, float z, float t) { float r49016 = x; float r49017 = y; float r49018 = r49017 - r49016; float r49019 = z; float r49020 = t; float r49021 = r49019 / r49020; float r49022 = r49018 * r49021; float r49023 = r49016 + r49022; return r49023; } double f_id(double x, double y, double z, double t) { double r49024 = x; double r49025 = y; double r49026 = r49025 - r49024; double r49027 = z; double r49028 = t; double r49029 = r49027 / r49028; double r49030 = r49026 * r49029; double r49031 = r49024 + r49030; return r49031; } double f_of(float x, float y, float z, float t) { float r49032 = x; float r49033 = -1.3342503641941965e-104; bool r49034 = r49032 <= r49033; float r49035 = y; float r49036 = r49035 - r49032; float r49037 = t; float r49038 = z; float r49039 = r49037 / r49038; float r49040 = r49036 / r49039; float r49041 = r49032 + r49040; float r49042 = -1.2444038385878892e-264; bool r49043 = r49032 <= r49042; float r49044 = r49036 * r49038; float r49045 = r49044 / r49037; float r49046 = r49032 + r49045; float r49047 = r49043 ? r49046 : r49041; float r49048 = r49034 ? r49041 : r49047; return r49048; } double f_od(double x, double y, double z, double t) { double r49049 = x; double r49050 = -1.3342503641941965e-104; bool r49051 = r49049 <= r49050; double r49052 = y; double r49053 = r49052 - r49049; double r49054 = t; double r49055 = z; double r49056 = r49054 / r49055; double r49057 = r49053 / r49056; double r49058 = r49049 + r49057; double r49059 = -1.2444038385878892e-264; bool r49060 = r49049 <= r49059; double r49061 = r49053 * r49055; double r49062 = r49061 / r49054; double r49063 = r49049 + r49062; double r49064 = r49060 ? r49063 : r49058; double r49065 = r49051 ? r49058 : r49064; return r49065; } 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 r49066, r49067, r49068, r49069, r49070, r49071, r49072, r49073; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r49066); mpfr_init(r49067); mpfr_init(r49068); mpfr_init(r49069); mpfr_init(r49070); mpfr_init(r49071); mpfr_init(r49072); mpfr_init(r49073); } double f_im(double x, double y, double z, double t) { mpfr_set_d(r49066, x, MPFR_RNDN); mpfr_set_d(r49067, y, MPFR_RNDN); mpfr_sub(r49068, r49067, r49066, MPFR_RNDN); mpfr_set_d(r49069, z, MPFR_RNDN); mpfr_set_d(r49070, t, MPFR_RNDN); mpfr_div(r49071, r49069, r49070, MPFR_RNDN); mpfr_mul(r49072, r49068, r49071, MPFR_RNDN); mpfr_add(r49073, r49066, r49072, MPFR_RNDN); return mpfr_get_d(r49073, MPFR_RNDN); } static mpfr_t r49074, r49075, r49076, r49077, r49078, r49079, r49080, r49081, r49082, r49083, r49084, r49085, r49086, r49087, r49088, r49089, r49090; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r49074); mpfr_init_set_str(r49075, "-1.3342503641941965e-104", 10, MPFR_RNDN); mpfr_init(r49076); mpfr_init(r49077); mpfr_init(r49078); mpfr_init(r49079); mpfr_init(r49080); mpfr_init(r49081); mpfr_init(r49082); mpfr_init(r49083); mpfr_init_set_str(r49084, "-1.2444038385878892e-264", 10, MPFR_RNDN); mpfr_init(r49085); mpfr_init(r49086); mpfr_init(r49087); mpfr_init(r49088); mpfr_init(r49089); mpfr_init(r49090); } double f_fm(double x, double y, double z, double t) { mpfr_set_d(r49074, x, MPFR_RNDN); ; mpfr_set_si(r49076, mpfr_cmp(r49074, r49075) <= 0, MPFR_RNDN); mpfr_set_d(r49077, y, MPFR_RNDN); mpfr_sub(r49078, r49077, r49074, MPFR_RNDN); mpfr_set_d(r49079, t, MPFR_RNDN); mpfr_set_d(r49080, z, MPFR_RNDN); mpfr_div(r49081, r49079, r49080, MPFR_RNDN); mpfr_div(r49082, r49078, r49081, MPFR_RNDN); mpfr_add(r49083, r49074, r49082, MPFR_RNDN); ; mpfr_set_si(r49085, mpfr_cmp(r49074, r49084) <= 0, MPFR_RNDN); mpfr_mul(r49086, r49078, r49080, MPFR_RNDN); mpfr_div(r49087, r49086, r49079, MPFR_RNDN); mpfr_add(r49088, r49074, r49087, MPFR_RNDN); if (mpfr_get_si(r49085, MPFR_RNDN)) { mpfr_set(r49089, r49088, MPFR_RNDN); } else { mpfr_set(r49089, r49083, MPFR_RNDN); }; if (mpfr_get_si(r49076, MPFR_RNDN)) { mpfr_set(r49090, r49083, MPFR_RNDN); } else { mpfr_set(r49090, r49089, MPFR_RNDN); }; return mpfr_get_d(r49090, MPFR_RNDN); } static mpfr_t r49091, r49092, r49093, r49094, r49095, r49096, r49097, r49098, r49099, r49100, r49101, r49102, r49103, r49104, r49105, r49106, r49107; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r49091); mpfr_init_set_str(r49092, "-1.3342503641941965e-104", 10, MPFR_RNDN); mpfr_init(r49093); mpfr_init(r49094); mpfr_init(r49095); mpfr_init(r49096); mpfr_init(r49097); mpfr_init(r49098); mpfr_init(r49099); mpfr_init(r49100); mpfr_init_set_str(r49101, "-1.2444038385878892e-264", 10, MPFR_RNDN); mpfr_init(r49102); mpfr_init(r49103); mpfr_init(r49104); mpfr_init(r49105); mpfr_init(r49106); mpfr_init(r49107); } double f_dm(double x, double y, double z, double t) { mpfr_set_d(r49091, x, MPFR_RNDN); ; mpfr_set_si(r49093, mpfr_cmp(r49091, r49092) <= 0, MPFR_RNDN); mpfr_set_d(r49094, y, MPFR_RNDN); mpfr_sub(r49095, r49094, r49091, MPFR_RNDN); mpfr_set_d(r49096, t, MPFR_RNDN); mpfr_set_d(r49097, z, MPFR_RNDN); mpfr_div(r49098, r49096, r49097, MPFR_RNDN); mpfr_div(r49099, r49095, r49098, MPFR_RNDN); mpfr_add(r49100, r49091, r49099, MPFR_RNDN); ; mpfr_set_si(r49102, mpfr_cmp(r49091, r49101) <= 0, MPFR_RNDN); mpfr_mul(r49103, r49095, r49097, MPFR_RNDN); mpfr_div(r49104, r49103, r49096, MPFR_RNDN); mpfr_add(r49105, r49091, r49104, MPFR_RNDN); if (mpfr_get_si(r49102, MPFR_RNDN)) { mpfr_set(r49106, r49105, MPFR_RNDN); } else { mpfr_set(r49106, r49100, MPFR_RNDN); }; if (mpfr_get_si(r49093, MPFR_RNDN)) { mpfr_set(r49107, r49100, MPFR_RNDN); } else { mpfr_set(r49107, r49106, MPFR_RNDN); }; return mpfr_get_d(r49107, MPFR_RNDN); }