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

Original test:


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