Metrics for math.abs on complex

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB 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)

sample657.0ms (44.1%)

Memory

50.9MiB live, 895.9MiB allocated; 250ms collecting garbage

Samples

472.0ms

8 256×

valid

Precisions

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

ival-hypot: 268.0ms (99.3% of total)

adjust: 2.0ms (0.7% of total)

Bogosity

preprocess59.0ms (4%)

Memory

-30.9MiB live, 61.3MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	50
1	62	50
2	157	50
3	226	50
4	520	50
5	2746	50

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	55.9%	(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.4%)

Memory

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

Counts

6 → 29

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 (sqrt (pow im 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* 1/2 (/ (pow re 2) (sqrt (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow (sqrt (pow im 2)) 3))) (* 1/2 (/ 1 (sqrt (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow (sqrt (pow im 2)) 5))) (* 1/8 (/ 1 (pow (sqrt (pow im 2)) 3))))) (* 1/2 (/ 1 (sqrt (pow im 2)))))))))
#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 (sqrt (pow re 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* 1/2 (/ (pow im 2) (sqrt (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow (sqrt (pow re 2)) 3))) (* 1/2 (/ 1 (sqrt (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow (sqrt (pow re 2)) 5))) (* 1/8 (/ 1 (pow (sqrt (pow re 2)) 3))))) (* 1/2 (/ 1 (sqrt (pow re 2)))))))))
#s(approx im #s(hole binary64 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)))
#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	@	-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	im	@	inf	((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im)
1.0ms	im	@	0	((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im)

rewrite185.0ms (12.4%)

Memory

4.9MiB live, 241.6MiB allocated; 56ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	143	784
0	147	746
1	954	692
0	8437	541

Stop Event

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

Counts

35 → 338

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 (sqrt (pow im 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* 1/2 (/ (pow re 2) (sqrt (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow (sqrt (pow im 2)) 3))) (* 1/2 (/ 1 (sqrt (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow (sqrt (pow im 2)) 5))) (* 1/8 (/ 1 (pow (sqrt (pow im 2)) 3))))) (* 1/2 (/ 1 (sqrt (pow im 2)))))))))
#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 (sqrt (pow re 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* 1/2 (/ (pow im 2) (sqrt (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow (sqrt (pow re 2)) 3))) (* 1/2 (/ 1 (sqrt (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow (sqrt (pow re 2)) 5))) (* 1/8 (/ 1 (pow (sqrt (pow re 2)) 3))))) (* 1/2 (/ 1 (sqrt (pow re 2)))))))))
#s(approx im #s(hole binary64 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)))
#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
(.f64 (pow.f64 (fma.f64 re re (.f64 im im)) #s(literal 1/4 binary64)) (pow.f64 (fma.f64 re re (*.f64 im im)) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 (fma.f64 (/.f64 im re) (/.f64 im re) #s(literal 1 binary64))) re)
(*.f64 (sqrt.f64 (fma.f64 (/.f64 re im) (/.f64 re im) #s(literal 1 binary64))) im)
(*.f64 (pow.f64 (fma.f64 (/.f64 im re) (/.f64 im re) #s(literal 1 binary64)) #s(literal 1/2 binary64)) re)
(*.f64 (pow.f64 (fma.f64 (/.f64 re im) (/.f64 re im) #s(literal 1 binary64)) #s(literal 1/2 binary64)) im)
(*.f64 re (sqrt.f64 (fma.f64 (/.f64 im re) (/.f64 im re) #s(literal 1 binary64))))
(*.f64 re (pow.f64 (fma.f64 (/.f64 im re) (/.f64 im re) #s(literal 1 binary64)) #s(literal 1/2 binary64)))
(*.f64 im (sqrt.f64 (fma.f64 (/.f64 re im) (/.f64 re im) #s(literal 1 binary64))))
(*.f64 im (pow.f64 (fma.f64 (/.f64 re im) (/.f64 re im) #s(literal 1 binary64)) #s(literal 1/2 binary64)))
(pow.f64 (fma.f64 re re (*.f64 im im)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re)))) (sqrt.f64 (.f64 (+.f64 im re) (-.f64 im re))))
(/.f64 (sqrt.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im)))) (sqrt.f64 (.f64 (+.f64 re im) (-.f64 re im))))
(/.f64 (hypot.f64 (.f64 im (.f64 im im)) (.f64 re (.f64 re re))) (sqrt.f64 (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (.f64 im re))))))
(/.f64 (hypot.f64 (.f64 re (.f64 re re)) (.f64 im (.f64 im im))) (sqrt.f64 (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (.f64 re im))))))
(sqrt.f64 (.f64 (sqrt.f64 (fma.f64 re re (.f64 im im))) (sqrt.f64 (fma.f64 re re (*.f64 im im)))))
(sqrt.f64 (fma.f64 re re (*.f64 im im)))
(fabs.f64 (neg.f64 (sqrt.f64 (fma.f64 re re (*.f64 im im)))))
(fabs.f64 (sqrt.f64 (fma.f64 re re (*.f64 im im))))
(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) (neg.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)) (exp.f64 (log.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 im #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) 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 (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 (neg.f64 re) #s(literal 1 binary64)))
(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)) (exp.f64 (log.f64 re)))
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)))
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) 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 (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) (neg.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)) (exp.f64 (log.f64 im)))
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)))
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) 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) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(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)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (exp.f64 (log.f64 re)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 re #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) 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 (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) (neg.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (exp.f64 (log.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 im #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) im))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 im))
(hypot.f64 (neg.f64 (neg.f64 re)) im)
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (exp.f64 (log.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 re #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 #s(literal 1 binary64) re))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 re))
(hypot.f64 (neg.f64 (neg.f64 im)) re)
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 im)))
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 im #s(literal 1 binary64)))
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 #s(literal 1 binary64) im))
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 im))
(hypot.f64 (exp.f64 (log.f64 re)) im)
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 re)))
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 re #s(literal 1 binary64)))
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 #s(literal 1 binary64) re))
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 re))
(hypot.f64 (exp.f64 (log.f64 im)) re)
(hypot.f64 (.f64 re #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 re #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (*.f64 re #s(literal 1 binary64)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 re #s(literal 1 binary64)) (exp.f64 (log.f64 im)))
(hypot.f64 (.f64 re #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)))
(hypot.f64 (.f64 re #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) im))
(hypot.f64 (*.f64 re #s(literal 1 binary64)) (neg.f64 im))
(hypot.f64 (*.f64 re #s(literal 1 binary64)) im)
(hypot.f64 (.f64 im #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (.f64 im #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (*.f64 im #s(literal 1 binary64)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 im #s(literal 1 binary64)) (exp.f64 (log.f64 re)))
(hypot.f64 (.f64 im #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)))
(hypot.f64 (.f64 im #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) re))
(hypot.f64 (*.f64 im #s(literal 1 binary64)) (neg.f64 re))
(hypot.f64 (*.f64 im #s(literal 1 binary64)) re)
(hypot.f64 (.f64 #s(literal 1 binary64) re) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) re) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) re) (exp.f64 (log.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) re) (.f64 im #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) im))
(hypot.f64 (*.f64 #s(literal 1 binary64) re) (neg.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) re) im)
(hypot.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (.f64 #s(literal 1 binary64) im) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (*.f64 #s(literal 1 binary64) im) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) im) (exp.f64 (log.f64 re)))
(hypot.f64 (.f64 #s(literal 1 binary64) im) (.f64 re #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) re))
(hypot.f64 (*.f64 #s(literal 1 binary64) im) (neg.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) im) re)
(hypot.f64 (neg.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (neg.f64 re) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 re) (exp.f64 (log.f64 im)))
(hypot.f64 (neg.f64 re) (*.f64 im #s(literal 1 binary64)))
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) 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) (neg.f64 re)))
(hypot.f64 (neg.f64 im) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 im) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 im) (exp.f64 (log.f64 re)))
(hypot.f64 (neg.f64 im) (*.f64 re #s(literal 1 binary64)))
(hypot.f64 (neg.f64 im) (*.f64 #s(literal 1 binary64) re))
(hypot.f64 (neg.f64 im) (neg.f64 re))
(hypot.f64 (neg.f64 im) re)
(hypot.f64 re (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 re (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 re (neg.f64 (neg.f64 im)))
(hypot.f64 re (exp.f64 (log.f64 im)))
(hypot.f64 re (*.f64 im #s(literal 1 binary64)))
(hypot.f64 re (*.f64 #s(literal 1 binary64) im))
(hypot.f64 re (neg.f64 im))
(hypot.f64 re im)
(hypot.f64 im (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 im (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 im (neg.f64 (neg.f64 re)))
(hypot.f64 im (exp.f64 (log.f64 re)))
(hypot.f64 im (*.f64 re #s(literal 1 binary64)))
(hypot.f64 im (*.f64 #s(literal 1 binary64) re))
(hypot.f64 im (neg.f64 re))
(hypot.f64 im re)
(exp.f64 (.f64 (log.f64 (fma.f64 re re (.f64 im im))) #s(literal 1/2 binary64)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))) (.f64 re re))) (*.f64 re re))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))) (.f64 im im))) (*.f64 im im))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)) (.f64 im im))) (*.f64 im im))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)) (.f64 re re))) (*.f64 re re))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 im) im) (.f64 re re))) (.f64 re re))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 (.f64 im im)) (.f64 re re))) (.f64 re re))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 (.f64 re re)) (.f64 im im))) (.f64 im im))
(.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re))) (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 im re) (-.f64 im re))))
(.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im))) (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 re im) (-.f64 re im))))
(.f64 (fma.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im) (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re)))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (.f64 im re))))))
(.f64 (fma.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re)) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (.f64 re im))))))
(.f64 (fma.f64 (/.f64 re im) (/.f64 re im) #s(literal 1 binary64)) (.f64 im im))
(.f64 (fma.f64 (/.f64 im re) (/.f64 im re) #s(literal 1 binary64)) (.f64 re re))
(.f64 (.f64 re re) (fma.f64 (/.f64 im re) (/.f64 im re) #s(literal 1 binary64)))
(.f64 (.f64 im im) (fma.f64 (/.f64 re im) (/.f64 re im) #s(literal 1 binary64)))
(/.f64 (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))) (-.f64 (.f64 re re) (.f64 (.f64 re re) (/.f64 (.f64 im im) (*.f64 re re)))))
(/.f64 (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))) (-.f64 (.f64 im im) (.f64 (.f64 im im) (/.f64 (.f64 re re) (*.f64 im im)))))
(/.f64 (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))) (-.f64 (.f64 im im) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (*.f64 im im))))
(/.f64 (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))) (-.f64 (.f64 re re) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (*.f64 re re))))
(/.f64 (fma.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 re re) (pow.f64 (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))) #s(literal 3 binary64))) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re)))) (.f64 (.f64 re re) (.f64 (.f64 re re) (/.f64 (.f64 im im) (*.f64 re re)))))))
(/.f64 (fma.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im) (pow.f64 (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))) #s(literal 3 binary64))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im)))) (.f64 (.f64 im im) (.f64 (.f64 im im) (/.f64 (.f64 re re) (*.f64 im im)))))))
(/.f64 (fma.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im) (pow.f64 (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)) #s(literal 3 binary64))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im))) (.f64 (.f64 im im) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (*.f64 im im))))))
(/.f64 (fma.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 re re) (pow.f64 (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)) #s(literal 3 binary64))) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re))) (.f64 (.f64 re re) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (*.f64 re re))))))
(/.f64 (-.f64 (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re))) (pow.f64 (.f64 (neg.f64 im) im) #s(literal 3 binary64))) (fma.f64 (.f64 re re) (.f64 re re) (fma.f64 (.f64 im im) (.f64 im im) (.f64 (.f64 re re) (*.f64 (neg.f64 im) im)))))
(/.f64 (-.f64 (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re))) (pow.f64 (neg.f64 (.f64 im im)) #s(literal 3 binary64))) (fma.f64 (.f64 re re) (.f64 re re) (fma.f64 (.f64 im im) (.f64 im im) (.f64 (.f64 re re) (neg.f64 (*.f64 im im))))))
(/.f64 (-.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (pow.f64 (neg.f64 (.f64 re re)) #s(literal 3 binary64))) (fma.f64 (.f64 im im) (.f64 im im) (fma.f64 (.f64 re re) (.f64 re re) (.f64 (.f64 im im) (neg.f64 (*.f64 re re))))))
(/.f64 (neg.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re)))) (neg.f64 (.f64 (+.f64 im re) (-.f64 im re))))
(/.f64 (neg.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im)))) (neg.f64 (.f64 (+.f64 re im) (-.f64 re im))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im) (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re))))) (neg.f64 (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (*.f64 im re))))))
(/.f64 (neg.f64 (fma.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re)) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (neg.f64 (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (*.f64 re im))))))
(/.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re))) (fma.f64 im im (neg.f64 (.f64 re re))))
(/.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re))) (.f64 (+.f64 im re) (-.f64 im re)))
(/.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im))) (fma.f64 re re (.f64 (neg.f64 im) im)))
(/.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im))) (fma.f64 re re (neg.f64 (.f64 im im))))
(/.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im))) (.f64 (+.f64 re im) (-.f64 re im)))
(/.f64 (fma.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im) (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re)))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (*.f64 im re)))))
(/.f64 (fma.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re)) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (*.f64 re im)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (+.f64 im re) (-.f64 im re)) (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (+.f64 re im) (-.f64 re im)) (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (.f64 im re)))) (fma.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im) (.f64 (.f64 re (.f64 re re)) (.f64 re (*.f64 re re))))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (.f64 re im)))) (fma.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re)) (.f64 (.f64 im (.f64 im im)) (.f64 im (*.f64 im im))))))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 im im))
(fma.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(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) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 re re))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 im im))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (*.f64 re re))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 im im))
(fma.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)) (*.f64 re re))
(fma.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)) (*.f64 im im))
(fma.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im) (*.f64 re re))
(fma.f64 (neg.f64 re) (neg.f64 re) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (neg.f64 re) (neg.f64 re) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 im im))
(fma.f64 (neg.f64 im) (neg.f64 im) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (neg.f64 im) (neg.f64 im) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (neg.f64 im) (neg.f64 im) (*.f64 re re))
(fma.f64 re re (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 re re (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 re re (*.f64 im im))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 (.f64 re re) (/.f64 (.f64 im im) (*.f64 re re))))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (*.f64 re re)))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 im im))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 (.f64 im im) (/.f64 (.f64 re re) (*.f64 im im))))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (*.f64 im im)))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 re re))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 (.f64 re re) (/.f64 (.f64 im im) (*.f64 re re))))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (*.f64 re re)))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 im im))
(fma.f64 im im (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 im im (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 im im (*.f64 re re))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 (.f64 im im) (/.f64 (.f64 re re) (*.f64 im im))))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (*.f64 im im)))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 re re))
(-.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re))) (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (+.f64 im re) (-.f64 im re))))
(-.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (+.f64 re im) (-.f64 re im))) (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im))))
(-.f64 (.f64 re re) (neg.f64 (.f64 (.f64 re re) (/.f64 (.f64 im im) (*.f64 re re)))))
(-.f64 (.f64 re re) (neg.f64 (.f64 (/.f64 (.f64 im im) (.f64 re re)) (*.f64 re re))))
(-.f64 (.f64 re re) (.f64 (neg.f64 im) im))
(-.f64 (.f64 re re) (neg.f64 (.f64 im im)))
(-.f64 (.f64 im im) (neg.f64 (.f64 (.f64 im im) (/.f64 (.f64 re re) (*.f64 im im)))))
(-.f64 (.f64 im im) (neg.f64 (.f64 (/.f64 (.f64 re re) (.f64 im im)) (*.f64 im im))))
(-.f64 (.f64 im im) (neg.f64 (.f64 re re)))
(+.f64 (/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (.f64 im re))))) (/.f64 (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (.f64 im re))))))
(+.f64 (/.f64 (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re))) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (.f64 re im))))) (/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (.f64 re im))))))
(+.f64 (.f64 re re) (.f64 (.f64 re re) (/.f64 (.f64 im im) (*.f64 re re))))
(+.f64 (.f64 re re) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (*.f64 re re)))
(+.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 im im) (.f64 (.f64 im im) (/.f64 (.f64 re re) (*.f64 im im))))
(+.f64 (.f64 im im) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (*.f64 im im)))
(+.f64 (.f64 im im) (.f64 re re))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(*.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)))
(*.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)))
(.f64 (.f64 re #s(literal 1 binary64)) (*.f64 re #s(literal 1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) re) (*.f64 #s(literal 1 binary64) re))
(*.f64 (neg.f64 re) (neg.f64 re))
(*.f64 re re)
(.f64 #s(literal 1 binary64) (.f64 re re))
(.f64 (.f64 re re) #s(literal 1 binary64))
(pow.f64 (exp.f64 (log.f64 re)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 re re) (*.f64 re re)) #s(literal 1/2 binary64))
(pow.f64 (neg.f64 re) #s(literal 2 binary64))
(pow.f64 re #s(literal 2 binary64))
(pow.f64 (*.f64 re re) #s(literal 1 binary64))
(sqrt.f64 (.f64 (.f64 re re) (*.f64 re re)))
(fabs.f64 (*.f64 re re))
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 re) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 re) #s(literal 2 binary64) #s(literal 0 binary64)))
(exp.f64 (*.f64 (log.f64 re) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 re) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 re) #s(literal 2 binary64))))
re
(.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(*.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)))
(*.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)))
(.f64 (.f64 im #s(literal 1 binary64)) (*.f64 im #s(literal 1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) im) (*.f64 #s(literal 1 binary64) im))
(*.f64 (neg.f64 im) (neg.f64 im))
(.f64 #s(literal 1 binary64) (.f64 im im))
(*.f64 im im)
(.f64 (.f64 im im) #s(literal 1 binary64))
(pow.f64 (exp.f64 (log.f64 im)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 im im) (*.f64 im im)) #s(literal 1/2 binary64))
(pow.f64 (neg.f64 im) #s(literal 2 binary64))
(pow.f64 im #s(literal 2 binary64))
(pow.f64 (*.f64 im im) #s(literal 1 binary64))
(sqrt.f64 (.f64 (.f64 im im) (*.f64 im im)))
(fabs.f64 (*.f64 im im))
(exp.f64 (fma.f64 (log.f64 im) #s(literal 2 binary64) #s(literal 0 binary64)))
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 im) #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 im) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 im) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 im) #s(literal 2 binary64))))
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 (fma.f64 (/.f64 (.f64 re re) (.f64 im (.f64 im im))) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) im)) (.f64 re re) im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (fma.f64 (.f64 (.f64 re re) (pow.f64 im #s(literal -5 binary64))) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 im (.f64 im im)))) (.f64 re re) (/.f64 #s(literal 1/2 binary64) im)) (.f64 re re) im))
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
#s(approx (+ (* re re) (* im im)) (fma.f64 re re (*.f64 im im)))
#s(approx (* re re) (*.f64 re re))
#s(approx re re)
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 im im) (*.f64 re re)) #s(literal 1/2 binary64) #s(literal 1 binary64)) re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 re (-.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) #s(literal -1/8 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 im im)) (.f64 re re))) #s(literal -1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 re (-.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) #s(literal -1/8 binary64) (fma.f64 (pow.f64 (/.f64 (.f64 im im) (.f64 re re)) #s(literal 3 binary64)) #s(literal 1/16 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 im im)) (.f64 re re)))) #s(literal -1 binary64))))
#s(approx (+ (* re re) (* im im)) (fma.f64 re re (*.f64 im im)))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 re) (fma.f64 (/.f64 (.f64 im im) (*.f64 re re)) #s(literal 1/2 binary64) #s(literal 1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 re) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) #s(literal -1/8 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 im im)) (.f64 re re))) #s(literal -1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 re) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) #s(literal -1/8 binary64) (fma.f64 (pow.f64 (/.f64 (.f64 im im) (.f64 re re)) #s(literal 3 binary64)) #s(literal 1/16 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 im im)) (.f64 re re)))) #s(literal -1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) 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 (fma.f64 (/.f64 (.f64 im im) (.f64 re (.f64 re re))) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) re)) (.f64 im im) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (fma.f64 (.f64 (.f64 im im) (pow.f64 re #s(literal -5 binary64))) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 re (.f64 re re)))) (.f64 im im) (/.f64 #s(literal 1/2 binary64) re)) (.f64 im im) re))
#s(approx im im)
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 re re) (*.f64 im im)) #s(literal 1/2 binary64) #s(literal 1 binary64)) im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (-.f64 (fma.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) #s(literal -1 binary64)) im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (-.f64 (fma.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (pow.f64 (/.f64 (.f64 re re) (.f64 im im)) #s(literal 3 binary64)) #s(literal 1/16 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) #s(literal -1 binary64)) im))
#s(approx (+ (* re re) (* im im)) (fma.f64 re re (*.f64 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 (.f64 re re) (*.f64 im im)) #s(literal 1/2 binary64) #s(literal 1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 im) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) #s(literal -1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 im) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (pow.f64 (/.f64 (.f64 re re) (.f64 im im)) #s(literal 3 binary64)) #s(literal 1/16 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) #s(literal -1 binary64))))

eval39.0ms (2.6%)

Memory: 12.3MiB live, 57.9MiB allocated; 4ms collecting garbage
Compiler: Compiled 2 562 to 783 computations (69.4% saved)

prune8.0ms (0.6%)

Memory

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

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	325	6	331
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	326	6	332

Accuracy

100.0%

Counts

332 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(hypot.f64 re im)
	55.9%	(sqrt.f64 (fma.f64 re re (*.f64 im im)))
▶	2.0%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
▶	1.3%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
▶	5.1%	#s(approx (sqrt (+ (* re re) (* im im))) re)
▶	98.7%	#s(approx (sqrt (+ (* re re) (* im im))) im)

Compiler

Compiled 76 to 76 computations (0% saved)

series17.0ms (1.1%)

Memory

-38.5MiB live, 7.9MiB allocated; 3ms collecting garbage

Counts

9 → 24

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))) re)
#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)

Outputs
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (sqrt (pow im 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* 1/2 (/ (pow re 2) (sqrt (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow (sqrt (pow im 2)) 3))) (* 1/2 (/ 1 (sqrt (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow (sqrt (pow im 2)) 5))) (* 1/8 (/ 1 (pow (sqrt (pow im 2)) 3))))) (* 1/2 (/ 1 (sqrt (pow im 2)))))))))
#s(approx re #s(hole binary64 re))
#s(approx (neg re) #s(hole binary64 (* -1 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 (+ 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 (sqrt (pow re 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* 1/2 (/ (pow im 2) (sqrt (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow (sqrt (pow re 2)) 3))) (* 1/2 (/ 1 (sqrt (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow (sqrt (pow re 2)) 5))) (* 1/8 (/ 1 (pow (sqrt (pow re 2)) 3))))) (* 1/2 (/ 1 (sqrt (pow re 2)))))))))
#s(approx im #s(hole binary64 im))
#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 (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
14.0ms	im	@	0	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re))
1.0ms	im	@	-inf	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re))
1.0ms	re	@	-inf	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re))
0.0ms	im	@	inf	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re))
0.0ms	re	@	inf	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re))

rewrite144.0ms (9.7%)

Memory

38.5MiB live, 223.7MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	138	605
0	140	573
1	881	525
0	8312	497

Stop Event

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

Counts

33 → 79

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))) re)
#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)
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (sqrt (pow im 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* 1/2 (/ (pow re 2) (sqrt (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow (sqrt (pow im 2)) 3))) (* 1/2 (/ 1 (sqrt (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow (sqrt (pow im 2)) 5))) (* 1/8 (/ 1 (pow (sqrt (pow im 2)) 3))))) (* 1/2 (/ 1 (sqrt (pow im 2)))))))))
#s(approx re #s(hole binary64 re))
#s(approx (neg re) #s(hole binary64 (* -1 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 (+ 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 (sqrt (pow re 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* 1/2 (/ (pow im 2) (sqrt (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow (sqrt (pow re 2)) 3))) (* 1/2 (/ 1 (sqrt (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow (sqrt (pow re 2)) 5))) (* 1/8 (/ 1 (pow (sqrt (pow re 2)) 3))))) (* 1/2 (/ 1 (sqrt (pow re 2)))))))))
#s(approx im #s(hole binary64 im))
#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 (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
(.f64 (pow.f64 (fma.f64 re re (.f64 im im)) #s(literal 1/4 binary64)) (pow.f64 (fma.f64 re re (*.f64 im im)) #s(literal 1/4 binary64)))
(.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 im im) (*.f64 re re)))) re)
(.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 im im) (*.f64 re re))) #s(literal 1/2 binary64)) re)
(pow.f64 (fma.f64 re re (*.f64 im im)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im)))) (sqrt.f64 (.f64 (+.f64 re im) (-.f64 re im))))
(/.f64 (hypot.f64 (.f64 re (.f64 re re)) (.f64 im (.f64 im im))) (sqrt.f64 (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (.f64 re im))))))
(sqrt.f64 (.f64 (sqrt.f64 (fma.f64 re re (.f64 im im))) (sqrt.f64 (fma.f64 re re (*.f64 im im)))))
(sqrt.f64 (fma.f64 re re (*.f64 im im)))
(fabs.f64 (neg.f64 (sqrt.f64 (fma.f64 re re (*.f64 im im)))))
(fabs.f64 (sqrt.f64 (fma.f64 re re (*.f64 im im))))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (exp.f64 (log.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) im)
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 im))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (exp.f64 (log.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) re)
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 re))
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 im)))
(hypot.f64 (exp.f64 (log.f64 re)) im)
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 im))
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 re)))
(hypot.f64 (exp.f64 (log.f64 im)) re)
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 re))
(hypot.f64 re (neg.f64 (neg.f64 im)))
(hypot.f64 re (exp.f64 (log.f64 im)))
(hypot.f64 re im)
(hypot.f64 re (neg.f64 im))
(hypot.f64 im (neg.f64 (neg.f64 re)))
(hypot.f64 im (exp.f64 (log.f64 re)))
(hypot.f64 im re)
(hypot.f64 im (neg.f64 re))
(hypot.f64 (neg.f64 re) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 re) (exp.f64 (log.f64 im)))
(hypot.f64 (neg.f64 re) im)
(hypot.f64 (neg.f64 re) (neg.f64 im))
(hypot.f64 (neg.f64 im) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 im) (exp.f64 (log.f64 re)))
(hypot.f64 (neg.f64 im) re)
(hypot.f64 (neg.f64 im) (neg.f64 re))
(exp.f64 (.f64 (log.f64 (fma.f64 re re (.f64 im im))) #s(literal 1/2 binary64)))
re
im
#s(approx (sqrt (+ (* re re) (* im im))) im)
#s(approx (sqrt (+ (* re re) (* im im))) re)
#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 re #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) re)
(neg.f64 re)
#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 (fma.f64 (/.f64 (.f64 re re) (.f64 im (.f64 im im))) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) im)) (.f64 re re) im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (fma.f64 (.f64 (.f64 re re) (pow.f64 im #s(literal -5 binary64))) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 im (.f64 im im)))) (.f64 re re) (/.f64 #s(literal 1/2 binary64) im)) (.f64 re re) im))
#s(approx re re)
#s(approx (neg re) (neg.f64 re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 im im) (*.f64 re re)) #s(literal 1/2 binary64) #s(literal 1 binary64)) re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 re (-.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) #s(literal -1/8 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 im im)) (.f64 re re))) #s(literal -1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 re (-.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) #s(literal -1/8 binary64) (fma.f64 (exp.f64 (-.f64 (.f64 (log.f64 im) #s(literal 6 binary64)) (.f64 (log.f64 re) #s(literal 6 binary64)))) #s(literal 1/16 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 im im)) (.f64 re re)))) #s(literal -1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 re) (fma.f64 (/.f64 (.f64 im im) (*.f64 re re)) #s(literal 1/2 binary64) #s(literal 1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 re) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) #s(literal -1/8 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 im im)) (.f64 re re))) #s(literal -1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 re) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) #s(literal -1/8 binary64) (fma.f64 (exp.f64 (-.f64 (.f64 (log.f64 im) #s(literal 6 binary64)) (.f64 (log.f64 re) #s(literal 6 binary64)))) #s(literal 1/16 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 im im)) (.f64 re re)))) #s(literal -1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) 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 (fma.f64 (/.f64 (.f64 im im) (.f64 re (.f64 re re))) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) re)) (.f64 im im) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (fma.f64 (.f64 (.f64 im im) (pow.f64 re #s(literal -5 binary64))) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 re (.f64 re re)))) (.f64 im im) (/.f64 #s(literal 1/2 binary64) re)) (.f64 im im) re))
#s(approx im im)
#s(approx (neg im) (neg.f64 im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 re re) (*.f64 im im)) #s(literal 1/2 binary64) #s(literal 1 binary64)) im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (-.f64 (fma.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) #s(literal -1 binary64)) im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (-.f64 (fma.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (exp.f64 (-.f64 (.f64 (log.f64 re) #s(literal 6 binary64)) (.f64 (log.f64 im) #s(literal 6 binary64)))) #s(literal 1/16 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) #s(literal -1 binary64)) im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 im) (fma.f64 (/.f64 (.f64 re re) (*.f64 im im)) #s(literal 1/2 binary64) #s(literal 1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 im) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) #s(literal -1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 im) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (exp.f64 (-.f64 (.f64 (log.f64 re) #s(literal 6 binary64)) (.f64 (log.f64 im) #s(literal 6 binary64)))) #s(literal 1/16 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) #s(literal -1 binary64))))

eval6.0ms (0.4%)

Memory: 11.7MiB live, 11.7MiB allocated; 0ms collecting garbage
Compiler: Compiled 542 to 195 computations (64% saved)

prune15.0ms (1%)

Memory

-39.6MiB live, 6.3MiB allocated; 3ms collecting garbage

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	1	1
Picked	0	5	5
Done	0	0	0
Total	71	6	77

Accuracy

100.0%

Counts

77 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 re im)
▶	55.9%	(sqrt.f64 (fma.f64 re re (*.f64 im im)))
✓	2.0%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
✓	1.3%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
✓	5.1%	#s(approx (sqrt (+ (* re re) (* im im))) re)
✓	98.7%	#s(approx (sqrt (+ (* re re) (* im im))) im)

Compiler

Compiled 38 to 38 computations (0% saved)

series3.0ms (0.2%)

Memory

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

Counts

5 → 29

Calls

Call 1

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

Outputs
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (sqrt (pow im 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* 1/2 (/ (pow re 2) (sqrt (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow (sqrt (pow im 2)) 3))) (* 1/2 (/ 1 (sqrt (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow (sqrt (pow im 2)) 5))) (* 1/8 (/ 1 (pow (sqrt (pow im 2)) 3))))) (* 1/2 (/ 1 (sqrt (pow im 2)))))))))
#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 #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)))
#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 (sqrt (pow re 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* 1/2 (/ (pow im 2) (sqrt (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow (sqrt (pow re 2)) 3))) (* 1/2 (/ 1 (sqrt (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow (sqrt (pow re 2)) 5))) (* 1/8 (/ 1 (pow (sqrt (pow re 2)) 3))))) (* 1/2 (/ 1 (sqrt (pow re 2)))))))))
#s(approx im #s(hole binary64 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)))
#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 re) (* im im)) re (* im im) im)
1.0ms	im	@	inf	((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im) im)
0.0ms	re	@	-inf	((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im) im)
0.0ms	re	@	inf	((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im) im)
0.0ms	im	@	0	((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im) im)

rewrite179.0ms (12%)

Memory

18.6MiB live, 266.3MiB allocated; 68ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	142	756
0	145	715
1	951	661
0	8390	541

Stop Event

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

Counts

34 → 317

Calls

Call 1

Inputs
(sqrt.f64 (fma.f64 re re (*.f64 im im)))
(fma.f64 re re (*.f64 im im))
re
(*.f64 im im)
im
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (sqrt (pow im 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* 1/2 (/ (pow re 2) (sqrt (pow im 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow (sqrt (pow im 2)) 3))) (* 1/2 (/ 1 (sqrt (pow im 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow im 2)) (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow (sqrt (pow im 2)) 5))) (* 1/8 (/ 1 (pow (sqrt (pow im 2)) 3))))) (* 1/2 (/ 1 (sqrt (pow im 2)))))))))
#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 #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)))
#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 (sqrt (pow re 2))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* 1/2 (/ (pow im 2) (sqrt (pow re 2)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow (sqrt (pow re 2)) 3))) (* 1/2 (/ 1 (sqrt (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ (sqrt (pow re 2)) (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow (sqrt (pow re 2)) 5))) (* 1/8 (/ 1 (pow (sqrt (pow re 2)) 3))))) (* 1/2 (/ 1 (sqrt (pow re 2)))))))))
#s(approx im #s(hole binary64 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)))
#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
(.f64 (pow.f64 (fma.f64 re re (.f64 im im)) #s(literal 1/4 binary64)) (pow.f64 (fma.f64 re re (*.f64 im im)) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 (fma.f64 (/.f64 im re) (/.f64 im re) #s(literal 1 binary64))) re)
(*.f64 (sqrt.f64 (fma.f64 (/.f64 re im) (/.f64 re im) #s(literal 1 binary64))) im)
(*.f64 (pow.f64 (fma.f64 (/.f64 im re) (/.f64 im re) #s(literal 1 binary64)) #s(literal 1/2 binary64)) re)
(*.f64 (pow.f64 (fma.f64 (/.f64 re im) (/.f64 re im) #s(literal 1 binary64)) #s(literal 1/2 binary64)) im)
(*.f64 re (sqrt.f64 (fma.f64 (/.f64 im re) (/.f64 im re) #s(literal 1 binary64))))
(*.f64 re (pow.f64 (fma.f64 (/.f64 im re) (/.f64 im re) #s(literal 1 binary64)) #s(literal 1/2 binary64)))
(*.f64 im (sqrt.f64 (fma.f64 (/.f64 re im) (/.f64 re im) #s(literal 1 binary64))))
(*.f64 im (pow.f64 (fma.f64 (/.f64 re im) (/.f64 re im) #s(literal 1 binary64)) #s(literal 1/2 binary64)))
(pow.f64 (fma.f64 re re (*.f64 im im)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im)))) (sqrt.f64 (.f64 (+.f64 re im) (-.f64 re im))))
(/.f64 (sqrt.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re)))) (sqrt.f64 (.f64 (+.f64 im re) (-.f64 im re))))
(/.f64 (hypot.f64 (.f64 re (.f64 re re)) (.f64 im (.f64 im im))) (sqrt.f64 (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (.f64 re im))))))
(/.f64 (hypot.f64 (.f64 im (.f64 im im)) (.f64 re (.f64 re re))) (sqrt.f64 (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (.f64 im re))))))
(sqrt.f64 (.f64 (sqrt.f64 (fma.f64 re re (.f64 im im))) (sqrt.f64 (fma.f64 re re (*.f64 im im)))))
(sqrt.f64 (fma.f64 re re (*.f64 im im)))
(fabs.f64 (neg.f64 (sqrt.f64 (fma.f64 re re (*.f64 im im)))))
(fabs.f64 (sqrt.f64 (fma.f64 re re (*.f64 im im))))
(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) (neg.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)) (exp.f64 (log.f64 re)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 re #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) 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 (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) (neg.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)) (exp.f64 (log.f64 re)))
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)))
(hypot.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) 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 (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 (neg.f64 im) #s(literal 1 binary64)))
(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)) (exp.f64 (log.f64 im)))
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)))
(hypot.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) 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) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(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)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (exp.f64 (log.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 im #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) 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 (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) (neg.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (exp.f64 (log.f64 re)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 re #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 #s(literal 1 binary64) re))
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 re))
(hypot.f64 (neg.f64 (neg.f64 im)) re)
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (exp.f64 (log.f64 im)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 im #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) im))
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 im))
(hypot.f64 (neg.f64 (neg.f64 re)) im)
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 (neg.f64 im)))
(hypot.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 im)))
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 im #s(literal 1 binary64)))
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 #s(literal 1 binary64) im))
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 im))
(hypot.f64 (exp.f64 (log.f64 re)) im)
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 (neg.f64 re)))
(hypot.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 re)))
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 re #s(literal 1 binary64)))
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 #s(literal 1 binary64) re))
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 re))
(hypot.f64 (exp.f64 (log.f64 im)) re)
(hypot.f64 (.f64 im #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 im #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (*.f64 im #s(literal 1 binary64)) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 im #s(literal 1 binary64)) (exp.f64 (log.f64 re)))
(hypot.f64 (.f64 im #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)))
(hypot.f64 (.f64 im #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) re))
(hypot.f64 (*.f64 im #s(literal 1 binary64)) (neg.f64 re))
(hypot.f64 (*.f64 im #s(literal 1 binary64)) re)
(hypot.f64 (.f64 re #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (.f64 re #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (*.f64 re #s(literal 1 binary64)) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 re #s(literal 1 binary64)) (exp.f64 (log.f64 im)))
(hypot.f64 (.f64 re #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)))
(hypot.f64 (.f64 re #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) im))
(hypot.f64 (*.f64 re #s(literal 1 binary64)) (neg.f64 im))
(hypot.f64 (*.f64 re #s(literal 1 binary64)) im)
(hypot.f64 (.f64 #s(literal 1 binary64) im) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) im) (neg.f64 (neg.f64 re)))
(hypot.f64 (*.f64 #s(literal 1 binary64) im) (exp.f64 (log.f64 re)))
(hypot.f64 (.f64 #s(literal 1 binary64) im) (.f64 re #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) re))
(hypot.f64 (*.f64 #s(literal 1 binary64) im) (neg.f64 re))
(hypot.f64 (*.f64 #s(literal 1 binary64) im) re)
(hypot.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) re) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (*.f64 #s(literal 1 binary64) re) (neg.f64 (neg.f64 im)))
(hypot.f64 (*.f64 #s(literal 1 binary64) re) (exp.f64 (log.f64 im)))
(hypot.f64 (.f64 #s(literal 1 binary64) re) (.f64 im #s(literal 1 binary64)))
(hypot.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) im))
(hypot.f64 (*.f64 #s(literal 1 binary64) re) (neg.f64 im))
(hypot.f64 (*.f64 #s(literal 1 binary64) re) im)
(hypot.f64 (neg.f64 im) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 im) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 (neg.f64 im) (neg.f64 (neg.f64 re)))
(hypot.f64 (neg.f64 im) (exp.f64 (log.f64 re)))
(hypot.f64 (neg.f64 im) (*.f64 re #s(literal 1 binary64)))
(hypot.f64 (neg.f64 im) (*.f64 #s(literal 1 binary64) re))
(hypot.f64 (neg.f64 im) (neg.f64 re))
(hypot.f64 (neg.f64 im) re)
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 (neg.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 (neg.f64 re) (neg.f64 (neg.f64 im)))
(hypot.f64 (neg.f64 re) (exp.f64 (log.f64 im)))
(hypot.f64 (neg.f64 re) (*.f64 im #s(literal 1 binary64)))
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) im))
(hypot.f64 (neg.f64 re) (neg.f64 im))
(hypot.f64 (neg.f64 re) im)
(hypot.f64 re (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(hypot.f64 re (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(hypot.f64 re (neg.f64 (neg.f64 im)))
(hypot.f64 re (exp.f64 (log.f64 im)))
(hypot.f64 re (*.f64 im #s(literal 1 binary64)))
(hypot.f64 re (*.f64 #s(literal 1 binary64) im))
(hypot.f64 re (neg.f64 im))
(hypot.f64 re im)
(hypot.f64 im (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(hypot.f64 im (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(hypot.f64 im (neg.f64 (neg.f64 re)))
(hypot.f64 im (exp.f64 (log.f64 re)))
(hypot.f64 im (*.f64 re #s(literal 1 binary64)))
(hypot.f64 im (*.f64 #s(literal 1 binary64) re))
(hypot.f64 im (neg.f64 re))
(hypot.f64 im re)
(exp.f64 (.f64 (log.f64 (fma.f64 re re (.f64 im im))) #s(literal 1/2 binary64)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))) (.f64 re re))) (*.f64 re re))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))) (.f64 im im))) (*.f64 im im))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)) (.f64 im im))) (*.f64 im im))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)) (.f64 re re))) (*.f64 re re))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 im) im) (.f64 re re))) (.f64 re re))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 (.f64 im im)) (.f64 re re))) (.f64 re re))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 (.f64 re re)) (.f64 im im))) (.f64 im im))
(.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im))) (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 re im) (-.f64 re im))))
(.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re))) (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 im re) (-.f64 im re))))
(.f64 (fma.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 re re) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (.f64 re im))))))
(.f64 (fma.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)) (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re)))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (.f64 im re))))))
(.f64 (fma.f64 (/.f64 re im) (/.f64 re im) #s(literal 1 binary64)) (.f64 im im))
(.f64 (fma.f64 (/.f64 im re) (/.f64 im re) #s(literal 1 binary64)) (.f64 re re))
(.f64 (.f64 re re) (fma.f64 (/.f64 im re) (/.f64 im re) #s(literal 1 binary64)))
(.f64 (.f64 im im) (fma.f64 (/.f64 re im) (/.f64 re im) #s(literal 1 binary64)))
(/.f64 (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))) (-.f64 (.f64 re re) (.f64 (.f64 re re) (/.f64 (.f64 im im) (*.f64 re re)))))
(/.f64 (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))) (-.f64 (.f64 im im) (.f64 (.f64 im im) (/.f64 (.f64 re re) (*.f64 im im)))))
(/.f64 (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))) (-.f64 (.f64 im im) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (*.f64 im im))))
(/.f64 (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))) (-.f64 (.f64 re re) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (*.f64 re re))))
(/.f64 (fma.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 re re) (pow.f64 (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))) #s(literal 3 binary64))) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re)))) (.f64 (.f64 re re) (.f64 (.f64 re re) (/.f64 (.f64 im im) (*.f64 re re)))))))
(/.f64 (fma.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im) (pow.f64 (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))) #s(literal 3 binary64))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im)))) (.f64 (.f64 im im) (.f64 (.f64 im im) (/.f64 (.f64 re re) (*.f64 im im)))))))
(/.f64 (fma.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 im im) (pow.f64 (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)) #s(literal 3 binary64))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im))) (.f64 (.f64 im im) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (*.f64 im im))))))
(/.f64 (fma.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 re re) (pow.f64 (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)) #s(literal 3 binary64))) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re))) (.f64 (.f64 re re) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (*.f64 re re))))))
(/.f64 (-.f64 (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re))) (pow.f64 (.f64 (neg.f64 im) im) #s(literal 3 binary64))) (fma.f64 (.f64 re re) (.f64 re re) (fma.f64 (.f64 im im) (.f64 im im) (.f64 (.f64 re re) (*.f64 (neg.f64 im) im)))))
(/.f64 (-.f64 (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re))) (pow.f64 (neg.f64 (.f64 im im)) #s(literal 3 binary64))) (fma.f64 (.f64 re re) (.f64 re re) (fma.f64 (.f64 im im) (.f64 im im) (.f64 (.f64 re re) (neg.f64 (*.f64 im im))))))
(/.f64 (-.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (pow.f64 (neg.f64 (.f64 re re)) #s(literal 3 binary64))) (fma.f64 (.f64 im im) (.f64 im im) (fma.f64 (.f64 re re) (.f64 re re) (.f64 (.f64 im im) (neg.f64 (*.f64 re re))))))
(/.f64 (neg.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im)))) (neg.f64 (.f64 (+.f64 re im) (-.f64 re im))))
(/.f64 (neg.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re)))) (neg.f64 (.f64 (+.f64 im re) (-.f64 im re))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 re re) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (neg.f64 (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (*.f64 re im))))))
(/.f64 (neg.f64 (fma.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)) (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re))))) (neg.f64 (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (*.f64 im re))))))
(/.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im))) (fma.f64 re re (.f64 (neg.f64 im) im)))
(/.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im))) (fma.f64 re re (neg.f64 (.f64 im im))))
(/.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im))) (.f64 (+.f64 re im) (-.f64 re im)))
(/.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re))) (fma.f64 im im (neg.f64 (.f64 re re))))
(/.f64 (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re))) (.f64 (+.f64 im re) (-.f64 im re)))
(/.f64 (fma.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 re re) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (*.f64 re im)))))
(/.f64 (fma.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)) (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re)))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (*.f64 im re)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (+.f64 re im) (-.f64 re im)) (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im)))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (+.f64 im re) (-.f64 im re)) (.f64 (fma.f64 re re (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (.f64 re im)))) (fma.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 re re) (.f64 (.f64 im (.f64 im im)) (.f64 im (*.f64 im im))))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (.f64 im re)))) (fma.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)) (.f64 (.f64 re (.f64 re re)) (.f64 re (*.f64 re re))))))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 re re))
(fma.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(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) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 im im))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (*.f64 re re))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 im im))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 im im))
(fma.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)) (*.f64 re re))
(fma.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re) (*.f64 im im))
(fma.f64 (neg.f64 im) (neg.f64 im) (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 (neg.f64 im) (neg.f64 im) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 (neg.f64 im) (neg.f64 im) (*.f64 re re))
(fma.f64 (neg.f64 re) (neg.f64 re) (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 (neg.f64 re) (neg.f64 re) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 im im))
(fma.f64 re re (.f64 (.f64 re re) (/.f64 (.f64 im im) (.f64 re re))))
(fma.f64 re re (.f64 (/.f64 (.f64 im im) (.f64 re re)) (.f64 re re)))
(fma.f64 re re (*.f64 im im))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 (.f64 re re) (/.f64 (.f64 im im) (*.f64 re re))))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (*.f64 re re)))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 im im))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 (.f64 im im) (/.f64 (.f64 re re) (*.f64 im im))))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (*.f64 im im)))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 re re))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 (.f64 re re) (/.f64 (.f64 im im) (*.f64 re re))))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (*.f64 re re)))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 im im))
(fma.f64 im im (.f64 (.f64 im im) (/.f64 (.f64 re re) (.f64 im im))))
(fma.f64 im im (.f64 (/.f64 (.f64 re re) (.f64 im im)) (.f64 im im)))
(fma.f64 im im (*.f64 re re))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 (.f64 im im) (/.f64 (.f64 re re) (*.f64 im im))))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (*.f64 im im)))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 re re))
(-.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (+.f64 re im) (-.f64 re im))) (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (+.f64 re im) (-.f64 re im))))
(-.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (+.f64 im re) (-.f64 im re))) (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (+.f64 im re) (-.f64 im re))))
(-.f64 (.f64 re re) (neg.f64 (.f64 (.f64 re re) (/.f64 (.f64 im im) (*.f64 re re)))))
(-.f64 (.f64 re re) (neg.f64 (.f64 (/.f64 (.f64 im im) (.f64 re re)) (*.f64 re re))))
(-.f64 (.f64 re re) (.f64 (neg.f64 im) im))
(-.f64 (.f64 re re) (neg.f64 (.f64 im im)))
(-.f64 (.f64 im im) (neg.f64 (.f64 (.f64 im im) (/.f64 (.f64 re re) (*.f64 im im)))))
(-.f64 (.f64 im im) (neg.f64 (.f64 (/.f64 (.f64 re re) (.f64 im im)) (*.f64 im im))))
(-.f64 (.f64 im im) (neg.f64 (.f64 re re)))
(+.f64 (/.f64 (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re))) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (.f64 re im))))) (/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re im) (.f64 re im))))))
(+.f64 (/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (.f64 im re))))) (/.f64 (.f64 (.f64 re (.f64 re re)) (.f64 re (.f64 re re))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im re) (.f64 im re))))))
(+.f64 (.f64 re re) (.f64 (.f64 re re) (/.f64 (.f64 im im) (*.f64 re re))))
(+.f64 (.f64 re re) (.f64 (/.f64 (.f64 im im) (.f64 re re)) (*.f64 re re)))
(+.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 im im) (.f64 (.f64 im im) (/.f64 (.f64 re re) (*.f64 im im))))
(+.f64 (.f64 im im) (.f64 (/.f64 (.f64 re re) (.f64 im im)) (*.f64 im im)))
(+.f64 (.f64 im im) (.f64 re re))
re
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(*.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)))
(*.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)))
(.f64 (.f64 im #s(literal 1 binary64)) (*.f64 im #s(literal 1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) im) (*.f64 #s(literal 1 binary64) im))
(*.f64 (neg.f64 im) (neg.f64 im))
(.f64 #s(literal 1 binary64) (.f64 im im))
(*.f64 im im)
(.f64 (.f64 im im) #s(literal 1 binary64))
(pow.f64 (exp.f64 (log.f64 im)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 im im) (*.f64 im im)) #s(literal 1/2 binary64))
(pow.f64 (neg.f64 im) #s(literal 2 binary64))
(pow.f64 im #s(literal 2 binary64))
(pow.f64 (*.f64 im im) #s(literal 1 binary64))
(sqrt.f64 (.f64 (.f64 im im) (*.f64 im im)))
(fabs.f64 (*.f64 im im))
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 im) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 im) #s(literal 2 binary64) #s(literal 0 binary64)))
(exp.f64 (*.f64 (log.f64 im) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 im) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 im) #s(literal 2 binary64))))
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 (fma.f64 (/.f64 (.f64 re re) (.f64 im (.f64 im im))) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) im)) (.f64 re re) im))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (fma.f64 (.f64 (.f64 re re) (pow.f64 im #s(literal -5 binary64))) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 im (.f64 im im)))) (.f64 re re) (/.f64 #s(literal 1/2 binary64) im)) (.f64 re re) im))
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
#s(approx (+ (* re re) (* im im)) (fma.f64 re re (*.f64 im im)))
#s(approx re re)
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 im im) (*.f64 re re)) #s(literal 1/2 binary64) #s(literal 1 binary64)) re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 re (-.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) #s(literal -1/8 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 im im)) (.f64 re re))) #s(literal -1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 re (-.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) #s(literal -1/8 binary64) (fma.f64 (pow.f64 (/.f64 (.f64 im im) (.f64 re re)) #s(literal 3 binary64)) #s(literal 1/16 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 im im)) (.f64 re re)))) #s(literal -1 binary64))))
#s(approx (+ (* re re) (* im im)) (*.f64 re re))
#s(approx (+ (* re re) (* im im)) (fma.f64 re re (*.f64 im im)))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 re) (fma.f64 (/.f64 (.f64 im im) (*.f64 re re)) #s(literal 1/2 binary64) #s(literal 1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 re) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) #s(literal -1/8 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 im im)) (.f64 re re))) #s(literal -1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 re) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) #s(literal -1/8 binary64) (fma.f64 (pow.f64 (/.f64 (.f64 im im) (.f64 re re)) #s(literal 3 binary64)) #s(literal 1/16 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 im im)) (.f64 re re)))) #s(literal -1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) 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 (fma.f64 (/.f64 (.f64 im im) (.f64 re (.f64 re re))) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) re)) (.f64 im im) re))
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (fma.f64 (.f64 (.f64 im im) (pow.f64 re #s(literal -5 binary64))) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (.f64 re (.f64 re re)))) (.f64 im im) (/.f64 #s(literal 1/2 binary64) re)) (.f64 im im) re))
#s(approx im im)
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (fma.f64 (/.f64 (.f64 re re) (*.f64 im im)) #s(literal 1/2 binary64) #s(literal 1 binary64)) im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (-.f64 (fma.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) #s(literal -1 binary64)) im))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (-.f64 (fma.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (pow.f64 (/.f64 (.f64 re re) (.f64 im im)) #s(literal 3 binary64)) #s(literal 1/16 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) #s(literal -1 binary64)) im))
#s(approx (+ (* re re) (* im im)) (fma.f64 re re (*.f64 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 (.f64 re re) (*.f64 im im)) #s(literal 1/2 binary64) #s(literal 1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 im) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) #s(literal -1 binary64))))
#s(approx (sqrt (+ (* re re) (* im im))) (.f64 (neg.f64 im) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (pow.f64 (/.f64 (.f64 re re) (.f64 im im)) #s(literal 3 binary64)) #s(literal 1/16 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) #s(literal -1 binary64))))

eval26.0ms (1.8%)

Memory: 7.4MiB live, 52.9MiB allocated; 4ms collecting garbage
Compiler: Compiled 2 428 to 713 computations (70.6% saved)

prune16.0ms (1%)

Memory

-30.6MiB live, 15.6MiB allocated; 3ms collecting garbage

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	305	0	305
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	305	6	311

Accuracy

100.0%

Counts

311 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 re im)
✓	55.9%	(sqrt.f64 (fma.f64 re re (*.f64 im im)))
✓	2.0%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
✓	1.3%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
✓	5.1%	#s(approx (sqrt (+ (* re re) (* im im))) re)
✓	98.7%	#s(approx (sqrt (+ (* re re) (* im im))) im)

Compiler

Compiled 70 to 57 computations (18.6% saved)

regimes14.0ms (0.9%)

Memory

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

Counts

7 → 1

Calls

Call 1

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

Outputs
(hypot.f64 re im)

Calls

6 calls:

2.0ms	re
2.0ms	im
2.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
2.0ms	(+.f64 (.f64 re re) (.f64 im im))
2.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)

regimes28.0ms (1.9%)

Memory

-16.8MiB live, 29.9MiB allocated; 2ms collecting garbage

Accuracy

Total -62.4b remaining (-7633.4%)

Threshold costs -62.4b (-7633.4%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

6 calls:

17.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
2.0ms	im
2.0ms	re
2.0ms	(+.f64 (.f64 re re) (.f64 im im))
2.0ms	(*.f64 im im)

Results

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

Compiler

Compiled 17 to 21 computations (-23.5% saved)

derivations65.0ms (4.4%)

Memory

22.8MiB live, 73.6MiB allocated; 7ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 8 to 8 computations (0% saved)

preprocess23.0ms (1.6%)

Memory: -34.0MiB live, 55.3MiB allocated; 8ms 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%)

sample657.0ms (44.1%)

preprocess59.0ms (4%)

series6.0ms (0.4%)

rewrite185.0ms (12.4%)

eval39.0ms (2.6%)

prune8.0ms (0.6%)

series17.0ms (1.1%)

rewrite144.0ms (9.7%)

eval6.0ms (0.4%)

prune15.0ms (1%)

series3.0ms (0.2%)

rewrite179.0ms (12%)

eval26.0ms (1.8%)

prune16.0ms (1%)

regimes14.0ms (0.9%)

regimes28.0ms (1.9%)

derivations65.0ms (4.4%)

preprocess23.0ms (1.6%)

end0.0ms (0%)

Profiling