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

start0.0ms (0%)

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

analyze56.0ms (3.6%)

Memory

-2.7MiB live, 129.6MiB allocated; 15ms 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)

sample798.0ms (50.7%)

Memory

36.3MiB live, 1 464.2MiB allocated; 248ms collecting garbage

Samples

559.0ms

8 256×

valid

Precisions

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

ival-hypot: 256.0ms (68.1% of total)

ival-log: 115.0ms (30.6% of total)

ival-assert: 3.0ms (0.8% of total)

adjust: 2.0ms (0.5% of total)

Bogosity

explain103.0ms (6.6%)

Memory

-9.4MiB live, 229.4MiB allocated; 9ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
120	-	1	(-7.784614467275436e-162 -1.3239688186299943e-260)	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`
0	-	0	-	`(+.f64 (.f64 re re) (.f64 im im))`
0	-	0	-	`(*.f64 re re)`
0	-	0	-	`re`
0	-	0	-	`(*.f64 im im)`
0	-	0	-	`(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))`
0	-	0	-	`im`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`	oflow-rescue	99	0
↳	`(+.f64 (.f64 re re) (.f64 im im))`	overflow	99
↳	`(*.f64 re re)`	overflow	53
↳	`(*.f64 im im)`	overflow	61
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`	uflow-rescue	20	0
↳	`(+.f64 (.f64 re re) (.f64 im im))`	underflow	20
↳	`(*.f64 re re)`	underflow	80
↳	`(*.f64 im im)`	underflow	75

Confusion

	Predicted +	Predicted -
+	119	1
-	0	136

Precision

1.0

Recall

0.9916666666666667

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	119	0	1
-	0	0	136

Precision?

1.0

Recall?

0.9916666666666667

Freqs

test

number	freq
0	137
1	119

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

41.0ms

512×

valid

Compiler

Compiled 77 to 25 computations (67.5% saved)

Precisions

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

ival-hypot: 10.0ms (37.5% of total)

ival-mult: 8.0ms (30% of total)

ival-log: 6.0ms (22.5% of total)

ival-add: 2.0ms (7.5% of total)

ival-true: 0.0ms (0% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess18.0ms (1.1%)

Memory

-6.6MiB live, 40.3MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	56
1	47	56
2	97	56
3	122	56
4	160	56
0	7	9
0	12	9
1	23	9
2	62	9
3	119	9
4	156	9
0	156	4

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

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

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

Symmetry

(abs re)

(abs im)

(sort re im)

Compiler

Compiled 9 to 7 computations (22.2% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

series11.0ms (0.7%)

Memory

22.6MiB live, 22.6MiB 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)
2.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)

rewrite162.0ms (10.3%)

Memory

14.3MiB live, 293.2MiB allocated; 19ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	251	1507
0	258	1427
1	1390	1411
0	8248	1106

Stop Event

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

Counts

62 → 193

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

eval25.0ms (1.6%)

Memory: -35.8MiB live, 57.6MiB allocated; 4ms collecting garbage
Compiler: Compiled 3 399 to 693 computations (79.6% saved)

prune57.0ms (3.6%)

Memory

19.8MiB live, 122.5MiB allocated; 12ms collecting garbage

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	192	1	193
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	193	1	194

Accuracy

100.0%

Counts

194 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(log.f64 (pow.f64 (hypot.f64 im re) #s(literal 1 binary64)))

Compiler

Compiled 6 to 6 computations (0% saved)

series5.0ms (0.3%)

Memory

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

Counts

6 → 70

Calls

Call 1

Inputs
(log.f64 (pow.f64 (hypot.f64 im re) #s(literal 1 binary64)))
(pow.f64 (hypot.f64 im re) #s(literal 1 binary64))
(hypot.f64 im re)
im
re
#s(literal 1 binary64)

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

rewrite157.0ms (10%)

Memory

4.6MiB live, 282.6MiB allocated; 15ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	260	1771
0	264	1575
1	1356	1559
0	8455	1475

Stop Event

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

Counts

76 → 250

Calls

Call 1

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

eval18.0ms (1.1%)

Memory: -16.3MiB live, 38.2MiB allocated; 3ms collecting garbage
Compiler: Compiled 2 438 to 463 computations (81% saved)

prune43.0ms (2.7%)

Memory

1.3MiB live, 95.1MiB allocated; 3ms collecting garbage

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	138	0	138
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	138	1	139

Accuracy

100.0%

Counts

139 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(log.f64 (pow.f64 (hypot.f64 im re) #s(literal 1 binary64)))

Compiler

Compiled 21 to 17 computations (19% saved)

regimes10.0ms (0.6%)

Memory

-21.1MiB live, 26.3MiB allocated; 1ms collecting garbage

Counts

2 → 1

Calls

Call 1

Inputs
(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
(log.f64 (pow.f64 (hypot.f64 im re) #s(literal 1 binary64)))

Outputs
(log.f64 (pow.f64 (hypot.f64 im re) #s(literal 1 binary64)))

Calls

7 calls:

2.0ms	(*.f64 re re)
1.0ms	re
1.0ms	im
1.0ms	(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
1.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 32 to 28 computations (12.5% saved)

regimes7.0ms (0.5%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

Outputs
(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))

Calls

7 calls:

1.0ms	(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
1.0ms	re
1.0ms	im
1.0ms	(+.f64 (.f64 re re) (.f64 im im))
1.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Results

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

Compiler

Compiled 32 to 28 computations (12.5% saved)

simplify47.0ms (3%)

Memory

-10.7MiB live, 38.2MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	13	15
2	16	15
3	24	15
4	47	15
5	220	15
6	2136	15
7	5279	15

Stop Event

1×	node limit

Calls

Call 1

Inputs
(log.f64 (pow.f64 (hypot.f64 im re) #s(literal 1 binary64)))
(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))

Outputs
(log.f64 (pow.f64 (hypot.f64 im re) #s(literal 1 binary64)))
(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))

derivations28.0ms (1.8%)

Memory

-14.8MiB live, 32.1MiB allocated; 1ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 15 to 11 computations (26.7% saved)

preprocess27.0ms (1.7%)

Memory

16.0MiB live, 62.0MiB allocated; 4ms collecting garbage

Remove

(sort re im)

(abs im)

(abs re)

Compiler

Compiled 120 to 108 computations (10% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze56.0ms (3.6%)

sample798.0ms (50.7%)

explain103.0ms (6.6%)

preprocess18.0ms (1.1%)

eval0.0ms (0%)

prune0.0ms (0%)

series11.0ms (0.7%)

rewrite162.0ms (10.3%)

eval25.0ms (1.6%)

prune57.0ms (3.6%)

series5.0ms (0.3%)

rewrite157.0ms (10%)

eval18.0ms (1.1%)

prune43.0ms (2.7%)

regimes10.0ms (0.6%)

regimes7.0ms (0.5%)

simplify47.0ms (3%)

derivations28.0ms (1.8%)

preprocess27.0ms (1.7%)

end0.0ms (0%)

Profiling