Average Error: 31.5 → 13.9
Time: 5.3m
Precision: 64
Internal Precision: 384
\[\frac{2}{\left(\left(\frac{{t}^{3}}{\ell \cdot \ell} \cdot \sin k\right) \cdot \tan k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}\]
↓
\[\frac{2}{\frac{\left(\left(\frac{t}{\ell} \cdot \left(t \cdot \sin k\right)\right) \cdot \sin k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}{\frac{\ell}{t} \cdot \cos k}}\]

Error

Bits error versus t

Bits error versus l

Bits error versus k

Derivation

  1. Initial program 31.5

    \[\frac{2}{\left(\left(\frac{{t}^{3}}{\ell \cdot \ell} \cdot \sin k\right) \cdot \tan k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}\]
  2. Using strategy rm

  3. Applied cube-mult31.5

    \[\leadsto \frac{2}{\left(\left(\frac{\color{blue}{t \cdot \left(t \cdot t\right)}}{\ell \cdot \ell} \cdot \sin k\right) \cdot \tan k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}\]

  4. Applied times-frac24.8

    \[\leadsto \frac{2}{\left(\left(\color{blue}{\left(\frac{t}{\ell} \cdot \frac{t \cdot t}{\ell}\right)} \cdot \sin k\right) \cdot \tan k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}\]

  5. Applied associate-*l*23.0

    \[\leadsto \frac{2}{\left(\color{blue}{\left(\frac{t}{\ell} \cdot \left(\frac{t \cdot t}{\ell} \cdot \sin k\right)\right)} \cdot \tan k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}\]
  6. Using strategy rm

  7. Applied associate-/l*17.5

    \[\leadsto \frac{2}{\left(\left(\frac{t}{\ell} \cdot \left(\color{blue}{\frac{t}{\frac{\ell}{t}}} \cdot \sin k\right)\right) \cdot \tan k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}\]
  8. Using strategy rm

  9. Applied tan-quot17.5

    \[\leadsto \frac{2}{\left(\left(\frac{t}{\ell} \cdot \left(\frac{t}{\frac{\ell}{t}} \cdot \sin k\right)\right) \cdot \color{blue}{\frac{\sin k}{\cos k}}\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}\]

  10. Applied associate-*l/16.8

    \[\leadsto \frac{2}{\left(\left(\frac{t}{\ell} \cdot \color{blue}{\frac{t \cdot \sin k}{\frac{\ell}{t}}}\right) \cdot \frac{\sin k}{\cos k}\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}\]

  11. Applied associate-*r/16.8

    \[\leadsto \frac{2}{\left(\color{blue}{\frac{\frac{t}{\ell} \cdot \left(t \cdot \sin k\right)}{\frac{\ell}{t}}} \cdot \frac{\sin k}{\cos k}\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}\]

  12. Applied frac-times15.1

    \[\leadsto \frac{2}{\color{blue}{\frac{\left(\frac{t}{\ell} \cdot \left(t \cdot \sin k\right)\right) \cdot \sin k}{\frac{\ell}{t} \cdot \cos k}} \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}\]

  13. Applied associate-*l/13.9

    \[\leadsto \frac{2}{\color{blue}{\frac{\left(\left(\frac{t}{\ell} \cdot \left(t \cdot \sin k\right)\right) \cdot \sin k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}{\frac{\ell}{t} \cdot \cos k}}}\]
  14. Removed slow pow expressions.

Runtime

Time bar (total: 5.3m)Debug logProfile

herbie shell --seed '#(1062930989 876886121 3990119081 3032829768 3060892583 1929069376)' 
(FPCore (t l k)
  :name "Toniolo and Linder, Equation (10+)"
  (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))))