Average Error: 0.3 → 0.3
Time: 45.6s
Precision: 64
Internal precision: 128
\[\left(\left(x \cdot 0.5 - y\right) \cdot \sqrt{z \cdot 2.0}\right) \cdot e^{\frac{t \cdot t}{2.0}}\]
⬇
\[\left(\left(x \cdot 0.5 - y\right) \cdot \sqrt{z \cdot 2.0}\right) \cdot e^{\frac{t \cdot t}{2.0}}\]

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Target

Original0.3
Comparison0.3
Herbie0.3
\[ \left(\left(x \cdot 0.5 - y\right) \cdot \sqrt{z \cdot 2.0}\right) \cdot {\left(e^{1}\right)}^{\left(\frac{t \cdot t}{2.0}\right)} \]

Derivation

  1. Initial program 0.3

    \[\left(\left(x \cdot 0.5 - y\right) \cdot \sqrt{z \cdot 2.0}\right) \cdot e^{\frac{t \cdot t}{2.0}}\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 45.6s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(1194104840 3756132038 502135153 2358903182 1045908874 1006146288)'
(FPCore (x y z t)
  :name "Data.Number.Erf:$cinvnormcdf from erf-2.0.0.0, A"

  :target
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp 1) (/ (* t t) 2.0)))

  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))