Average Error: 0.5 → 0.5
Time: 28.4s
Precision: 64
\[\cos^{-1} \left(\frac{1 - 5 \cdot \left(v \cdot v\right)}{v \cdot v - 1}\right)\]
↓
\[\left(\left(\sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}}\right)\right)\right) \cdot \left(\sqrt[3]{\sqrt{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}}\right)\]
\cos^{-1} \left(\frac{1 - 5 \cdot \left(v \cdot v\right)}{v \cdot v - 1}\right)
↓
\left(\left(\sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}}\right)\right)\right) \cdot \left(\sqrt[3]{\sqrt{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}}\right)
double f(double v) {
        double r9500696 = 1.0;
        double r9500697 = 5.0;
        double r9500698 = v;
        double r9500699 = r9500698 * r9500698;
        double r9500700 = r9500697 * r9500699;
        double r9500701 = r9500696 - r9500700;
        double r9500702 = r9500699 - r9500696;
        double r9500703 = r9500701 / r9500702;
        double r9500704 = acos(r9500703);
        return r9500704;
}
↓
double f(double v) {
        double r9500705 = 1.0;
        double r9500706 = v;
        double r9500707 = r9500706 * r9500706;
        double r9500708 = 5.0;
        double r9500709 = r9500707 * r9500708;
        double r9500710 = r9500705 - r9500709;
        double r9500711 = r9500707 - r9500705;
        double r9500712 = r9500710 / r9500711;
        double r9500713 = acos(r9500712);
        double r9500714 = cbrt(r9500713);
        double r9500715 = cbrt(r9500714);
        double r9500716 = r9500715 * r9500715;
        double r9500717 = r9500716 * r9500716;
        double r9500718 = r9500716 * r9500717;
        double r9500719 = sqrt(r9500713);
        double r9500720 = cbrt(r9500719);
        double r9500721 = r9500720 * r9500720;
        double r9500722 = r9500718 * r9500721;
        return r9500722;
}

Error

Bits error versus v

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.5

    \[\cos^{-1} \left(\frac{1 - 5 \cdot \left(v \cdot v\right)}{v \cdot v - 1}\right)\]
  2. Using strategy rm

  3. Applied add-cube-cbrt2.0

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

  5. Applied add-cube-cbrt1.5

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

  6. Applied add-cube-cbrt1.5

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

  7. Applied swap-sqr2.0

    \[\leadsto \color{blue}{\left(\left(\left(\sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - 5 \cdot \left(v \cdot v\right)}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - 5 \cdot \left(v \cdot v\right)}{v \cdot v - 1}\right)}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - 5 \cdot \left(v \cdot v\right)}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - 5 \cdot \left(v \cdot v\right)}{v \cdot v - 1}\right)}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - 5 \cdot \left(v \cdot v\right)}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - 5 \cdot \left(v \cdot v\right)}{v \cdot v - 1}\right)}}\right)\right)} \cdot \sqrt[3]{\cos^{-1} \left(\frac{1 - 5 \cdot \left(v \cdot v\right)}{v \cdot v - 1}\right)}\]
  8. Using strategy rm

  9. Applied add-sqr-sqrt2.4

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

  10. Applied cbrt-prod0.5

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

  11. Final simplification0.5

    \[\leadsto \left(\left(\sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt[3]{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}}\right)\right)\right) \cdot \left(\sqrt[3]{\sqrt{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}} \cdot \sqrt[3]{\sqrt{\cos^{-1} \left(\frac{1 - \left(v \cdot v\right) \cdot 5}{v \cdot v - 1}\right)}}\right)\]

Reproduce

herbie shell --seed 2019171 +o rules:numerics
(FPCore (v)
  :name "Falkner and Boettcher, Appendix B, 1"
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))