double code() {
return ((double) (2.0 * ((double) (((double) (((double) (1.0 * ((double) (1.0 / 9.0)))) + ((double) (((double) (1.0 / 9.0)) * ((double) (1.0 / 9.0)))))) + ((double) (((double) (1.0 / 9.0)) * 1.0))))));
}
double code() {
return ((double) (2.0 * ((double) (((double) (1.0 * ((double) (1.0 / 9.0)))) + ((double) (((double) (1.0 * ((double) (1.0 / 9.0)))) + ((double) (((double) (1.0 / 9.0)) * ((double) (1.0 / 9.0))))))))));
}
Results
| Original | 0 |
|---|---|
| Target | 0 |
| Herbie | 0 |
Initial program 0
Final simplification0
herbie shell --seed 2020192
(FPCore ()
:name "Rectangular parallelepiped of dimension a×b×c"
:precision binary64
:herbie-target
(+ (+ (* (* (/ 1.0 9.0) 1.0) 2.0) (* 2.0 (* (/ 1.0 9.0) (/ 1.0 9.0)))) (* 2.0 (* 1.0 (/ 1.0 9.0))))
(* 2.0 (+ (+ (* 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) (/ 1.0 9.0))) (* (/ 1.0 9.0) 1.0))))