#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 r8823 = x;
        float r8824 = 4;
        float r8825 = r8823 + r8824;
        float r8826 = y;
        float r8827 = r8825 / r8826;
        float r8828 = r8823 / r8826;
        float r8829 = z;
        float r8830 = r8828 * r8829;
        float r8831 = r8827 - r8830;
        float r8832 = fabs(r8831);
        return r8832;
}

double f_id(double x, double y, double z) {
        double r8833 = x;
        double r8834 = 4;
        double r8835 = r8833 + r8834;
        double r8836 = y;
        double r8837 = r8835 / r8836;
        double r8838 = r8833 / r8836;
        double r8839 = z;
        double r8840 = r8838 * r8839;
        double r8841 = r8837 - r8840;
        double r8842 = fabs(r8841);
        return r8842;
}


double f_of(float x, float y, float z) {
        float r8843 = x;
        float r8844 = 4;
        float r8845 = r8843 + r8844;
        float r8846 = y;
        float r8847 = r8845 / r8846;
        float r8848 = r8843 / r8846;
        float r8849 = z;
        float r8850 = r8848 * r8849;
        float r8851 = r8847 - r8850;
        float r8852 = -8.265162206453387e+139;
        bool r8853 = r8851 <= r8852;
        float r8854 = fabs(r8851);
        float r8855 = 1.709227630184866e-212;
        bool r8856 = r8851 <= r8855;
        float r8857 = r8849 / r8846;
        float r8858 = r8843 * r8857;
        float r8859 = r8847 - r8858;
        float r8860 = fabs(r8859);
        float r8861 = r8856 ? r8860 : r8854;
        float r8862 = r8853 ? r8854 : r8861;
        return r8862;
}

double f_od(double x, double y, double z) {
        double r8863 = x;
        double r8864 = 4;
        double r8865 = r8863 + r8864;
        double r8866 = y;
        double r8867 = r8865 / r8866;
        double r8868 = r8863 / r8866;
        double r8869 = z;
        double r8870 = r8868 * r8869;
        double r8871 = r8867 - r8870;
        double r8872 = -8.265162206453387e+139;
        bool r8873 = r8871 <= r8872;
        double r8874 = fabs(r8871);
        double r8875 = 1.709227630184866e-212;
        bool r8876 = r8871 <= r8875;
        double r8877 = r8869 / r8866;
        double r8878 = r8863 * r8877;
        double r8879 = r8867 - r8878;
        double r8880 = fabs(r8879);
        double r8881 = r8876 ? r8880 : r8874;
        double r8882 = r8873 ? r8874 : r8881;
        return r8882;
}

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 r8883, r8884, r8885, r8886, r8887, r8888, r8889, r8890, r8891, r8892;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init(r8883);
        mpfr_init_set_str(r8884, "4", 10, MPFR_RNDN);
        mpfr_init(r8885);
        mpfr_init(r8886);
        mpfr_init(r8887);
        mpfr_init(r8888);
        mpfr_init(r8889);
        mpfr_init(r8890);
        mpfr_init(r8891);
        mpfr_init(r8892);
}

double f_im(double x, double y, double z) {
        mpfr_set_d(r8883, x, MPFR_RNDN);
        ;
        mpfr_add(r8885, r8883, r8884, MPFR_RNDN);
        mpfr_set_d(r8886, y, MPFR_RNDN);
        mpfr_div(r8887, r8885, r8886, MPFR_RNDN);
        mpfr_div(r8888, r8883, r8886, MPFR_RNDN);
        mpfr_set_d(r8889, z, MPFR_RNDN);
        mpfr_mul(r8890, r8888, r8889, MPFR_RNDN);
        mpfr_sub(r8891, r8887, r8890, MPFR_RNDN);
        mpfr_abs(r8892, r8891, MPFR_RNDN);
        return mpfr_get_d(r8892, MPFR_RNDN);
}

static mpfr_t r8893, r8894, r8895, r8896, r8897, r8898, r8899, r8900, r8901, r8902, r8903, r8904, r8905, r8906, r8907, r8908, r8909, r8910, r8911, r8912;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init(r8893);
        mpfr_init_set_str(r8894, "4", 10, MPFR_RNDN);
        mpfr_init(r8895);
        mpfr_init(r8896);
        mpfr_init(r8897);
        mpfr_init(r8898);
        mpfr_init(r8899);
        mpfr_init(r8900);
        mpfr_init(r8901);
        mpfr_init_set_str(r8902, "-8.265162206453387e+139", 10, MPFR_RNDN);
        mpfr_init(r8903);
        mpfr_init(r8904);
        mpfr_init_set_str(r8905, "1.709227630184866e-212", 10, MPFR_RNDN);
        mpfr_init(r8906);
        mpfr_init(r8907);
        mpfr_init(r8908);
        mpfr_init(r8909);
        mpfr_init(r8910);
        mpfr_init(r8911);
        mpfr_init(r8912);
}

double f_fm(double x, double y, double z) {
        mpfr_set_d(r8893, x, MPFR_RNDN);
        ;
        mpfr_add(r8895, r8893, r8894, MPFR_RNDN);
        mpfr_set_d(r8896, y, MPFR_RNDN);
        mpfr_div(r8897, r8895, r8896, MPFR_RNDN);
        mpfr_div(r8898, r8893, r8896, MPFR_RNDN);
        mpfr_set_d(r8899, z, MPFR_RNDN);
        mpfr_mul(r8900, r8898, r8899, MPFR_RNDN);
        mpfr_sub(r8901, r8897, r8900, MPFR_RNDN);
        ;
        mpfr_set_si(r8903, mpfr_cmp(r8901, r8902) <= 0, MPFR_RNDN);
        mpfr_abs(r8904, r8901, MPFR_RNDN);
        ;
        mpfr_set_si(r8906, mpfr_cmp(r8901, r8905) <= 0, MPFR_RNDN);
        mpfr_div(r8907, r8899, r8896, MPFR_RNDN);
        mpfr_mul(r8908, r8893, r8907, MPFR_RNDN);
        mpfr_sub(r8909, r8897, r8908, MPFR_RNDN);
        mpfr_abs(r8910, r8909, MPFR_RNDN);
        if (mpfr_get_si(r8906, MPFR_RNDN)) { mpfr_set(r8911, r8910, MPFR_RNDN); } else { mpfr_set(r8911, r8904, MPFR_RNDN); };
        if (mpfr_get_si(r8903, MPFR_RNDN)) { mpfr_set(r8912, r8904, MPFR_RNDN); } else { mpfr_set(r8912, r8911, MPFR_RNDN); };
        return mpfr_get_d(r8912, MPFR_RNDN);
}

static mpfr_t r8913, r8914, r8915, r8916, r8917, r8918, r8919, r8920, r8921, r8922, r8923, r8924, r8925, r8926, r8927, r8928, r8929, r8930, r8931, r8932;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init(r8913);
        mpfr_init_set_str(r8914, "4", 10, MPFR_RNDN);
        mpfr_init(r8915);
        mpfr_init(r8916);
        mpfr_init(r8917);
        mpfr_init(r8918);
        mpfr_init(r8919);
        mpfr_init(r8920);
        mpfr_init(r8921);
        mpfr_init_set_str(r8922, "-8.265162206453387e+139", 10, MPFR_RNDN);
        mpfr_init(r8923);
        mpfr_init(r8924);
        mpfr_init_set_str(r8925, "1.709227630184866e-212", 10, MPFR_RNDN);
        mpfr_init(r8926);
        mpfr_init(r8927);
        mpfr_init(r8928);
        mpfr_init(r8929);
        mpfr_init(r8930);
        mpfr_init(r8931);
        mpfr_init(r8932);
}

double f_dm(double x, double y, double z) {
        mpfr_set_d(r8913, x, MPFR_RNDN);
        ;
        mpfr_add(r8915, r8913, r8914, MPFR_RNDN);
        mpfr_set_d(r8916, y, MPFR_RNDN);
        mpfr_div(r8917, r8915, r8916, MPFR_RNDN);
        mpfr_div(r8918, r8913, r8916, MPFR_RNDN);
        mpfr_set_d(r8919, z, MPFR_RNDN);
        mpfr_mul(r8920, r8918, r8919, MPFR_RNDN);
        mpfr_sub(r8921, r8917, r8920, MPFR_RNDN);
        ;
        mpfr_set_si(r8923, mpfr_cmp(r8921, r8922) <= 0, MPFR_RNDN);
        mpfr_abs(r8924, r8921, MPFR_RNDN);
        ;
        mpfr_set_si(r8926, mpfr_cmp(r8921, r8925) <= 0, MPFR_RNDN);
        mpfr_div(r8927, r8919, r8916, MPFR_RNDN);
        mpfr_mul(r8928, r8913, r8927, MPFR_RNDN);
        mpfr_sub(r8929, r8917, r8928, MPFR_RNDN);
        mpfr_abs(r8930, r8929, MPFR_RNDN);
        if (mpfr_get_si(r8926, MPFR_RNDN)) { mpfr_set(r8931, r8930, MPFR_RNDN); } else { mpfr_set(r8931, r8924, MPFR_RNDN); };
        if (mpfr_get_si(r8923, MPFR_RNDN)) { mpfr_set(r8932, r8924, MPFR_RNDN); } else { mpfr_set(r8932, r8931, MPFR_RNDN); };
        return mpfr_get_d(r8932, MPFR_RNDN);
}