Error

Derivation

1. Initial program 0.6

   \[\left(6 \cdot v - \frac{\left(0.5 \cdot v\right) \cdot \left(\left(\left(w \cdot w\right) \cdot r\right) \cdot r\right)}{1 - v}\right) - 2.5\]
2. Using strategy rm

3. Applied *-un-lft-identity0.6

   \[\leadsto \left(6 \cdot v - \frac{\left(0.5 \cdot v\right) \cdot \left(\left(\left(w \cdot w\right) \cdot r\right) \cdot r\right)}{\color{blue}{1 \cdot \left(1 - v\right)}}\right) - 2.5\]

4. Applied times-frac0.6

   \[\leadsto \left(6 \cdot v - \color{blue}{\frac{0.5 \cdot v}{1} \cdot \frac{\left(\left(w \cdot w\right) \cdot r\right) \cdot r}{1 - v}}\right) - 2.5\]
5. Using strategy rm

6. Applied add-log-exp0.6

   \[\leadsto \color{blue}{\log \left(e^{6 \cdot v - \frac{0.5 \cdot v}{1} \cdot \frac{\left(\left(w \cdot w\right) \cdot r\right) \cdot r}{1 - v}}\right)} - 2.5\]

7. Applied simplify0.6

   \[\leadsto \log \color{blue}{\left({\left(e^{v}\right)}^{\left(6 - \frac{\frac{0.5}{1} \cdot \left(w \cdot w\right)}{\frac{1 - v}{r \cdot r}}\right)}\right)} - 2.5\]
8. Using strategy rm

9. Applied pow-sub0.6

   \[\leadsto \log \color{blue}{\left(\frac{{\left(e^{v}\right)}^{6}}{{\left(e^{v}\right)}^{\left(\frac{\frac{0.5}{1} \cdot \left(w \cdot w\right)}{\frac{1 - v}{r \cdot r}}\right)}}\right)} - 2.5\]

10. Applied simplify0.6

    \[\leadsto \log \left(\frac{{\left(e^{v}\right)}^{6}}{\color{blue}{{\left(e^{v}\right)}^{\left(\frac{\left(0.5 \cdot w\right) \cdot w}{\frac{1 - v}{r \cdot r}}\right)}}}\right) - 2.5\]

Runtime

Time bar (total: 1.5m)Debug log

herbie shell --seed '#(1743936871 1855164119 3668777427 1254258049 132811564 1366975197)' 
(FPCore (v w r)
  :name "turbine2"
  :pre (and (<= -4.5 v -0.3) (<= 0.4 w 0.9) (<= 3.8 r 7.8))
  (- (- (* 6 v) (/ (* (* 0.5 v) (* (* (* w w) r) r)) (- 1 v))) 2.5))