Error

Derivation

1. Initial program 0.5

   \[\frac{1 - 5 \cdot \left(v \cdot v\right)}{\left(\left(\pi \cdot t\right) \cdot \sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}\right) \cdot \left(1 - v \cdot v\right)}\]
2. Using strategy rm

3. Applied associate-*l*0.5

   \[\leadsto \frac{1 - 5 \cdot \left(v \cdot v\right)}{\color{blue}{\left(\pi \cdot \left(t \cdot \sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}\right)\right)} \cdot \left(1 - v \cdot v\right)}\]
4. Using strategy rm

5. Applied add-cube-cbrt0.5

   \[\leadsto \frac{1 - 5 \cdot \left(v \cdot v\right)}{\left(\pi \cdot \left(t \cdot \color{blue}{\left(\left(\sqrt[3]{\sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}} \cdot \sqrt[3]{\sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}}\right) \cdot \sqrt[3]{\sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}}\right)}\right)\right) \cdot \left(1 - v \cdot v\right)}\]

6. Applied associate-*r*0.5

   \[\leadsto \frac{1 - 5 \cdot \left(v \cdot v\right)}{\left(\pi \cdot \color{blue}{\left(\left(t \cdot \left(\sqrt[3]{\sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}} \cdot \sqrt[3]{\sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}}\right)\right) \cdot \sqrt[3]{\sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}}\right)}\right) \cdot \left(1 - v \cdot v\right)}\]
7. Using strategy rm

8. Applied div-sub0.5

   \[\leadsto \color{blue}{\frac{1}{\left(\pi \cdot \left(\left(t \cdot \left(\sqrt[3]{\sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}} \cdot \sqrt[3]{\sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}}\right)\right) \cdot \sqrt[3]{\sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}}\right)\right) \cdot \left(1 - v \cdot v\right)} - \frac{5 \cdot \left(v \cdot v\right)}{\left(\pi \cdot \left(\left(t \cdot \left(\sqrt[3]{\sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}} \cdot \sqrt[3]{\sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}}\right)\right) \cdot \sqrt[3]{\sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}}\right)\right) \cdot \left(1 - v \cdot v\right)}}\]

9. Applied simplify0.3

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

Runtime

Time bar (total: 2.5m)Debug logProfile

herbie shell --seed '#(1064173506 2580572819 2847706409 4129882574 1125180799 1845288547)' +o rules:numerics
(FPCore (v t)
  :name "Falkner and Boettcher, Equation (20:1,3)"
  (/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))))