Average Error: 0.1 → 0.1
Time: 51.7s
Precision: 64
Internal precision: 128
\[\left(\left(x \cdot y + \frac{z \cdot t}{16.0}\right) - \frac{a \cdot b}{4.0}\right) + c\]
⬇
\[\left(\left(x \cdot y + \frac{z \cdot t}{16.0}\right) - \frac{a \cdot b}{4.0}\right) + c\]

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

Bits error versus c

Target

Original0.1
Comparison0.1
Herbie0.1
\[ \left(\left(x \cdot y + \frac{z \cdot t}{16.0}\right) - \frac{a \cdot b}{4.0}\right) + c \]

Derivation

  1. Initial program 0.1

    \[\left(\left(x \cdot y + \frac{z \cdot t}{16.0}\right) - \frac{a \cdot b}{4.0}\right) + c\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 51.7s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(1541823135 904893919 2447833004 365897438 2462075787 419579217)'
(FPCore (x y z t a b c)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, C"

  :target
  (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)

  (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))