Error

The X axis uses an exponential scale — Bits error versus `x`

Target

Original	10.2
Comparison	0.5
Herbie	1.3

\[ \begin{array}{l} \mathbf{if}\;t \lt -1.0682974490174067 \cdot 10^{-39}:\\ \;\;\;\;x + \frac{y - z}{a - z} \cdot t\\ \mathbf{if}\;t \lt 3.9110949887586375 \cdot 10^{-141}:\\ \;\;\;\;x + \frac{\left(y - z\right) \cdot t}{a - z}\\ \mathbf{else}:\\ \;\;\;\;x + \frac{y - z}{a - z} \cdot t\\ \end{array} \]

Derivation

Initial program 10.2
\[x + \frac{\left(y - z\right) \cdot t}{a - z}\]
Applied taylor 10.3
\[\leadsto x + \frac{t \cdot y - t \cdot z}{a - z}\]
Taylor expanded around inf 10.3

\[\leadsto x + \frac{\color{blue}{t \cdot y - t \cdot z}}{a - z}\]
Applied simplify 2.9
\[\leadsto \color{blue}{\frac{t}{a - z} \cdot \left(y - z\right) + x}\]
Using strategy rm
Applied div-inv 3.0
\[\leadsto \color{blue}{\left(t \cdot \frac{1}{a - z}\right)} \cdot \left(y - z\right) + x\]
Applied associate-*l* 1.3
\[\leadsto \color{blue}{t \cdot \left(\frac{1}{a - z} \cdot \left(y - z\right)\right)} + x\]
Applied simplify 1.2
\[\leadsto t \cdot \color{blue}{\frac{y - z}{a - z}} + x\]
Using strategy rm
Applied div-inv 1.3
\[\leadsto t \cdot \color{blue}{\left(\left(y - z\right) \cdot \frac{1}{a - z}\right)} + x\]
Removed slow pow expressions

Runtime

Please include this information when filing a bug report:

herbie --seed '#(4016366668 4185605309 2846351281 3270746194 1928228605 2862849845)'
(FPCore (x y z t a)
  :name "Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisTick from plot-0.2.3.4, A"

  :target
  (if (< t -1.0682974490174067e-39) (+ x (* (/ (- y z) (- a z)) t)) (if (< t 3.9110949887586375e-141) (+ x (/ (* (- y z) t) (- a z))) (+ x (* (/ (- y z) (- a z)) t))))

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