Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, D

Average Error: 0.2 → 0.2

Time: 13.4s

Precision: 64

Math

\[\left(1 - \frac{1}{x \cdot 9}\right) - \frac{y}{3 \cdot \sqrt{x}}\]

↓

\[\left(1 - \frac{1}{9 \cdot x}\right) - \frac{\frac{1}{\sqrt[3]{3} \cdot \sqrt[3]{3}}}{\frac{\sqrt{x}}{\frac{y}{\sqrt[3]{3}}}}\]

C

double code(double x, double y) {
	return ((1.0 - (1.0 / (x * 9.0))) - (y / (3.0 * sqrt(x))));
}

↓

double code(double x, double y) {
	return ((1.0 - (1.0 / (9.0 * x))) - ((1.0 / (cbrt(3.0) * cbrt(3.0))) / (sqrt(x) / (y / cbrt(3.0)))));
}

Error

Bits error versus x

Bits error versus y

Target

Original	0.2
Target	0.2
Herbie	0.2

\[\left(1 - \frac{\frac{1}{x}}{9}\right) - \frac{y}{3 \cdot \sqrt{x}}\]

Derivation

1. Initial program 0.2

   \[\left(1 - \frac{1}{x \cdot 9}\right) - \frac{y}{3 \cdot \sqrt{x}}\]
2. Using strategy rm

3. Applied associate-/r* 0.2

   \[\leadsto \left(1 - \color{blue}{\frac{\frac{1}{x}}{9}}\right) - \frac{y}{3 \cdot \sqrt{x}}\]
4. Using strategy rm

5. Applied associate-/r* 0.2

   \[\leadsto \left(1 - \frac{\frac{1}{x}}{9}\right) - \color{blue}{\frac{\frac{y}{3}}{\sqrt{x}}}\]
6. Using strategy rm

7. Applied add-cube-cbrt 0.2

   \[\leadsto \left(1 - \frac{\frac{1}{x}}{9}\right) - \frac{\frac{y}{\color{blue}{\left(\sqrt[3]{3} \cdot \sqrt[3]{3}\right) \cdot \sqrt[3]{3}}}}{\sqrt{x}}\]

8. Applied *-un-lft-identity 0.2

   \[\leadsto \left(1 - \frac{\frac{1}{x}}{9}\right) - \frac{\frac{\color{blue}{1 \cdot y}}{\left(\sqrt[3]{3} \cdot \sqrt[3]{3}\right) \cdot \sqrt[3]{3}}}{\sqrt{x}}\]

9. Applied times-frac 0.3

   \[\leadsto \left(1 - \frac{\frac{1}{x}}{9}\right) - \frac{\color{blue}{\frac{1}{\sqrt[3]{3} \cdot \sqrt[3]{3}} \cdot \frac{y}{\sqrt[3]{3}}}}{\sqrt{x}}\]

10. Applied associate-/l* 0.3

    \[\leadsto \left(1 - \frac{\frac{1}{x}}{9}\right) - \color{blue}{\frac{\frac{1}{\sqrt[3]{3} \cdot \sqrt[3]{3}}}{\frac{\sqrt{x}}{\frac{y}{\sqrt[3]{3}}}}}\]
11. Using strategy rm

12. Applied associate-/l/ 0.2

    \[\leadsto \left(1 - \color{blue}{\frac{1}{9 \cdot x}}\right) - \frac{\frac{1}{\sqrt[3]{3} \cdot \sqrt[3]{3}}}{\frac{\sqrt{x}}{\frac{y}{\sqrt[3]{3}}}}\]

13. Final simplification 0.2

    \[\leadsto \left(1 - \frac{1}{9 \cdot x}\right) - \frac{\frac{1}{\sqrt[3]{3} \cdot \sqrt[3]{3}}}{\frac{\sqrt{x}}{\frac{y}{\sqrt[3]{3}}}}\]

Reproduce

herbie shell --seed 2020057 +o rules:numerics
(FPCore (x y)
  :name "Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, D"
  :precision binary64

  :herbie-target
  (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x))))

  (- (- 1 (/ 1 (* x 9))) (/ y (* 3 (sqrt x)))))