\[a - \frac{b}{2.070623953511602 \cdot 10^{-139}}\]
Test:
(- a (/ b 2.070623953511602e-139))
Bits:
128 bits
Bits error versus a
Bits error versus b
Time: 2.5 s
Input Error: 0.0
Output Error: 0.0
Log: ⚲
Profile: 🕒
\(a - \frac{b}{2.070623953511602 \cdot 10^{-139}}\)
  1. Started with
    \[a - \frac{b}{2.070623953511602 \cdot 10^{-139}}\]
    0.0
  2. Removed slow pow expressions

Original test:


(lambda ((a default) (b default))
  #:name "(- a (/ b 2.070623953511602e-139))"
  (- a (/ b 2.070623953511602e-139)))