Average Error: 8.2 → 3.5
Time: 55.5s
Precision: 64
Internal Precision: 128
\[\pi \cdot \ell - \frac{1}{F \cdot F} \cdot \tan \left(\pi \cdot \ell\right)\]
\[\pi \cdot \ell - \frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{\cos \left(\pi \cdot \ell\right)} \cdot \left(\frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{F} \cdot \frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{F}\right)\]

Error

Bits error versus F

Bits error versus l

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 8.2

    \[\pi \cdot \ell - \frac{1}{F \cdot F} \cdot \tan \left(\pi \cdot \ell\right)\]
  2. Initial simplification8.2

    \[\leadsto (\left(\tan \left(\pi \cdot \ell\right)\right) \cdot \left(\frac{-1}{F \cdot F}\right) + \left(\pi \cdot \ell\right))_*\]
  3. Taylor expanded around -inf 7.8

    \[\leadsto \color{blue}{\pi \cdot \ell - \frac{\sin \left(\pi \cdot \ell\right)}{{F}^{2} \cdot \cos \left(\pi \cdot \ell\right)}}\]
  4. Using strategy rm
  5. Applied add-cbrt-cube8.1

    \[\leadsto \pi \cdot \ell - \frac{\sin \left(\pi \cdot \ell\right)}{{F}^{2} \cdot \cos \color{blue}{\left(\sqrt[3]{\left(\left(\pi \cdot \ell\right) \cdot \left(\pi \cdot \ell\right)\right) \cdot \left(\pi \cdot \ell\right)}\right)}}\]
  6. Using strategy rm
  7. Applied add-cube-cbrt8.4

    \[\leadsto \pi \cdot \ell - \frac{\color{blue}{\left(\sqrt[3]{\sin \left(\pi \cdot \ell\right)} \cdot \sqrt[3]{\sin \left(\pi \cdot \ell\right)}\right) \cdot \sqrt[3]{\sin \left(\pi \cdot \ell\right)}}}{{F}^{2} \cdot \cos \left(\sqrt[3]{\left(\left(\pi \cdot \ell\right) \cdot \left(\pi \cdot \ell\right)\right) \cdot \left(\pi \cdot \ell\right)}\right)}\]
  8. Applied times-frac8.4

    \[\leadsto \pi \cdot \ell - \color{blue}{\frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)} \cdot \sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{{F}^{2}} \cdot \frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{\cos \left(\sqrt[3]{\left(\left(\pi \cdot \ell\right) \cdot \left(\pi \cdot \ell\right)\right) \cdot \left(\pi \cdot \ell\right)}\right)}}\]
  9. Simplified8.1

    \[\leadsto \pi \cdot \ell - \frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)} \cdot \sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{{F}^{2}} \cdot \color{blue}{\frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{\cos \left(\pi \cdot \ell\right)}}\]
  10. Using strategy rm
  11. Applied unpow28.1

    \[\leadsto \pi \cdot \ell - \frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)} \cdot \sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{\color{blue}{F \cdot F}} \cdot \frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{\cos \left(\pi \cdot \ell\right)}\]
  12. Applied times-frac3.5

    \[\leadsto \pi \cdot \ell - \color{blue}{\left(\frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{F} \cdot \frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{F}\right)} \cdot \frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{\cos \left(\pi \cdot \ell\right)}\]
  13. Final simplification3.5

    \[\leadsto \pi \cdot \ell - \frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{\cos \left(\pi \cdot \ell\right)} \cdot \left(\frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{F} \cdot \frac{\sqrt[3]{\sin \left(\pi \cdot \ell\right)}}{F}\right)\]

Runtime

Time bar (total: 55.5s)Debug logProfile

BaselineHerbieOracleSpan%
Regimes3.53.52.50.90%
herbie shell --seed 2018351 +o rules:numerics
(FPCore (F l)
  :name "VandenBroeck and Keller, Equation (6)"
  (- (* PI l) (* (/ 1 (* F F)) (tan (* PI l)))))