?

Average Accuracy: 99.9% → 99.9%
Time: 20.8s
Precision: binary64

?

\[\left(x + \cos y\right) - z \cdot \sin y \]
↓
\[\cos y - \mathsf{fma}\left(\sin y, z, -x\right) \]
(FPCore (x y z) :precision binary64 (- (+ x (cos y)) (* z (sin y))))
↓
(FPCore (x y z) :precision binary64 (- (cos y) (fma (sin y) z (- x))))
double code(double x, double y, double z) {
	return (x + cos(y)) - (z * sin(y));
}
↓
double code(double x, double y, double z) {
	return cos(y) - fma(sin(y), z, -x);
}

function code(x, y, z)
	return Float64(Float64(x + cos(y)) - Float64(z * sin(y)))
end
↓
function code(x, y, z)
	return Float64(cos(y) - fma(sin(y), z, Float64(-x)))
end

code[x_, y_, z_] := N[(N[(x + N[Cos[y], $MachinePrecision]), $MachinePrecision] - N[(z * N[Sin[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
↓
code[x_, y_, z_] := N[(N[Cos[y], $MachinePrecision] - N[(N[Sin[y], $MachinePrecision] * z + (-x)), $MachinePrecision]), $MachinePrecision]

\left(x + \cos y\right) - z \cdot \sin y
↓
\cos y - \mathsf{fma}\left(\sin y, z, -x\right)

Error?

Derivation?

  1. Initial program 99.9%

    \[\left(x + \cos y\right) - z \cdot \sin y \]

  2. Simplified99.9%

    \[\leadsto \color{blue}{\cos y - \mathsf{fma}\left(\sin y, z, -x\right)} \]
    Proof

Reproduce?

herbie shell --seed 2023151 
(FPCore (x y z)
  :name "Graphics.Rasterific.Svg.PathConverter:segmentToBezier from rasterific-svg-0.2.3.1, B"
  :precision binary64
  (- (+ x (cos y)) (* z (sin y))))