\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644705\right) \cdot y + 230661.510616\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\frac{t + \left(y \cdot \left(y \cdot \left(z + x \cdot y\right) + 27464.7644705\right) + 230661.510616\right) \cdot y}{i + \left(c + y \cdot \left(b + \left(y + a\right) \cdot y\right)\right) \cdot y}double f(double x, double y, double z, double t, double a, double b, double c, double i) {
double r2155733 = x;
double r2155734 = y;
double r2155735 = r2155733 * r2155734;
double r2155736 = z;
double r2155737 = r2155735 + r2155736;
double r2155738 = r2155737 * r2155734;
double r2155739 = 27464.7644705;
double r2155740 = r2155738 + r2155739;
double r2155741 = r2155740 * r2155734;
double r2155742 = 230661.510616;
double r2155743 = r2155741 + r2155742;
double r2155744 = r2155743 * r2155734;
double r2155745 = t;
double r2155746 = r2155744 + r2155745;
double r2155747 = a;
double r2155748 = r2155734 + r2155747;
double r2155749 = r2155748 * r2155734;
double r2155750 = b;
double r2155751 = r2155749 + r2155750;
double r2155752 = r2155751 * r2155734;
double r2155753 = c;
double r2155754 = r2155752 + r2155753;
double r2155755 = r2155754 * r2155734;
double r2155756 = i;
double r2155757 = r2155755 + r2155756;
double r2155758 = r2155746 / r2155757;
return r2155758;
}
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
double r2155759 = t;
double r2155760 = y;
double r2155761 = z;
double r2155762 = x;
double r2155763 = r2155762 * r2155760;
double r2155764 = r2155761 + r2155763;
double r2155765 = r2155760 * r2155764;
double r2155766 = 27464.7644705;
double r2155767 = r2155765 + r2155766;
double r2155768 = r2155760 * r2155767;
double r2155769 = 230661.510616;
double r2155770 = r2155768 + r2155769;
double r2155771 = r2155770 * r2155760;
double r2155772 = r2155759 + r2155771;
double r2155773 = i;
double r2155774 = c;
double r2155775 = b;
double r2155776 = a;
double r2155777 = r2155760 + r2155776;
double r2155778 = r2155777 * r2155760;
double r2155779 = r2155775 + r2155778;
double r2155780 = r2155760 * r2155779;
double r2155781 = r2155774 + r2155780;
double r2155782 = r2155781 * r2155760;
double r2155783 = r2155773 + r2155782;
double r2155784 = r2155772 / r2155783;
return r2155784;
}



Bits error versus x



Bits error versus y



Bits error versus z



Bits error versus t



Bits error versus a



Bits error versus b



Bits error versus c



Bits error versus i
Results
Initial program 28.4
Final simplification28.4
herbie shell --seed 2019138
(FPCore (x y z t a b c i)
:name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2"
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))