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

Original test:


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