Metrics for math.abs on complex

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 10 to 5 computations (50% saved)

sample592.0ms (22.2%)

Memory

7.9MiB live, 1 088.5MiB allocated; 277ms collecting garbage

Samples

411.0ms

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 239.0ms

ival-hypot: 238.0ms (99.4% of total)

adjust: 1.0ms (0.4% of total)

Bogosity

preprocess83.0ms (3.1%)

Memory

-54.8MiB live, 71.4MiB allocated; 42ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	50
1	62	50
2	169	50
3	248	50
4	593	50
5	3348	50

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	56.7%	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Symmetry

(abs re)

(abs im)

(sort re im)

Compiler

Compiled 12 to 12 computations (0% saved)

series6.0ms (0.2%)

Memory

16.7MiB live, 16.7MiB allocated; 0ms collecting garbage

Counts

6 → 27

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
(+.f64 (.f64 re re) (.f64 im im))
(*.f64 re re)
re
(*.f64 im im)
im

Outputs
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im)))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2))))
#s(approx (* re re) #s(hole binary64 (pow re 2)))
#s(approx re #s(hole binary64 re))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 im)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))))

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	re	@	inf	((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im)
1.0ms	re	@	0	((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im)
1.0ms	re	@	-inf	((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im)
1.0ms	im	@	inf	((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im)
1.0ms	im	@	-inf	((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im)

rewrite267.0ms (10%)

Memory

17.8MiB live, 250.1MiB allocated; 19ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	139	711
0	143	691
1	895	691
2	6603	691
0	8361	537
1	22605	537

Stop Event

1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

33 → 369

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
(+.f64 (.f64 re re) (.f64 im im))
(*.f64 re re)
re
(*.f64 im im)
im
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im)))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2))))
#s(approx (* re re) #s(hole binary64 (pow re 2)))
#s(approx re #s(hole binary64 re))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 im)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))))

Outputs
(pow.f64 (fma.f64 im im (*.f64 re re)) #s(literal 1/2 binary64))
(sqrt.f64 (.f64 (sqrt.f64 (fma.f64 im im (.f64 re re))) (sqrt.f64 (fma.f64 im im (*.f64 re re)))))
(sqrt.f64 (fma.f64 im im (*.f64 re re)))
(fabs.f64 (neg.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re)))))
(fabs.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re))))
(hypot.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (fabs.f64 re))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 re))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) re)
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (fabs.f64 re))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 re))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) re)
(hypot.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (fabs.f64 im))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 im))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) im)
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (fabs.f64 im))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 im))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) im)
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) re)
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (fabs.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) re)
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) im)
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (fabs.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) im)
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 re))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 re))
(hypot.f64 (fabs.f64 (fabs.f64 im)) re)
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 im))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 im))
(hypot.f64 (fabs.f64 (fabs.f64 re)) im)
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (fabs.f64 re))
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 re))
(hypot.f64 (neg.f64 (fabs.f64 im)) re)
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (fabs.f64 re))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 re))
(hypot.f64 (neg.f64 (neg.f64 im)) re)
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 im))
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 im))
(hypot.f64 (neg.f64 (fabs.f64 re)) im)
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (fabs.f64 im))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 im))
(hypot.f64 (neg.f64 (neg.f64 re)) im)
(hypot.f64 (fabs.f64 im) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 im) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 im) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (fabs.f64 im) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (fabs.f64 im) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (fabs.f64 im) (neg.f64 (fabs.f64 re)))
(hypot.f64 (fabs.f64 im) (neg.f64 (neg.f64 re)))
(hypot.f64 (fabs.f64 im) (fabs.f64 re))
(hypot.f64 (fabs.f64 im) (neg.f64 re))
(hypot.f64 (fabs.f64 im) re)
(hypot.f64 (fabs.f64 re) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 re) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (fabs.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (fabs.f64 re) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (fabs.f64 re) (neg.f64 (fabs.f64 im)))
(hypot.f64 (fabs.f64 re) (neg.f64 (neg.f64 im)))
(hypot.f64 (fabs.f64 re) (fabs.f64 im))
(hypot.f64 (fabs.f64 re) (neg.f64 im))
(hypot.f64 (fabs.f64 re) im)
(hypot.f64 (neg.f64 im) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 im) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 im) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (neg.f64 im) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (neg.f64 im) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 im) (neg.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 im) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 im) (fabs.f64 re))
(hypot.f64 (neg.f64 im) (neg.f64 re))
(hypot.f64 (neg.f64 im) re)
(hypot.f64 (neg.f64 re) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (neg.f64 re) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 re) (neg.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 re) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 re) (fabs.f64 im))
(hypot.f64 (neg.f64 re) (neg.f64 im))
(hypot.f64 (neg.f64 re) im)
(hypot.f64 im (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 im (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 im (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 im (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 im (fabs.f64 (fabs.f64 re)))
(hypot.f64 im (neg.f64 (fabs.f64 re)))
(hypot.f64 im (neg.f64 (neg.f64 re)))
(hypot.f64 im (fabs.f64 re))
(hypot.f64 im (neg.f64 re))
(hypot.f64 im re)
(hypot.f64 re (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 re (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 re (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 re (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 re (fabs.f64 (fabs.f64 im)))
(hypot.f64 re (neg.f64 (fabs.f64 im)))
(hypot.f64 re (neg.f64 (neg.f64 im)))
(hypot.f64 re (fabs.f64 im))
(hypot.f64 re (neg.f64 im))
(hypot.f64 re im)
(/.f64 (-.f64 (.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im)) (pow.f64 (.f64 (neg.f64 re) re) #s(literal 3 binary64))) (fma.f64 (.f64 im im) (.f64 im im) (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (*.f64 (neg.f64 re) re)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (pow.f64 (.f64 (neg.f64 im) im) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 re re) re) re (fma.f64 (.f64 im im) (.f64 im im) (.f64 (.f64 re re) (*.f64 (neg.f64 im) im)))))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (-.f64 (.f64 im im) (.f64 re re))) (fma.f64 im im (*.f64 (neg.f64 re) re)))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (-.f64 (.f64 im im) (.f64 re re))) (-.f64 (.f64 im im) (.f64 re re)))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (-.f64 (.f64 re re) (.f64 im im))) (fma.f64 re re (*.f64 (neg.f64 im) im)))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (-.f64 (.f64 re re) (.f64 im im))) (-.f64 (.f64 re re) (.f64 im im)))
(/.f64 (fma.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re) (.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im))) (fma.f64 (.f64 (.f64 re re) re) re (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (*.f64 im im)))))
(/.f64 (fma.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re) (.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (*.f64 re re)))))
(neg.f64 (-.f64 (.f64 (neg.f64 re) re) (.f64 im im)))
(neg.f64 (-.f64 (.f64 (neg.f64 im) im) (.f64 re re)))
(fma.f64 (.f64 (neg.f64 im) #s(literal -1 binary64)) im (.f64 re re))
(fma.f64 (.f64 (neg.f64 re) #s(literal -1 binary64)) re (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (neg.f64 re) #s(literal -1 binary64)) re (.f64 im im))
(fma.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 im im))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 im) (.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 im) (.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (.f64 im im))
(fma.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im)) (*.f64 re re))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 im im))
(fma.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im)) (*.f64 re re))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (*.f64 re re))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 im im))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 im im))
(fma.f64 (.f64 (neg.f64 im) im) #s(literal -1 binary64) (.f64 re re))
(fma.f64 (.f64 (neg.f64 re) re) #s(literal -1 binary64) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (neg.f64 re) re) #s(literal -1 binary64) (.f64 im im))
(fma.f64 (fabs.f64 im) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 re re))
(fma.f64 (fabs.f64 im) (fabs.f64 im) (*.f64 re re))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 im im))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 im im))
(fma.f64 (neg.f64 im) (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 re re))
(fma.f64 (neg.f64 im) (neg.f64 im) (*.f64 re re))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 im im))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 im im))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 im) im) (.f64 re re))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 re) re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 re) re) (.f64 im im))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 re re))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 re re))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 im im))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 im im))
(fma.f64 im (.f64 #s(literal -1 binary64) (neg.f64 im)) (.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 re (.f64 #s(literal -1 binary64) (neg.f64 re)) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 re (.f64 #s(literal -1 binary64) (neg.f64 re)) (.f64 im im))
(fma.f64 re re (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 re re (*.f64 im im))
(-.f64 (.f64 im im) (.f64 (neg.f64 re) re))
(-.f64 (.f64 re re) (.f64 (neg.f64 im) im))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 (.f64 re re) (.f64 (neg.f64 (neg.f64 im)) im))
(+.f64 (.f64 re re) (.f64 im im))
(.f64 (.f64 (neg.f64 re) #s(literal -1 binary64)) re)
(.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re))
(*.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)))
(*.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)))
(*.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)))
(.f64 (.f64 (neg.f64 re) re) #s(literal -1 binary64))
(.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(*.f64 (fabs.f64 re) (fabs.f64 re))
(.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(*.f64 (neg.f64 re) (neg.f64 re))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 re) re))
(.f64 #s(literal 1 binary64) (.f64 re re))
(.f64 (.f64 re re) #s(literal 1 binary64))
(.f64 re (.f64 #s(literal -1 binary64) (neg.f64 re)))
(*.f64 re re)
(pow.f64 (fabs.f64 (fabs.f64 re)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 re)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 re)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 re) #s(literal 2 binary64))
(pow.f64 (neg.f64 re) #s(literal 2 binary64))
(pow.f64 re #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 re) re))
(sqrt.f64 (.f64 (.f64 (*.f64 re re) re) re))
(fabs.f64 (*.f64 (neg.f64 re) re))
(fabs.f64 (*.f64 re re))
re
(.f64 (.f64 (neg.f64 im) #s(literal -1 binary64)) im)
(.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 im))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 im))
(*.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im)))
(*.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im)))
(*.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)))
(.f64 (.f64 (neg.f64 im) im) #s(literal -1 binary64))
(.f64 (fabs.f64 im) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(*.f64 (fabs.f64 im) (fabs.f64 im))
(.f64 (neg.f64 im) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(*.f64 (neg.f64 im) (neg.f64 im))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 im) im))
(.f64 (.f64 im im) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 im im))
(.f64 im (.f64 #s(literal -1 binary64) (neg.f64 im)))
(*.f64 im im)
(pow.f64 (fabs.f64 (fabs.f64 im)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 im)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 im)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 im) #s(literal 2 binary64))
(pow.f64 (neg.f64 im) #s(literal 2 binary64))
(pow.f64 im #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 im) im))
(sqrt.f64 (.f64 (.f64 im im) (*.f64 im im)))
(fabs.f64 (*.f64 (neg.f64 im) im))
(fabs.f64 (*.f64 im im))
im
#s(approx (sqrt (+ (* re re) (* im im))) im)
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 re re) im) #s(literal 1/2 binary64) im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (/.f64 (.f64 re re) (.f64 (.f64 im im) im)) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) im)) re) re im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (.f64 (fma.f64 (.f64 (pow.f64 im #s(literal -5 binary64)) (.f64 re re)) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 (.f64 im im) im))) re) re (/.f64 #s(literal 1/2 binary64) im)) re) re im))
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
#s(approx (+ (* re re) (* im im)) (fma.f64 im im (*.f64 re re)))
#s(approx (* re re) (*.f64 re re))
#s(approx re re)
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 re #s(literal 1/2 binary64)) (.f64 im (/.f64 im (*.f64 re re))) re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64))) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 re (fma.f64 (pow.f64 (.f64 im (/.f64 im (.f64 re re))) #s(literal 3 binary64)) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (/.f64 (.f64 (.f64 im im) #s(literal 1/2 binary64)) (*.f64 re re)))) re))
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64)) re) re))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 re) (fma.f64 (.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 re) (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64)))))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 re (fma.f64 (pow.f64 (.f64 im (/.f64 im (.f64 re re))) #s(literal 3 binary64)) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (/.f64 (.f64 (.f64 im im) #s(literal 1/2 binary64)) (*.f64 re re)))) re)))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 im im) re) #s(literal 1/2 binary64) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (.f64 im (/.f64 im (.f64 (.f64 re re) re))) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) re)) im) im re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (.f64 (fma.f64 (.f64 (pow.f64 re #s(literal -5 binary64)) (.f64 im im)) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 (.f64 re re) re))) im) im (/.f64 #s(literal 1/2 binary64) re)) im) im re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)) im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64))) im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 im (fma.f64 (pow.f64 (.f64 re (/.f64 re (.f64 im im))) #s(literal 3 binary64)) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64)))) im))
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal 1 binary64)) im) im))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 im) (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 im) (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)))))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 im (fma.f64 (pow.f64 (.f64 re (/.f64 re (.f64 im im))) #s(literal 3 binary64)) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64)))) im)))

eval64.0ms (2.4%)

Memory: -21.6MiB live, 79.6MiB allocated; 14ms collecting garbage
Compiler: Compiled 2 079 to 705 computations (66.1% saved)

prune8.0ms (0.3%)

Memory

21.1MiB live, 21.1MiB allocated; 0ms collecting garbage

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	357	7	364
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	358	7	365

Accuracy

100.0%

Counts

365 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(hypot.f64 re im)
	56.7%	(sqrt.f64 (fma.f64 re re (*.f64 im im)))
▶	56.2%	(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 im im)))
	6.4%	#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 im im) re) #s(literal 1/2 binary64) re))
▶	1.9%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
▶	1.2%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
▶	99.1%	#s(approx (sqrt (+ (* re re) (* im im))) im)

Compiler

Compiled 100 to 100 computations (0% saved)

series5.0ms (0.2%)

Memory

8.5MiB live, 8.5MiB allocated; 0ms collecting garbage

Counts

11 → 27

Calls

Call 1

Inputs
(hypot.f64 re im)
re
im
#s(approx (sqrt (+ (* re re) (* im im))) im)
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
(neg.f64 im)
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
(neg.f64 re)
(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 im im)))
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
(*.f64 im im)

Outputs
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im)))))))
#s(approx re #s(hole binary64 re))
#s(approx (neg re) #s(hole binary64 (* -1 re)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow re 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re)))))))
#s(approx (neg im) #s(hole binary64 (* -1 im)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))))

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	im	@	-inf	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* im im))
1.0ms	re	@	-inf	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* im im))
1.0ms	im	@	inf	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* im im))
1.0ms	re	@	inf	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* im im))
0.0ms	im	@	0	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* im im))

rewrite430.0ms (16.1%)

Memory

-15.2MiB live, 261.5MiB allocated; 25ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	145	637
0	150	617
1	900	617
2	6619	617
0	8381	571
1	22621	571

Stop Event

1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

38 → 279

Calls

Call 1

Inputs
(hypot.f64 re im)
re
im
#s(approx (sqrt (+ (* re re) (* im im))) im)
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
(neg.f64 im)
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
(neg.f64 re)
(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 im im)))
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
(*.f64 im im)
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im)))))))
#s(approx re #s(hole binary64 re))
#s(approx (neg re) #s(hole binary64 (* -1 re)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow re 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re)))))))
#s(approx (neg im) #s(hole binary64 (* -1 im)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))))

Outputs
(pow.f64 (fma.f64 im im (*.f64 re re)) #s(literal 1/2 binary64))
(sqrt.f64 (.f64 (sqrt.f64 (fma.f64 im im (.f64 re re))) (sqrt.f64 (fma.f64 im im (*.f64 re re)))))
(sqrt.f64 (fma.f64 im im (*.f64 re re)))
(fabs.f64 (neg.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re)))))
(fabs.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re))))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) re)
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (fabs.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) re)
(hypot.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (fabs.f64 im))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 im))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) im)
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (fabs.f64 im))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 im))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) im)
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) im)
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (fabs.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) im)
(hypot.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (fabs.f64 re))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 re))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) re)
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (fabs.f64 re))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 re))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) re)
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 im))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 im))
(hypot.f64 (fabs.f64 (fabs.f64 re)) im)
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 re))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 re))
(hypot.f64 (fabs.f64 (fabs.f64 im)) re)
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 im))
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 im))
(hypot.f64 (neg.f64 (fabs.f64 re)) im)
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (fabs.f64 im))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 im))
(hypot.f64 (neg.f64 (neg.f64 re)) im)
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (fabs.f64 re))
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 re))
(hypot.f64 (neg.f64 (fabs.f64 im)) re)
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (fabs.f64 re))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 re))
(hypot.f64 (neg.f64 (neg.f64 im)) re)
(hypot.f64 (fabs.f64 im) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 im) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 im) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (fabs.f64 im) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (fabs.f64 im) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (fabs.f64 im) (neg.f64 (fabs.f64 re)))
(hypot.f64 (fabs.f64 im) (neg.f64 (neg.f64 re)))
(hypot.f64 (fabs.f64 im) (fabs.f64 re))
(hypot.f64 (fabs.f64 im) (neg.f64 re))
(hypot.f64 (fabs.f64 im) re)
(hypot.f64 (fabs.f64 re) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (fabs.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (fabs.f64 re) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 re) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (fabs.f64 re) (neg.f64 (fabs.f64 im)))
(hypot.f64 (fabs.f64 re) (neg.f64 (neg.f64 im)))
(hypot.f64 (fabs.f64 re) (fabs.f64 im))
(hypot.f64 (fabs.f64 re) (neg.f64 im))
(hypot.f64 (fabs.f64 re) im)
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (neg.f64 re) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 re) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 re) (neg.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 re) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 re) (fabs.f64 im))
(hypot.f64 (neg.f64 re) (neg.f64 im))
(hypot.f64 (neg.f64 re) im)
(hypot.f64 (neg.f64 im) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 im) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 im) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (neg.f64 im) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (neg.f64 im) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 im) (neg.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 im) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 im) (fabs.f64 re))
(hypot.f64 (neg.f64 im) (neg.f64 re))
(hypot.f64 (neg.f64 im) re)
(hypot.f64 im (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 im (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 im (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 im (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 im (fabs.f64 (fabs.f64 re)))
(hypot.f64 im (neg.f64 (fabs.f64 re)))
(hypot.f64 im (neg.f64 (neg.f64 re)))
(hypot.f64 im (fabs.f64 re))
(hypot.f64 im (neg.f64 re))
(hypot.f64 im re)
(hypot.f64 re (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 re (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 re (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 re (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 re (fabs.f64 (fabs.f64 im)))
(hypot.f64 re (neg.f64 (fabs.f64 im)))
(hypot.f64 re (neg.f64 (neg.f64 im)))
(hypot.f64 re (fabs.f64 im))
(hypot.f64 re (neg.f64 im))
(hypot.f64 re im)
re
im
#s(approx (sqrt (+ (* re re) (* im im))) im)
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
(*.f64 #s(literal -1 binary64) im)
(*.f64 im #s(literal -1 binary64))
(neg.f64 im)
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
(*.f64 #s(literal -1 binary64) re)
(*.f64 re #s(literal -1 binary64))
(neg.f64 re)
(pow.f64 #s(approx (+ (* re re) (* im im)) (*.f64 im im)) #s(literal 1/2 binary64))
(sqrt.f64 (.f64 (sqrt.f64 #s(approx (+ ( re re) (* im im)) (.f64 im im))) (sqrt.f64 #s(approx (+ ( re re) (* im im)) (*.f64 im im)))))
(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 im im)))
(fabs.f64 (neg.f64 (sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 im im)))))
(fabs.f64 (sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 im im))))
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
(.f64 (.f64 (neg.f64 im) #s(literal -1 binary64)) im)
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 im))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 im))
(.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(*.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im)))
(*.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im)))
(*.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)))
(.f64 (.f64 (neg.f64 im) im) #s(literal -1 binary64))
(.f64 (fabs.f64 im) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(*.f64 (fabs.f64 im) (fabs.f64 im))
(.f64 (.f64 im im) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 im) im))
(.f64 #s(literal 1 binary64) (.f64 im im))
(.f64 (neg.f64 im) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(*.f64 (neg.f64 im) (neg.f64 im))
(.f64 im (.f64 #s(literal -1 binary64) (neg.f64 im)))
(*.f64 im im)
(pow.f64 (fabs.f64 (fabs.f64 im)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 im)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 im)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 im) #s(literal 2 binary64))
(pow.f64 (neg.f64 im) #s(literal 2 binary64))
(pow.f64 im #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 im) im))
(sqrt.f64 (.f64 (.f64 im im) (*.f64 im im)))
(fabs.f64 (*.f64 (neg.f64 im) im))
(fabs.f64 (*.f64 im im))
#s(approx (sqrt (+ (* re re) (* im im))) im)
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 re re) im) #s(literal 1/2 binary64) im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (/.f64 (.f64 re re) (.f64 (.f64 im im) im)) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) im)) re) re im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (.f64 (fma.f64 (.f64 (pow.f64 im #s(literal -5 binary64)) (.f64 re re)) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 (.f64 im im) im))) re) re (/.f64 #s(literal 1/2 binary64) im)) re) re im))
#s(approx re re)
#s(approx (neg re) (neg.f64 re))
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
#s(approx (+ (* re re) (* im im)) (fma.f64 im im (*.f64 re re)))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 re #s(literal 1/2 binary64)) (.f64 im (/.f64 im (*.f64 re re))) re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64))) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 re (fma.f64 (pow.f64 (.f64 im (/.f64 im (.f64 re re))) #s(literal 3 binary64)) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (/.f64 (.f64 (.f64 im im) #s(literal 1/2 binary64)) (*.f64 re re)))) re))
#s(approx (+ (* re re) (* im im)) (*.f64 re re))
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64)) re) re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64)) (neg.f64 re)))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64))) (neg.f64 re)))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 re (fma.f64 (pow.f64 (.f64 im (/.f64 im (.f64 re re))) #s(literal 3 binary64)) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (/.f64 (.f64 (.f64 im im) #s(literal 1/2 binary64)) (*.f64 re re)))) re)))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 im im) re) #s(literal 1/2 binary64) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (.f64 im (/.f64 im (.f64 (.f64 re re) re))) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) re)) im) im re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (.f64 (fma.f64 (.f64 (pow.f64 re #s(literal -5 binary64)) (.f64 im im)) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 (.f64 re re) re))) im) im (/.f64 #s(literal 1/2 binary64) re)) im) im re))
#s(approx (neg im) (neg.f64 im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)) im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64))) im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 im (fma.f64 (pow.f64 (.f64 re (/.f64 re (.f64 im im))) #s(literal 3 binary64)) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64)))) im))
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal 1 binary64)) im) im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)) (neg.f64 im)))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64))) (neg.f64 im)))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 im (fma.f64 (pow.f64 (.f64 re (/.f64 re (.f64 im im))) #s(literal 3 binary64)) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64)))) im)))

eval39.0ms (1.4%)

Memory: 18.2MiB live, 64.8MiB allocated; 3ms collecting garbage
Compiler: Compiled 1 407 to 453 computations (67.8% saved)

prune36.0ms (1.3%)

Memory

-46.4MiB live, 17.2MiB allocated; 9ms collecting garbage

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	265	1	266
Fresh	0	2	2
Picked	1	4	5
Done	0	0	0
Total	266	7	273

Accuracy

100.0%

Counts

273 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 re im)
▶	56.7%	(sqrt.f64 (fma.f64 re re (*.f64 im im)))
▶	4.6%	(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 re re)))
▶	6.4%	#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 im im) re) #s(literal 1/2 binary64) re))
✓	1.9%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
✓	1.2%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
✓	99.1%	#s(approx (sqrt (+ (* re re) (* im im))) im)

Compiler

Compiled 50 to 50 computations (0% saved)

series8.0ms (0.3%)

Memory

11.2MiB live, 11.2MiB allocated; 0ms collecting garbage

Counts

12 → 32

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 im im) re) #s(literal 1/2 binary64) re))
(fma.f64 (/.f64 (*.f64 im im) re) #s(literal 1/2 binary64) re)
(/.f64 (*.f64 im im) re)
(*.f64 im im)
im
re
#s(literal 1/2 binary64)
(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 re re)))
#s(approx (+ (* re re) (* im im)) (*.f64 re re))
(*.f64 re re)
(sqrt.f64 (fma.f64 re re (*.f64 im im)))
(fma.f64 re re (*.f64 im im))

Outputs
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im)))))))
#s(approx (+ (* (/ (* im im) re) 1/2) re) #s(hole binary64 (* 1/2 (/ (pow im 2) re))))
#s(approx (+ (* (/ (* im im) re) 1/2) re) #s(hole binary64 (/ (+ (* 1/2 (pow im 2)) (pow re 2)) re)))
#s(approx (/ (* im im) re) #s(hole binary64 (/ (pow im 2) re)))
#s(approx re #s(hole binary64 re))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2))))
#s(approx (* re re) #s(hole binary64 (pow re 2)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))))
#s(approx (+ (* (/ (* im im) re) 1/2) re) #s(hole binary64 (* -1 (* re (- (* -1/2 (/ (pow im 2) (pow re 2))) 1)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (+ (* (/ (* im im) re) 1/2) re) #s(hole binary64 (* (pow im 2) (+ (* 1/2 (/ 1 re)) (/ re (pow im 2))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 im)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))))

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	re	@	-inf	((sqrt (+ (* re re) (* im im))) (+ (* (/ (* im im) re) 1/2) re) (/ (* im im) re) (* im im) im re 1/2 (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)))
1.0ms	re	@	0	((sqrt (+ (* re re) (* im im))) (+ (* (/ (* im im) re) 1/2) re) (/ (* im im) re) (* im im) im re 1/2 (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)))
1.0ms	im	@	inf	((sqrt (+ (* re re) (* im im))) (+ (* (/ (* im im) re) 1/2) re) (/ (* im im) re) (* im im) im re 1/2 (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)))
1.0ms	re	@	inf	((sqrt (+ (* re re) (* im im))) (+ (* (/ (* im im) re) 1/2) re) (/ (* im im) re) (* im im) im re 1/2 (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)))
1.0ms	im	@	-inf	((sqrt (+ (* re re) (* im im))) (+ (* (/ (* im im) re) 1/2) re) (/ (* im im) re) (* im im) im re 1/2 (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)))

rewrite344.0ms (12.9%)

Memory

34.7MiB live, 223.5MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	163	830
0	173	805
1	1017	802
2	7263	802
0	8497	671
1	24135	671

Stop Event

1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

44 → 465

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 im im) re) #s(literal 1/2 binary64) re))
(fma.f64 (/.f64 (*.f64 im im) re) #s(literal 1/2 binary64) re)
(/.f64 (*.f64 im im) re)
(*.f64 im im)
im
re
#s(literal 1/2 binary64)
(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 re re)))
#s(approx (+ (* re re) (* im im)) (*.f64 re re))
(*.f64 re re)
(sqrt.f64 (fma.f64 re re (*.f64 im im)))
(fma.f64 re re (*.f64 im im))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im)))))))
#s(approx (+ (* (/ (* im im) re) 1/2) re) #s(hole binary64 (* 1/2 (/ (pow im 2) re))))
#s(approx (+ (* (/ (* im im) re) 1/2) re) #s(hole binary64 (/ (+ (* 1/2 (pow im 2)) (pow re 2)) re)))
#s(approx (/ (* im im) re) #s(hole binary64 (/ (pow im 2) re)))
#s(approx re #s(hole binary64 re))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2))))
#s(approx (* re re) #s(hole binary64 (pow re 2)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))))
#s(approx (+ (* (/ (* im im) re) 1/2) re) #s(hole binary64 (* -1 (* re (- (* -1/2 (/ (pow im 2) (pow re 2))) 1)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (+ (* (/ (* im im) re) 1/2) re) #s(hole binary64 (* (pow im 2) (+ (* 1/2 (/ 1 re)) (/ re (pow im 2))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 im)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))))

Outputs
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) im re))
(/.f64 (-.f64 (.f64 (.f64 re re) re) (pow.f64 (.f64 (.f64 #s(literal -1/2 binary64) im) (/.f64 im re)) #s(literal 3 binary64))) (fma.f64 re re (fma.f64 (.f64 (.f64 (/.f64 im re) im) (.f64 (/.f64 im re) im)) #s(literal 1/4 binary64) (.f64 re (.f64 (.f64 #s(literal -1/2 binary64) im) (/.f64 im re))))))
(/.f64 (-.f64 (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 im im) (.f64 im im))) (.f64 re re)) (.f64 re re)) (fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) im (neg.f64 re)))
(/.f64 (-.f64 (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 im im) (.f64 im im))) (.f64 re re)) (.f64 re re)) (-.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im) re))
(/.f64 (-.f64 (.f64 re re) (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 im im) (.f64 im im))) (.f64 re re))) (+.f64 re (.f64 (.f64 #s(literal -1/2 binary64) im) (/.f64 im re))))
(/.f64 (-.f64 (.f64 re re) (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 im im) (.f64 im im))) (.f64 re re))) (-.f64 re (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im)))
(/.f64 (fma.f64 (.f64 re re) re (pow.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im) #s(literal 3 binary64))) (fma.f64 re re (-.f64 (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 im im) (.f64 im im))) (.f64 re re)) (.f64 re (.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) im)))))
(/.f64 (fma.f64 (.f64 re re) re (pow.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (/.f64 im re) im) (.f64 (/.f64 im re) im)) #s(literal 1/4 binary64) (-.f64 (.f64 re re) (.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im) re))))
(/.f64 (fma.f64 (.f64 re re) re (pow.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (/.f64 im re) im) (.f64 (/.f64 im re) im)) #s(literal 1/4 binary64) (fma.f64 re re (.f64 (.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) im) (neg.f64 re)))))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal -1/2 binary64) im) (/.f64 im re)) re))
(neg.f64 (-.f64 (neg.f64 re) (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im)))
(fma.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) (fabs.f64 im)) (fabs.f64 im) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) (fabs.f64 im)) (fabs.f64 im) (neg.f64 (neg.f64 re)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) (fabs.f64 im)) (fabs.f64 im) re)
(fma.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) (neg.f64 im)) (neg.f64 im) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) (neg.f64 im)) (neg.f64 im) (neg.f64 (neg.f64 re)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) (neg.f64 im)) (neg.f64 im) re)
(fma.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) im (neg.f64 (neg.f64 re)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) im re)
(fma.f64 (.f64 #s(literal 1/2 binary64) im) (/.f64 im re) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) im) (/.f64 im re) (neg.f64 (neg.f64 re)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) im) (/.f64 im re) re)
(fma.f64 (fabs.f64 im) (.f64 (fabs.f64 im) (/.f64 #s(literal 1/2 binary64) re)) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (fabs.f64 im) (*.f64 (fabs.f64 im) (/.f64 #s(literal 1/2 binary64) re)) (neg.f64 (neg.f64 re)))
(fma.f64 (fabs.f64 im) (*.f64 (fabs.f64 im) (/.f64 #s(literal 1/2 binary64) re)) re)
(fma.f64 (neg.f64 im) (.f64 (neg.f64 im) (/.f64 #s(literal 1/2 binary64) re)) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (neg.f64 im) (*.f64 (neg.f64 im) (/.f64 #s(literal 1/2 binary64) re)) (neg.f64 (neg.f64 re)))
(fma.f64 (neg.f64 im) (*.f64 (neg.f64 im) (/.f64 #s(literal 1/2 binary64) re)) re)
(fma.f64 (/.f64 #s(literal 1/2 binary64) re) (.f64 im im) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (/.f64 #s(literal 1/2 binary64) re) (*.f64 im im) (neg.f64 (neg.f64 re)))
(fma.f64 (/.f64 #s(literal 1/2 binary64) re) (*.f64 im im) re)
(fma.f64 (/.f64 #s(literal 1 binary64) re) (.f64 (.f64 im im) #s(literal 1/2 binary64)) (*.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) re) (.f64 (.f64 im im) #s(literal 1/2 binary64)) (neg.f64 (neg.f64 re)))
(fma.f64 (/.f64 #s(literal 1 binary64) re) (.f64 (.f64 im im) #s(literal 1/2 binary64)) re)
(fma.f64 (.f64 (.f64 im im) #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) re) (*.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (.f64 (.f64 im im) #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) re) (neg.f64 (neg.f64 re)))
(fma.f64 (.f64 (.f64 im im) #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) re) re)
(fma.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im) #s(literal 1 binary64) (*.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im) #s(literal 1 binary64) (neg.f64 (neg.f64 re)))
(fma.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im) #s(literal 1 binary64) re)
(fma.f64 (.f64 im im) (/.f64 #s(literal 1/2 binary64) re) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (*.f64 im im) (/.f64 #s(literal 1/2 binary64) re) (neg.f64 (neg.f64 re)))
(fma.f64 (*.f64 im im) (/.f64 #s(literal 1/2 binary64) re) re)
(fma.f64 #s(literal 1/2 binary64) (.f64 #s(literal 1 binary64) (.f64 (/.f64 im re) im)) (*.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 #s(literal 1/2 binary64) (.f64 #s(literal 1 binary64) (.f64 (/.f64 im re) im)) (neg.f64 (neg.f64 re)))
(fma.f64 #s(literal 1/2 binary64) (.f64 #s(literal 1 binary64) (.f64 (/.f64 im re) im)) re)
(fma.f64 #s(literal 1/2 binary64) (.f64 (/.f64 im re) im) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 #s(literal 1/2 binary64) (*.f64 (/.f64 im re) im) (neg.f64 (neg.f64 re)))
(fma.f64 #s(literal 1/2 binary64) (*.f64 (/.f64 im re) im) re)
(fma.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) (neg.f64 (neg.f64 re)))
(fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) re)
(fma.f64 im (.f64 im (/.f64 #s(literal 1/2 binary64) re)) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 im (*.f64 im (/.f64 #s(literal 1/2 binary64) re)) (neg.f64 (neg.f64 re)))
(fma.f64 im (*.f64 im (/.f64 #s(literal 1/2 binary64) re)) re)
(fma.f64 im (.f64 (/.f64 im re) #s(literal 1/2 binary64)) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 im (*.f64 (/.f64 im re) #s(literal 1/2 binary64)) (neg.f64 (neg.f64 re)))
(fma.f64 im (*.f64 (/.f64 im re) #s(literal 1/2 binary64)) re)
(-.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im) (neg.f64 re))
(-.f64 re (.f64 (.f64 #s(literal -1/2 binary64) im) (/.f64 im re)))
(+.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im) (*.f64 (neg.f64 re) #s(literal -1 binary64)))
(+.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im) (neg.f64 (neg.f64 re)))
(+.f64 (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im) re)
(+.f64 re (neg.f64 (.f64 (.f64 #s(literal -1/2 binary64) im) (/.f64 im re))))
(+.f64 re (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im))
(*.f64 (/.f64 im re) im)
(.f64 (.f64 (neg.f64 im) im) (/.f64 #s(literal 1 binary64) (neg.f64 re)))
(.f64 (fabs.f64 im) (.f64 (fabs.f64 im) (/.f64 #s(literal 1 binary64) re)))
(*.f64 (fabs.f64 im) (/.f64 (fabs.f64 im) re))
(.f64 (neg.f64 im) (.f64 (neg.f64 im) (/.f64 #s(literal 1 binary64) re)))
(*.f64 (neg.f64 im) (/.f64 (neg.f64 im) re))
(.f64 (/.f64 #s(literal 1 binary64) re) (.f64 im im))
(.f64 (.f64 im im) (/.f64 #s(literal 1 binary64) re))
(*.f64 im (/.f64 im re))
(/.f64 (.f64 (.f64 im im) #s(literal -1 binary64)) (neg.f64 re))
(/.f64 (/.f64 (*.f64 (neg.f64 im) im) #s(literal -1 binary64)) re)
(/.f64 (/.f64 (*.f64 (neg.f64 im) im) re) #s(literal -1 binary64))
(/.f64 (*.f64 (neg.f64 im) im) (neg.f64 re))
(/.f64 (*.f64 im im) (neg.f64 (neg.f64 re)))
(/.f64 (*.f64 im im) re)
(/.f64 #s(literal 1 binary64) (/.f64 re (*.f64 im im)))
(neg.f64 (/.f64 (*.f64 (neg.f64 im) im) re))
(neg.f64 (/.f64 (*.f64 im im) (neg.f64 re)))
(.f64 (.f64 (neg.f64 im) #s(literal -1 binary64)) im)
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 im))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 im))
(.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(*.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im)))
(*.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im)))
(*.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)))
(.f64 (.f64 (neg.f64 im) im) #s(literal -1 binary64))
(.f64 (fabs.f64 im) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(*.f64 (fabs.f64 im) (fabs.f64 im))
(.f64 (neg.f64 im) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(*.f64 (neg.f64 im) (neg.f64 im))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 im) im))
(.f64 (.f64 im im) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 im im))
(.f64 im (.f64 #s(literal -1 binary64) (neg.f64 im)))
(*.f64 im im)
(pow.f64 (fabs.f64 (fabs.f64 im)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 im)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 im)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 im) #s(literal 2 binary64))
(pow.f64 (neg.f64 im) #s(literal 2 binary64))
(pow.f64 im #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 im) im))
(sqrt.f64 (.f64 (.f64 im im) (*.f64 im im)))
(fabs.f64 (*.f64 (neg.f64 im) im))
(fabs.f64 (*.f64 im im))
im
re
#s(literal 1/2 binary64)
(pow.f64 #s(approx (+ (* re re) (* im im)) (*.f64 re re)) #s(literal 1/2 binary64))
(sqrt.f64 (.f64 (sqrt.f64 #s(approx (+ ( re re) (* im im)) (.f64 re re))) (sqrt.f64 #s(approx (+ ( re re) (* im im)) (*.f64 re re)))))
(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 re re)))
(fabs.f64 (neg.f64 (sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 re re)))))
(fabs.f64 (sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 re re))))
#s(approx (+ (* re re) (* im im)) (*.f64 re re))
(.f64 (.f64 (neg.f64 re) #s(literal -1 binary64)) re)
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re))
(.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(*.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)))
(*.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)))
(*.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)))
(.f64 (.f64 (neg.f64 re) re) #s(literal -1 binary64))
(.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(*.f64 (fabs.f64 re) (fabs.f64 re))
(.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(*.f64 (neg.f64 re) (neg.f64 re))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 re) re))
(.f64 #s(literal 1 binary64) (.f64 re re))
(.f64 (.f64 re re) #s(literal 1 binary64))
(.f64 re (.f64 #s(literal -1 binary64) (neg.f64 re)))
(*.f64 re re)
(pow.f64 (fabs.f64 (fabs.f64 re)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 re)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (neg.f64 re)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 re) #s(literal 2 binary64))
(pow.f64 (neg.f64 re) #s(literal 2 binary64))
(pow.f64 re #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 re) re))
(sqrt.f64 (.f64 (.f64 (*.f64 re re) re) re))
(fabs.f64 (*.f64 (neg.f64 re) re))
(fabs.f64 (*.f64 re re))
(pow.f64 (fma.f64 im im (*.f64 re re)) #s(literal 1/2 binary64))
(sqrt.f64 (.f64 (sqrt.f64 (fma.f64 im im (.f64 re re))) (sqrt.f64 (fma.f64 im im (*.f64 re re)))))
(sqrt.f64 (fma.f64 im im (*.f64 re re)))
(fabs.f64 (neg.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re)))))
(fabs.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re))))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) re)
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (fabs.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) re)
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) im)
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (fabs.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) im)
(hypot.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (fabs.f64 re))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 re))
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) re)
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (fabs.f64 re))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 re))
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) re)
(hypot.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (fabs.f64 im))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 im))
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) im)
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (fabs.f64 im))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 im))
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) im)
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 im))
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 im))
(hypot.f64 (fabs.f64 (fabs.f64 re)) im)
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 re))
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 re))
(hypot.f64 (fabs.f64 (fabs.f64 im)) re)
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 im))
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 im))
(hypot.f64 (neg.f64 (fabs.f64 re)) im)
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 re)) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (fabs.f64 im))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 im))
(hypot.f64 (neg.f64 (neg.f64 re)) im)
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 (fabs.f64 im)) (fabs.f64 re))
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 re))
(hypot.f64 (neg.f64 (fabs.f64 im)) re)
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 im)) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (fabs.f64 re))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 re))
(hypot.f64 (neg.f64 (neg.f64 im)) re)
(hypot.f64 (fabs.f64 re) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (fabs.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (fabs.f64 re) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 re) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (fabs.f64 re) (neg.f64 (fabs.f64 im)))
(hypot.f64 (fabs.f64 re) (neg.f64 (neg.f64 im)))
(hypot.f64 (fabs.f64 re) (fabs.f64 im))
(hypot.f64 (fabs.f64 re) (neg.f64 im))
(hypot.f64 (fabs.f64 re) im)
(hypot.f64 (fabs.f64 im) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (fabs.f64 im) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (fabs.f64 im) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 im) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 im) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (fabs.f64 im) (neg.f64 (fabs.f64 re)))
(hypot.f64 (fabs.f64 im) (neg.f64 (neg.f64 re)))
(hypot.f64 (fabs.f64 im) (fabs.f64 re))
(hypot.f64 (fabs.f64 im) (neg.f64 re))
(hypot.f64 (fabs.f64 im) re)
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (neg.f64 re) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 re) (fabs.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 re) (neg.f64 (fabs.f64 im)))
(hypot.f64 (neg.f64 re) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 re) (fabs.f64 im))
(hypot.f64 (neg.f64 re) (neg.f64 im))
(hypot.f64 (neg.f64 re) im)
(hypot.f64 (neg.f64 im) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 (neg.f64 im) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (neg.f64 im) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 im) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 im) (fabs.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 im) (neg.f64 (fabs.f64 re)))
(hypot.f64 (neg.f64 im) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 im) (fabs.f64 re))
(hypot.f64 (neg.f64 im) (neg.f64 re))
(hypot.f64 (neg.f64 im) re)
(hypot.f64 im (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(hypot.f64 im (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 im (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(hypot.f64 im (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 im (fabs.f64 (fabs.f64 re)))
(hypot.f64 im (neg.f64 (fabs.f64 re)))
(hypot.f64 im (neg.f64 (neg.f64 re)))
(hypot.f64 im (fabs.f64 re))
(hypot.f64 im (neg.f64 re))
(hypot.f64 im re)
(hypot.f64 re (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(hypot.f64 re (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 re (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(hypot.f64 re (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 re (fabs.f64 (fabs.f64 im)))
(hypot.f64 re (neg.f64 (fabs.f64 im)))
(hypot.f64 re (neg.f64 (neg.f64 im)))
(hypot.f64 re (fabs.f64 im))
(hypot.f64 re (neg.f64 im))
(hypot.f64 re im)
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (-.f64 (.f64 im im) (.f64 re re))) (fma.f64 im im (*.f64 (neg.f64 re) re)))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (-.f64 (.f64 im im) (.f64 re re))) (-.f64 (.f64 im im) (.f64 re re)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im)) (pow.f64 (.f64 (neg.f64 re) re) #s(literal 3 binary64))) (fma.f64 (.f64 im im) (.f64 im im) (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (*.f64 (neg.f64 re) re)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (pow.f64 (.f64 (neg.f64 im) im) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 re re) re) re (fma.f64 (.f64 im im) (.f64 im im) (.f64 (.f64 re re) (*.f64 (neg.f64 im) im)))))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (-.f64 (.f64 re re) (.f64 im im))) (fma.f64 re re (*.f64 (neg.f64 im) im)))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (-.f64 (.f64 re re) (.f64 im im))) (-.f64 (.f64 re re) (.f64 im im)))
(/.f64 (fma.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re) (.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im))) (fma.f64 (.f64 (.f64 re re) re) re (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (*.f64 im im)))))
(/.f64 (fma.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re) (.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (*.f64 re re)))))
(neg.f64 (-.f64 (.f64 (neg.f64 re) re) (.f64 im im)))
(neg.f64 (-.f64 (.f64 (neg.f64 im) im) (.f64 re re)))
(fma.f64 (.f64 (neg.f64 im) #s(literal -1 binary64)) im (.f64 re re))
(fma.f64 (.f64 (neg.f64 re) #s(literal -1 binary64)) re (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (neg.f64 re) #s(literal -1 binary64)) re (.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 im) (.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 im) (.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (.f64 im im))
(fma.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 im im))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 im im))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 im im))
(fma.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im)) (*.f64 re re))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 im im))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 im im))
(fma.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im)) (*.f64 re re))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (*.f64 re re))
(fma.f64 (.f64 (neg.f64 im) im) #s(literal -1 binary64) (.f64 re re))
(fma.f64 (.f64 (neg.f64 re) re) #s(literal -1 binary64) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (neg.f64 re) re) #s(literal -1 binary64) (.f64 im im))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 im im))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 im im))
(fma.f64 (fabs.f64 im) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 re re))
(fma.f64 (fabs.f64 im) (fabs.f64 im) (*.f64 re re))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 im im))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 im im))
(fma.f64 (neg.f64 im) (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 re re))
(fma.f64 (neg.f64 im) (neg.f64 im) (*.f64 re re))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 im) im) (.f64 re re))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 re) re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 re) re) (.f64 im im))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 re re))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 re re))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 im im))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 im im))
(fma.f64 im (.f64 #s(literal -1 binary64) (neg.f64 im)) (.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 re (.f64 #s(literal -1 binary64) (neg.f64 re)) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 re (.f64 #s(literal -1 binary64) (neg.f64 re)) (.f64 im im))
(fma.f64 re re (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 re re (*.f64 im im))
(-.f64 (.f64 im im) (.f64 (neg.f64 re) re))
(-.f64 (.f64 re re) (.f64 (neg.f64 im) im))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 (.f64 re re) (.f64 (neg.f64 (neg.f64 im)) im))
(+.f64 (.f64 re re) (.f64 im im))
#s(approx (sqrt (+ (* re re) (* im im))) im)
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 re re) im) #s(literal 1/2 binary64) im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (/.f64 (.f64 re re) (.f64 (.f64 im im) im)) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) im)) re) re im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (.f64 (fma.f64 (.f64 (pow.f64 im #s(literal -5 binary64)) (.f64 re re)) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 (.f64 im im) im))) re) re (/.f64 #s(literal 1/2 binary64) im)) re) re im))
#s(approx (+ (* (/ (* im im) re) 1/2) re) (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im))
#s(approx (+ (* (/ (* im im) re) 1/2) re) (/.f64 (fma.f64 (.f64 im im) #s(literal 1/2 binary64) (.f64 re re)) re))
#s(approx (/ (* im im) re) (*.f64 (/.f64 im re) im))
#s(approx re re)
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
#s(approx (+ (* re re) (* im im)) (fma.f64 im im (*.f64 re re)))
#s(approx (* re re) (*.f64 re re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 re #s(literal 1/2 binary64)) (.f64 im (/.f64 im (*.f64 re re))) re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (.f64 im im) (/.f64 #s(literal 1/2 binary64) (*.f64 re re)) #s(literal 1 binary64))) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 re (fma.f64 (pow.f64 (.f64 im (/.f64 im (.f64 re re))) #s(literal 3 binary64)) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (.f64 (.f64 im im) (/.f64 #s(literal 1/2 binary64) (*.f64 re re))))) re))
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64)) re) re))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 #s(literal -1/2 binary64) (.f64 im (/.f64 im (*.f64 re re))) #s(literal -1 binary64)) re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 re) (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (.f64 im im) (/.f64 #s(literal 1/2 binary64) (*.f64 re re)) #s(literal 1 binary64)))))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 re (fma.f64 (pow.f64 (.f64 im (/.f64 im (.f64 re re))) #s(literal 3 binary64)) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (.f64 (.f64 im im) (/.f64 #s(literal 1/2 binary64) (*.f64 re re))))) re)))
#s(approx (+ (* (/ (* im im) re) 1/2) re) (fma.f64 (.f64 re #s(literal 1/2 binary64)) (.f64 im (/.f64 im (*.f64 re re))) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) im re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (.f64 im (/.f64 im (.f64 (.f64 re re) re))) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) re)) im) im re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (.f64 (fma.f64 (.f64 (pow.f64 re #s(literal -5 binary64)) (.f64 im im)) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 (.f64 re re) re))) im) im (/.f64 #s(literal 1/2 binary64) re)) im) im re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)) im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64))) im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 im (fma.f64 (pow.f64 (.f64 re (/.f64 re (.f64 im im))) #s(literal 3 binary64)) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64)))) im))
#s(approx (+ (* (/ (* im im) re) 1/2) re) (.f64 (.f64 (-.f64 (/.f64 re (*.f64 im im)) (/.f64 #s(literal -1/2 binary64) re)) im) im))
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal 1 binary64)) im) im))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 im) (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 im) (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)))))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 im (fma.f64 (pow.f64 (.f64 re (/.f64 re (.f64 im im))) #s(literal 3 binary64)) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64)))) im)))

eval156.0ms (5.8%)

Memory: -30.8MiB live, 100.1MiB allocated; 17ms collecting garbage
Compiler: Compiled 2 930 to 1 053 computations (64.1% saved)

prune8.0ms (0.3%)

Memory

25.2MiB live, 25.1MiB allocated; 0ms collecting garbage

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	481	1	482
Fresh	0	0	0
Picked	1	2	3
Done	0	4	4
Total	482	7	489

Accuracy

100.0%

Counts

489 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 re im)
✓	56.7%	(sqrt.f64 (fma.f64 re re (*.f64 im im)))
✓	4.6%	(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 re re)))
▶	6.5%	#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) re))
✓	1.9%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
✓	1.2%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
✓	99.1%	#s(approx (sqrt (+ (* re re) (* im im))) im)

Compiler

Compiled 50 to 50 computations (0% saved)

series7.0ms (0.3%)

Memory

15.0MiB live, 15.0MiB allocated; 0ms collecting garbage

Counts

7 → 28

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) re))
(fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) re)
(*.f64 (/.f64 im re) im)
(/.f64 im re)
im
re
#s(literal 1/2 binary64)

Outputs
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im)))))))
#s(approx (+ (* (* (/ im re) im) 1/2) re) #s(hole binary64 (* 1/2 (/ (pow im 2) re))))
#s(approx (+ (* (* (/ im re) im) 1/2) re) #s(hole binary64 (/ (+ (* 1/2 (pow im 2)) (pow re 2)) re)))
#s(approx (* (/ im re) im) #s(hole binary64 (/ (pow im 2) re)))
#s(approx (/ im re) #s(hole binary64 (/ im re)))
#s(approx re #s(hole binary64 re))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))))
#s(approx (+ (* (* (/ im re) im) 1/2) re) #s(hole binary64 (* -1 (* re (- (* -1/2 (/ (pow im 2) (pow re 2))) 1)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (+ (* (* (/ im re) im) 1/2) re) #s(hole binary64 (* (pow im 2) (+ (* 1/2 (/ 1 re)) (/ re (pow im 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 im)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))))

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	re	@	-inf	((sqrt (+ (* re re) (* im im))) (+ (* (* (/ im re) im) 1/2) re) (* (/ im re) im) (/ im re) im re 1/2)
1.0ms	im	@	-inf	((sqrt (+ (* re re) (* im im))) (+ (* (* (/ im re) im) 1/2) re) (* (/ im re) im) (/ im re) im re 1/2)
1.0ms	im	@	inf	((sqrt (+ (* re re) (* im im))) (+ (* (* (/ im re) im) 1/2) re) (* (/ im re) im) (/ im re) im re 1/2)
1.0ms	re	@	inf	((sqrt (+ (* re re) (* im im))) (+ (* (* (/ im re) im) 1/2) re) (* (/ im re) im) (/ im re) im re 1/2)
1.0ms	re	@	0	((sqrt (+ (* re re) (* im im))) (+ (* (* (/ im re) im) 1/2) re) (* (/ im re) im) (/ im re) im re 1/2)

rewrite395.0ms (14.8%)

Memory

-36.3MiB live, 248.4MiB allocated; 73ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	150	751
0	156	727
1	947	724
2	6847	724
0	8623	577
1	23126	577

Stop Event

1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

35 → 141

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) re))
(fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) re)
(*.f64 (/.f64 im re) im)
(/.f64 im re)
im
re
#s(literal 1/2 binary64)
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im)))))))
#s(approx (+ (* (* (/ im re) im) 1/2) re) #s(hole binary64 (* 1/2 (/ (pow im 2) re))))
#s(approx (+ (* (* (/ im re) im) 1/2) re) #s(hole binary64 (/ (+ (* 1/2 (pow im 2)) (pow re 2)) re)))
#s(approx (* (/ im re) im) #s(hole binary64 (/ (pow im 2) re)))
#s(approx (/ im re) #s(hole binary64 (/ im re)))
#s(approx re #s(hole binary64 re))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))))
#s(approx (+ (* (* (/ im re) im) 1/2) re) #s(hole binary64 (* -1 (* re (- (* -1/2 (/ (pow im 2) (pow re 2))) 1)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (+ (* (* (/ im re) im) 1/2) re) #s(hole binary64 (* (pow im 2) (+ (* 1/2 (/ 1 re)) (/ re (pow im 2))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 im)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))))

Outputs
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) re))
(/.f64 (-.f64 (.f64 (.f64 re re) re) (pow.f64 (.f64 #s(literal -1/2 binary64) (.f64 (/.f64 im re) im)) #s(literal 3 binary64))) (fma.f64 re re (fma.f64 (.f64 (.f64 (/.f64 im re) im) (.f64 (/.f64 im re) im)) #s(literal 1/4 binary64) (.f64 re (.f64 #s(literal -1/2 binary64) (.f64 (/.f64 im re) im))))))
(/.f64 (-.f64 (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 im im) (.f64 im im))) (.f64 re re)) (.f64 re re)) (fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) (neg.f64 re)))
(/.f64 (-.f64 (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 im im) (.f64 im im))) (.f64 re re)) (.f64 re re)) (-.f64 (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)) re))
(/.f64 (-.f64 (.f64 re re) (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 im im) (.f64 im im))) (.f64 re re))) (+.f64 re (.f64 #s(literal -1/2 binary64) (.f64 (/.f64 im re) im))))
(/.f64 (-.f64 (.f64 re re) (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 im im) (.f64 im im))) (.f64 re re))) (-.f64 re (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64))))
(/.f64 (fma.f64 (.f64 re re) re (pow.f64 (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (/.f64 im re) im) (.f64 (/.f64 im re) im)) #s(literal 1/4 binary64) (-.f64 (.f64 re re) (.f64 (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)) re))))
(/.f64 (fma.f64 (.f64 re re) re (pow.f64 (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (fma.f64 re re (-.f64 (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 im im) (.f64 im im))) (.f64 re re)) (.f64 re (.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64))))))
(/.f64 (fma.f64 (.f64 re re) re (pow.f64 (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (/.f64 im re) im) (.f64 (/.f64 im re) im)) #s(literal 1/4 binary64) (fma.f64 re re (.f64 (.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64)) (neg.f64 re)))))
(neg.f64 (-.f64 (.f64 #s(literal -1/2 binary64) (.f64 (/.f64 im re) im)) re))
(neg.f64 (-.f64 (neg.f64 re) (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64))))
(fma.f64 (.f64 #s(literal 1/2 binary64) (/.f64 im re)) im (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 im re)) im (neg.f64 (neg.f64 re)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 im re)) im re)
(fma.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) (fabs.f64 im)) (fabs.f64 im) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) (fabs.f64 im)) (fabs.f64 im) (neg.f64 (neg.f64 re)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) (fabs.f64 im)) (fabs.f64 im) re)
(fma.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) (neg.f64 im)) (neg.f64 im) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) (neg.f64 im)) (neg.f64 im) (neg.f64 (neg.f64 re)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) (neg.f64 im)) (neg.f64 im) re)
(fma.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) im (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) im (neg.f64 (neg.f64 re)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) im re)
(fma.f64 (.f64 #s(literal 1/2 binary64) im) (/.f64 im re) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) im) (/.f64 im re) (neg.f64 (neg.f64 re)))
(fma.f64 (*.f64 #s(literal 1/2 binary64) im) (/.f64 im re) re)
(fma.f64 (fabs.f64 im) (.f64 (fabs.f64 im) (/.f64 #s(literal 1/2 binary64) re)) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (fabs.f64 im) (*.f64 (fabs.f64 im) (/.f64 #s(literal 1/2 binary64) re)) (neg.f64 (neg.f64 re)))
(fma.f64 (fabs.f64 im) (*.f64 (fabs.f64 im) (/.f64 #s(literal 1/2 binary64) re)) re)
(fma.f64 (neg.f64 im) (.f64 (neg.f64 im) (/.f64 #s(literal 1/2 binary64) re)) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (neg.f64 im) (*.f64 (neg.f64 im) (/.f64 #s(literal 1/2 binary64) re)) (neg.f64 (neg.f64 re)))
(fma.f64 (neg.f64 im) (*.f64 (neg.f64 im) (/.f64 #s(literal 1/2 binary64) re)) re)
(fma.f64 (/.f64 #s(literal 1/2 binary64) re) (.f64 im im) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (/.f64 #s(literal 1/2 binary64) re) (*.f64 im im) (neg.f64 (neg.f64 re)))
(fma.f64 (/.f64 #s(literal 1/2 binary64) re) (*.f64 im im) re)
(fma.f64 (/.f64 #s(literal 1 binary64) re) (.f64 (.f64 im im) #s(literal 1/2 binary64)) (*.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) re) (.f64 (.f64 im im) #s(literal 1/2 binary64)) (neg.f64 (neg.f64 re)))
(fma.f64 (/.f64 #s(literal 1 binary64) re) (.f64 (.f64 im im) #s(literal 1/2 binary64)) re)
(fma.f64 (.f64 (.f64 im im) #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) re) (*.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (.f64 (.f64 im im) #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) re) (neg.f64 (neg.f64 re)))
(fma.f64 (.f64 (.f64 im im) #s(literal 1/2 binary64)) (/.f64 #s(literal 1 binary64) re) re)
(fma.f64 (.f64 im im) (/.f64 #s(literal 1/2 binary64) re) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (*.f64 im im) (/.f64 #s(literal 1/2 binary64) re) (neg.f64 (neg.f64 re)))
(fma.f64 (*.f64 im im) (/.f64 #s(literal 1/2 binary64) re) re)
(fma.f64 (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)) #s(literal 1 binary64) (*.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)) #s(literal 1 binary64) (neg.f64 (neg.f64 re)))
(fma.f64 (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)) #s(literal 1 binary64) re)
(fma.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) (neg.f64 (neg.f64 re)))
(fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) re)
(fma.f64 (/.f64 im re) (.f64 #s(literal 1/2 binary64) im) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 (/.f64 im re) (*.f64 #s(literal 1/2 binary64) im) (neg.f64 (neg.f64 re)))
(fma.f64 (/.f64 im re) (*.f64 #s(literal 1/2 binary64) im) re)
(fma.f64 #s(literal 1/2 binary64) (.f64 #s(literal 1 binary64) (.f64 (/.f64 im re) im)) (*.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 #s(literal 1/2 binary64) (.f64 #s(literal 1 binary64) (.f64 (/.f64 im re) im)) (neg.f64 (neg.f64 re)))
(fma.f64 #s(literal 1/2 binary64) (.f64 #s(literal 1 binary64) (.f64 (/.f64 im re) im)) re)
(fma.f64 #s(literal 1/2 binary64) (.f64 (/.f64 im re) im) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 #s(literal 1/2 binary64) (*.f64 (/.f64 im re) im) (neg.f64 (neg.f64 re)))
(fma.f64 #s(literal 1/2 binary64) (*.f64 (/.f64 im re) im) re)
(fma.f64 im (.f64 (/.f64 im re) #s(literal 1/2 binary64)) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 im (*.f64 (/.f64 im re) #s(literal 1/2 binary64)) (neg.f64 (neg.f64 re)))
(fma.f64 im (*.f64 (/.f64 im re) #s(literal 1/2 binary64)) re)
(fma.f64 im (.f64 (/.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1/2 binary64) im)) (*.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 im (.f64 (/.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1/2 binary64) im)) (neg.f64 (neg.f64 re)))
(fma.f64 im (.f64 (/.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1/2 binary64) im)) re)
(fma.f64 im (.f64 im (/.f64 #s(literal 1/2 binary64) re)) (.f64 (neg.f64 re) #s(literal -1 binary64)))
(fma.f64 im (*.f64 im (/.f64 #s(literal 1/2 binary64) re)) (neg.f64 (neg.f64 re)))
(fma.f64 im (*.f64 im (/.f64 #s(literal 1/2 binary64) re)) re)
(-.f64 (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)) (neg.f64 re))
(-.f64 re (.f64 #s(literal -1/2 binary64) (.f64 (/.f64 im re) im)))
(+.f64 (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)) (*.f64 (neg.f64 re) #s(literal -1 binary64)))
(+.f64 (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)) (neg.f64 (neg.f64 re)))
(+.f64 (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)) re)
(+.f64 re (neg.f64 (.f64 #s(literal -1/2 binary64) (.f64 (/.f64 im re) im))))
(+.f64 re (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)))
(.f64 (.f64 (neg.f64 im) im) (/.f64 #s(literal 1 binary64) (neg.f64 re)))
(.f64 (fabs.f64 im) (.f64 (fabs.f64 im) (/.f64 #s(literal 1 binary64) re)))
(*.f64 (fabs.f64 im) (/.f64 (fabs.f64 im) re))
(.f64 (neg.f64 im) (.f64 (neg.f64 im) (/.f64 #s(literal 1 binary64) re)))
(*.f64 (neg.f64 im) (/.f64 (neg.f64 im) re))
(.f64 (/.f64 #s(literal 1 binary64) re) (.f64 im im))
(.f64 (.f64 im im) (/.f64 #s(literal 1 binary64) re))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (.f64 (.f64 im im) #s(literal -1 binary64)) (neg.f64 re))
(/.f64 (/.f64 (*.f64 (neg.f64 im) im) #s(literal -1 binary64)) re)
(/.f64 (/.f64 (*.f64 (neg.f64 im) im) re) #s(literal -1 binary64))
(/.f64 (*.f64 (neg.f64 im) im) (neg.f64 re))
(/.f64 (*.f64 im im) (neg.f64 (neg.f64 re)))
(/.f64 (*.f64 im im) re)
(/.f64 #s(literal 1 binary64) (/.f64 re (*.f64 im im)))
(neg.f64 (/.f64 (*.f64 (neg.f64 im) im) re))
(neg.f64 (/.f64 (*.f64 im im) (neg.f64 re)))
(*.f64 (/.f64 #s(literal -1 binary64) re) (/.f64 im #s(literal -1 binary64)))
(*.f64 (/.f64 im #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) re))
(*.f64 (neg.f64 im) (/.f64 #s(literal 1 binary64) (neg.f64 re)))
(*.f64 (/.f64 #s(literal 1 binary64) re) im)
(*.f64 #s(literal -1 binary64) (/.f64 im (neg.f64 re)))
(*.f64 (/.f64 im re) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 im re))
(*.f64 im (/.f64 #s(literal 1 binary64) re))
(/.f64 (/.f64 (neg.f64 im) #s(literal -1 binary64)) re)
(/.f64 (/.f64 (neg.f64 im) re) #s(literal -1 binary64))
(/.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 re)))
(/.f64 (neg.f64 im) (neg.f64 re))
(/.f64 #s(literal 1 binary64) (/.f64 (neg.f64 re) (neg.f64 im)))
(/.f64 #s(literal 1 binary64) (/.f64 re im))
(/.f64 im re)
(neg.f64 (/.f64 im (neg.f64 re)))
(neg.f64 (/.f64 (neg.f64 im) re))
im
re
#s(literal 1/2 binary64)
#s(approx (sqrt (+ (* re re) (* im im))) im)
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 re re) im) #s(literal 1/2 binary64) im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (/.f64 (.f64 re re) (.f64 (.f64 im im) im)) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) im)) re) re im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (.f64 (fma.f64 (.f64 (pow.f64 im #s(literal -5 binary64)) (.f64 re re)) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 (.f64 im im) im))) re) re (/.f64 #s(literal 1/2 binary64) im)) re) re im))
#s(approx (+ (* (* (/ im re) im) 1/2) re) (.f64 (.f64 (/.f64 im re) im) #s(literal 1/2 binary64)))
#s(approx (+ (* (* (/ im re) im) 1/2) re) (/.f64 (fma.f64 (.f64 im im) #s(literal 1/2 binary64) (.f64 re re)) re))
#s(approx (* (/ im re) im) (*.f64 (/.f64 im re) im))
#s(approx (/ im re) (/.f64 im re))
#s(approx re re)
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64)) re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64))) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 re (fma.f64 (/.f64 (.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re))) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (.f64 (.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64)))) re))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 #s(literal -1/2 binary64) (.f64 im (/.f64 im (*.f64 re re))) #s(literal -1 binary64)) re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 re) (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64)))))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 re (fma.f64 (/.f64 (.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re))) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 re re) re) re)) #s(literal -1/8 binary64) (.f64 (.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64)))) re)))
#s(approx (+ (* (* (/ im re) im) 1/2) re) (.f64 (fma.f64 (.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64)) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (.f64 im (/.f64 im (.f64 (.f64 re re) re))) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) re)) im) im re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (.f64 (fma.f64 (.f64 (fma.f64 (.f64 (pow.f64 re #s(literal -5 binary64)) (.f64 im im)) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 (.f64 re re) re))) im) im (/.f64 #s(literal 1/2 binary64) re)) im) im re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)) im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64))) im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 im (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im))) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64)))) im))
#s(approx (+ (* (* (/ im re) im) 1/2) re) (.f64 (.f64 (-.f64 (/.f64 re (*.f64 im im)) (/.f64 #s(literal -1/2 binary64) re)) im) im))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 im) (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 im) (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)))))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 im (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im))) #s(literal 1/16 binary64) (fma.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (.f64 (.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64)))) im)))

eval16.0ms (0.6%)

Memory: 2.7MiB live, 48.6MiB allocated; 4ms collecting garbage
Compiler: Compiled 1 104 to 459 computations (58.4% saved)

prune5.0ms (0.2%)

Memory

12.1MiB live, 12.1MiB allocated; 0ms collecting garbage

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	130	7	137

Accuracy

100.0%

Counts

137 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 re im)
✓	56.7%	(sqrt.f64 (fma.f64 re re (*.f64 im im)))
✓	4.6%	(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 re re)))
✓	6.5%	#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) re))
✓	1.9%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
✓	1.2%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
✓	99.1%	#s(approx (sqrt (+ (* re re) (* im im))) im)

Compiler

Compiled 102 to 80 computations (21.6% saved)

regimes20.0ms (0.8%)

Memory

6.7MiB live, 53.1MiB allocated; 3ms collecting garbage

Counts

10 → 1

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* re re) (* im im))) im)
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 im im)))
(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 re re)))
(sqrt.f64 (fma.f64 re re (*.f64 im im)))
(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 im im) re) #s(literal 1/2 binary64) re))
(hypot.f64 re im)

Outputs
(hypot.f64 re im)

Calls

6 calls:

5.0ms	(+.f64 (.f64 re re) (.f64 im im))
3.0ms	im
3.0ms	re
3.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
3.0ms	(*.f64 im im)

Results

Accuracy	Segments	Branch
100.0%	1	`(*.f64 im im)`
100.0%	1	`(*.f64 re re)`
100.0%	1	`(+.f64 (.f64 re re) (.f64 im im))`
100.0%	1	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`
100.0%	1	`re`
100.0%	1	`im`

Compiler

Compiled 17 to 21 computations (-23.5% saved)

regimes75.0ms (2.8%)

Memory

-17.2MiB live, 34.4MiB allocated; 42ms collecting garbage

Accuracy

Total -62.7b remaining (-10682.1%)

Threshold costs -62.7b (-10682.1%)

Counts

9 → 1

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* re re) (* im im))) im)
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 im im)))
(sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 re re)))
(sqrt.f64 (fma.f64 re re (*.f64 im im)))
(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 im re) im) #s(literal 1/2 binary64) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 im im) re) #s(literal 1/2 binary64) re))

Outputs
#s(approx (sqrt (+ (* re re) (* im im))) im)

Calls

6 calls:

61.0ms	(*.f64 im im)
3.0ms	im
3.0ms	re
3.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
3.0ms	(+.f64 (.f64 re re) (.f64 im im))

Results

Accuracy	Segments	Branch
99.1%	1	`(*.f64 im im)`
99.1%	1	`(*.f64 re re)`
99.1%	1	`(+.f64 (.f64 re re) (.f64 im im))`
99.1%	1	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`
99.1%	1	`re`
99.1%	1	`im`

Compiler

Compiled 17 to 21 computations (-23.5% saved)

derivations87.0ms (3.3%)

Memory

-1.4MiB live, 91.1MiB allocated; 17ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 8 to 8 computations (0% saved)

preprocess20.0ms (0.8%)

Memory: 12.0MiB live, 57.5MiB allocated; 6ms collecting garbage
Compiler: Compiled 74 to 74 computations (0% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze0.0ms (0%)

sample592.0ms (22.2%)

preprocess83.0ms (3.1%)

series6.0ms (0.2%)

rewrite267.0ms (10%)

eval64.0ms (2.4%)

prune8.0ms (0.3%)

series5.0ms (0.2%)

rewrite430.0ms (16.1%)

eval39.0ms (1.4%)

prune36.0ms (1.3%)

series8.0ms (0.3%)

rewrite344.0ms (12.9%)

eval156.0ms (5.8%)

prune8.0ms (0.3%)

series7.0ms (0.3%)

rewrite395.0ms (14.8%)

eval16.0ms (0.6%)

prune5.0ms (0.2%)

regimes20.0ms (0.8%)

regimes75.0ms (2.8%)

derivations87.0ms (3.3%)

preprocess20.0ms (0.8%)

end0.0ms (0%)

Profiling