\[\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)}\]
Test:
Toniolo and Linder, Equation (13)
Bits:
128 bits
Bits error versus n
Bits error versus U
Bits error versus t
Bits error versus l
Bits error versus Om
Bits error versus U*
Time: 52.2 s
Input Error: 15.0
Output Error: 13.2
Log: ⚲
Profile: 🕒
\(\sqrt{\left(\left(t - \frac{2 \cdot \ell}{\frac{Om}{\ell}}\right) - \left(\frac{\ell}{Om} \cdot n\right) \cdot \left(\left(U - U*\right) \cdot \frac{\ell}{Om}\right)\right) \cdot \left(\left(U \cdot n\right) \cdot 2\right)}\)
  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)}\]
    15.0
  2. Using strategy rm
    15.0
  3. Applied add-cube-cbrt 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(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)}} \leadsto \color{blue}{{\left(\sqrt[3]{\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)}}\right)}^3}\]
    15.3
  4. Applied taylor to get
    \[{\left(\sqrt[3]{\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)}}\right)}^3 \leadsto {\left(\sqrt[3]{\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)}}\right)}^3\]
    15.3
  5. Taylor expanded around 0 to get
    \[{\left(\sqrt[3]{\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \color{red}{\frac{{\ell}^2}{Om}}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)}}\right)}^3 \leadsto {\left(\sqrt[3]{\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \color{blue}{\frac{{\ell}^2}{Om}}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)}}\right)}^3\]
    15.3
  6. Applied simplify to get
    \[{\left(\sqrt[3]{\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)}}\right)}^3 \leadsto \sqrt{\left(\left(t - \frac{2 \cdot \ell}{\frac{Om}{\ell}}\right) - \left(\frac{\ell}{Om} \cdot n\right) \cdot \left(\left(U - U*\right) \cdot \frac{\ell}{Om}\right)\right) \cdot \left(\left(U \cdot n\right) \cdot 2\right)}\]
    13.2
  7. Applied final simplification

Original test:


(lambda ((n default) (U default) (t default) (l default) (Om default) (U* default))
  #:name "Toniolo and Linder, Equation (13)"
  (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (sqr l) Om))) (* (* n (sqr (/ l Om))) (- U U*))))))