\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644704999984242022037506103515625\right) \cdot y + 230661.5106160000141244381666183471679688\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.7644704999984242022037506103515625\right) + 230661.5106160000141244381666183471679688\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 r2954139 = x;
double r2954140 = y;
double r2954141 = r2954139 * r2954140;
double r2954142 = z;
double r2954143 = r2954141 + r2954142;
double r2954144 = r2954143 * r2954140;
double r2954145 = 27464.7644705;
double r2954146 = r2954144 + r2954145;
double r2954147 = r2954146 * r2954140;
double r2954148 = 230661.510616;
double r2954149 = r2954147 + r2954148;
double r2954150 = r2954149 * r2954140;
double r2954151 = t;
double r2954152 = r2954150 + r2954151;
double r2954153 = a;
double r2954154 = r2954140 + r2954153;
double r2954155 = r2954154 * r2954140;
double r2954156 = b;
double r2954157 = r2954155 + r2954156;
double r2954158 = r2954157 * r2954140;
double r2954159 = c;
double r2954160 = r2954158 + r2954159;
double r2954161 = r2954160 * r2954140;
double r2954162 = i;
double r2954163 = r2954161 + r2954162;
double r2954164 = r2954152 / r2954163;
return r2954164;
}
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
double r2954165 = t;
double r2954166 = y;
double r2954167 = z;
double r2954168 = x;
double r2954169 = r2954168 * r2954166;
double r2954170 = r2954167 + r2954169;
double r2954171 = r2954166 * r2954170;
double r2954172 = 27464.7644705;
double r2954173 = r2954171 + r2954172;
double r2954174 = r2954166 * r2954173;
double r2954175 = 230661.510616;
double r2954176 = r2954174 + r2954175;
double r2954177 = r2954176 * r2954166;
double r2954178 = r2954165 + r2954177;
double r2954179 = i;
double r2954180 = c;
double r2954181 = b;
double r2954182 = a;
double r2954183 = r2954166 + r2954182;
double r2954184 = r2954183 * r2954166;
double r2954185 = r2954181 + r2954184;
double r2954186 = r2954166 * r2954185;
double r2954187 = r2954180 + r2954186;
double r2954188 = r2954187 * r2954166;
double r2954189 = r2954179 + r2954188;
double r2954190 = r2954178 / r2954189;
return r2954190;
}



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 29.1
Final simplification29.1
herbie shell --seed 2019179
(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)))