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)

sample618.0ms (32.6%)

Memory

-30.8MiB live, 597.1MiB allocated; 73ms collecting garbage

Samples

446.0ms

8 256×

valid

Precisions

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

ival-hypot: 199.0ms (99.2% of total)

adjust: 1.0ms (0.5% of total)

Bogosity

preprocess59.0ms (3.1%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Memory

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

rewrite288.0ms (15.2%)

Memory

-3.7MiB live, 180.6MiB allocated; 50ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	143	784
0	147	744
1	894	718
0	8545	559
1	31879	559

Stop Event

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

Counts

35 → 326

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

eval57.0ms (3%)

Memory: 13.5MiB live, 66.4MiB allocated; 14ms collecting garbage
Compiler: Compiled 1 798 to 642 computations (64.3% saved)

prune8.0ms (0.4%)

Memory

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

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	315	6	321
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	316	6	322

Accuracy

100.0%

Counts

322 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(hypot.f64 re im)
	56.2%	(sqrt.f64 (fma.f64 re re (*.f64 im im)))
▶	1.8%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
▶	1.2%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
▶	5.1%	#s(approx (sqrt (+ (* re re) (* im im))) (fabs.f64 re))
▶	98.8%	#s(approx (sqrt (+ (* re re) (* im im))) (fabs.f64 im))

Compiler

Compiled 80 to 80 computations (0% saved)

series22.0ms (1.2%)

Memory

-36.1MiB live, 9.1MiB allocated; 7ms collecting garbage

Counts

11 → 26

Calls

Call 1

Inputs
(hypot.f64 re im)
re
im
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
(neg.f64 im)
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
(neg.f64 re)
#s(approx (sqrt (+ (* re re) (* im im))) (fabs.f64 im))
(fabs.f64 im)
#s(approx (sqrt (+ (* re re) (* im im))) (fabs.f64 re))
(fabs.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 (fabs re) #s(hole binary64 (fabs 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 (fabs im) #s(hole binary64 (fabs 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
19.0ms	im	@	0	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re) (sqrt (+ (* re re) (* im im))) (fabs im) (sqrt (+ (* re re) (* im im))) (fabs re))
1.0ms	re	@	-inf	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re) (sqrt (+ (* re re) (* im im))) (fabs im) (sqrt (+ (* re re) (* im im))) (fabs re))
1.0ms	im	@	-inf	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re) (sqrt (+ (* re re) (* im im))) (fabs im) (sqrt (+ (* re re) (* im im))) (fabs re))
1.0ms	re	@	inf	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re) (sqrt (+ (* re re) (* im im))) (fabs im) (sqrt (+ (* re re) (* im im))) (fabs re))
0.0ms	im	@	inf	((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re) (sqrt (+ (* re re) (* im im))) (fabs im) (sqrt (+ (* re re) (* im im))) (fabs re))

rewrite249.0ms (13.2%)

Memory

39.6MiB live, 362.6MiB allocated; 69ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	144	621
0	148	561
1	846	555
2	7994	555
0	8004	519
1	28519	519

Stop Event

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

Counts

37 → 113

Calls

Call 1

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

eval12.0ms (0.6%)

Memory: -14.7MiB live, 31.4MiB allocated; 5ms collecting garbage
Compiler: Compiled 652 to 239 computations (63.3% saved)

prune3.0ms (0.2%)

Memory

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

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	0	1	1
Picked	0	5	5
Done	0	0	0
Total	103	7	110

Accuracy

100.0%

Counts

110 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 re im)
▶	56.2%	(sqrt.f64 (fma.f64 re re (*.f64 im im)))
▶	98.0%	#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (sqrt.f64 (fabs.f64 im)) (sqrt.f64 (fabs.f64 im))))
✓	1.8%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
✓	1.2%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
✓	5.1%	#s(approx (sqrt (+ (* re re) (* im im))) (fabs.f64 re))
✓	98.8%	#s(approx (sqrt (+ (* re re) (* im im))) (fabs.f64 im))

Compiler

Compiled 52 to 50 computations (3.8% saved)

series6.0ms (0.3%)

Memory

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

Counts

9 → 32

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (sqrt.f64 (fabs.f64 im)) (sqrt.f64 (fabs.f64 im))))
(*.f64 (sqrt.f64 (fabs.f64 im)) (sqrt.f64 (fabs.f64 im)))
(sqrt.f64 (fabs.f64 im))
(fabs.f64 im)
im
(sqrt.f64 (fma.f64 re re (*.f64 im im)))
(fma.f64 re re (*.f64 im im))
re
(*.f64 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 (* (sqrt (fabs im)) (sqrt (fabs im))) #s(hole binary64 (pow (sqrt (fabs im)) 2)))
#s(approx (sqrt (fabs im)) #s(hole binary64 (sqrt (fabs im))))
#s(approx (fabs im) #s(hole binary64 (fabs im)))
#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	@	0	((sqrt (+ (* re re) (* im im))) (* (sqrt (fabs im)) (sqrt (fabs im))) (sqrt (fabs im)) (fabs im) im (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im))
1.0ms	im	@	-inf	((sqrt (+ (* re re) (* im im))) (* (sqrt (fabs im)) (sqrt (fabs im))) (sqrt (fabs im)) (fabs im) im (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im))
1.0ms	im	@	inf	((sqrt (+ (* re re) (* im im))) (* (sqrt (fabs im)) (sqrt (fabs im))) (sqrt (fabs im)) (fabs im) im (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im))
1.0ms	re	@	inf	((sqrt (+ (* re re) (* im im))) (* (sqrt (fabs im)) (sqrt (fabs im))) (sqrt (fabs im)) (fabs im) im (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im))
1.0ms	re	@	-inf	((sqrt (+ (* re re) (* im im))) (* (sqrt (fabs im)) (sqrt (fabs im))) (sqrt (fabs im)) (fabs im) im (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im))

rewrite260.0ms (13.7%)

Memory

1.4MiB live, 333.8MiB allocated; 149ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	153	808
0	160	739
1	927	723
0	8776	589
1	32570	589

Stop Event

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

Counts

41 → 308

Calls

Call 1

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

eval32.0ms (1.7%)

Memory: 6.9MiB live, 96.9MiB allocated; 14ms collecting garbage
Compiler: Compiled 1 651 to 590 computations (64.3% saved)

prune8.0ms (0.4%)

Memory

-19.6MiB live, 25.8MiB allocated; 5ms collecting garbage

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	278	0	278
Fresh	0	0	0
Picked	0	2	2
Done	0	5	5
Total	278	7	285

Accuracy

100.0%

Counts

285 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 re im)
✓	56.2%	(sqrt.f64 (fma.f64 re re (*.f64 im im)))
✓	98.0%	#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (sqrt.f64 (fabs.f64 im)) (sqrt.f64 (fabs.f64 im))))
✓	1.8%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
✓	1.2%	#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
✓	5.1%	#s(approx (sqrt (+ (* re re) (* im im))) (fabs.f64 re))
✓	98.8%	#s(approx (sqrt (+ (* re re) (* im im))) (fabs.f64 im))

Compiler

Compiled 92 to 74 computations (19.6% saved)

regimes23.0ms (1.2%)

Memory

6.2MiB live, 59.0MiB allocated; 11ms collecting garbage

Counts

8 → 1

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
#s(approx (sqrt (+ (* re re) (* im im))) (fabs.f64 im))
#s(approx (sqrt (+ (* re re) (* im im))) (fabs.f64 re))
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (sqrt.f64 (fabs.f64 im)) (sqrt.f64 (fabs.f64 im))))
(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:

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

Results

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

Compiler

Compiled 17 to 21 computations (-23.5% saved)

regimes17.0ms (0.9%)

Memory

9.9MiB live, 55.5MiB allocated; 3ms collecting garbage

Counts

7 → 1

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im))
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re))
#s(approx (sqrt (+ (* re re) (* im im))) (fabs.f64 im))
#s(approx (sqrt (+ (* re re) (* im im))) (fabs.f64 re))
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (sqrt.f64 (fabs.f64 im)) (sqrt.f64 (fabs.f64 im))))
(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))) (fabs.f64 im))

Calls

6 calls:

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

Results

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

Compiler

Compiled 17 to 21 computations (-23.5% saved)

regimes10.0ms (0.5%)

Memory

-14.3MiB live, 31.8MiB allocated; 4ms collecting garbage

Counts

2 → 1

Calls

Call 1

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

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

Calls

6 calls:

4.0ms	im
1.0ms	re
1.0ms	(+.f64 (.f64 re re) (.f64 im im))
1.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
1.0ms	(*.f64 im im)

Results

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

Compiler

Compiled 17 to 21 computations (-23.5% saved)

regimes8.0ms (0.4%)

Memory

-19.7MiB live, 26.6MiB allocated; 2ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 17 to 21 computations (-23.5% saved)

derivations142.0ms (7.5%)

Memory

4.1MiB live, 190.7MiB allocated; 21ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 21 to 13 computations (38.1% saved)

preprocess66.0ms (3.5%)

Memory

-2.3MiB live, 147.4MiB allocated; 40ms collecting garbage

Remove

(sort re im)

(abs im)

(abs re)

Compiler

Compiled 205 to 197 computations (3.9% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample618.0ms (32.6%)

preprocess59.0ms (3.1%)

series6.0ms (0.3%)

rewrite288.0ms (15.2%)

eval57.0ms (3%)

prune8.0ms (0.4%)

series22.0ms (1.2%)

rewrite249.0ms (13.2%)

eval12.0ms (0.6%)

prune3.0ms (0.2%)

series6.0ms (0.3%)

rewrite260.0ms (13.7%)

eval32.0ms (1.7%)

prune8.0ms (0.4%)

regimes23.0ms (1.2%)

regimes17.0ms (0.9%)

regimes10.0ms (0.5%)

regimes8.0ms (0.4%)

derivations142.0ms (7.5%)

preprocess66.0ms (3.5%)

end0.0ms (0%)

Profiling