\[x + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(a - x\right)\]

↓

\[x + \left(\frac{1}{\sqrt[3]{\left(t + 1.0\right) - z} \cdot \sqrt[3]{\left(t + 1.0\right) - z}} \cdot \frac{y - z}{\sqrt[3]{\left(t + 1.0\right) - z}}\right) \cdot \left(a - x\right)\]

Error

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

Derivation

Initial program 9.6
\[x + \frac{y - z}{\left(t + 1.0\right) - z} \cdot \left(a - x\right)\]
Using strategy rm
Applied add-cube-cbrt10.0
\[\leadsto x + \frac{y - z}{\color{blue}{\left(\sqrt[3]{\left(t + 1.0\right) - z} \cdot \sqrt[3]{\left(t + 1.0\right) - z}\right) \cdot \sqrt[3]{\left(t + 1.0\right) - z}}} \cdot \left(a - x\right)\]
Applied *-un-lft-identity10.0
\[\leadsto x + \frac{\color{blue}{1 \cdot \left(y - z\right)}}{\left(\sqrt[3]{\left(t + 1.0\right) - z} \cdot \sqrt[3]{\left(t + 1.0\right) - z}\right) \cdot \sqrt[3]{\left(t + 1.0\right) - z}} \cdot \left(a - x\right)\]
Applied times-frac10.0
\[\leadsto x + \color{blue}{\left(\frac{1}{\sqrt[3]{\left(t + 1.0\right) - z} \cdot \sqrt[3]{\left(t + 1.0\right) - z}} \cdot \frac{y - z}{\sqrt[3]{\left(t + 1.0\right) - z}}\right)} \cdot \left(a - x\right)\]
Removed slow pow expressions.

Runtime

herbie shell --seed '#(1567391828 2030694642 2833800258 828025724 3004380912 3532991858)' +o setup:early-exit
(FPCore (x y z t a)
  :name "Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3"
  (+ x (* (/ (- y z) (- (+ t 1.0) z)) (- a x))))