Average Error: 0.0 → 0.0
Time: 1.2m
Precision: 64
Internal precision: 128
\[\left(\left(x - \left(y - 1.0\right) \cdot z\right) - \left(t - 1.0\right) \cdot a\right) + \left(\left(y + t\right) - 2.0\right) \cdot b\]
⬇
\[\left(\left(x - \left(y - 1.0\right) \cdot z\right) - \left(t \cdot a - 1.0 \cdot a\right)\right) + \left(\left(y + t\right) - 2.0\right) \cdot b\]

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

Original0.0
Comparison0.0
Herbie0.0
\[ \left(\left(x - \left(y - 1.0\right) \cdot z\right) - \left(t - 1.0\right) \cdot a\right) + \left(\left(y + t\right) - 2.0\right) \cdot b \]

Derivation

  1. Initial program 0.0

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

  2. Applied taylor 0.0

    \[\leadsto \left(\left(x - \left(y - 1.0\right) \cdot z\right) - \left(t \cdot a - 1.0 \cdot a\right)\right) + \left(\left(y + t\right) - 2.0\right) \cdot b\]

  3. Taylor expanded around 0 0.0

    \[\leadsto \left(\left(x - \left(y - 1.0\right) \cdot z\right) - \color{blue}{\left(t \cdot a - 1.0 \cdot a\right)}\right) + \left(\left(y + t\right) - 2.0\right) \cdot b\]
  4. Removed slow pow expressions

Runtime

Time bar (total: 1.2m) Debug log

Please include this information when filing a bug report:

herbie --seed '#(1776001675 1108575052 2040881213 2648555898 2365551712 2635749634)'
(FPCore (x y z t a b)
  :name "Statistics.Distribution.Beta:$centropy from math-functions-0.1.5.2"

  :target
  (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

  (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))