\[{a}^2 - {b}^2\]
Test:
Difference of squares
Bits:
128 bits
Bits error versus a
Bits error versus b
Time: 3.0 s
Input Error: 0.0
Output Error: 0.0
Log: ⚲
Profile: 🕒
\({a}^2 - {\left(\left|b\right|\right)}^2\)
  1. Started with
    \[{a}^2 - {b}^2\]
    0.0
  2. Using strategy rm
    0.0
  3. Applied add-sqr-sqrt to get
    \[{a}^2 - \color{red}{{b}^2} \leadsto {a}^2 - \color{blue}{{\left(\sqrt{{b}^2}\right)}^2}\]
    0.0
  4. Applied simplify to get
    \[{a}^2 - {\color{red}{\left(\sqrt{{b}^2}\right)}}^2 \leadsto {a}^2 - {\color{blue}{\left(\left|b\right|\right)}}^2\]
    0.0

Original test:


(lambda ((a default) (b default))
  #:name "Difference of squares"
  (- (sqr a) (sqr b))
  #:target
  (* (+ a b) (- a b)))