\[x \cdot \frac{\frac{y}{z} \cdot t}{t}\]

↓

\[\begin{array}{l} \mathbf{if}\;\frac{y}{z} \le -4.980605637667144 \cdot 10^{+298}:\\ \;\;\;\;\frac{x \cdot y}{z}\\ \mathbf{if}\;\frac{y}{z} \le -5.684175343326974 \cdot 10^{-245}:\\ \;\;\;\;x \cdot \frac{y}{z}\\ \mathbf{if}\;\frac{y}{z} \le 0.0:\\ \;\;\;\;\left(x \cdot y\right) \cdot \frac{1}{z}\\ \mathbf{if}\;\frac{y}{z} \le 1.103545316671457 \cdot 10^{+270}:\\ \;\;\;\;x \cdot \frac{y}{z}\\ \mathbf{else}:\\ \;\;\;\;\frac{x \cdot y}{z}\\ \end{array}\]

Derivation

Split input into 3 regimes
if (/ y z) < -4.980605637667144e+298 or 1.103545316671457e+270 < (/ y z)
1. Initial program 53.7
  \[x \cdot \frac{\frac{y}{z} \cdot t}{t}\]
2. Applied simplify47.7
  \[\leadsto \color{blue}{x \cdot \frac{y}{z}}\]
3. Using strategy rm
4. Applied associate-*r/0.2
  \[\leadsto \color{blue}{\frac{x \cdot y}{z}}\]
if -4.980605637667144e+298 < (/ y z) < -5.684175343326974e-245 or 0.0 < (/ y z) < 1.103545316671457e+270
1. Initial program 9.3
  \[x \cdot \frac{\frac{y}{z} \cdot t}{t}\]
2. Applied simplify0.3
  \[\leadsto \color{blue}{x \cdot \frac{y}{z}}\]
if -5.684175343326974e-245 < (/ y z) < 0.0
1. Initial program 18.2
  \[x \cdot \frac{\frac{y}{z} \cdot t}{t}\]
2. Applied simplify15.7
  \[\leadsto \color{blue}{x \cdot \frac{y}{z}}\]
3. Using strategy rm
4. Applied div-inv15.7
  \[\leadsto x \cdot \color{blue}{\left(y \cdot \frac{1}{z}\right)}\]
5. Applied associate-*r*0.2
  \[\leadsto \color{blue}{\left(x \cdot y\right) \cdot \frac{1}{z}}\]
Recombined 3 regimes into one program.

Runtime

herbie shell --seed '#(1070578969 3140398606 632207097 462683394 1189254563 964980650)' 
(FPCore (x y z t)
  :name "Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1"
  (* x (/ (* (/ y z) t) t)))

Error

Derivation

`if (/ y z) < -4.980605637667144e+298 or 1.103545316671457e+270 < (/ y z)`

`if -4.980605637667144e+298 < (/ y z) < -5.684175343326974e-245 or 0.0 < (/ y z) < 1.103545316671457e+270`

`if -5.684175343326974e-245 < (/ y z) < 0.0`

Runtime