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

char *name = "fabs fraction 1";

double f_if(float x, float y, float z) {
        float r8817 = x;
        float r8818 = 4;
        float r8819 = r8817 + r8818;
        float r8820 = y;
        float r8821 = r8819 / r8820;
        float r8822 = r8817 / r8820;
        float r8823 = z;
        float r8824 = r8822 * r8823;
        float r8825 = r8821 - r8824;
        float r8826 = fabs(r8825);
        return r8826;
}

double f_id(double x, double y, double z) {
        double r8827 = x;
        double r8828 = 4;
        double r8829 = r8827 + r8828;
        double r8830 = y;
        double r8831 = r8829 / r8830;
        double r8832 = r8827 / r8830;
        double r8833 = z;
        double r8834 = r8832 * r8833;
        double r8835 = r8831 - r8834;
        double r8836 = fabs(r8835);
        return r8836;
}


double f_of(float x, float y, float z) {
        float r8837 = x;
        float r8838 = 4;
        float r8839 = r8837 + r8838;
        float r8840 = y;
        float r8841 = r8839 / r8840;
        float r8842 = r8837 / r8840;
        float r8843 = z;
        float r8844 = r8842 * r8843;
        float r8845 = r8841 - r8844;
        float r8846 = -8.265162206453387e+139;
        bool r8847 = r8845 <= r8846;
        float r8848 = fabs(r8845);
        float r8849 = 1.709227630184866e-212;
        bool r8850 = r8845 <= r8849;
        float r8851 = r8843 / r8840;
        float r8852 = r8837 * r8851;
        float r8853 = r8841 - r8852;
        float r8854 = fabs(r8853);
        float r8855 = r8850 ? r8854 : r8848;
        float r8856 = r8847 ? r8848 : r8855;
        return r8856;
}

double f_od(double x, double y, double z) {
        double r8857 = x;
        double r8858 = 4;
        double r8859 = r8857 + r8858;
        double r8860 = y;
        double r8861 = r8859 / r8860;
        double r8862 = r8857 / r8860;
        double r8863 = z;
        double r8864 = r8862 * r8863;
        double r8865 = r8861 - r8864;
        double r8866 = -8.265162206453387e+139;
        bool r8867 = r8865 <= r8866;
        double r8868 = fabs(r8865);
        double r8869 = 1.709227630184866e-212;
        bool r8870 = r8865 <= r8869;
        double r8871 = r8863 / r8860;
        double r8872 = r8857 * r8871;
        double r8873 = r8861 - r8872;
        double r8874 = fabs(r8873);
        double r8875 = r8870 ? r8874 : r8868;
        double r8876 = r8867 ? r8868 : r8875;
        return r8876;
}

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 r8877, r8878, r8879, r8880, r8881, r8882, r8883, r8884, r8885, r8886;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init(r8877);
        mpfr_init_set_str(r8878, "4", 10, MPFR_RNDN);
        mpfr_init(r8879);
        mpfr_init(r8880);
        mpfr_init(r8881);
        mpfr_init(r8882);
        mpfr_init(r8883);
        mpfr_init(r8884);
        mpfr_init(r8885);
        mpfr_init(r8886);
}

double f_im(double x, double y, double z) {
        mpfr_set_d(r8877, x, MPFR_RNDN);
        ;
        mpfr_add(r8879, r8877, r8878, MPFR_RNDN);
        mpfr_set_d(r8880, y, MPFR_RNDN);
        mpfr_div(r8881, r8879, r8880, MPFR_RNDN);
        mpfr_div(r8882, r8877, r8880, MPFR_RNDN);
        mpfr_set_d(r8883, z, MPFR_RNDN);
        mpfr_mul(r8884, r8882, r8883, MPFR_RNDN);
        mpfr_sub(r8885, r8881, r8884, MPFR_RNDN);
        mpfr_abs(r8886, r8885, MPFR_RNDN);
        return mpfr_get_d(r8886, MPFR_RNDN);
}

static mpfr_t r8887, r8888, r8889, r8890, r8891, r8892, r8893, r8894, r8895, r8896, r8897, r8898, r8899, r8900, r8901, r8902, r8903, r8904, r8905, r8906;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init(r8887);
        mpfr_init_set_str(r8888, "4", 10, MPFR_RNDN);
        mpfr_init(r8889);
        mpfr_init(r8890);
        mpfr_init(r8891);
        mpfr_init(r8892);
        mpfr_init(r8893);
        mpfr_init(r8894);
        mpfr_init(r8895);
        mpfr_init_set_str(r8896, "-8.265162206453387e+139", 10, MPFR_RNDN);
        mpfr_init(r8897);
        mpfr_init(r8898);
        mpfr_init_set_str(r8899, "1.709227630184866e-212", 10, MPFR_RNDN);
        mpfr_init(r8900);
        mpfr_init(r8901);
        mpfr_init(r8902);
        mpfr_init(r8903);
        mpfr_init(r8904);
        mpfr_init(r8905);
        mpfr_init(r8906);
}

double f_fm(double x, double y, double z) {
        mpfr_set_d(r8887, x, MPFR_RNDN);
        ;
        mpfr_add(r8889, r8887, r8888, MPFR_RNDN);
        mpfr_set_d(r8890, y, MPFR_RNDN);
        mpfr_div(r8891, r8889, r8890, MPFR_RNDN);
        mpfr_div(r8892, r8887, r8890, MPFR_RNDN);
        mpfr_set_d(r8893, z, MPFR_RNDN);
        mpfr_mul(r8894, r8892, r8893, MPFR_RNDN);
        mpfr_sub(r8895, r8891, r8894, MPFR_RNDN);
        ;
        mpfr_set_si(r8897, mpfr_cmp(r8895, r8896) <= 0, MPFR_RNDN);
        mpfr_abs(r8898, r8895, MPFR_RNDN);
        ;
        mpfr_set_si(r8900, mpfr_cmp(r8895, r8899) <= 0, MPFR_RNDN);
        mpfr_div(r8901, r8893, r8890, MPFR_RNDN);
        mpfr_mul(r8902, r8887, r8901, MPFR_RNDN);
        mpfr_sub(r8903, r8891, r8902, MPFR_RNDN);
        mpfr_abs(r8904, r8903, MPFR_RNDN);
        if (mpfr_get_si(r8900, MPFR_RNDN)) { mpfr_set(r8905, r8904, MPFR_RNDN); } else { mpfr_set(r8905, r8898, MPFR_RNDN); };
        if (mpfr_get_si(r8897, MPFR_RNDN)) { mpfr_set(r8906, r8898, MPFR_RNDN); } else { mpfr_set(r8906, r8905, MPFR_RNDN); };
        return mpfr_get_d(r8906, MPFR_RNDN);
}

static mpfr_t r8907, r8908, r8909, r8910, r8911, r8912, r8913, r8914, r8915, r8916, r8917, r8918, r8919, r8920, r8921, r8922, r8923, r8924, r8925, r8926;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init(r8907);
        mpfr_init_set_str(r8908, "4", 10, MPFR_RNDN);
        mpfr_init(r8909);
        mpfr_init(r8910);
        mpfr_init(r8911);
        mpfr_init(r8912);
        mpfr_init(r8913);
        mpfr_init(r8914);
        mpfr_init(r8915);
        mpfr_init_set_str(r8916, "-8.265162206453387e+139", 10, MPFR_RNDN);
        mpfr_init(r8917);
        mpfr_init(r8918);
        mpfr_init_set_str(r8919, "1.709227630184866e-212", 10, MPFR_RNDN);
        mpfr_init(r8920);
        mpfr_init(r8921);
        mpfr_init(r8922);
        mpfr_init(r8923);
        mpfr_init(r8924);
        mpfr_init(r8925);
        mpfr_init(r8926);
}

double f_dm(double x, double y, double z) {
        mpfr_set_d(r8907, x, MPFR_RNDN);
        ;
        mpfr_add(r8909, r8907, r8908, MPFR_RNDN);
        mpfr_set_d(r8910, y, MPFR_RNDN);
        mpfr_div(r8911, r8909, r8910, MPFR_RNDN);
        mpfr_div(r8912, r8907, r8910, MPFR_RNDN);
        mpfr_set_d(r8913, z, MPFR_RNDN);
        mpfr_mul(r8914, r8912, r8913, MPFR_RNDN);
        mpfr_sub(r8915, r8911, r8914, MPFR_RNDN);
        ;
        mpfr_set_si(r8917, mpfr_cmp(r8915, r8916) <= 0, MPFR_RNDN);
        mpfr_abs(r8918, r8915, MPFR_RNDN);
        ;
        mpfr_set_si(r8920, mpfr_cmp(r8915, r8919) <= 0, MPFR_RNDN);
        mpfr_div(r8921, r8913, r8910, MPFR_RNDN);
        mpfr_mul(r8922, r8907, r8921, MPFR_RNDN);
        mpfr_sub(r8923, r8911, r8922, MPFR_RNDN);
        mpfr_abs(r8924, r8923, MPFR_RNDN);
        if (mpfr_get_si(r8920, MPFR_RNDN)) { mpfr_set(r8925, r8924, MPFR_RNDN); } else { mpfr_set(r8925, r8918, MPFR_RNDN); };
        if (mpfr_get_si(r8917, MPFR_RNDN)) { mpfr_set(r8926, r8918, MPFR_RNDN); } else { mpfr_set(r8926, r8925, MPFR_RNDN); };
        return mpfr_get_d(r8926, MPFR_RNDN);
}