Average Error: 32.3 → 21.4
Time: 17.0s
Precision: 64
\[\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{\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \left(\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \left(\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k} \cdot \ell\right)\right)}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\]
\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{\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \left(\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \left(\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k} \cdot \ell\right)\right)}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}
double code(double t, double l, double k) {
	return (2.0 / ((((pow(t, 3.0) / (l * l)) * sin(k)) * tan(k)) * ((1.0 + pow((k / t), 2.0)) + 1.0)));
}
↓
double code(double t, double l, double k) {
	return ((((cbrt(2.0) / pow((cbrt(t) * cbrt(t)), (3.0 / 2.0))) * ((cbrt(2.0) / pow((cbrt(t) * cbrt(t)), (3.0 / 2.0))) * ((cbrt(2.0) / (pow(cbrt(t), 3.0) * sin(k))) * l))) / tan(k)) * (l / fma(2.0, 1.0, pow((k / t), 2.0))));
}

Error

Bits error versus t

Bits error versus l

Bits error versus k

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 32.3

    \[\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. Simplified32.5

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

  4. Applied *-un-lft-identity32.5

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

  5. Applied times-frac31.8

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

  6. Applied associate-*r*29.1

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

  7. Simplified27.7

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

  9. Applied add-cube-cbrt28.0

    \[\leadsto \frac{\frac{2}{{\color{blue}{\left(\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right) \cdot \sqrt[3]{t}\right)}}^{3} \cdot \sin k} \cdot \ell}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\]

  10. Applied unpow-prod-down28.0

    \[\leadsto \frac{\frac{2}{\color{blue}{\left({\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3} \cdot {\left(\sqrt[3]{t}\right)}^{3}\right)} \cdot \sin k} \cdot \ell}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\]

  11. Applied associate-*l*26.7

    \[\leadsto \frac{\frac{2}{\color{blue}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3} \cdot \left({\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k\right)}} \cdot \ell}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\]
  12. Using strategy rm

  13. Applied add-cube-cbrt26.7

    \[\leadsto \frac{\frac{\color{blue}{\left(\sqrt[3]{2} \cdot \sqrt[3]{2}\right) \cdot \sqrt[3]{2}}}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3} \cdot \left({\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k\right)} \cdot \ell}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\]

  14. Applied times-frac26.6

    \[\leadsto \frac{\color{blue}{\left(\frac{\sqrt[3]{2} \cdot \sqrt[3]{2}}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3}} \cdot \frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k}\right)} \cdot \ell}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\]

  15. Applied associate-*l*23.8

    \[\leadsto \frac{\color{blue}{\frac{\sqrt[3]{2} \cdot \sqrt[3]{2}}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3}} \cdot \left(\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k} \cdot \ell\right)}}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\]
  16. Using strategy rm

  17. Applied sqr-pow23.8

    \[\leadsto \frac{\frac{\sqrt[3]{2} \cdot \sqrt[3]{2}}{\color{blue}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)} \cdot {\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}}} \cdot \left(\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k} \cdot \ell\right)}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\]

  18. Applied times-frac23.6

    \[\leadsto \frac{\color{blue}{\left(\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}}\right)} \cdot \left(\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k} \cdot \ell\right)}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\]

  19. Applied associate-*l*21.4

    \[\leadsto \frac{\color{blue}{\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \left(\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \left(\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k} \cdot \ell\right)\right)}}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\]

  20. Final simplification21.4

    \[\leadsto \frac{\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \left(\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \left(\frac{\sqrt[3]{2}}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k} \cdot \ell\right)\right)}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\]

Reproduce

herbie shell --seed 2020100 +o rules:numerics
(FPCore (t l k)
  :name "Toniolo and Linder, Equation (10+)"
  :precision binary64
  (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))))