Graphics.Rasterific.CubicBezier:cachedBezierAt from Rasterific-0.6.1

Average Error: 2.1 → 0.3

Time: 6.0s

Precision: binary64

Math

\[\left(\left(x + y \cdot z\right) + t \cdot a\right) + \left(a \cdot z\right) \cdot b \]

↓

\[\begin{array}{l} t_1 := \left(z \cdot a\right) \cdot b\\ \mathbf{if}\;\begin{array}{l} t_2 := \left(\left(x + y \cdot z\right) + t \cdot a\right) + t_1\\ t_2 \leq -\infty \lor \neg \left(t_2 \leq 6.9118361704355144 \cdot 10^{+305}\right) \end{array}:\\ \;\;\;\;\mathsf{fma}\left(y, z, \mathsf{fma}\left(a, \mathsf{fma}\left(z, b, t\right), x\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1 + \mathsf{fma}\left(z, y, \mathsf{fma}\left(a, t, x\right)\right)\\ \end{array} \]

FPCore

(FPCore (x y z t a b)
 :precision binary64
 (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))

↓

(FPCore (x y z t a b)
 :precision binary64
 (let* ((t_1 (* (* z a) b)))
   (if (let* ((t_2 (+ (+ (+ x (* y z)) (* t a)) t_1)))
         (or (<= t_2 (- INFINITY)) (not (<= t_2 6.9118361704355144e+305))))
     (fma y z (fma a (fma z b t) x))
     (+ t_1 (fma z y (fma a t x))))))

C

double code(double x, double y, double z, double t, double a, double b) {
	return ((x + (y * z)) + (t * a)) + ((a * z) * b);
}

↓

double code(double x, double y, double z, double t, double a, double b) {
	double t_1 = (z * a) * b;
	double t_2 = ((x + (y * z)) + (t * a)) + t_1;
	double tmp;
	if ((t_2 <= -((double) INFINITY)) || !(t_2 <= 6.9118361704355144e+305)) {
		tmp = fma(y, z, fma(a, fma(z, b, t), x));
	} else {
		tmp = t_1 + fma(z, y, fma(a, t, x));
	}
	return tmp;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Bits error versus b

Target

Original	2.1
Target	0.3
Herbie	0.3

\[\begin{array}{l} \mathbf{if}\;z < -11820553527347888000:\\ \;\;\;\;z \cdot \left(b \cdot a + y\right) + \left(x + t \cdot a\right)\\ \mathbf{elif}\;z < 4.7589743188364287 \cdot 10^{-122}:\\ \;\;\;\;\left(b \cdot z + t\right) \cdot a + \left(z \cdot y + x\right)\\ \mathbf{else}:\\ \;\;\;\;z \cdot \left(b \cdot a + y\right) + \left(x + t \cdot a\right)\\ \end{array} \]

Derivation

1. Split input into 2 regimes

2. if (+.f64 (+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a)) (*.f64 (*.f64 a z) b)) < -inf.0 or 6.9118361704355144e305 < (+.f64 (+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a)) (*.f64 (*.f64 a z) b))

   1. Initial program 54.9

      \[\left(\left(x + y \cdot z\right) + t \cdot a\right) + \left(a \cdot z\right) \cdot b \]

   2. Simplified 0.3

      \[\leadsto \color{blue}{\mathsf{fma}\left(y, z, \mathsf{fma}\left(a, \mathsf{fma}\left(z, b, t\right), x\right)\right)} \]

   if -inf.0 < (+.f64 (+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a)) (*.f64 (*.f64 a z) b)) < 6.9118361704355144e305

   1. Initial program 0.3

      \[\left(\left(x + y \cdot z\right) + t \cdot a\right) + \left(a \cdot z\right) \cdot b \]

   2. Taylor expanded in x around 0 0.3

      \[\leadsto \color{blue}{\left(y \cdot z + \left(a \cdot t + x\right)\right)} + \left(a \cdot z\right) \cdot b \]

   3. Simplified 0.3

      \[\leadsto \color{blue}{\mathsf{fma}\left(z, y, \mathsf{fma}\left(a, t, x\right)\right)} + \left(a \cdot z\right) \cdot b \]
3. Recombined 2 regimes into one program.

4. Final simplification 0.3

   \[\leadsto \begin{array}{l} \mathbf{if}\;\left(\left(x + y \cdot z\right) + t \cdot a\right) + \left(z \cdot a\right) \cdot b \leq -\infty \lor \neg \left(\left(\left(x + y \cdot z\right) + t \cdot a\right) + \left(z \cdot a\right) \cdot b \leq 6.9118361704355144 \cdot 10^{+305}\right):\\ \;\;\;\;\mathsf{fma}\left(y, z, \mathsf{fma}\left(a, \mathsf{fma}\left(z, b, t\right), x\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(z \cdot a\right) \cdot b + \mathsf{fma}\left(z, y, \mathsf{fma}\left(a, t, x\right)\right)\\ \end{array} \]

Reproduce

herbie shell --seed 2022068 
(FPCore (x y z t a b)
  :name "Graphics.Rasterific.CubicBezier:cachedBezierAt from Rasterific-0.6.1"
  :precision binary64

  :herbie-target
  (if (< z -11820553527347888000.0) (+ (* z (+ (* b a) y)) (+ x (* t a))) (if (< z 4.7589743188364287e-122) (+ (* (+ (* b z) t) a) (+ (* z y) x)) (+ (* z (+ (* b a) y)) (+ x (* t a)))))

  (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))