\[\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: 35.3 s
Input Error: 33.4
Output Error: 29.5
Log: ⚲
Profile: 🕒
\(\sqrt{\left(2 \cdot n\right) \cdot \left(t \cdot U + \left(U \cdot \frac{\ell}{Om}\right) \cdot \left(\ell \cdot \left(\left(-2\right) - \left(U - U*\right) \cdot \frac{n}{Om}\right)\right)\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)}\]
    33.4
  2. Using strategy rm
    33.4
  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)}\]
    33.4
  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)}\]
    30.8
  5. Using strategy rm
    30.8
  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)}}\]
    31.1
  7. Using strategy rm
    31.1
  8. Applied sub-neg to get
    \[\sqrt{\left(2 \cdot n\right) \cdot \left(U \cdot \left(\color{red}{\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)} \leadsto \sqrt{\left(2 \cdot n\right) \cdot \left(U \cdot \left(\color{blue}{\left(t + \left(-2 \cdot \frac{\ell}{\frac{Om}{\ell}}\right)\right)} - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)\right)}\]
    31.1
  9. Applied associate--l+ to get
    \[\sqrt{\left(2 \cdot n\right) \cdot \left(U \cdot \color{red}{\left(\left(t + \left(-2 \cdot \frac{\ell}{\frac{Om}{\ell}}\right)\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right)}\right)} \leadsto \sqrt{\left(2 \cdot n\right) \cdot \left(U \cdot \color{blue}{\left(t + \left(\left(-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)}\right)}\]
    31.1
  10. Applied distribute-rgt-in to get
    \[\sqrt{\left(2 \cdot n\right) \cdot \color{red}{\left(U \cdot \left(t + \left(\left(-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)\right)}} \leadsto \sqrt{\left(2 \cdot n\right) \cdot \color{blue}{\left(t \cdot U + \left(\left(-2 \cdot \frac{\ell}{\frac{Om}{\ell}}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right) \cdot U\right)}}\]
    31.1
  11. Applied simplify to get
    \[\sqrt{\left(2 \cdot n\right) \cdot \left(t \cdot U + \color{red}{\left(\left(-2 \cdot \frac{\ell}{\frac{Om}{\ell}}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^2\right) \cdot \left(U - U*\right)\right) \cdot U}\right)} \leadsto \sqrt{\left(2 \cdot n\right) \cdot \left(t \cdot U + \color{blue}{\left(U \cdot \frac{\ell}{Om}\right) \cdot \left(\left(-\ell \cdot 2\right) - \left(U - U*\right) \cdot \left(\frac{n}{Om} \cdot \ell\right)\right)}\right)}\]
    28.2
  12. Applied simplify to get
    \[\sqrt{\left(2 \cdot n\right) \cdot \left(t \cdot U + \left(U \cdot \frac{\ell}{Om}\right) \cdot \color{red}{\left(\left(-\ell \cdot 2\right) - \left(U - U*\right) \cdot \left(\frac{n}{Om} \cdot \ell\right)\right)}\right)} \leadsto \sqrt{\left(2 \cdot n\right) \cdot \left(t \cdot U + \left(U \cdot \frac{\ell}{Om}\right) \cdot \color{blue}{\left(\ell \cdot \left(\left(-2\right) - \left(U - U*\right) \cdot \frac{n}{Om}\right)\right)}\right)}\]
    29.5

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*))))))