\[{x}^{4} - {y}^{4}\]
Test:
Radioactive exchange between two surfaces
Bits:
128 bits
Bits error versus x
Bits error versus y
Time: 8.8 s
Input Error: 0.1
Output Error: 0.1
Log: ⚲
Profile: 🕒
\({x}^{4} - {\left({\left(\sqrt{\sqrt{{y}^{4}}}\right)}^2\right)}^2\)
  1. Started with
    \[{x}^{4} - {y}^{4}\]
    0.1
  2. Using strategy rm
    0.1
  3. Applied add-sqr-sqrt to get
    \[{x}^{4} - \color{red}{{y}^{4}} \leadsto {x}^{4} - \color{blue}{{\left(\sqrt{{y}^{4}}\right)}^2}\]
    0.2
  4. Using strategy rm
    0.2
  5. Applied add-sqr-sqrt to get
    \[{x}^{4} - {\color{red}{\left(\sqrt{{y}^{4}}\right)}}^2 \leadsto {x}^{4} - {\color{blue}{\left({\left(\sqrt{\sqrt{{y}^{4}}}\right)}^2\right)}}^2\]
    0.1
  6. Removed slow pow expressions

Original test:


(lambda ((x default) (y default))
  #:name "Radioactive exchange between two surfaces"
  (- (pow x 4) (pow y 4)))