From Warwick Tucker's Validated Numerics

Average Error: 58.1 → 58.1

Time: 4.1s

Precision: binary64

Math

\[\]

↓

\[\]

Derivation

1. Initial program 58.1

   \[\]
2. Using strategy rm

3. Applied associate-+l+ 58.1

   \[\leadsto \]

4. Simplified 58.1

   \[\leadsto \]
5. Using strategy rm

6. Applied add-cube-cbrt 58.1

   \[\leadsto \]

7. Simplified 58.1

   \[\leadsto \]

8. Simplified 58.1

   \[\leadsto \]

9. Final simplification 58.1

   \[\leadsto \]

Reproduce

herbie shell --seed 2020192 
(FPCore ()
  :name "From Warwick Tucker's Validated Numerics"
  :precision binary64
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))))