Metrics for math.square on complex, real part

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample809.0ms (34.3%)

Memory

65.3MiB live, 694.8MiB allocated

Samples

605.0ms

8 256×

valid

Precisions

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

ival-mult: 126.0ms (72.6% of total)

ival-sub: 39.0ms (22.5% of total)

ival-true: 6.0ms (3.5% of total)

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

Bogosity

explain58.0ms (2.5%)

Memory

-17.5MiB live, 74.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
13	-	-	`(-.f64 (.f64 re re) (.f64 im im))`
0	-	-	`(*.f64 re re)`
0	-	-	`re`
0	-	-	`(*.f64 im im)`
0	-	-	`im`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (.f64 re re) (.f64 im im))`	nan-rescue	13	0
↳	`(*.f64 re re)`	overflow	51
↳	`(*.f64 im im)`	overflow	65

Confusion

	Predicted +	Predicted -
+	13	0
-	0	243

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	13	0	0
-	0	0	243

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	243
1	13

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

22.0ms

512×

valid

Compiler

Compiled 41 to 19 computations (53.7% saved)

Precisions

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

ival-mult: 7.0ms (67.7% of total)

ival-sub: 2.0ms (19.3% of total)

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

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

preprocess121.0ms (5.1%)

Memory

15.1MiB live, 109.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	38
1	48	35
2	215	35
3	371	35
4	909	35
5	1923	35
6	2926	35
7	3269	35
8	3347	35
9	3347	35
10	3546	35
0	5	7
0	8	7
1	21	7
2	81	7
3	223	7
4	403	7
5	836	7
6	1385	7
7	2069	7
8	2898	7
9	3208	7
10	3270	7
11	3270	7
12	3348	7
0	3348	7

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (.f64 re re) (.f64 im im))

Outputs
(-.f64 (.f64 re re) (.f64 im im))
(*.f64 (-.f64 re im) (+.f64 im re))

Symmetry

(abs im)

(abs re)

Compiler

Compiled 7 to 5 computations (28.6% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	94.9%	(-.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

series4.0ms (0.2%)

Memory

5.4MiB live, 5.4MiB allocated

Counts

5 → 9

Calls

Call 1

Inputs
(-.f64 (.f64 re re) (.f64 im im))
(*.f64 re re)
re
(*.f64 im im)
im

Outputs
(* -1 (pow im 2))
(- (pow re 2) (pow im 2))
(pow re 2)
re
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(+ (* -1 (pow im 2)) (pow re 2))
(pow im 2)
im
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))

Calls

6 calls:

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

simplify89.0ms (3.8%)

Memory

-11.8MiB live, 78.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	46
1	40	46
2	136	46
3	829	46
4	3437	46
0	8613	45

Stop Event

1×	iter limit
1×	node limit

Counts

9 → 7

Calls

Call 1

Inputs
(* -1 (pow im 2))
(- (pow re 2) (pow im 2))
(pow re 2)
re
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(+ (* -1 (pow im 2)) (pow re 2))
(pow im 2)
im
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))

Outputs
(* -1 (pow im 2))
(*.f64 (neg.f64 im) im)
(- (pow re 2) (pow im 2))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(pow re 2)
(*.f64 re re)
re
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(+ (* -1 (pow im 2)) (pow re 2))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(pow im 2)
(*.f64 im im)
im
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(.f64 (fma.f64 (/.f64 (/.f64 re im) im) re #s(literal -1 binary64)) (.f64 im im))

rewrite81.0ms (3.4%)

Memory

32.0MiB live, 77.2MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	15
0	8	15
1	37	15
2	329	15
3	4470	15
0	8291	14

Stop Event

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

Counts

5 → 115

Calls

Call 1

Inputs
(-.f64 (.f64 re re) (.f64 im im))
(*.f64 re re)
re
(*.f64 im im)
im

Outputs
(.f64 (/.f64 (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) (-.f64 (pow.f64 re #s(literal 6 binary64)) (pow.f64 im #s(literal 6 binary64)))) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64)))) (fma.f64 im im (.f64 re re)))
(.f64 (/.f64 (-.f64 (pow.f64 re #s(literal 6 binary64)) (pow.f64 im #s(literal 6 binary64))) (-.f64 (pow.f64 re #s(literal 8 binary64)) (-.f64 (pow.f64 im #s(literal 8 binary64)) (pow.f64 (.f64 im re) #s(literal 4 binary64))))) (-.f64 (pow.f64 (*.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 re #s(literal 6 binary64)) (pow.f64 im #s(literal 6 binary64))) (+.f64 (pow.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 re #s(literal 12 binary64)))) (fma.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64))) (pow.f64 re #s(literal 8 binary64))))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (+.f64 im re) (-.f64 re im))
(.f64 (fma.f64 im im (.f64 re re)) (/.f64 (fma.f64 im im (.f64 re re)) (fma.f64 im im (.f64 re re))))
(.f64 (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64))) (/.f64 (fma.f64 im im (.f64 re re)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))))
(/.f64 (/.f64 (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) (-.f64 re im)) (+.f64 im re))
(/.f64 (/.f64 (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) (+.f64 im re)) (-.f64 re im))
(/.f64 (.f64 (-.f64 (pow.f64 re #s(literal 3 binary64)) (pow.f64 im #s(literal 3 binary64))) (+.f64 im re)) (fma.f64 im (+.f64 im re) (.f64 re re)))
(/.f64 (.f64 (+.f64 (pow.f64 re #s(literal 3 binary64)) (pow.f64 im #s(literal 3 binary64))) (-.f64 re im)) (fma.f64 im (+.f64 im re) (.f64 re re)))
(/.f64 (.f64 (-.f64 re im) (+.f64 (pow.f64 re #s(literal 3 binary64)) (pow.f64 im #s(literal 3 binary64)))) (fma.f64 im (+.f64 im re) (.f64 re re)))
(/.f64 (.f64 (-.f64 re im) (fma.f64 im im (.f64 re re))) (-.f64 re im))
(/.f64 (.f64 (+.f64 im re) (-.f64 (pow.f64 re #s(literal 3 binary64)) (pow.f64 im #s(literal 3 binary64)))) (fma.f64 im (+.f64 im re) (.f64 re re)))
(/.f64 (.f64 (+.f64 im re) (fma.f64 im im (.f64 re re))) (+.f64 im re))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (-.f64 re im)) (-.f64 re im))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (+.f64 im re)) (+.f64 im re))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 re #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 im #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))) #s(literal 2 binary64))) (fma.f64 im im (*.f64 re re)))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 re #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 im #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))) #s(literal 2 binary64))) (fma.f64 im im (*.f64 re re)))
(/.f64 (-.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 re #s(literal 4 binary64))) (fma.f64 im im (*.f64 re re)))
(/.f64 (-.f64 (/.f64 (pow.f64 re #s(literal 12 binary64)) (pow.f64 (fma.f64 im im (.f64 re re)) #s(literal 3 binary64))) (/.f64 (pow.f64 im #s(literal 12 binary64)) (pow.f64 (fma.f64 im im (.f64 re re)) #s(literal 3 binary64)))) (+.f64 (pow.f64 (/.f64 (pow.f64 re #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 im #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 re #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))) (/.f64 (pow.f64 im #s(literal 4 binary64)) (fma.f64 im im (*.f64 re re)))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 re #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 im #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 re #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 im #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 re #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))) (/.f64 (pow.f64 im #s(literal 6 binary64)) (-.f64 (pow.f64 (*.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64))))))))
(/.f64 (.f64 (-.f64 (pow.f64 re #s(literal 3 binary64)) (pow.f64 im #s(literal 3 binary64))) (+.f64 (pow.f64 re #s(literal 3 binary64)) (pow.f64 im #s(literal 3 binary64)))) (.f64 (fma.f64 im (+.f64 im re) (.f64 re re)) (fma.f64 im (+.f64 im re) (.f64 re re))))
(/.f64 (.f64 (-.f64 (pow.f64 re #s(literal 3 binary64)) (pow.f64 im #s(literal 3 binary64))) (fma.f64 im im (.f64 re re))) (-.f64 (pow.f64 re #s(literal 3 binary64)) (pow.f64 im #s(literal 3 binary64))))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (+.f64 (pow.f64 re #s(literal 3 binary64)) (pow.f64 im #s(literal 3 binary64)))) (.f64 (+.f64 im re) (fma.f64 im (+.f64 im re) (.f64 re re))))
(/.f64 (.f64 (+.f64 (pow.f64 re #s(literal 3 binary64)) (pow.f64 im #s(literal 3 binary64))) (fma.f64 im im (.f64 re re))) (+.f64 (pow.f64 re #s(literal 3 binary64)) (pow.f64 im #s(literal 3 binary64))))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (-.f64 (pow.f64 re #s(literal 3 binary64)) (pow.f64 im #s(literal 3 binary64)))) (.f64 (-.f64 re im) (fma.f64 im (+.f64 im re) (.f64 re re))))
(/.f64 (-.f64 (.f64 (pow.f64 re #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))) (.f64 (fma.f64 im im (.f64 re re)) (pow.f64 im #s(literal 4 binary64)))) (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))))
(/.f64 (-.f64 (.f64 (pow.f64 re #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))) (.f64 (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64))) (pow.f64 im #s(literal 6 binary64)))) (-.f64 (pow.f64 re #s(literal 8 binary64)) (-.f64 (pow.f64 im #s(literal 8 binary64)) (pow.f64 (*.f64 im re) #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 re #s(literal 8 binary64)) (pow.f64 im #s(literal 8 binary64))) (pow.f64 (fma.f64 im im (*.f64 re re)) #s(literal 3 binary64)))
(/.f64 (-.f64 (pow.f64 re #s(literal 18 binary64)) (pow.f64 im #s(literal 18 binary64))) (.f64 (+.f64 (-.f64 (pow.f64 re #s(literal 12 binary64)) (pow.f64 im #s(literal 12 binary64))) (pow.f64 (.f64 im re) #s(literal 6 binary64))) (-.f64 (pow.f64 (*.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 re #s(literal 12 binary64)) (pow.f64 im #s(literal 12 binary64))) (.f64 (-.f64 (pow.f64 re #s(literal 8 binary64)) (-.f64 (pow.f64 im #s(literal 8 binary64)) (pow.f64 (.f64 im re) #s(literal 4 binary64)))) (fma.f64 im im (*.f64 re re))))
(/.f64 (-.f64 (pow.f64 re #s(literal 12 binary64)) (pow.f64 im #s(literal 12 binary64))) (.f64 (-.f64 (pow.f64 re #s(literal 6 binary64)) (pow.f64 im #s(literal 6 binary64))) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 re #s(literal 6 binary64)) (pow.f64 im #s(literal 6 binary64))) (+.f64 (pow.f64 im #s(literal 4 binary64)) (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 (*.f64 im re) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 re #s(literal 6 binary64)) (pow.f64 im #s(literal 6 binary64))) (.f64 (fma.f64 im (+.f64 im re) (.f64 re re)) (fma.f64 im (+.f64 im re) (*.f64 re re))))
(/.f64 (-.f64 (pow.f64 re #s(literal 6 binary64)) (pow.f64 im #s(literal 6 binary64))) (-.f64 (pow.f64 (*.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64))))
(/.f64 (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) (fma.f64 im im (*.f64 re re)))
(neg.f64 (fma.f64 im im (*.f64 re re)))
(fma.f64 (/.f64 (pow.f64 re #s(literal 6 binary64)) (-.f64 (pow.f64 re #s(literal 8 binary64)) (-.f64 (pow.f64 im #s(literal 8 binary64)) (pow.f64 (.f64 im re) #s(literal 4 binary64))))) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64))) (/.f64 (pow.f64 im #s(literal 6 binary64)) (-.f64 (pow.f64 (*.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))))
(fma.f64 (/.f64 (pow.f64 re #s(literal 6 binary64)) (+.f64 (pow.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 re #s(literal 12 binary64)))) (fma.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64))) (pow.f64 re #s(literal 8 binary64))) (/.f64 (pow.f64 im #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))))
(fma.f64 (/.f64 (pow.f64 re #s(literal 4 binary64)) (-.f64 (pow.f64 re #s(literal 6 binary64)) (pow.f64 im #s(literal 6 binary64)))) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64))) (/.f64 (pow.f64 im #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))))
(fma.f64 (/.f64 (pow.f64 re #s(literal 4 binary64)) (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64)))) (fma.f64 im im (.f64 re re)) (/.f64 (pow.f64 im #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))))
(fma.f64 (pow.f64 re #s(literal 3 binary64)) (/.f64 (pow.f64 re #s(literal 3 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))) (/.f64 (pow.f64 im #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))))
(fma.f64 (pow.f64 re #s(literal 3 binary64)) (/.f64 re (fma.f64 im im (.f64 re re))) (/.f64 (pow.f64 im #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))))
(fma.f64 (-.f64 re im) im (*.f64 (-.f64 re im) re))
(fma.f64 (-.f64 re im) re (*.f64 (-.f64 re im) im))
(fma.f64 (pow.f64 re #s(literal 4 binary64)) (/.f64 (.f64 re re) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))) (/.f64 (pow.f64 im #s(literal 6 binary64)) (-.f64 (pow.f64 (*.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))))
(fma.f64 im (-.f64 re im) (*.f64 re (-.f64 re im)))
(fma.f64 im im (*.f64 re re))
(fma.f64 (.f64 re re) (/.f64 (pow.f64 re #s(literal 4 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))) (/.f64 (pow.f64 im #s(literal 6 binary64)) (-.f64 (pow.f64 (*.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))))
(fma.f64 (.f64 re re) (/.f64 (.f64 re re) (fma.f64 im im (.f64 re re))) (/.f64 (pow.f64 im #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))))
(fma.f64 re (/.f64 (pow.f64 re #s(literal 3 binary64)) (fma.f64 im im (.f64 re re))) (/.f64 (pow.f64 im #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))))
(fma.f64 re (-.f64 re im) (*.f64 im (-.f64 re im)))
(fma.f64 re re (*.f64 im im))
(-.f64 (/.f64 (pow.f64 re #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))) (/.f64 (pow.f64 im #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))))
(-.f64 (/.f64 (pow.f64 re #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))) (/.f64 (pow.f64 im #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))))
(-.f64 (.f64 im im) (.f64 re re))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 im (-.f64 re im)) (.f64 re (-.f64 re im)))
(+.f64 (.f64 re (-.f64 re im)) (.f64 im (-.f64 re im)))
(+.f64 (.f64 (-.f64 re im) im) (.f64 (-.f64 re im) re))
(+.f64 (.f64 (-.f64 re im) re) (.f64 (-.f64 re im) im))
(+.f64 (/.f64 (pow.f64 re #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))) (/.f64 (pow.f64 im #s(literal 4 binary64)) (fma.f64 im im (.f64 re re))))
(+.f64 (/.f64 (pow.f64 re #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))) (/.f64 (pow.f64 im #s(literal 6 binary64)) (-.f64 (pow.f64 (.f64 im (+.f64 im re)) #s(literal 2 binary64)) (pow.f64 re #s(literal 4 binary64)))))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 (.f64 re re) (.f64 im im))
(*.f64 re re)
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 re))
(pow.f64 (pow.f64 re #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 re re) #s(literal 1 binary64))
(pow.f64 re #s(literal 2 binary64))
(neg.f64 (*.f64 re re))
(sqrt.f64 (pow.f64 re #s(literal 4 binary64)))
(fabs.f64 (*.f64 re re))
(exp.f64 (/.f64 (*.f64 (log.f64 re) #s(literal 4 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 re) #s(literal 2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 re) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 re) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 re) #s(literal 2 binary64))))
(*.f64 (pow.f64 (sqrt.f64 re) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 re) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 re) (sqrt.f64 re))
(pow.f64 (sqrt.f64 re) #s(literal 2 binary64))
(pow.f64 (*.f64 re re) #s(literal 1/2 binary64))
(pow.f64 re #s(literal 1 binary64))
(neg.f64 re)
(sqrt.f64 (*.f64 re re))
(fabs.f64 re)
(exp.f64 (.f64 (.f64 (log.f64 re) #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (log.f64 re))
(+.f64 (cosh.f64 (log.f64 re)) (sinh.f64 (log.f64 re)))
re
(*.f64 im im)
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 im))
(pow.f64 (pow.f64 im #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 im im) #s(literal 1 binary64))
(pow.f64 im #s(literal 2 binary64))
(neg.f64 (*.f64 im im))
(sqrt.f64 (pow.f64 im #s(literal 4 binary64)))
(fabs.f64 (*.f64 im im))
(exp.f64 (/.f64 (*.f64 #s(literal 4 binary64) (log.f64 im)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 im) #s(literal 2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 im) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 im) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 im) #s(literal 2 binary64))))
(*.f64 (pow.f64 (sqrt.f64 im) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 im) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 im) (sqrt.f64 im))
(pow.f64 (sqrt.f64 im) #s(literal 2 binary64))
(pow.f64 (*.f64 im im) #s(literal 1/2 binary64))
(pow.f64 im #s(literal 1 binary64))
(neg.f64 im)
(sqrt.f64 (*.f64 im im))
(fabs.f64 im)
(exp.f64 (.f64 (.f64 (log.f64 im) #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (log.f64 im))
(+.f64 (cosh.f64 (log.f64 im)) (sinh.f64 (log.f64 im)))
im

eval35.0ms (1.5%)

Memory: -9.5MiB live, 38.2MiB allocated
Compiler: Compiled 2 360 to 383 computations (83.8% saved)

prune2.0ms (0.1%)

Memory

7.4MiB live, 7.4MiB allocated

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	142	2	144
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	143	2	145

Accuracy

100.0%

Counts

145 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (-.f64 re im) (+.f64 im re))
▶	59.2%	#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))

Compiler

Compiled 19 to 13 computations (31.6% saved)

simplify0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

series6.0ms (0.2%)

Memory

7.9MiB live, 7.9MiB allocated

Counts

8 → 31

Calls

Call 1

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

Outputs
(* -1 (pow im 2))
(- (pow re 2) (pow im 2))
(+ (* -1 (pow im 2)) (* re (+ im (* -1 im))))
(+ (* -1 (pow im 2)) (* re (+ im (+ re (* -1 im)))))
(* -1 im)
(- re im)
re
im
(+ im re)
(pow re 2)
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (/ im re))))
(* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (+ (* -1 (/ (pow im 2) (pow re 2))) (/ im re)))))
(* re (+ 1 (* -1 (/ im re))))
(* re (+ 1 (/ im re)))
(* (pow re 2) (+ 1 (* -1 (/ (+ (* -1 (+ im (* -1 im))) (/ (pow im 2) re)) re))))
(* -1 (* re (- (/ im re) 1)))
(* -1 (* re (- (* -1 (/ im re)) 1)))
(+ (* -1 (pow im 2)) (pow re 2))
(+ (* im (+ re (* -1 re))) (pow re 2))
(+ (* im (+ re (+ (* -1 im) (* -1 re)))) (pow re 2))
(+ re (* -1 im))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (+ (* -1 (/ re im)) (/ re im)) 1))
(* (pow im 2) (- (+ (* -1 (/ re im)) (+ (/ re im) (/ (pow re 2) (pow im 2)))) 1))
(* im (- (/ re im) 1))
(* im (+ 1 (/ re im)))
(* (pow im 2) (- (* -1 (/ (+ re (* -1 re)) im)) 1))
(* (pow im 2) (- (* -1 (/ (+ re (+ (* -1 re) (* -1 (/ (pow re 2) im)))) im)) 1))
(* -1 (* im (+ 1 (* -1 (/ re im)))))
(* -1 (* im (- (* -1 (/ re im)) 1)))

Calls

6 calls:

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

simplify144.0ms (6.1%)

Memory

8.3MiB live, 142.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	92	213
1	301	206
2	1115	205
3	4697	205
0	8053	200

Stop Event

1×	iter limit
1×	node limit

Counts

31 → 29

Calls

Call 1

Inputs
(* -1 (pow im 2))
(- (pow re 2) (pow im 2))
(+ (* -1 (pow im 2)) (* re (+ im (* -1 im))))
(+ (* -1 (pow im 2)) (* re (+ im (+ re (* -1 im)))))
(* -1 im)
(- re im)
re
im
(+ im re)
(pow re 2)
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (/ im re))))
(* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (+ (* -1 (/ (pow im 2) (pow re 2))) (/ im re)))))
(* re (+ 1 (* -1 (/ im re))))
(* re (+ 1 (/ im re)))
(* (pow re 2) (+ 1 (* -1 (/ (+ (* -1 (+ im (* -1 im))) (/ (pow im 2) re)) re))))
(* -1 (* re (- (/ im re) 1)))
(* -1 (* re (- (* -1 (/ im re)) 1)))
(+ (* -1 (pow im 2)) (pow re 2))
(+ (* im (+ re (* -1 re))) (pow re 2))
(+ (* im (+ re (+ (* -1 im) (* -1 re)))) (pow re 2))
(+ re (* -1 im))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (+ (* -1 (/ re im)) (/ re im)) 1))
(* (pow im 2) (- (+ (* -1 (/ re im)) (+ (/ re im) (/ (pow re 2) (pow im 2)))) 1))
(* im (- (/ re im) 1))
(* im (+ 1 (/ re im)))
(* (pow im 2) (- (* -1 (/ (+ re (* -1 re)) im)) 1))
(* (pow im 2) (- (* -1 (/ (+ re (+ (* -1 re) (* -1 (/ (pow re 2) im)))) im)) 1))
(* -1 (* im (+ 1 (* -1 (/ re im)))))
(* -1 (* im (- (* -1 (/ re im)) 1)))

Outputs
(* -1 (pow im 2))
(*.f64 (neg.f64 im) im)
(- (pow re 2) (pow im 2))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(+ (* -1 (pow im 2)) (* re (+ im (* -1 im))))
(*.f64 (neg.f64 im) im)
(+ (* -1 (pow im 2)) (* re (+ im (+ re (* -1 im)))))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(* -1 im)
(neg.f64 im)
(- re im)
(-.f64 re im)
re
im
(+ im re)
(+.f64 im re)
(pow re 2)
(*.f64 re re)
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(.f64 (.f64 (fma.f64 (/.f64 (neg.f64 im) re) (/.f64 im re) #s(literal 1 binary64)) re) re)
(* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (/ im re))))
(*.f64 re re)
(* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (+ (* -1 (/ (pow im 2) (pow re 2))) (/ im re)))))
(.f64 (.f64 (fma.f64 (/.f64 (neg.f64 im) re) (/.f64 im re) #s(literal 1 binary64)) re) re)
(* re (+ 1 (* -1 (/ im re))))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 im re)) re)
(* re (+ 1 (/ im re)))
(fma.f64 (/.f64 im re) re re)
(* (pow re 2) (+ 1 (* -1 (/ (+ (* -1 (+ im (* -1 im))) (/ (pow im 2) re)) re))))
(.f64 (.f64 (fma.f64 (/.f64 (neg.f64 im) re) (/.f64 im re) #s(literal 1 binary64)) re) re)
(* -1 (* re (- (/ im re) 1)))
(*.f64 (neg.f64 re) (-.f64 (/.f64 im re) #s(literal 1 binary64)))
(* -1 (* re (- (* -1 (/ im re)) 1)))
(*.f64 (neg.f64 re) (-.f64 (/.f64 (neg.f64 im) re) #s(literal 1 binary64)))
(+ (* -1 (pow im 2)) (pow re 2))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(+ (* im (+ re (* -1 re))) (pow re 2))
(*.f64 re re)
(+ (* im (+ re (+ (* -1 im) (* -1 re)))) (pow re 2))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(+ re (* -1 im))
(-.f64 re im)
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(.f64 (fma.f64 (/.f64 (/.f64 re im) im) re #s(literal -1 binary64)) (.f64 im im))
(* (pow im 2) (- (+ (* -1 (/ re im)) (/ re im)) 1))
(*.f64 (neg.f64 im) im)
(* (pow im 2) (- (+ (* -1 (/ re im)) (+ (/ re im) (/ (pow re 2) (pow im 2)))) 1))
(.f64 (fma.f64 (/.f64 (/.f64 re im) im) re #s(literal -1 binary64)) (.f64 im im))
(* im (- (/ re im) 1))
(*.f64 (-.f64 (/.f64 re im) #s(literal 1 binary64)) im)
(* im (+ 1 (/ re im)))
(fma.f64 (/.f64 re im) im im)
(* (pow im 2) (- (* -1 (/ (+ re (* -1 re)) im)) 1))
(*.f64 (neg.f64 im) im)
(* (pow im 2) (- (* -1 (/ (+ re (+ (* -1 re) (* -1 (/ (pow re 2) im)))) im)) 1))
(.f64 (fma.f64 (/.f64 (/.f64 re im) im) re #s(literal -1 binary64)) (.f64 im im))
(* -1 (* im (+ 1 (* -1 (/ re im)))))
(fma.f64 (/.f64 re im) im (neg.f64 im))
(* -1 (* im (- (* -1 (/ re im)) 1)))
(*.f64 (-.f64 (/.f64 (neg.f64 re) im) #s(literal 1 binary64)) (neg.f64 im))

rewrite126.0ms (5.3%)

Memory

4.8MiB live, 140.8MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	33
0	16	33
1	68	33
2	610	33
0	9914	33

Stop Event

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

Counts

8 → 528

Calls

Call 1

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

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

eval74.0ms (3.1%)

Memory: -6.0MiB live, 93.9MiB allocated
Compiler: Compiled 12 477 to 1 265 computations (89.9% saved)

prune10.0ms (0.4%)

Memory

-20.3MiB live, 25.2MiB allocated

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	494	1	495
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	494	3	497

Accuracy

100.0%

Counts

497 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (-.f64 re im) (+.f64 im re))
✓	59.2%	#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
▶	49.8%	#s(approx (- (* re re) (* im im)) (*.f64 re re))

Compiler

Compiled 30 to 20 computations (33.3% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

series2.0ms (0.1%)

Memory

3.7MiB live, 3.7MiB allocated

Counts

3 → 7

Calls

Call 1

Inputs
#s(approx (- (* re re) (* im im)) (*.f64 re re))
(*.f64 re re)
re

Outputs
(* -1 (pow im 2))
(- (pow re 2) (pow im 2))
(pow re 2)
re
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(+ (* -1 (pow im 2)) (pow re 2))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))

Calls

6 calls:

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

simplify83.0ms (3.5%)

Memory

7.1MiB live, 98.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	42
1	40	42
2	136	42
3	829	42
4	3437	42
0	8613	41

Stop Event

1×	iter limit
1×	node limit

Counts

7 → 6

Calls

Call 1

Inputs
(* -1 (pow im 2))
(- (pow re 2) (pow im 2))
(pow re 2)
re
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(+ (* -1 (pow im 2)) (pow re 2))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))

Outputs
(* -1 (pow im 2))
(*.f64 (neg.f64 im) im)
(- (pow re 2) (pow im 2))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(pow re 2)
(*.f64 re re)
re
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(+ (* -1 (pow im 2)) (pow re 2))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(.f64 (fma.f64 (/.f64 (/.f64 re im) im) re #s(literal -1 binary64)) (.f64 im im))

rewrite73.0ms (3.1%)

Memory

-8.2MiB live, 92.9MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	15
0	8	15
1	37	15
2	329	15
3	4477	15
0	8306	14

Stop Event

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

Counts

3 → 25

Calls

Call 1

Inputs
#s(approx (- (* re re) (* im im)) (*.f64 re re))
(*.f64 re re)
re

Outputs
#s(approx (- (* re re) (* im im)) (*.f64 re re))
(*.f64 re re)
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 re))
(pow.f64 (pow.f64 re #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 re re) #s(literal 1 binary64))
(pow.f64 re #s(literal 2 binary64))
(neg.f64 (*.f64 re re))
(sqrt.f64 (pow.f64 re #s(literal 4 binary64)))
(fabs.f64 (*.f64 re re))
(exp.f64 (/.f64 (*.f64 (log.f64 re) #s(literal 4 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 re) #s(literal 2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 re) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 re) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 re) #s(literal 2 binary64))))
(*.f64 (pow.f64 (sqrt.f64 re) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 re) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 re) (sqrt.f64 re))
(pow.f64 (sqrt.f64 re) #s(literal 2 binary64))
(pow.f64 (*.f64 re re) #s(literal 1/2 binary64))
(pow.f64 re #s(literal 1 binary64))
(neg.f64 re)
(sqrt.f64 (*.f64 re re))
(fabs.f64 re)
(exp.f64 (.f64 (.f64 (log.f64 re) #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (log.f64 re))
(+.f64 (cosh.f64 (log.f64 re)) (sinh.f64 (log.f64 re)))
re

eval4.0ms (0.2%)

Memory: 8.3MiB live, 8.3MiB allocated
Compiler: Compiled 576 to 116 computations (79.9% saved)

prune3.0ms (0.1%)

Memory

5.8MiB live, 5.8MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	41	3	44

Accuracy

100.0%

Counts

44 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (-.f64 re im) (+.f64 im re))
✓	59.2%	#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
✓	49.8%	#s(approx (- (* re re) (* im im)) (*.f64 re re))

Compiler

Compiled 67 to 35 computations (47.8% saved)

regimes8.0ms (0.4%)

Memory

14.8MiB live, 14.8MiB allocated

Counts

4 → 1

Calls

Call 1

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

Outputs
(*.f64 (-.f64 re im) (+.f64 im re))

Calls

5 calls:

2.0ms	im
2.0ms	re
2.0ms	(*.f64 im im)
2.0ms	(-.f64 (.f64 re re) (.f64 im im))
1.0ms	(*.f64 re re)

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	`re`
100.0%	1	`im`

Compiler

Compiled 15 to 15 computations (0% saved)

regimes7.0ms (0.3%)

Memory

-34.8MiB live, 12.1MiB allocated

Counts

2 → 2

Calls

Call 1

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

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

Calls

5 calls:

2.0ms	(-.f64 (.f64 re re) (.f64 im im))
1.0ms	re
1.0ms	im
1.0ms	(*.f64 im im)
1.0ms	(*.f64 re re)

Results

Accuracy	Segments	Branch
81.2%	2	`(*.f64 im im)`
80.2%	2	`(*.f64 re re)`
97.4%	2	`(-.f64 (.f64 re re) (.f64 im im))`
80.2%	2	`re`
81.2%	2	`im`

Compiler

Compiled 15 to 15 computations (0% saved)

regimes5.0ms (0.2%)

Memory

10.7MiB live, 10.7MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (- (* re re) (* im im)) (*.f64 re re))

Outputs
#s(approx (- (* re re) (* im im)) (*.f64 re re))

Calls

5 calls:

1.0ms	im
1.0ms	re
1.0ms	(-.f64 (.f64 re re) (.f64 im im))
1.0ms	(*.f64 im im)
1.0ms	(*.f64 re re)

Results

Accuracy	Segments	Branch
49.8%	1	`(*.f64 re re)`
49.8%	1	`re`
49.8%	1	`(*.f64 im im)`
49.8%	1	`im`
49.8%	1	`(-.f64 (.f64 re re) (.f64 im im))`

Compiler

Compiled 15 to 15 computations (0% saved)

bsearch0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-2.37e-322	0.0

Compiler

Compiled 10 to 10 computations (0% saved)

simplify57.0ms (2.4%)

Memory

-10.7MiB live, 35.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	51
1	39	51
2	104	51
3	247	51
4	425	51
5	860	51
6	1409	51
7	2093	51
8	2924	51
9	3234	51
10	3296	51
11	3296	51
12	3374	51

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 (-.f64 re im) (+.f64 im re))

(if (<=.f64 (-.f64 (*.f64 re re) (*.f64 im im)) #s(literal -5/25300281663413827294061918339864663381194581220517764794612669753428792445999418361495047962679640561898384733039601488923726092173224184608376674992592313740189678034570795170558363467761652042654970959809093133570250935428086587327262919456144944542601257064044846194041676826903812816523290938580750782913463467636686848 binary64)) #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #s(approx (- (* re re) (* im im)) (*.f64 re re)))

#s(approx (- (* re re) (* im im)) (*.f64 re re))

Outputs

(*.f64 (-.f64 re im) (+.f64 im re))

(if (<=.f64 (-.f64 (*.f64 re re) (*.f64 im im)) #s(literal -5/25300281663413827294061918339864663381194581220517764794612669753428792445999418361495047962679640561898384733039601488923726092173224184608376674992592313740189678034570795170558363467761652042654970959809093133570250935428086587327262919456144944542601257064044846194041676826903812816523290938580750782913463467636686848 binary64)) #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #s(approx (- (* re re) (* im im)) (*.f64 re re)))

#s(approx (- (* re re) (* im im)) (*.f64 re re))

soundness537.0ms (22.8%)

Memory

15.7MiB live, 197.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	46
1	40	46
2	136	46
3	829	46
4	3437	46
0	8613	45
0	92	213
1	301	206
2	1115	205
3	4697	205
0	8053	200
0	5	15
0	8	15
1	37	15
2	329	15
3	4470	15
0	8291	14

Stop Event

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

Compiler

Compiled 83 to 44 computations (47% saved)

preprocess20.0ms (0.8%)

Memory

32.1MiB live, 32.1MiB allocated

Remove

(abs re)

(abs im)

Compiler

Compiled 144 to 66 computations (54.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample809.0ms (34.3%)

explain58.0ms (2.5%)

preprocess121.0ms (5.1%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

series4.0ms (0.2%)

simplify89.0ms (3.8%)

rewrite81.0ms (3.4%)

eval35.0ms (1.5%)

prune2.0ms (0.1%)

simplify0.0ms (0%)

series6.0ms (0.2%)

simplify144.0ms (6.1%)

rewrite126.0ms (5.3%)

eval74.0ms (3.1%)

prune10.0ms (0.4%)

simplify0.0ms (0%)

series2.0ms (0.1%)

simplify83.0ms (3.5%)

rewrite73.0ms (3.1%)

eval4.0ms (0.2%)

prune3.0ms (0.1%)

regimes8.0ms (0.4%)

regimes7.0ms (0.3%)

regimes5.0ms (0.2%)

bsearch0.0ms (0%)

simplify57.0ms (2.4%)

soundness537.0ms (22.8%)

preprocess20.0ms (0.8%)

end0.0ms (0%)

Profiling