Metrics for math.log/1 on complex, real part

start0.0ms (0%)

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

analyze49.0ms (1.2%)

Memory

-0.5MiB live, 91.9MiB allocated; 11ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
18.8%	18.7%	81.2%	0.1%	0%	0%	0%	5
34.4%	34.3%	65.6%	0.1%	0%	0%	0%	6
54.7%	54.6%	45.3%	0.1%	0%	0%	0%	7
64.8%	64.8%	35.1%	0.1%	0%	0%	0%	8
76.2%	76.1%	23.8%	0.1%	0%	0%	0%	9
81.8%	81.8%	18.1%	0.1%	0%	0%	0%	10
87.8%	87.7%	12.2%	0.1%	0%	0%	0%	11
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 11 to 6 computations (45.5% saved)

sample1.1s (26.5%)

Memory

77.4MiB live, 1 131.3MiB allocated; 322ms collecting garbage

Samples

759.0ms

8 256×

valid

Precisions

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

ival-hypot: 373.0ms (66.9% of total)

ival-log: 182.0ms (32.7% of total)

adjust: 1.0ms (0.2% of total)

Bogosity

preprocess253.0ms (6.3%)

Memory

-33.4MiB live, 55.7MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	56
1	63	56
2	145	56
3	207	56
4	477	56
5	2424	56

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Symmetry

(abs re)

(abs im)

(sort re im)

Compiler

Compiled 14 to 14 computations (0% saved)

series10.0ms (0.3%)

Memory

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

Counts

7 → 55

Calls

Call 1

Inputs
(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
(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 (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (log im)))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (log im) (* 1/2 (/ (pow re 2) (pow im 2))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (log im) (* (pow re 2) (+ (* -1/4 (/ (pow re 2) (pow im 4))) (* 1/2 (/ 1 (pow im 2))))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (log im) (* (pow re 2) (+ (* (pow re 2) (- (* 1/6 (/ (pow re 2) (pow im 6))) (* 1/4 (/ 1 (pow im 4))))) (* 1/2 (/ 1 (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im)))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2))))
#s(approx (* re re) #s(hole binary64 (pow re 2)))
#s(approx re #s(hole binary64 re))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (* -1 (log (/ 1 re)))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ 1 re))) (* 1/2 (/ (pow im 2) (pow re 2))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ 1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ 1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (+ (* 1/720 (/ (+ (* 30 (pow im 6)) (* 90 (pow im 6))) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 re))
#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 (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (* -1 (log (/ -1 re)))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ -1 re))) (* 1/2 (/ (pow im 2) (pow re 2))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ -1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ -1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (+ (* 1/720 (/ (+ (* 30 (pow im 6)) (* 90 (pow im 6))) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (log re)))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (log re) (* 1/2 (/ (pow im 2) (pow re 2))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (log re) (* (pow im 2) (+ (* -1/4 (/ (pow im 2) (pow re 4))) (* 1/2 (/ 1 (pow re 2))))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (log re) (* (pow im 2) (+ (* (pow im 2) (- (* 1/6 (/ (pow im 2) (pow re 6))) (* 1/4 (/ 1 (pow re 4))))) (* 1/2 (/ 1 (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re)))))))
#s(approx (* im im) #s(hole binary64 (pow im 2)))
#s(approx im #s(hole binary64 im))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (* -1 (log (/ 1 im)))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ 1 im))) (* 1/2 (/ (pow re 2) (pow im 2))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ 1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ 1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (+ (* 1/720 (/ (+ (* 30 (pow re 6)) (* 90 (pow re 6))) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))
#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 (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (* -1 (log (/ -1 im)))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ -1 im))) (* 1/2 (/ (pow re 2) (pow im 2))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ -1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ -1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (+ (* 1/720 (/ (+ (* 30 (pow re 6)) (* 90 (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)))
#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
2.0ms	re	@	inf	((log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im)
2.0ms	re	@	0	((log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im)
2.0ms	im	@	inf	((log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im)
1.0ms	im	@	0	((log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im)
1.0ms	re	@	-inf	((log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im)

rewrite501.0ms (12.4%)

Memory

6.9MiB live, 423.7MiB allocated; 169ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	251	1507
0	256	1427
1	721	1411
2	3326	1349
0	8193	1319
0	37238	998

Stop Event

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

Counts

62 → 126

Calls

Call 1

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

eval11.0ms (0.3%)

Memory: 21.3MiB live, 21.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 961 to 463 computations (51.8% saved)

prune5.0ms (0.1%)

Memory

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

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	94	7	101
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	7	102

Accuracy

100.0%

Counts

102 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(log.f64 (hypot.f64 re im))
▶	6.4%	(log.f64 (sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 re re))))
▶	54.1%	(log.f64 (sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 im im))))
	0.0%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 #s(literal -1/2 binary64) re) im) im re)))
	99.9%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 #s(literal -1/2 binary64) im) re) re im)))
▶	11.0%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) re))
▶	99.9%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) im))

Compiler

Compiled 124 to 124 computations (0% saved)

series59.0ms (1.5%)

Memory

-38.1MiB live, 10.8MiB allocated; 6ms collecting garbage

Counts

16 → 55

Calls

Call 1

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

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

rewrite547.0ms (13.5%)

Memory

37.7MiB live, 401.8MiB allocated; 81ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	258	1354
0	267	1274
1	733	1258
2	3338	1196
0	8203	1166
0	37275	1080

Stop Event

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

Counts

71 → 119

Calls

Call 1

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

eval9.0ms (0.2%)

Memory: 19.8MiB live, 19.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 803 to 386 computations (51.9% saved)

prune29.0ms (0.7%)

Memory

-37.4MiB live, 8.6MiB allocated; 5ms collecting garbage

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	2	2
Picked	0	5	5
Done	0	0	0
Total	82	7	89

Accuracy

100.0%

Counts

89 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(log.f64 (hypot.f64 re im))
✓	6.4%	(log.f64 (sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 re re))))
✓	54.1%	(log.f64 (sqrt.f64 #s(approx (+ (* re re) (* im im)) (*.f64 im im))))
▶	0.0%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 #s(literal -1/2 binary64) re) im) im re)))
▶	99.9%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 (/.f64 #s(literal -1/2 binary64) im) re) re im)))
✓	11.0%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) re))
✓	99.9%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) im))

Compiler

Compiled 62 to 62 computations (0% saved)

series17.0ms (0.4%)

Memory

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

Counts

13 → 66

Calls

Call 1

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

Outputs
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (log im)))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (log im) (* 1/2 (/ (pow re 2) (pow im 2))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (log im) (* (pow re 2) (+ (* -1/4 (/ (pow re 2) (pow im 4))) (* 1/2 (/ 1 (pow im 2))))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (log im) (* (pow re 2) (+ (* (pow re 2) (- (* 1/6 (/ (pow re 2) (pow im 6))) (* 1/4 (/ 1 (pow im 4))))) (* 1/2 (/ 1 (pow im 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im)))))))
#s(approx (+ (* (* (/ -1/2 im) re) re) im) #s(hole binary64 im))
#s(approx (+ (* (* (/ -1/2 im) re) re) im) #s(hole binary64 (+ im (* -1/2 (/ (pow re 2) im)))))
#s(approx (* (/ -1/2 im) re) #s(hole binary64 (* -1/2 (/ re im))))
#s(approx re #s(hole binary64 re))
#s(approx (+ (* (* (/ -1/2 re) im) im) re) #s(hole binary64 (* -1/2 (/ (pow im 2) re))))
#s(approx (+ (* (* (/ -1/2 re) im) im) re) #s(hole binary64 (/ (+ (* -1/2 (pow im 2)) (pow re 2)) re)))
#s(approx (* (/ -1/2 re) im) #s(hole binary64 (* -1/2 (/ im re))))
#s(approx (/ -1/2 re) #s(hole binary64 (/ -1/2 re)))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (* -1 (log (/ 1 re)))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ 1 re))) (* 1/2 (/ (pow im 2) (pow re 2))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ 1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ 1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (+ (* 1/720 (/ (+ (* 30 (pow im 6)) (* 90 (pow im 6))) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 re))
#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 (+ (* (* (/ -1/2 im) re) re) im) #s(hole binary64 (* -1/2 (/ (pow re 2) im))))
#s(approx (+ (* (* (/ -1/2 im) re) re) im) #s(hole binary64 (* (pow re 2) (- (/ im (pow re 2)) (* 1/2 (/ 1 im))))))
#s(approx (+ (* (* (/ -1/2 re) im) im) re) #s(hole binary64 re))
#s(approx (+ (* (* (/ -1/2 re) im) im) re) #s(hole binary64 (* re (+ 1 (* -1/2 (/ (pow im 2) (pow re 2)))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (* -1 (log (/ -1 re)))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ -1 re))) (* 1/2 (/ (pow im 2) (pow re 2))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ -1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ -1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (+ (* 1/720 (/ (+ (* 30 (pow im 6)) (* 90 (pow im 6))) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re)))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))))
#s(approx (+ (* (* (/ -1/2 re) im) im) re) #s(hole binary64 (* -1 (* re (- (* 1/2 (/ (pow im 2) (pow re 2))) 1)))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (log re)))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (log re) (* 1/2 (/ (pow im 2) (pow re 2))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (log re) (* (pow im 2) (+ (* -1/4 (/ (pow im 2) (pow re 4))) (* 1/2 (/ 1 (pow re 2))))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (log re) (* (pow im 2) (+ (* (pow im 2) (- (* 1/6 (/ (pow im 2) (pow re 6))) (* 1/4 (/ 1 (pow re 4))))) (* 1/2 (/ 1 (pow re 2))))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re)))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re)))))))
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re)))))))
#s(approx (+ (* (* (/ -1/2 im) re) re) im) #s(hole binary64 (/ (+ (* -1/2 (pow re 2)) (pow im 2)) im)))
#s(approx (/ -1/2 im) #s(hole binary64 (/ -1/2 im)))
#s(approx im #s(hole binary64 im))
#s(approx (+ (* (* (/ -1/2 re) im) im) re) #s(hole binary64 (+ re (* -1/2 (/ (pow im 2) re)))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (* -1 (log (/ 1 im)))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ 1 im))) (* 1/2 (/ (pow re 2) (pow im 2))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ 1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ 1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (+ (* 1/720 (/ (+ (* 30 (pow re 6)) (* 90 (pow re 6))) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))
#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 (+ (* (* (/ -1/2 im) re) re) im) #s(hole binary64 (* im (+ 1 (* -1/2 (/ (pow re 2) (pow im 2)))))))
#s(approx (+ (* (* (/ -1/2 re) im) im) re) #s(hole binary64 (* (pow im 2) (- (/ re (pow im 2)) (* 1/2 (/ 1 re))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (* -1 (log (/ -1 im)))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ -1 im))) (* 1/2 (/ (pow re 2) (pow im 2))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ -1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))
#s(approx (log (sqrt (+ (* re re) (* im im)))) #s(hole binary64 (+ (* -1 (log (/ -1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (+ (* 1/720 (/ (+ (* 30 (pow re 6)) (* 90 (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)))
#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))))))))))
#s(approx (+ (* (* (/ -1/2 im) re) re) im) #s(hole binary64 (* -1 (* im (- (* 1/2 (/ (pow re 2) (pow im 2))) 1)))))

Calls

6 calls:

Time	Variable		Point	Expression
4.0ms	im	@	-inf	((log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* (* (/ -1/2 im) re) re) im) (* (/ -1/2 im) re) (/ -1/2 im) -1/2 im re (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* (* (/ -1/2 re) im) im) re) (* (/ -1/2 re) im) (/ -1/2 re))
3.0ms	re	@	0	((log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* (* (/ -1/2 im) re) re) im) (* (/ -1/2 im) re) (/ -1/2 im) -1/2 im re (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* (* (/ -1/2 re) im) im) re) (* (/ -1/2 re) im) (/ -1/2 re))
2.0ms	re	@	inf	((log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* (* (/ -1/2 im) re) re) im) (* (/ -1/2 im) re) (/ -1/2 im) -1/2 im re (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* (* (/ -1/2 re) im) im) re) (* (/ -1/2 re) im) (/ -1/2 re))
2.0ms	im	@	inf	((log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* (* (/ -1/2 im) re) re) im) (* (/ -1/2 im) re) (/ -1/2 im) -1/2 im re (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* (* (/ -1/2 re) im) im) re) (* (/ -1/2 re) im) (/ -1/2 re))
2.0ms	im	@	0	((log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* (* (/ -1/2 im) re) re) im) (* (/ -1/2 im) re) (/ -1/2 im) -1/2 im re (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* (* (/ -1/2 re) im) im) re) (* (/ -1/2 re) im) (/ -1/2 re))

rewrite497.0ms (12.3%)

Memory

15.5MiB live, 244.6MiB allocated; 45ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	303	1791
0	317	1705
1	833	1687
2	3789	1623
0	8251	1297

Stop Event

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

Counts

79 → 206

Calls

Call 1

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

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

eval101.0ms (2.5%)

Memory: -40.9MiB live, 44.1MiB allocated; 122ms collecting garbage
Compiler: Compiled 1 797 to 937 computations (47.9% saved)

prune11.0ms (0.3%)

Memory

-35.1MiB live, 16.6MiB allocated; 17ms collecting garbage

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	187	2	189
Fresh	0	0	0
Picked	2	0	2
Done	2	3	5
Total	191	5	196

Accuracy

100.0%

Counts

196 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(log.f64 (hypot.f64 re im))
▶	0.0%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re)))
▶	0.0%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im)))
✓	11.0%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) re))
✓	99.9%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) im))

Compiler

Compiled 38 to 38 computations (0% saved)

series4.0ms (0.1%)

Memory

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

Counts

8 → 50

Calls

Call 1

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

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

rewrite503.0ms (12.4%)

Memory

18.8MiB live, 347.5MiB allocated; 62ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	244	1446
0	248	1364
1	692	1348
2	3209	1286
0	8400	1250
0	36044	928

Stop Event

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

Counts

58 → 58

Calls

Call 1

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

eval3.0ms (0.1%)

Memory: 9.0MiB live, 9.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 458 to 176 computations (61.6% saved)

prune6.0ms (0.1%)

Memory

-33.7MiB live, 10.7MiB allocated; 6ms collecting garbage

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	0	0
Picked	0	2	2
Done	0	3	3
Total	26	5	31

Accuracy

100.0%

Counts

31 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(log.f64 (hypot.f64 re im))
✓	0.0%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re)))
✓	0.0%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im)))
✓	11.0%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) re))
✓	99.9%	(log.f64 #s(approx (sqrt (+ (* re re) (* im im))) im))

Compiler

Compiled 106 to 78 computations (26.4% saved)

regimes23.0ms (0.6%)

Memory

15.7MiB live, 61.2MiB allocated; 4ms collecting garbage

Counts

10 → 1

Calls

Call 1

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

Outputs
(log.f64 (hypot.f64 re im))

Calls

7 calls:

5.0ms	(+.f64 (.f64 re re) (.f64 im im))
3.0ms	im
3.0ms	re
3.0ms	(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
3.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.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	`(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))`
100.0%	1	`re`
100.0%	1	`im`

Compiler

Compiled 24 to 28 computations (-16.7% saved)

regimes21.0ms (0.5%)

Memory

9.1MiB live, 55.1MiB allocated; 3ms collecting garbage

Accuracy

Total -63.9b remaining (-98390.9%)

Threshold costs -63.9b (-98390.9%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

7 calls:

4.0ms	(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
3.0ms	im
3.0ms	re
3.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
3.0ms	(+.f64 (.f64 re re) (.f64 im im))

Results

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

Compiler

Compiled 24 to 28 computations (-16.7% saved)

derivations293.0ms (7.2%)

Memory

-30.8MiB live, 70.5MiB allocated; 12ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 10 to 10 computations (0% saved)

preprocess19.0ms (0.5%)

Memory: 43.0MiB live, 43.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 89 to 89 computations (0% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze49.0ms (1.2%)

sample1.1s (26.5%)

preprocess253.0ms (6.3%)

series10.0ms (0.3%)

rewrite501.0ms (12.4%)

eval11.0ms (0.3%)

prune5.0ms (0.1%)

series59.0ms (1.5%)

rewrite547.0ms (13.5%)

eval9.0ms (0.2%)

prune29.0ms (0.7%)

series17.0ms (0.4%)

rewrite497.0ms (12.3%)

eval101.0ms (2.5%)

prune11.0ms (0.3%)

series4.0ms (0.1%)

rewrite503.0ms (12.4%)

eval3.0ms (0.1%)

prune6.0ms (0.1%)

regimes23.0ms (0.6%)

regimes21.0ms (0.5%)

derivations293.0ms (7.2%)

preprocess19.0ms (0.5%)

end0.0ms (0%)

Profiling