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

Original test:


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