Toniolo and Linder, Equation (10+)

Average Error: 32.9 → 22.1

Time: 17.0s

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}\;\ell \cdot \ell \le 3.3425667349020124 \cdot 10^{-196}:\\ \;\;\;\;\frac{\frac{\frac{2}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k} \cdot \ell}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3}} \cdot \frac{\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}}{\sqrt[3]{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)} \cdot \sqrt[3]{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}}}{\tan k} \cdot \frac{\sqrt[3]{\ell}}{\sqrt[3]{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}}\\ \mathbf{elif}\;\ell \cdot \ell \le 9.3984548894366172 \cdot 10^{271}:\\ \;\;\;\;\frac{\frac{1}{{\left(\sqrt[3]{t} \cdot \sqrt[3]{t}\right)}^{3}}}{\sqrt[3]{\tan k} \cdot \sqrt[3]{\tan k}} \cdot \left(\frac{\frac{2}{{\left(\sqrt[3]{t}\right)}^{3} \cdot \sin k} \cdot \ell}{\sqrt[3]{\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}\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)}\\ \end{array}\]

C

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) {
	double VAR;
	if (((l * l) <= 3.3425667349020124e-196)) {
		VAR = ((((((2.0 / (pow(cbrt(t), 3.0) * sin(k))) * l) / pow((cbrt(t) * cbrt(t)), 3.0)) * ((cbrt(l) * cbrt(l)) / (cbrt(fma(2.0, 1.0, pow((k / t), 2.0))) * cbrt(fma(2.0, 1.0, pow((k / t), 2.0)))))) / tan(k)) * (cbrt(l) / cbrt(fma(2.0, 1.0, pow((k / t), 2.0)))));
	} else {
		double VAR_1;
		if (((l * l) <= 9.398454889436617e+271)) {
			VAR_1 = (((1.0 / pow((cbrt(t) * cbrt(t)), 3.0)) / (cbrt(tan(k)) * cbrt(tan(k)))) * ((((2.0 / (pow(cbrt(t), 3.0) * sin(k))) * l) / cbrt(tan(k))) * (l / fma(2.0, 1.0, pow((k / t), 2.0)))));
		} else {
			VAR_1 = ((((1.0 / pow(cbrt(t), 3.0)) * (((2.0 / (pow(cbrt(t), 3.0) * sin(k))) * l) / pow(cbrt(t), 3.0))) / tan(k)) * (l / fma(2.0, 1.0, pow((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 (* l l) < 3.3425667349020124e-196

   1. Initial program 24.0

      \[\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 24.7

      \[\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 24.7

      \[\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 24.7

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

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

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

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

       \[\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 20.3

       \[\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 20.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* 17.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 add-cube-cbrt 17.5

       \[\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)}{\tan k} \cdot \frac{\ell}{\color{blue}{\left(\sqrt[3]{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)} \cdot \sqrt[3]{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\right) \cdot \sqrt[3]{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}}}\]

   18. Applied add-cube-cbrt 17.5

       \[\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)}{\tan k} \cdot \frac{\color{blue}{\left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right) \cdot \sqrt[3]{\ell}}}{\left(\sqrt[3]{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)} \cdot \sqrt[3]{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\right) \cdot \sqrt[3]{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}}\]

   19. Applied times-frac 17.5

       \[\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)}{\tan k} \cdot \color{blue}{\left(\frac{\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}}{\sqrt[3]{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)} \cdot \sqrt[3]{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}} \cdot \frac{\sqrt[3]{\ell}}{\sqrt[3]{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}}\right)}\]

   20. Applied associate-*r* 16.7

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

   21. Simplified 16.2

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

   if 3.3425667349020124e-196 < (* l l) < 9.398454889436617e+271

   1. Initial program 27.9

      \[\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 27.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 27.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 27.6

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

      \[\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 27.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 27.5

      \[\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 27.5

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

       \[\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 25.6

       \[\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 25.5

       \[\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* 24.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 add-cube-cbrt 24.5

       \[\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}{\left(\sqrt[3]{\tan k} \cdot \sqrt[3]{\tan k}\right) \cdot \sqrt[3]{\tan k}}} \cdot \frac{\ell}{\mathsf{fma}\left(2, 1, {\left(\frac{k}{t}\right)}^{2}\right)}\]

   18. Applied times-frac 24.4

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

   19. Applied associate-*l* 22.8

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

   if 9.398454889436617e+271 < (* l l)

   1. Initial program 61.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 60.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 60.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 56.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* 46.8

      \[\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 46.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 47.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-down 47.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* 46.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 46.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 45.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* 40.3

       \[\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 40.3

       \[\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 40.3

       \[\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 39.7

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

       \[\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 32.9

       \[\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)}\]
3. Recombined 3 regimes into one program.

4. Final simplification 22.1

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

Reproduce

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