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

char *name = "Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisLine from plot-0.2.3.4, B";

double f_if(float x, float y, float z, float t, float a) {
        float r49037 = x;
        float r49038 = y;
        float r49039 = z;
        float r49040 = t;
        float r49041 = r49039 - r49040;
        float r49042 = a;
        float r49043 = r49042 - r49040;
        float r49044 = r49041 / r49043;
        float r49045 = r49038 * r49044;
        float r49046 = r49037 + r49045;
        return r49046;
}

double f_id(double x, double y, double z, double t, double a) {
        double r49047 = x;
        double r49048 = y;
        double r49049 = z;
        double r49050 = t;
        double r49051 = r49049 - r49050;
        double r49052 = a;
        double r49053 = r49052 - r49050;
        double r49054 = r49051 / r49053;
        double r49055 = r49048 * r49054;
        double r49056 = r49047 + r49055;
        return r49056;
}


double f_of(float x, float y, float z, float t, float a) {
        float r49057 = x;
        float r49058 = y;
        float r49059 = z;
        float r49060 = t;
        float r49061 = r49059 - r49060;
        float r49062 = a;
        float r49063 = r49062 - r49060;
        float r49064 = r49061 / r49063;
        float r49065 = r49058 * r49064;
        float r49066 = r49057 + r49065;
        return r49066;
}

double f_od(double x, double y, double z, double t, double a) {
        double r49067 = x;
        double r49068 = y;
        double r49069 = z;
        double r49070 = t;
        double r49071 = r49069 - r49070;
        double r49072 = a;
        double r49073 = r49072 - r49070;
        double r49074 = r49071 / r49073;
        double r49075 = r49068 * r49074;
        double r49076 = r49067 + r49075;
        return r49076;
}

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 r49077, r49078, r49079, r49080, r49081, r49082, r49083, r49084, r49085, r49086;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r49077);
        mpfr_init(r49078);
        mpfr_init(r49079);
        mpfr_init(r49080);
        mpfr_init(r49081);
        mpfr_init(r49082);
        mpfr_init(r49083);
        mpfr_init(r49084);
        mpfr_init(r49085);
        mpfr_init(r49086);
}

double f_im(double x, double y, double z, double t, double a) {
        mpfr_set_d(r49077, x, MPFR_RNDN);
        mpfr_set_d(r49078, y, MPFR_RNDN);
        mpfr_set_d(r49079, z, MPFR_RNDN);
        mpfr_set_d(r49080, t, MPFR_RNDN);
        mpfr_sub(r49081, r49079, r49080, MPFR_RNDN);
        mpfr_set_d(r49082, a, MPFR_RNDN);
        mpfr_sub(r49083, r49082, r49080, MPFR_RNDN);
        mpfr_div(r49084, r49081, r49083, MPFR_RNDN);
        mpfr_mul(r49085, r49078, r49084, MPFR_RNDN);
        mpfr_add(r49086, r49077, r49085, MPFR_RNDN);
        return mpfr_get_d(r49086, MPFR_RNDN);
}

static mpfr_t r49087, r49088, r49089, r49090, r49091, r49092, r49093, r49094, r49095, r49096;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r49087);
        mpfr_init(r49088);
        mpfr_init(r49089);
        mpfr_init(r49090);
        mpfr_init(r49091);
        mpfr_init(r49092);
        mpfr_init(r49093);
        mpfr_init(r49094);
        mpfr_init(r49095);
        mpfr_init(r49096);
}

double f_fm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r49087, x, MPFR_RNDN);
        mpfr_set_d(r49088, y, MPFR_RNDN);
        mpfr_set_d(r49089, z, MPFR_RNDN);
        mpfr_set_d(r49090, t, MPFR_RNDN);
        mpfr_sub(r49091, r49089, r49090, MPFR_RNDN);
        mpfr_set_d(r49092, a, MPFR_RNDN);
        mpfr_sub(r49093, r49092, r49090, MPFR_RNDN);
        mpfr_div(r49094, r49091, r49093, MPFR_RNDN);
        mpfr_mul(r49095, r49088, r49094, MPFR_RNDN);
        mpfr_add(r49096, r49087, r49095, MPFR_RNDN);
        return mpfr_get_d(r49096, MPFR_RNDN);
}

static mpfr_t r49097, r49098, r49099, r49100, r49101, r49102, r49103, r49104, r49105, r49106;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r49097);
        mpfr_init(r49098);
        mpfr_init(r49099);
        mpfr_init(r49100);
        mpfr_init(r49101);
        mpfr_init(r49102);
        mpfr_init(r49103);
        mpfr_init(r49104);
        mpfr_init(r49105);
        mpfr_init(r49106);
}

double f_dm(double x, double y, double z, double t, double a) {
        mpfr_set_d(r49097, x, MPFR_RNDN);
        mpfr_set_d(r49098, y, MPFR_RNDN);
        mpfr_set_d(r49099, z, MPFR_RNDN);
        mpfr_set_d(r49100, t, MPFR_RNDN);
        mpfr_sub(r49101, r49099, r49100, MPFR_RNDN);
        mpfr_set_d(r49102, a, MPFR_RNDN);
        mpfr_sub(r49103, r49102, r49100, MPFR_RNDN);
        mpfr_div(r49104, r49101, r49103, MPFR_RNDN);
        mpfr_mul(r49105, r49098, r49104, MPFR_RNDN);
        mpfr_add(r49106, r49097, r49105, MPFR_RNDN);
        return mpfr_get_d(r49106, MPFR_RNDN);
}