Average Error: 0.1 → 0.1
Time: 23.1s
Precision: 64
Internal precision: 128
\[\left(x + \sin y\right) + z \cdot \cos y\]
⬇
\[\left(x + \sin y\right) + z \cdot \cos y\]

Error

Bits error versus x

Bits error versus y

Bits error versus z

Target

Original0.1
Comparison0.1
Herbie0.1
\[ \left(x + \sin y\right) + z \cdot \cos y \]

Derivation

  1. Initial program 0.1

    \[\left(x + \sin y\right) + z \cdot \cos y\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 23.1s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(278590339 861952329 772440492 3229780968 4106189484 2689143728)'
(FPCore (x y z)
  :name "Graphics.Rasterific.Svg.PathConverter:segmentToBezier from rasterific-svg-0.2.3.1, C"

  :target
  (+ (+ x (sin y)) (* z (cos y)))

  (+ (+ x (sin y)) (* z (cos y))))