if U < -1.8137054810971454e+141 or 2.4135368246075312e-64 < U < 4.1248750755766167e+260

1. Started with
   \[\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{{\ell}^2}{Om}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)}\]
   27.4
2. Applied taylor to get
   \[\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{{\ell}^2}{Om}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)} \leadsto \sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{{\ell}^2}{Om}\right) - \left(\frac{n \cdot \left({\ell}^2 \cdot U\right)}{{Om}^2} - \frac{n \cdot \left(U* \cdot {\ell}^2\right)}{{Om}^2}\right)\right)}\]
   34.0
3. Taylor expanded around 0 to get
   \[\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{{\ell}^2}{Om}\right) - \color{red}{\left(\frac{n \cdot \left({\ell}^2 \cdot U\right)}{{Om}^2} - \frac{n \cdot \left(U* \cdot {\ell}^2\right)}{{Om}^2}\right)}\right)} \leadsto \sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{{\ell}^2}{Om}\right) - \color{blue}{\left(\frac{n \cdot \left({\ell}^2 \cdot U\right)}{{Om}^2} - \frac{n \cdot \left(U* \cdot {\ell}^2\right)}{{Om}^2}\right)}\right)}\]
   34.0
4. Applied simplify to get
   \[\color{red}{\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{{\ell}^2}{Om}\right) - \left(\frac{n \cdot \left({\ell}^2 \cdot U\right)}{{Om}^2} - \frac{n \cdot \left(U* \cdot {\ell}^2\right)}{{Om}^2}\right)\right)}} \leadsto \color{blue}{\sqrt{\left(\left(U \cdot n\right) \cdot 2\right) \cdot \left(\frac{{\ell}^2}{Om} \cdot \left(\frac{U*}{\frac{Om}{n}} - 2\right) + \left(t - \frac{\ell \cdot n}{\frac{Om}{U}} \cdot \frac{\ell}{Om}\right)\right)}}\]
   29.0
5. Applied simplify to get
   \[\sqrt{\color{red}{\left(\left(U \cdot n\right) \cdot 2\right) \cdot \left(\frac{{\ell}^2}{Om} \cdot \left(\frac{U*}{\frac{Om}{n}} - 2\right) + \left(t - \frac{\ell \cdot n}{\frac{Om}{U}} \cdot \frac{\ell}{Om}\right)\right)}} \leadsto \sqrt{\color{blue}{\left(U \cdot \left(2 \cdot n\right)\right) \cdot \left(\left(\frac{U*}{Om} \cdot n - 2\right) \cdot \frac{\ell}{\frac{Om}{\ell}} + \left(t - {\left(\frac{\ell}{Om}\right)}^2 \cdot \left(n \cdot U\right)\right)\right)}}\]
   26.8

if -1.8137054810971454e+141 < U < 2.4135368246075312e-64

1. Started with
   \[\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{{\ell}^2}{Om}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)}\]
   35.8
2. Using strategy rm
   35.8
3. Applied square-mult to get
   \[\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{\color{red}{{\ell}^2}}{Om}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)} \leadsto \sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{\color{blue}{\ell \cdot \ell}}{Om}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)}\]
   35.8
4. Applied associate-/l* to get
   \[\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \color{red}{\frac{\ell \cdot \ell}{Om}}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)} \leadsto \sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \color{blue}{\frac{\ell}{\frac{Om}{\ell}}}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)}\]
   33.5
5. Using strategy rm
   33.5
6. Applied associate-*l* to get
   \[\sqrt{\color{red}{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{\ell}{\frac{Om}{\ell}}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)}} \leadsto \sqrt{\color{blue}{\left(2 \cdot n\right) \cdot \left(U \cdot \left(\left(t - 2 \cdot \frac{\ell}{\frac{Om}{\ell}}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)\right)}}\]
   30.7

if 4.1248750755766167e+260 < U

1. Started with
   \[\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{{\ell}^2}{Om}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)}\]
   27.5
2. Using strategy rm
   27.5
3. Applied square-mult to get
   \[\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{\color{red}{{\ell}^2}}{Om}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)} \leadsto \sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{\color{blue}{\ell \cdot \ell}}{Om}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)}\]
   27.5
4. Applied associate-/l* to get
   \[\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \color{red}{\frac{\ell \cdot \ell}{Om}}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)} \leadsto \sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \color{blue}{\frac{\ell}{\frac{Om}{\ell}}}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)}\]
   26.2
5. Using strategy rm
   26.2
6. Applied sqrt-prod to get
   \[\color{red}{\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{\ell}{\frac{Om}{\ell}}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)}} \leadsto \color{blue}{\sqrt{\left(2 \cdot n\right) \cdot U} \cdot \sqrt{\left(t - 2 \cdot \frac{\ell}{\frac{Om}{\ell}}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)}}\]
   14.8