Average Error: 1.0 → 0.0
Time: 5.1s
Precision: 64
\[\frac{4}{\left(\left(3 \cdot \pi\right) \cdot \left(1 - v \cdot v\right)\right) \cdot \sqrt{2 - 6 \cdot \left(v \cdot v\right)}}\]
↓
\[\frac{\frac{4}{3 \cdot \pi}}{\mathsf{fma}\left(v, v, 1\right) \cdot \left(\left(1 - v \cdot v\right) \cdot \sqrt{{2}^{3} - {\left(6 \cdot \left(v \cdot v\right)\right)}^{3}}\right)} \cdot \left(\left(1 + v \cdot v\right) \cdot \sqrt{2 \cdot 2 + \left(\left(6 \cdot \left(v \cdot v\right)\right) \cdot \left(6 \cdot \left(v \cdot v\right)\right) + 2 \cdot \left(6 \cdot \left(v \cdot v\right)\right)\right)}\right)\]
\frac{4}{\left(\left(3 \cdot \pi\right) \cdot \left(1 - v \cdot v\right)\right) \cdot \sqrt{2 - 6 \cdot \left(v \cdot v\right)}}
↓
\frac{\frac{4}{3 \cdot \pi}}{\mathsf{fma}\left(v, v, 1\right) \cdot \left(\left(1 - v \cdot v\right) \cdot \sqrt{{2}^{3} - {\left(6 \cdot \left(v \cdot v\right)\right)}^{3}}\right)} \cdot \left(\left(1 + v \cdot v\right) \cdot \sqrt{2 \cdot 2 + \left(\left(6 \cdot \left(v \cdot v\right)\right) \cdot \left(6 \cdot \left(v \cdot v\right)\right) + 2 \cdot \left(6 \cdot \left(v \cdot v\right)\right)\right)}\right)
double f(double v) {
        double r198860 = 4.0;
        double r198861 = 3.0;
        double r198862 = atan2(1.0, 0.0);
        double r198863 = r198861 * r198862;
        double r198864 = 1.0;
        double r198865 = v;
        double r198866 = r198865 * r198865;
        double r198867 = r198864 - r198866;
        double r198868 = r198863 * r198867;
        double r198869 = 2.0;
        double r198870 = 6.0;
        double r198871 = r198870 * r198866;
        double r198872 = r198869 - r198871;
        double r198873 = sqrt(r198872);
        double r198874 = r198868 * r198873;
        double r198875 = r198860 / r198874;
        return r198875;
}
↓
double f(double v) {
        double r198876 = 4.0;
        double r198877 = 3.0;
        double r198878 = atan2(1.0, 0.0);
        double r198879 = r198877 * r198878;
        double r198880 = r198876 / r198879;
        double r198881 = v;
        double r198882 = 1.0;
        double r198883 = fma(r198881, r198881, r198882);
        double r198884 = r198881 * r198881;
        double r198885 = r198882 - r198884;
        double r198886 = 2.0;
        double r198887 = 3.0;
        double r198888 = pow(r198886, r198887);
        double r198889 = 6.0;
        double r198890 = r198889 * r198884;
        double r198891 = pow(r198890, r198887);
        double r198892 = r198888 - r198891;
        double r198893 = sqrt(r198892);
        double r198894 = r198885 * r198893;
        double r198895 = r198883 * r198894;
        double r198896 = r198880 / r198895;
        double r198897 = r198882 + r198884;
        double r198898 = r198886 * r198886;
        double r198899 = r198890 * r198890;
        double r198900 = r198886 * r198890;
        double r198901 = r198899 + r198900;
        double r198902 = r198898 + r198901;
        double r198903 = sqrt(r198902);
        double r198904 = r198897 * r198903;
        double r198905 = r198896 * r198904;
        return r198905;
}

Error

Bits error versus v

Derivation

  1. Initial program 1.0

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

  3. Applied flip3--1.0

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

  4. Applied sqrt-div1.0

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

  5. Applied flip--1.0

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

  6. Applied associate-*r/1.0

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

  7. Applied frac-times1.0

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

  8. Applied associate-/r/1.0

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

  9. Simplified0.0

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

  10. Final simplification0.0

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

Reproduce

herbie shell --seed 2019353 +o rules:numerics
(FPCore (v)
  :name "Falkner and Boettcher, Equation (22+)"
  :precision binary64
  (/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))))