Average Error: 0.0 → 0.0
Time: 7.5s
Precision: 64
Internal precision: 384
\[\frac{t}{t + 1}\]
⬇
\[\frac{t}{1 + {t}^3} \cdot \left({t}^2 + \left({1}^2 - t \cdot 1\right)\right)\]

Error

Bits error versus t

Derivation

  1. Initial program 0.0

    \[\frac{t}{t + 1}\]
  2. Using strategy rm

  3. Applied flip3-+ 0.0

    \[\leadsto \frac{t}{\color{blue}{\frac{{t}^{3} + {1}^{3}}{{t}^2 + \left({1}^2 - t \cdot 1\right)}}}\]

  4. Applied associate-/r/ 0.0

    \[\leadsto \color{blue}{\frac{t}{{t}^{3} + {1}^{3}} \cdot \left({t}^2 + \left({1}^2 - t \cdot 1\right)\right)}\]

  5. Applied simplify 0.0

    \[\leadsto \color{blue}{\frac{t}{1 + {t}^3}} \cdot \left({t}^2 + \left({1}^2 - t \cdot 1\right)\right)\]
  6. Removed slow pow expressions

Runtime

Time bar (total: 7.5s) Debug log

Please include this information when filing a bug report:

herbie shell --seed '#(3052192724 3812927732 3686175817 630908657 2373248591 511094450)'
(FPCore (t)
  :name "intro-example"
  :pre (<= 0 t 999)
  (/ t (+ t 1)))