\[{a}^2 - {b}^2\]
Test:
Difference of squares
Bits:
128 bits
Bits error versus a
Bits error versus b
Time: 2.9 s
Input Error: 0.0
Output Error: 0.0
Log: ⚲
Profile: 🕒
\(\left(a + b\right) \cdot \left(a - b\right)\)
  1. Started with
    \[{a}^2 - {b}^2\]
    0.0
  2. Using strategy rm
    0.0
  3. Applied difference-of-squares to get
    \[\color{red}{{a}^2 - {b}^2} \leadsto \color{blue}{\left(a + b\right) \cdot \left(a - b\right)}\]
    0.0
  4. Removed slow pow expressions

Original test:


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