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

char *name = "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2";

double f_if(float x, float y, float z, float t, float a, float b, float c, float i) {
        float r23014 = x;
        float r23015 = y;
        float r23016 = r23014 * r23015;
        float r23017 = z;
        float r23018 = r23016 + r23017;
        float r23019 = r23018 * r23015;
        float r23020 = 27464.7644705;
        float r23021 = r23019 + r23020;
        float r23022 = r23021 * r23015;
        float r23023 = 230661.510616;
        float r23024 = r23022 + r23023;
        float r23025 = r23024 * r23015;
        float r23026 = t;
        float r23027 = r23025 + r23026;
        float r23028 = a;
        float r23029 = r23015 + r23028;
        float r23030 = r23029 * r23015;
        float r23031 = b;
        float r23032 = r23030 + r23031;
        float r23033 = r23032 * r23015;
        float r23034 = c;
        float r23035 = r23033 + r23034;
        float r23036 = r23035 * r23015;
        float r23037 = i;
        float r23038 = r23036 + r23037;
        float r23039 = r23027 / r23038;
        return r23039;
}

double f_id(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r23040 = x;
        double r23041 = y;
        double r23042 = r23040 * r23041;
        double r23043 = z;
        double r23044 = r23042 + r23043;
        double r23045 = r23044 * r23041;
        double r23046 = 27464.7644705;
        double r23047 = r23045 + r23046;
        double r23048 = r23047 * r23041;
        double r23049 = 230661.510616;
        double r23050 = r23048 + r23049;
        double r23051 = r23050 * r23041;
        double r23052 = t;
        double r23053 = r23051 + r23052;
        double r23054 = a;
        double r23055 = r23041 + r23054;
        double r23056 = r23055 * r23041;
        double r23057 = b;
        double r23058 = r23056 + r23057;
        double r23059 = r23058 * r23041;
        double r23060 = c;
        double r23061 = r23059 + r23060;
        double r23062 = r23061 * r23041;
        double r23063 = i;
        double r23064 = r23062 + r23063;
        double r23065 = r23053 / r23064;
        return r23065;
}


double f_of(float x, float y, float z, float t, float a, float b, float c, float i) {
        float r23066 = 1;
        float r23067 = y;
        float r23068 = r23067 * r23067;
        float r23069 = a;
        float r23070 = r23069 + r23067;
        float r23071 = b;
        float r23072 = c;
        float r23073 = fma(r23067, r23071, r23072);
        float r23074 = fma(r23068, r23070, r23073);
        float r23075 = i;
        float r23076 = fma(r23074, r23067, r23075);
        float r23077 = x;
        float r23078 = z;
        float r23079 = fma(r23077, r23067, r23078);
        float r23080 = 27464.7644705;
        float r23081 = fma(r23079, r23067, r23080);
        float r23082 = 230661.510616;
        float r23083 = t;
        float r23084 = fma(r23067, r23082, r23083);
        float r23085 = fma(r23081, r23068, r23084);
        float r23086 = r23076 / r23085;
        float r23087 = r23066 / r23086;
        return r23087;
}

double f_od(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r23088 = 1;
        double r23089 = y;
        double r23090 = r23089 * r23089;
        double r23091 = a;
        double r23092 = r23091 + r23089;
        double r23093 = b;
        double r23094 = c;
        double r23095 = fma(r23089, r23093, r23094);
        double r23096 = fma(r23090, r23092, r23095);
        double r23097 = i;
        double r23098 = fma(r23096, r23089, r23097);
        double r23099 = x;
        double r23100 = z;
        double r23101 = fma(r23099, r23089, r23100);
        double r23102 = 27464.7644705;
        double r23103 = fma(r23101, r23089, r23102);
        double r23104 = 230661.510616;
        double r23105 = t;
        double r23106 = fma(r23089, r23104, r23105);
        double r23107 = fma(r23103, r23090, r23106);
        double r23108 = r23098 / r23107;
        double r23109 = r23088 / r23108;
        return r23109;
}

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 r23110, r23111, r23112, r23113, r23114, r23115, r23116, r23117, r23118, r23119, r23120, r23121, r23122, r23123, r23124, r23125, r23126, r23127, r23128, r23129, r23130, r23131, r23132, r23133, r23134, r23135;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r23110);
        mpfr_init(r23111);
        mpfr_init(r23112);
        mpfr_init(r23113);
        mpfr_init(r23114);
        mpfr_init(r23115);
        mpfr_init_set_str(r23116, "27464.7644705", 10, MPFR_RNDN);
        mpfr_init(r23117);
        mpfr_init(r23118);
        mpfr_init_set_str(r23119, "230661.510616", 10, MPFR_RNDN);
        mpfr_init(r23120);
        mpfr_init(r23121);
        mpfr_init(r23122);
        mpfr_init(r23123);
        mpfr_init(r23124);
        mpfr_init(r23125);
        mpfr_init(r23126);
        mpfr_init(r23127);
        mpfr_init(r23128);
        mpfr_init(r23129);
        mpfr_init(r23130);
        mpfr_init(r23131);
        mpfr_init(r23132);
        mpfr_init(r23133);
        mpfr_init(r23134);
        mpfr_init(r23135);
}

double f_im(double x, double y, double z, double t, double a, double b, double c, double i) {
        mpfr_set_d(r23110, x, MPFR_RNDN);
        mpfr_set_d(r23111, y, MPFR_RNDN);
        mpfr_mul(r23112, r23110, r23111, MPFR_RNDN);
        mpfr_set_d(r23113, z, MPFR_RNDN);
        mpfr_add(r23114, r23112, r23113, MPFR_RNDN);
        mpfr_mul(r23115, r23114, r23111, MPFR_RNDN);
        ;
        mpfr_add(r23117, r23115, r23116, MPFR_RNDN);
        mpfr_mul(r23118, r23117, r23111, MPFR_RNDN);
        ;
        mpfr_add(r23120, r23118, r23119, MPFR_RNDN);
        mpfr_mul(r23121, r23120, r23111, MPFR_RNDN);
        mpfr_set_d(r23122, t, MPFR_RNDN);
        mpfr_add(r23123, r23121, r23122, MPFR_RNDN);
        mpfr_set_d(r23124, a, MPFR_RNDN);
        mpfr_add(r23125, r23111, r23124, MPFR_RNDN);
        mpfr_mul(r23126, r23125, r23111, MPFR_RNDN);
        mpfr_set_d(r23127, b, MPFR_RNDN);
        mpfr_add(r23128, r23126, r23127, MPFR_RNDN);
        mpfr_mul(r23129, r23128, r23111, MPFR_RNDN);
        mpfr_set_d(r23130, c, MPFR_RNDN);
        mpfr_add(r23131, r23129, r23130, MPFR_RNDN);
        mpfr_mul(r23132, r23131, r23111, MPFR_RNDN);
        mpfr_set_d(r23133, i, MPFR_RNDN);
        mpfr_add(r23134, r23132, r23133, MPFR_RNDN);
        mpfr_div(r23135, r23123, r23134, MPFR_RNDN);
        return mpfr_get_d(r23135, MPFR_RNDN);
}

static mpfr_t r23136, r23137, r23138, r23139, r23140, r23141, r23142, r23143, r23144, r23145, r23146, r23147, r23148, r23149, r23150, r23151, r23152, r23153, r23154, r23155, r23156, r23157;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r23136, "1", 10, MPFR_RNDN);
        mpfr_init(r23137);
        mpfr_init(r23138);
        mpfr_init(r23139);
        mpfr_init(r23140);
        mpfr_init(r23141);
        mpfr_init(r23142);
        mpfr_init(r23143);
        mpfr_init(r23144);
        mpfr_init(r23145);
        mpfr_init(r23146);
        mpfr_init(r23147);
        mpfr_init(r23148);
        mpfr_init(r23149);
        mpfr_init_set_str(r23150, "27464.7644705", 10, MPFR_RNDN);
        mpfr_init(r23151);
        mpfr_init_set_str(r23152, "230661.510616", 10, MPFR_RNDN);
        mpfr_init(r23153);
        mpfr_init(r23154);
        mpfr_init(r23155);
        mpfr_init(r23156);
        mpfr_init(r23157);
}

double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) {
        ;
        mpfr_set_d(r23137, y, MPFR_RNDN);
        mpfr_mul(r23138, r23137, r23137, MPFR_RNDN);
        mpfr_set_d(r23139, a, MPFR_RNDN);
        mpfr_add(r23140, r23139, r23137, MPFR_RNDN);
        mpfr_set_d(r23141, b, MPFR_RNDN);
        mpfr_set_d(r23142, c, MPFR_RNDN);
        mpfr_fma(r23143, r23137, r23141, r23142, MPFR_RNDN);
        mpfr_fma(r23144, r23138, r23140, r23143, MPFR_RNDN);
        mpfr_set_d(r23145, i, MPFR_RNDN);
        mpfr_fma(r23146, r23144, r23137, r23145, MPFR_RNDN);
        mpfr_set_d(r23147, x, MPFR_RNDN);
        mpfr_set_d(r23148, z, MPFR_RNDN);
        mpfr_fma(r23149, r23147, r23137, r23148, MPFR_RNDN);
        ;
        mpfr_fma(r23151, r23149, r23137, r23150, MPFR_RNDN);
        ;
        mpfr_set_d(r23153, t, MPFR_RNDN);
        mpfr_fma(r23154, r23137, r23152, r23153, MPFR_RNDN);
        mpfr_fma(r23155, r23151, r23138, r23154, MPFR_RNDN);
        mpfr_div(r23156, r23146, r23155, MPFR_RNDN);
        mpfr_div(r23157, r23136, r23156, MPFR_RNDN);
        return mpfr_get_d(r23157, MPFR_RNDN);
}

static mpfr_t r23158, r23159, r23160, r23161, r23162, r23163, r23164, r23165, r23166, r23167, r23168, r23169, r23170, r23171, r23172, r23173, r23174, r23175, r23176, r23177, r23178, r23179;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r23158, "1", 10, MPFR_RNDN);
        mpfr_init(r23159);
        mpfr_init(r23160);
        mpfr_init(r23161);
        mpfr_init(r23162);
        mpfr_init(r23163);
        mpfr_init(r23164);
        mpfr_init(r23165);
        mpfr_init(r23166);
        mpfr_init(r23167);
        mpfr_init(r23168);
        mpfr_init(r23169);
        mpfr_init(r23170);
        mpfr_init(r23171);
        mpfr_init_set_str(r23172, "27464.7644705", 10, MPFR_RNDN);
        mpfr_init(r23173);
        mpfr_init_set_str(r23174, "230661.510616", 10, MPFR_RNDN);
        mpfr_init(r23175);
        mpfr_init(r23176);
        mpfr_init(r23177);
        mpfr_init(r23178);
        mpfr_init(r23179);
}

double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) {
        ;
        mpfr_set_d(r23159, y, MPFR_RNDN);
        mpfr_mul(r23160, r23159, r23159, MPFR_RNDN);
        mpfr_set_d(r23161, a, MPFR_RNDN);
        mpfr_add(r23162, r23161, r23159, MPFR_RNDN);
        mpfr_set_d(r23163, b, MPFR_RNDN);
        mpfr_set_d(r23164, c, MPFR_RNDN);
        mpfr_fma(r23165, r23159, r23163, r23164, MPFR_RNDN);
        mpfr_fma(r23166, r23160, r23162, r23165, MPFR_RNDN);
        mpfr_set_d(r23167, i, MPFR_RNDN);
        mpfr_fma(r23168, r23166, r23159, r23167, MPFR_RNDN);
        mpfr_set_d(r23169, x, MPFR_RNDN);
        mpfr_set_d(r23170, z, MPFR_RNDN);
        mpfr_fma(r23171, r23169, r23159, r23170, MPFR_RNDN);
        ;
        mpfr_fma(r23173, r23171, r23159, r23172, MPFR_RNDN);
        ;
        mpfr_set_d(r23175, t, MPFR_RNDN);
        mpfr_fma(r23176, r23159, r23174, r23175, MPFR_RNDN);
        mpfr_fma(r23177, r23173, r23160, r23176, MPFR_RNDN);
        mpfr_div(r23178, r23168, r23177, MPFR_RNDN);
        mpfr_div(r23179, r23158, r23178, MPFR_RNDN);
        return mpfr_get_d(r23179, MPFR_RNDN);
}