\[\sqrt{re \cdot re + im \cdot im}\]
Test:
math.abs on complex
Bits:
128 bits
Bits error versus re
Bits error versus im
Time: 3.0 s
Input Error: 13.3
Output Error: 13.3
Log: ⚲
Profile: 🕒
\(\sqrt{{re}^2 + im \cdot im}\)
  1. Started with
    \[\sqrt{re \cdot re + im \cdot im}\]
    13.3
  2. Applied simplify to get
    \[\color{red}{\sqrt{re \cdot re + im \cdot im}} \leadsto \color{blue}{\sqrt{{re}^2 + im \cdot im}}\]
    13.3

Original test:


(lambda ((re default) (im default))
  #:name "math.abs on complex"
  (sqrt (+ (* re re) (* im im))))