\[\frac{x}{x} - \frac{1}{x} \cdot \sqrt{x \cdot x}\]
Test:
sqrt sqr
Bits:
128 bits
Bits error versus x
Time: 821.0 ms
Input Error: 32.4
Output Error: 0
Log: ⚲
Profile: 🕒
\(1 - \frac{\left|x\right|}{x}\)
  1. Started with
    \[\frac{x}{x} - \frac{1}{x} \cdot \sqrt{x \cdot x}\]
    32.4
  2. Applied simplify to get
    \[\color{red}{\frac{x}{x} - \frac{1}{x} \cdot \sqrt{x \cdot x}} \leadsto \color{blue}{1 - \frac{\left|x\right|}{x}}\]
    0

Original test:


(lambda ((x default))
  #:name "sqrt sqr"
  (- (/ x x) (* (/ 1 x) (sqrt (* x x))))
  #:target
  (if (< x 0) 2 0))