Average Error: 0.5 → 0.1
Time: 1.0m
Precision: 64
Internal Precision: 2176
\[\frac{60.0 \cdot \left(x - y\right)}{z - t} + a \cdot 120.0\]
↓
\[\frac{60.0}{\frac{z - t}{x - y}} + a \cdot 120.0\]

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Target

Original0.5
Target0.1
Herbie0.1
\[\frac{60.0}{\frac{z - t}{x - y}} + a \cdot 120.0\]

Derivation

  1. Initial program 0.5

    \[\frac{60.0 \cdot \left(x - y\right)}{z - t} + a \cdot 120.0\]
  2. Using strategy rm

  3. Applied associate-/l*0.1

    \[\leadsto \color{blue}{\frac{60.0}{\frac{z - t}{x - y}}} + a \cdot 120.0\]
  4. Removed slow pow expressions.

Runtime

Time bar (total: 1.0m)Debug log

herbie shell --seed '#(1567391828 2030694642 2833800258 828025724 3004380912 3532991858)' +o setup:early-exit +o reduce:binary-search
(FPCore (x y z t a)
  :name "Data.Colour.RGB:hslsv from colour-2.3.3, B"

  :herbie-target
  (+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))

  (+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0)))