Average Error: 1.0 → 0.0
Time: 6.5s
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{4}{e^{\log \left(\left(\left(3 \cdot \pi\right) \cdot \left(1 - v \cdot v\right)\right) \cdot \sqrt{2 - 6 \cdot \left(v \cdot v\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{4}{e^{\log \left(\left(\left(3 \cdot \pi\right) \cdot \left(1 - v \cdot v\right)\right) \cdot \sqrt{2 - 6 \cdot \left(v \cdot v\right)}\right)}}
double f(double v) {
        double r217694 = 4.0;
        double r217695 = 3.0;
        double r217696 = atan2(1.0, 0.0);
        double r217697 = r217695 * r217696;
        double r217698 = 1.0;
        double r217699 = v;
        double r217700 = r217699 * r217699;
        double r217701 = r217698 - r217700;
        double r217702 = r217697 * r217701;
        double r217703 = 2.0;
        double r217704 = 6.0;
        double r217705 = r217704 * r217700;
        double r217706 = r217703 - r217705;
        double r217707 = sqrt(r217706);
        double r217708 = r217702 * r217707;
        double r217709 = r217694 / r217708;
        return r217709;
}
↓
double f(double v) {
        double r217710 = 4.0;
        double r217711 = 3.0;
        double r217712 = atan2(1.0, 0.0);
        double r217713 = r217711 * r217712;
        double r217714 = 1.0;
        double r217715 = v;
        double r217716 = r217715 * r217715;
        double r217717 = r217714 - r217716;
        double r217718 = r217713 * r217717;
        double r217719 = 2.0;
        double r217720 = 6.0;
        double r217721 = r217720 * r217716;
        double r217722 = r217719 - r217721;
        double r217723 = sqrt(r217722);
        double r217724 = r217718 * r217723;
        double r217725 = log(r217724);
        double r217726 = exp(r217725);
        double r217727 = r217710 / r217726;
        return r217727;
}

Error

Bits error versus v

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

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 add-exp-log1.0

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

  4. Applied add-exp-log1.0

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

  5. Applied add-exp-log1.0

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

  6. Applied add-exp-log1.0

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

  7. Applied prod-exp1.0

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

  8. Applied prod-exp1.0

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

  9. Applied prod-exp0.0

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

  10. Simplified0.0

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

  11. Final simplification0.0

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

Reproduce

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