\[\left(d1 \cdot \left(\left(\left(\left(\left(d1 \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right) \cdot d1\right) \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right)\right) \cdot d1\]
Test:
FastMath test5
Bits:
128 bits
Bits error versus d1
Time: 8.4 s
Input Error: 0.1
Output Error: 0.1
Log: ⚲
Profile: 🕒
\({d1}^{\left(\left(2 + 3\right) + \left(2 + 3\right)\right)}\)
  1. Started with
    \[\left(d1 \cdot \left(\left(\left(\left(\left(d1 \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right) \cdot d1\right) \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right)\right) \cdot d1\]
    0.1
  2. Applied simplify to get
    \[\color{red}{\left(d1 \cdot \left(\left(\left(\left(\left(d1 \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right) \cdot d1\right) \cdot \left(d1 \cdot d1\right)\right) \cdot d1\right)\right) \cdot d1} \leadsto \color{blue}{\left({d1}^2 \cdot {d1}^3\right) \cdot \left({d1}^2 \cdot {d1}^3\right)}\]
    0.2
  3. Using strategy rm
    0.2
  4. Applied pow3 to get
    \[\left({d1}^2 \cdot {d1}^3\right) \cdot \left({d1}^2 \cdot \color{red}{{d1}^3}\right) \leadsto \left({d1}^2 \cdot {d1}^3\right) \cdot \left({d1}^2 \cdot \color{blue}{{d1}^{3}}\right)\]
    0.1
  5. Applied pow2 to get
    \[\left({d1}^2 \cdot {d1}^3\right) \cdot \left(\color{red}{{d1}^2} \cdot {d1}^{3}\right) \leadsto \left({d1}^2 \cdot {d1}^3\right) \cdot \left(\color{blue}{{d1}^{2}} \cdot {d1}^{3}\right)\]
    0.1
  6. Applied pow-prod-up to get
    \[\left({d1}^2 \cdot {d1}^3\right) \cdot \color{red}{\left({d1}^{2} \cdot {d1}^{3}\right)} \leadsto \left({d1}^2 \cdot {d1}^3\right) \cdot \color{blue}{{d1}^{\left(2 + 3\right)}}\]
    0.1
  7. Applied pow3 to get
    \[\left({d1}^2 \cdot \color{red}{{d1}^3}\right) \cdot {d1}^{\left(2 + 3\right)} \leadsto \left({d1}^2 \cdot \color{blue}{{d1}^{3}}\right) \cdot {d1}^{\left(2 + 3\right)}\]
    0.1
  8. Applied pow2 to get
    \[\left(\color{red}{{d1}^2} \cdot {d1}^{3}\right) \cdot {d1}^{\left(2 + 3\right)} \leadsto \left(\color{blue}{{d1}^{2}} \cdot {d1}^{3}\right) \cdot {d1}^{\left(2 + 3\right)}\]
    0.1
  9. Applied pow-prod-up to get
    \[\color{red}{\left({d1}^{2} \cdot {d1}^{3}\right)} \cdot {d1}^{\left(2 + 3\right)} \leadsto \color{blue}{{d1}^{\left(2 + 3\right)}} \cdot {d1}^{\left(2 + 3\right)}\]
    0.1
  10. Applied pow-prod-up to get
    \[\color{red}{{d1}^{\left(2 + 3\right)} \cdot {d1}^{\left(2 + 3\right)}} \leadsto \color{blue}{{d1}^{\left(\left(2 + 3\right) + \left(2 + 3\right)\right)}}\]
    0.1
  11. Removed slow pow expressions

Original test:


(lambda ((d1 default))
  #:name "FastMath test5"
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
  #:target
  (pow d1 10))