Average Error: 0.4 → 0.1
Time: 8.1s
Precision: 64
\[\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)}\]
↓
\[\left(\frac{\frac{\frac{1 - 5 \cdot \left(v \cdot v\right)}{\pi}}{\sqrt{2 \cdot \left({1}^{3} - {\left(3 \cdot \left(v \cdot v\right)\right)}^{3}\right)}}}{t \cdot \mathsf{fma}\left({1}^{3}, {1}^{3}, -{\left({v}^{2}\right)}^{6}\right)} \cdot \left(\sqrt{1 \cdot 1 + \left(\left(3 \cdot \left(v \cdot v\right)\right) \cdot \left(3 \cdot \left(v \cdot v\right)\right) + 1 \cdot \left(3 \cdot \left(v \cdot v\right)\right)\right)} \cdot \left({1}^{3} + {\left(v \cdot v\right)}^{3}\right)\right)\right) \cdot \left(1 \cdot 1 + \left(\left(v \cdot v\right) \cdot \left(v \cdot v\right) + 1 \cdot \left(v \cdot v\right)\right)\right)\]
\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)}
↓
\left(\frac{\frac{\frac{1 - 5 \cdot \left(v \cdot v\right)}{\pi}}{\sqrt{2 \cdot \left({1}^{3} - {\left(3 \cdot \left(v \cdot v\right)\right)}^{3}\right)}}}{t \cdot \mathsf{fma}\left({1}^{3}, {1}^{3}, -{\left({v}^{2}\right)}^{6}\right)} \cdot \left(\sqrt{1 \cdot 1 + \left(\left(3 \cdot \left(v \cdot v\right)\right) \cdot \left(3 \cdot \left(v \cdot v\right)\right) + 1 \cdot \left(3 \cdot \left(v \cdot v\right)\right)\right)} \cdot \left({1}^{3} + {\left(v \cdot v\right)}^{3}\right)\right)\right) \cdot \left(1 \cdot 1 + \left(\left(v \cdot v\right) \cdot \left(v \cdot v\right) + 1 \cdot \left(v \cdot v\right)\right)\right)
double f(double v, double t) {
        double r267502 = 1.0;
        double r267503 = 5.0;
        double r267504 = v;
        double r267505 = r267504 * r267504;
        double r267506 = r267503 * r267505;
        double r267507 = r267502 - r267506;
        double r267508 = atan2(1.0, 0.0);
        double r267509 = t;
        double r267510 = r267508 * r267509;
        double r267511 = 2.0;
        double r267512 = 3.0;
        double r267513 = r267512 * r267505;
        double r267514 = r267502 - r267513;
        double r267515 = r267511 * r267514;
        double r267516 = sqrt(r267515);
        double r267517 = r267510 * r267516;
        double r267518 = r267502 - r267505;
        double r267519 = r267517 * r267518;
        double r267520 = r267507 / r267519;
        return r267520;
}
↓
double f(double v, double t) {
        double r267521 = 1.0;
        double r267522 = 5.0;
        double r267523 = v;
        double r267524 = r267523 * r267523;
        double r267525 = r267522 * r267524;
        double r267526 = r267521 - r267525;
        double r267527 = atan2(1.0, 0.0);
        double r267528 = r267526 / r267527;
        double r267529 = 2.0;
        double r267530 = 3.0;
        double r267531 = pow(r267521, r267530);
        double r267532 = 3.0;
        double r267533 = r267532 * r267524;
        double r267534 = pow(r267533, r267530);
        double r267535 = r267531 - r267534;
        double r267536 = r267529 * r267535;
        double r267537 = sqrt(r267536);
        double r267538 = r267528 / r267537;
        double r267539 = t;
        double r267540 = 2.0;
        double r267541 = pow(r267523, r267540);
        double r267542 = 6.0;
        double r267543 = pow(r267541, r267542);
        double r267544 = -r267543;
        double r267545 = fma(r267531, r267531, r267544);
        double r267546 = r267539 * r267545;
        double r267547 = r267538 / r267546;
        double r267548 = r267521 * r267521;
        double r267549 = r267533 * r267533;
        double r267550 = r267521 * r267533;
        double r267551 = r267549 + r267550;
        double r267552 = r267548 + r267551;
        double r267553 = sqrt(r267552);
        double r267554 = pow(r267524, r267530);
        double r267555 = r267531 + r267554;
        double r267556 = r267553 * r267555;
        double r267557 = r267547 * r267556;
        double r267558 = r267524 * r267524;
        double r267559 = r267521 * r267524;
        double r267560 = r267558 + r267559;
        double r267561 = r267548 + r267560;
        double r267562 = r267557 * r267561;
        return r267562;
}

Error

Bits error versus v

Bits error versus t

Derivation

  1. Initial program 0.4

    \[\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 flip3--0.4

    \[\leadsto \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 \color{blue}{\frac{{1}^{3} - {\left(v \cdot v\right)}^{3}}{1 \cdot 1 + \left(\left(v \cdot v\right) \cdot \left(v \cdot v\right) + 1 \cdot \left(v \cdot v\right)\right)}}}\]

  4. Applied associate-*r/0.4

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

  5. Applied associate-/r/0.4

    \[\leadsto \color{blue}{\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}^{3} - {\left(v \cdot v\right)}^{3}\right)} \cdot \left(1 \cdot 1 + \left(\left(v \cdot v\right) \cdot \left(v \cdot v\right) + 1 \cdot \left(v \cdot v\right)\right)\right)}\]
  6. Using strategy rm

  7. 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}^{3} - {\left(v \cdot v\right)}^{3}\right)} \cdot \left(1 \cdot 1 + \left(\left(v \cdot v\right) \cdot \left(v \cdot v\right) + 1 \cdot \left(v \cdot v\right)\right)\right)\]
  8. Using strategy rm

  9. Applied flip--0.5

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

  10. Applied flip3--0.5

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

  11. Applied associate-*r/0.5

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

  12. Applied sqrt-div0.5

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

  13. Applied associate-*r/0.5

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

  14. Applied associate-*r/0.5

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

  15. Applied frac-times0.5

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

  16. Applied associate-/r/0.5

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

  17. Simplified0.3

    \[\leadsto \left(\color{blue}{\frac{\frac{1 - 5 \cdot \left(v \cdot v\right)}{\pi}}{\sqrt{2 \cdot \left({1}^{3} - {\left(3 \cdot \left(v \cdot v\right)\right)}^{3}\right)} \cdot \left(t \cdot \mathsf{fma}\left({1}^{3}, {1}^{3}, -{\left({v}^{2}\right)}^{6}\right)\right)}} \cdot \left(\sqrt{1 \cdot 1 + \left(\left(3 \cdot \left(v \cdot v\right)\right) \cdot \left(3 \cdot \left(v \cdot v\right)\right) + 1 \cdot \left(3 \cdot \left(v \cdot v\right)\right)\right)} \cdot \left({1}^{3} + {\left(v \cdot v\right)}^{3}\right)\right)\right) \cdot \left(1 \cdot 1 + \left(\left(v \cdot v\right) \cdot \left(v \cdot v\right) + 1 \cdot \left(v \cdot v\right)\right)\right)\]
  18. Using strategy rm

  19. Applied associate-/r*0.1

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

  20. Final simplification0.1

    \[\leadsto \left(\frac{\frac{\frac{1 - 5 \cdot \left(v \cdot v\right)}{\pi}}{\sqrt{2 \cdot \left({1}^{3} - {\left(3 \cdot \left(v \cdot v\right)\right)}^{3}\right)}}}{t \cdot \mathsf{fma}\left({1}^{3}, {1}^{3}, -{\left({v}^{2}\right)}^{6}\right)} \cdot \left(\sqrt{1 \cdot 1 + \left(\left(3 \cdot \left(v \cdot v\right)\right) \cdot \left(3 \cdot \left(v \cdot v\right)\right) + 1 \cdot \left(3 \cdot \left(v \cdot v\right)\right)\right)} \cdot \left({1}^{3} + {\left(v \cdot v\right)}^{3}\right)\right)\right) \cdot \left(1 \cdot 1 + \left(\left(v \cdot v\right) \cdot \left(v \cdot v\right) + 1 \cdot \left(v \cdot v\right)\right)\right)\]

Reproduce

herbie shell --seed 2020027 +o rules:numerics
(FPCore (v t)
  :name "Falkner and Boettcher, Equation (20:1,3)"
  :precision binary64
  (/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))))