exp-w crasher

Average Error: 0.3 → 0.7

Time: 12.8s

Precision: binary64

• could not determine a ground truth for program body

  1. w = 1.234164455480111e+250
  2. l = -9.902831668551046e-201

Math

\[\]

↓

\[\]

Error

Bits error versus w

Bits error versus l

Derivation

1. Initial program 0.3

   \[\]
2. Using strategy rm

3. Applied add-sqr-sqrt 0.3

   \[\leadsto \]

4. Applied associate-*l* 0.3

   \[\leadsto \]

5. Simplified 0.3

   \[\leadsto \]
6. Using strategy rm

7. Applied add-sqr-sqrt 0.6

   \[\leadsto \]
8. Using strategy rm

9. Applied add-sqr-sqrt 0.7

   \[\leadsto \]

10. Applied pow-unpow 0.7

    \[\leadsto \]
11. Using strategy rm

12. Applied add-cube-cbrt 0.7

    \[\leadsto \]

13. Applied pow-unpow 0.7

    \[\leadsto \]

14. Final simplification 0.7

    \[\leadsto \]

Reproduce

herbie shell --seed 2020180 
(FPCore (w l)
  :name "exp-w crasher"
  :precision binary64
  (* (exp (neg w)) (pow l (exp w))))