Diagrams.TwoD.Apollonian:initialConfig from diagrams-contrib-1.3.0.5, B

Average Error: 24.1 → 0.8

Time: 3.6s

Precision: 64

Math

\[x \cdot \sqrt{y \cdot y - z \cdot z}\]

↓

\[\begin{array}{l} \mathbf{if}\;y \le -4.5717632367100802 \cdot 10^{-266}:\\ \;\;\;\;x \cdot \left(-1 \cdot y\right)\\ \mathbf{else}:\\ \;\;\;\;x \cdot y\\ \end{array}\]

C

double code(double x, double y, double z) {
	return (x * sqrt(((y * y) - (z * z))));
}

↓

double code(double x, double y, double z) {
	double VAR;
	if ((y <= -4.57176323671008e-266)) {
		VAR = (x * (-1.0 * y));
	} else {
		VAR = (x * y);
	}
	return VAR;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Target

Original	24.1
Target	0.6
Herbie	0.8

\[\begin{array}{l} \mathbf{if}\;y \lt 2.58160964882516951 \cdot 10^{-278}:\\ \;\;\;\;-x \cdot y\\ \mathbf{else}:\\ \;\;\;\;x \cdot \left(\sqrt{y + z} \cdot \sqrt{y - z}\right)\\ \end{array}\]

Derivation

1. Split input into 2 regimes

2. if y < -4.57176323671008e-266

   1. Initial program 23.9

      \[x \cdot \sqrt{y \cdot y - z \cdot z}\]

   2. Taylor expanded around -inf 0.7

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

   if -4.57176323671008e-266 < y

   1. Initial program 24.4

      \[x \cdot \sqrt{y \cdot y - z \cdot z}\]

   2. Taylor expanded around inf 0.9

      \[\leadsto x \cdot \color{blue}{y}\]
3. Recombined 2 regimes into one program.

4. Final simplification 0.8

   \[\leadsto \begin{array}{l} \mathbf{if}\;y \le -4.5717632367100802 \cdot 10^{-266}:\\ \;\;\;\;x \cdot \left(-1 \cdot y\right)\\ \mathbf{else}:\\ \;\;\;\;x \cdot y\\ \end{array}\]

Reproduce

herbie shell --seed 2020092 +o rules:numerics
(FPCore (x y z)
  :name "Diagrams.TwoD.Apollonian:initialConfig from diagrams-contrib-1.3.0.5, B"
  :precision binary64

  :herbie-target
  (if (< y 2.5816096488251695e-278) (- (* x y)) (* x (* (sqrt (+ y z)) (sqrt (- y z)))))

  (* x (sqrt (- (* y y) (* z z)))))