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

char *name = "Expression 3, p15";

double f_if(float x) {
        float r23075 = x;
        float r23076 = r23075 * r23075;
        float r23077 = r23075 * r23076;
        float r23078 = r23077 + r23076;
        return r23078;
}

double f_id(double x) {
        double r23079 = x;
        double r23080 = r23079 * r23079;
        double r23081 = r23079 * r23080;
        double r23082 = r23081 + r23080;
        return r23082;
}


double f_of(float x) {
        float r23083 = x;
        float r23084 = fma(r23083, r23083, r23083);
        float r23085 = r23084 * r23083;
        float r23086 = expm1(r23085);
        float r23087 = log1p(r23086);
        return r23087;
}

double f_od(double x) {
        double r23088 = x;
        double r23089 = fma(r23088, r23088, r23088);
        double r23090 = r23089 * r23088;
        double r23091 = expm1(r23090);
        double r23092 = log1p(r23091);
        return r23092;
}

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 r23093, r23094, r23095, r23096;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init(r23093);
        mpfr_init(r23094);
        mpfr_init(r23095);
        mpfr_init(r23096);
}

double f_im(double x) {
        mpfr_set_d(r23093, x, MPFR_RNDN);
        mpfr_mul(r23094, r23093, r23093, MPFR_RNDN);
        mpfr_mul(r23095, r23093, r23094, MPFR_RNDN);
        mpfr_add(r23096, r23095, r23094, MPFR_RNDN);
        return mpfr_get_d(r23096, MPFR_RNDN);
}

static mpfr_t r23097, r23098, r23099, r23100, r23101;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init(r23097);
        mpfr_init(r23098);
        mpfr_init(r23099);
        mpfr_init(r23100);
        mpfr_init(r23101);
}

double f_fm(double x) {
        mpfr_set_d(r23097, x, MPFR_RNDN);
        mpfr_fma(r23098, r23097, r23097, r23097, MPFR_RNDN);
        mpfr_mul(r23099, r23098, r23097, MPFR_RNDN);
        mpfr_expm1(r23100, r23099, MPFR_RNDN);
        mpfr_log1p(r23101, r23100, MPFR_RNDN);
        return mpfr_get_d(r23101, MPFR_RNDN);
}

static mpfr_t r23102, r23103, r23104, r23105, r23106;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init(r23102);
        mpfr_init(r23103);
        mpfr_init(r23104);
        mpfr_init(r23105);
        mpfr_init(r23106);
}

double f_dm(double x) {
        mpfr_set_d(r23102, x, MPFR_RNDN);
        mpfr_fma(r23103, r23102, r23102, r23102, MPFR_RNDN);
        mpfr_mul(r23104, r23103, r23102, MPFR_RNDN);
        mpfr_expm1(r23105, r23104, MPFR_RNDN);
        mpfr_log1p(r23106, r23105, MPFR_RNDN);
        return mpfr_get_d(r23106, MPFR_RNDN);
}