Average Error: 53.6 → 39.0
Time: 9.0s
Precision: 64
Internal Precision: 128
\[x \cdot \frac{\frac{y}{z} \cdot t}{t}\]
↓
\[x \cdot 0\]

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 53.6

    \[x \cdot \frac{\frac{y}{z} \cdot t}{t}\]
  2. Using strategy rm

  3. Applied add-log-exp46.0

    \[\leadsto x \cdot \frac{\color{blue}{\log \left(e^{\frac{y}{z} \cdot t}\right)}}{t}\]

  4. Taylor expanded around inf 39.0

    \[\leadsto x \cdot \color{blue}{0}\]

  5. Final simplification39.0

    \[\leadsto x \cdot 0\]

Runtime

Time bar (total: 9.0s)Debug logProfile

herbie shell --seed 2018255 +o rules:numerics
(FPCore (x y z t)
  :name "Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1"
  (* x (/ (* (/ y z) t) t)))