Numeric.SpecFunctions:incompleteGamma from math-functions-0.1.5.2, B

Average Error: 0.4 → 0.4

Time: 3.4s

Precision: binary64

Math

\[\]

↓

\[\]

Error

Bits error versus x

Bits error versus y

Target

Original	0.4
Target	0.4
Herbie	0.4

\[\]

Derivation

1. Initial program 0.4

   \[\]

2. Simplified 0.4

   \[\leadsto \]
3. Using strategy rm

4. Applied distribute-lft-in 0.4

   \[\leadsto \]

5. Applied distribute-lft-in 0.4

   \[\leadsto \]
6. Using strategy rm

7. Applied sub-neg 0.4

   \[\leadsto \]

8. Applied distribute-lft-in 0.4

   \[\leadsto \]

9. Simplified 0.4

   \[\leadsto \]

10. Simplified 0.4

    \[\leadsto \]
11. Using strategy rm

12. Applied associate-/r* 0.4

    \[\leadsto \]
13. Using strategy rm

14. Applied pow1 0.4

    \[\leadsto \]

15. Applied pow1 0.4

    \[\leadsto \]

16. Applied pow-prod-down 0.4

    \[\leadsto \]

17. Applied pow1 0.4

    \[\leadsto \]

18. Applied pow-prod-down 0.4

    \[\leadsto \]

19. Simplified 0.4

    \[\leadsto \]

20. Final simplification 0.4

    \[\leadsto \]

Reproduce

herbie shell --seed 2020179 
(FPCore (x y)
  :name "Numeric.SpecFunctions:incompleteGamma from math-functions-0.1.5.2, B"
  :precision binary64

  :herbie-target
  (* 3.0 (+ (* y (sqrt x)) (* (- (/ 1.0 (* x 9.0)) 1.0) (sqrt x))))

  (* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0)))