Toniolo and Linder, Equation (10+)

Average Error: 32.2 → 20.7

Time: 16.8s

Precision: 64

Math

\[\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)}\]

↓

\[\begin{array}{l} \mathbf{if}\;t \le -3.6901934814442134 \cdot 10^{-13}:\\ \;\;\;\;\frac{\frac{1}{{\left(\sqrt[3]{t}\right)}^{3}} \cdot \frac{\frac{2}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k} \cdot \ell}{{\left(\sqrt[3]{t}\right)}^{3}}}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\\ \mathbf{elif}\;t \le 8.6045816229314002 \cdot 10^{-85}:\\ \;\;\;\;\frac{\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3}}}{1} \cdot \left(\frac{\frac{2}{{\left(\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)}\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \frac{\frac{2}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k} \cdot \ell}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}}}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\\ \end{array}\]

C

double code(double t, double l, double k) {
	return ((double) (2.0 / ((double) (((double) (((double) (((double) (((double) pow(t, 3.0)) / ((double) (l * l)))) * ((double) sin(k)))) * ((double) tan(k)))) * ((double) (((double) (1.0 + ((double) pow(((double) (k / t)), 2.0)))) + 1.0))))));
}

↓

double code(double t, double l, double k) {
	double VAR;
	if ((t <= -3.6901934814442134e-13)) {
		VAR = ((double) (((double) (((double) (((double) (1.0 / ((double) pow(((double) cbrt(t)), 3.0)))) * ((double) (((double) (((double) (2.0 / ((double) (((double) pow(((double) cbrt(t)), 3.0)) * ((double) sin(k)))))) * l)) / ((double) pow(((double) cbrt(t)), 3.0)))))) / ((double) tan(k)))) * ((double) (l / ((double) fma(2.0, 1.0, ((double) pow(((double) (k / t)), 2.0))))))));
	} else {
		double VAR_1;
		if ((t <= 8.6045816229314e-85)) {
			VAR_1 = ((double) (((double) (((double) (1.0 / ((double) pow(((double) (((double) cbrt(t)) * ((double) cbrt(t)))), 3.0)))) / 1.0)) * ((double) (((double) (((double) (((double) (2.0 / ((double) (((double) pow(((double) cbrt(t)), 3.0)) * ((double) sin(k)))))) * l)) / ((double) tan(k)))) * ((double) (l / ((double) fma(2.0, 1.0, ((double) pow(((double) (k / t)), 2.0))))))))));
		} else {
			VAR_1 = ((double) (((double) (((double) (((double) (1.0 / ((double) pow(((double) (((double) cbrt(t)) * ((double) cbrt(t)))), ((double) (3.0 / 2.0)))))) * ((double) (((double) (((double) (2.0 / ((double) (((double) pow(((double) cbrt(t)), 3.0)) * ((double) sin(k)))))) * l)) / ((double) pow(((double) (((double) cbrt(t)) * ((double) cbrt(t)))), ((double) (3.0 / 2.0)))))))) / ((double) tan(k)))) * ((double) (l / ((double) fma(2.0, 1.0, ((double) pow(((double) (k / t)), 2.0))))))));
		}
		VAR = VAR_1;
	}
	return VAR;
}

Error

Bits error versus t

Bits error versus l

Bits error versus k

Derivation

1. Split input into 3 regimes

2. if t < -3.6901934814442134e-13

   1. Initial program 21.1

      \[\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. Simplified 20.6

      \[\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-identity 20.6

      \[\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-frac 19.5

      \[\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* 16.3

      \[\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. Simplified 15.2

      \[\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-cbrt 15.4

      \[\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-down 15.4

       \[\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* 13.5

       \[\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 *-un-lft-identity 13.5

       \[\leadsto \frac{\frac{\color{blue}{1 \cdot 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-frac 13.3

       \[\leadsto \frac{\color{blue}{\left(\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3}} \cdot \frac{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* 11.5

       \[\leadsto \frac{\color{blue}{\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3}} \cdot \left(\frac{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 unpow-prod-down 11.5

       \[\leadsto \frac{\frac{1}{\color{blue}{{\left(\sqrt[3]{t}\right)}^{3} \cdot {\left(\sqrt[3]{t}\right)}^{3}}} \cdot \left(\frac{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 *-un-lft-identity 11.5

       \[\leadsto \frac{\frac{\color{blue}{1 \cdot 1}}{{\left(\sqrt[3]{t}\right)}^{3} \cdot {\left(\sqrt[3]{t}\right)}^{3}} \cdot \left(\frac{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 times-frac 11.1

       \[\leadsto \frac{\color{blue}{\left(\frac{1}{{\left(\sqrt[3]{t}\right)}^{3}} \cdot \frac{1}{{\left(\sqrt[3]{t}\right)}^{3}}\right)} \cdot \left(\frac{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)}\]

   20. Applied associate-*l* 8.4

       \[\leadsto \frac{\color{blue}{\frac{1}{{\left(\sqrt[3]{t}\right)}^{3}} \cdot \left(\frac{1}{{\left(\sqrt[3]{t}\right)}^{3}} \cdot \left(\frac{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)}\]

   21. Simplified 8.4

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

   if -3.6901934814442134e-13 < t < 8.6045816229314e-85

   1. Initial program 54.6

      \[\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. Simplified 55.8

      \[\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-identity 55.8

      \[\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-frac 55.5

      \[\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* 55.6

      \[\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. Simplified 54.8

      \[\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-cbrt 54.9

      \[\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-down 54.9

       \[\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* 54.9

       \[\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 *-un-lft-identity 54.9

       \[\leadsto \frac{\frac{\color{blue}{1 \cdot 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-frac 54.9

       \[\leadsto \frac{\color{blue}{\left(\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3}} \cdot \frac{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* 49.7

       \[\leadsto \frac{\color{blue}{\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3}} \cdot \left(\frac{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 *-un-lft-identity 49.7

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

   18. Applied times-frac 49.7

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

   19. Applied associate-*l* 45.8

       \[\leadsto \color{blue}{\frac{\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3}}}{1} \cdot \left(\frac{\frac{2}{{\left(\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)}\right)}\]

   if 8.6045816229314e-85 < t

   1. Initial program 23.4

      \[\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. Simplified 23.3

      \[\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-identity 23.3

      \[\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-frac 22.0

      \[\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* 18.4

      \[\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. Simplified 16.5

      \[\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-cbrt 16.8

      \[\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-down 16.8

       \[\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* 15.4

       \[\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 *-un-lft-identity 15.4

       \[\leadsto \frac{\frac{\color{blue}{1 \cdot 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-frac 15.3

       \[\leadsto \frac{\color{blue}{\left(\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3}} \cdot \frac{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* 13.5

       \[\leadsto \frac{\color{blue}{\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3}} \cdot \left(\frac{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-pow 13.5

       \[\leadsto \frac{\frac{1}{\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{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 *-un-lft-identity 13.5

       \[\leadsto \frac{\frac{\color{blue}{1 \cdot 1}}{{\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{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 times-frac 13.3

       \[\leadsto \frac{\color{blue}{\left(\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}}\right)} \cdot \left(\frac{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)}\]

   20. Applied associate-*l* 10.7

       \[\leadsto \frac{\color{blue}{\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \left(\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \left(\frac{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)}\]

   21. Simplified 10.7

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

4. Final simplification 20.7

   \[\leadsto \begin{array}{l} \mathbf{if}\;t \le -3.6901934814442134 \cdot 10^{-13}:\\ \;\;\;\;\frac{\frac{1}{{\left(\sqrt[3]{t}\right)}^{3}} \cdot \frac{\frac{2}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k} \cdot \ell}{{\left(\sqrt[3]{t}\right)}^{3}}}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\\ \mathbf{elif}\;t \le 8.6045816229314002 \cdot 10^{-85}:\\ \;\;\;\;\frac{\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3}}}{1} \cdot \left(\frac{\frac{2}{{\left(\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)}\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}} \cdot \frac{\frac{2}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k} \cdot \ell}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{\left(\frac{3}{2}\right)}}}{\tan k} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\\ \end{array}\]

Reproduce

herbie shell --seed 2020121 +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))))