Average Error: 0 → 0
Time: 614.0ms
Precision: binary64
\[\]
\[\]
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))))))))));
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Target

    Original0
    Target0
    Herbie0
    \[\]

    Derivation

    1. Initial program 0

      \[\]
    2. Final simplification0

      \[\leadsto \]

    Reproduce

    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))))