Initial program 13.7
\[w0 \cdot \sqrt{1 - {\left(\frac{M \cdot D}{2 \cdot d}\right)}^{2} \cdot \frac{h}{\ell}}\]
Simplified12.3
\[\leadsto \color{blue}{\sqrt{1 - \frac{\frac{\frac{h}{\ell}}{\frac{d}{\frac{M \cdot D}{2}}}}{\frac{d}{\frac{M \cdot D}{2}}}} \cdot w0}\]
- Using strategy
rm Applied add-cube-cbrt12.3
\[\leadsto \sqrt{1 - \frac{\frac{\frac{h}{\color{blue}{\left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right) \cdot \sqrt[3]{\ell}}}}{\frac{d}{\frac{M \cdot D}{2}}}}{\frac{d}{\frac{M \cdot D}{2}}}} \cdot w0\]
Applied add-cube-cbrt12.3
\[\leadsto \sqrt{1 - \frac{\frac{\frac{\color{blue}{\left(\sqrt[3]{h} \cdot \sqrt[3]{h}\right) \cdot \sqrt[3]{h}}}{\left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right) \cdot \sqrt[3]{\ell}}}{\frac{d}{\frac{M \cdot D}{2}}}}{\frac{d}{\frac{M \cdot D}{2}}}} \cdot w0\]
Applied times-frac12.3
\[\leadsto \sqrt{1 - \frac{\frac{\color{blue}{\frac{\sqrt[3]{h} \cdot \sqrt[3]{h}}{\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}} \cdot \frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}{\frac{d}{\frac{M \cdot D}{2}}}}{\frac{d}{\frac{M \cdot D}{2}}}} \cdot w0\]
Applied associate-/l*8.8
\[\leadsto \sqrt{1 - \frac{\color{blue}{\frac{\frac{\sqrt[3]{h} \cdot \sqrt[3]{h}}{\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}}}{\frac{\frac{d}{\frac{M \cdot D}{2}}}{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{d}{\frac{M \cdot D}{2}}}} \cdot w0\]
- Using strategy
rm Applied add-cube-cbrt8.8
\[\leadsto \sqrt{1 - \frac{\frac{\frac{\sqrt[3]{h} \cdot \sqrt[3]{h}}{\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}}}{\frac{\frac{d}{\frac{M \cdot D}{2}}}{\color{blue}{\left(\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}} \cdot \sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}\right) \cdot \sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}}{\frac{d}{\frac{M \cdot D}{2}}}} \cdot w0\]
Applied add-cube-cbrt8.8
\[\leadsto \sqrt{1 - \frac{\frac{\frac{\sqrt[3]{h} \cdot \sqrt[3]{h}}{\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}}}{\frac{\color{blue}{\left(\sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}} \cdot \sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}\right) \cdot \sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}}}{\left(\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}} \cdot \sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}\right) \cdot \sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{d}{\frac{M \cdot D}{2}}}} \cdot w0\]
Applied times-frac8.8
\[\leadsto \sqrt{1 - \frac{\frac{\frac{\sqrt[3]{h} \cdot \sqrt[3]{h}}{\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}}}{\color{blue}{\frac{\sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}} \cdot \sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}} \cdot \sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}} \cdot \frac{\sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}}{\frac{d}{\frac{M \cdot D}{2}}}} \cdot w0\]
Applied div-inv8.8
\[\leadsto \sqrt{1 - \frac{\frac{\color{blue}{\left(\sqrt[3]{h} \cdot \sqrt[3]{h}\right) \cdot \frac{1}{\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}}}}{\frac{\sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}} \cdot \sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}} \cdot \sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}} \cdot \frac{\sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{d}{\frac{M \cdot D}{2}}}} \cdot w0\]
Applied times-frac8.2
\[\leadsto \sqrt{1 - \frac{\color{blue}{\frac{\sqrt[3]{h} \cdot \sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}} \cdot \sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}} \cdot \sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}} \cdot \frac{\frac{1}{\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}}}{\frac{\sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}}{\frac{d}{\frac{M \cdot D}{2}}}} \cdot w0\]
- Using strategy
rm Applied *-un-lft-identity8.2
\[\leadsto \sqrt{\color{blue}{1 \cdot \left(1 - \frac{\frac{\sqrt[3]{h} \cdot \sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}} \cdot \sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}} \cdot \sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}} \cdot \frac{\frac{1}{\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}}}{\frac{\sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{d}{\frac{M \cdot D}{2}}}\right)}} \cdot w0\]
Applied sqrt-prod8.2
\[\leadsto \color{blue}{\left(\sqrt{1} \cdot \sqrt{1 - \frac{\frac{\sqrt[3]{h} \cdot \sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}} \cdot \sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}} \cdot \sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}} \cdot \frac{\frac{1}{\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}}}{\frac{\sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{d}{\frac{M \cdot D}{2}}}}\right)} \cdot w0\]
Simplified8.2
\[\leadsto \left(\color{blue}{1} \cdot \sqrt{1 - \frac{\frac{\sqrt[3]{h} \cdot \sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}} \cdot \sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}} \cdot \sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}} \cdot \frac{\frac{1}{\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}}}{\frac{\sqrt[3]{\frac{d}{\frac{M \cdot D}{2}}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{d}{\frac{M \cdot D}{2}}}}\right) \cdot w0\]
Simplified8.0
\[\leadsto \left(1 \cdot \color{blue}{\sqrt{1 - \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{d}{D} \cdot \frac{2}{M}} \cdot \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}} \cdot \left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right)}}}\right) \cdot w0\]
- Using strategy
rm Applied add-cube-cbrt8.1
\[\leadsto \left(1 \cdot \sqrt{\color{blue}{\left(\sqrt[3]{1 - \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{d}{D} \cdot \frac{2}{M}} \cdot \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}} \cdot \left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right)}} \cdot \sqrt[3]{1 - \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{d}{D} \cdot \frac{2}{M}} \cdot \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}} \cdot \left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right)}}\right) \cdot \sqrt[3]{1 - \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{d}{D} \cdot \frac{2}{M}} \cdot \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}} \cdot \left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right)}}}}\right) \cdot w0\]
Applied sqrt-prod8.1
\[\leadsto \left(1 \cdot \color{blue}{\left(\sqrt{\sqrt[3]{1 - \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{d}{D} \cdot \frac{2}{M}} \cdot \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}} \cdot \left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right)}} \cdot \sqrt[3]{1 - \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{d}{D} \cdot \frac{2}{M}} \cdot \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}} \cdot \left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right)}}} \cdot \sqrt{\sqrt[3]{1 - \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{d}{D} \cdot \frac{2}{M}} \cdot \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{\sqrt[3]{\frac{d}{D} \cdot \frac{2}{M}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}} \cdot \left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right)}}}\right)}\right) \cdot w0\]
Final simplification8.1
\[\leadsto w0 \cdot \left(\sqrt{\sqrt[3]{1 - \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{2}{M} \cdot \frac{d}{D}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right) \cdot \frac{\sqrt[3]{\frac{2}{M} \cdot \frac{d}{D}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}} \cdot \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{2}{M} \cdot \frac{d}{D}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{2}{M} \cdot \frac{d}{D}}} \cdot \sqrt[3]{1 - \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{2}{M} \cdot \frac{d}{D}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right) \cdot \frac{\sqrt[3]{\frac{2}{M} \cdot \frac{d}{D}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}} \cdot \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{2}{M} \cdot \frac{d}{D}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{2}{M} \cdot \frac{d}{D}}}} \cdot \sqrt{\sqrt[3]{1 - \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{2}{M} \cdot \frac{d}{D}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\left(\sqrt[3]{\ell} \cdot \sqrt[3]{\ell}\right) \cdot \frac{\sqrt[3]{\frac{2}{M} \cdot \frac{d}{D}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}} \cdot \frac{\frac{\sqrt[3]{h}}{\frac{\sqrt[3]{\frac{2}{M} \cdot \frac{d}{D}}}{\sqrt[3]{\frac{\sqrt[3]{h}}{\sqrt[3]{\ell}}}}}}{\frac{2}{M} \cdot \frac{d}{D}}}}\right)\]