Metrics for math.square on complex, real part

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

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

sample789.0ms (29%)

Memory

25.0MiB live, 663.6MiB allocated

Samples

600.0ms

8 256×

valid

Precisions

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

ival-mult: 380.0ms (89.7% of total)

ival-sub: 35.0ms (8.3% of total)

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

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

Bogosity

explain58.0ms (2.1%)

Memory

-16.0MiB live, 75.5MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
18	-	-	`(-.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	18	0
↳	`(*.f64 re re)`	overflow	59
↳	`(*.f64 im im)`	overflow	61

Confusion

	Predicted +	Predicted -
+	18	0
-	0	238

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	18	0	0
-	0	0	238

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	238
1	18

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 (73% of total)

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

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

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

preprocess120.0ms (4.4%)

Memory

8.3MiB live, 103.2MiB 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
▶	93.0%	(-.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify67.0ms (2.5%)

Memory

9.2MiB live, 54.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 im im)
cost-diff	0	(*.f64 re re)
cost-diff	0	(-.f64 (.f64 re re) (.f64 im im))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	15
0	8	15
1	21	15
2	81	15
3	223	15
4	403	15
5	836	15
6	1385	15
7	2069	15
8	2898	15
9	3208	15
10	3270	15
11	3270	15
12	3348	15
0	3348	15

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize14.0ms (0.5%)

Memory

18.5MiB live, 18.5MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 re re)
accuracy	0.0	(*.f64 im im)
accuracy	4.156227294132265	(-.f64 (.f64 re re) (.f64 im im))

Samples

10.0ms

256×

valid

Compiler

Compiled 17 to 7 computations (58.8% saved)

Precisions

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

ival-mult: 3.0ms (68% of total)

ival-sub: 1.0ms (22.7% of total)

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

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

series3.0ms (0.1%)

Memory

4.4MiB live, 4.4MiB allocated

Counts

3 → 7

Calls

Call 1

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

Outputs
(* -1 (pow im 2))
(- (pow re 2) (pow im 2))
(pow re 2)
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(+ (* -1 (pow im 2)) (pow re 2))
(pow im 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) (* im im))
1.0ms	re	@	0	((- (* re re) (* im im)) (* re re) (* im im))
0.0ms	im	@	inf	((- (* re re) (* im im)) (* re re) (* im im))
0.0ms	im	@	-inf	((- (* re re) (* im im)) (* re re) (* im im))
0.0ms	re	@	-inf	((- (* re re) (* im im)) (* re re) (* im im))

simplify107.0ms (3.9%)

Memory

-25.9MiB live, 109.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	44
1	40	44
2	136	44
3	829	44
4	3437	44
0	8613	43

Stop Event

1×	iter limit
1×	node limit

Counts

7 → 7

Calls

Call 1

Inputs
(* -1 (pow im 2))
(- (pow re 2) (pow im 2))
(pow re 2)
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(+ (* -1 (pow im 2)) (pow re 2))
(pow im 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)
(* (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)
(* (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))

rewrite82.0ms (3%)

Memory

-4.2MiB live, 87.2MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	13
0	8	13
1	37	13
2	329	13
3	4470	13
0	8291	12

Stop Event

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

Counts

3 → 91

Calls

Call 1

Inputs
(-.f64 (.f64 re re) (.f64 im im))
(*.f64 re re)
(*.f64 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 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))))

eval9.0ms (0.3%)

Memory: 15.4MiB live, 15.4MiB allocated
Compiler: Compiled 1 864 to 265 computations (85.8% saved)

prune2.0ms (0.1%)

Memory

5.5MiB live, 5.5MiB allocated

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	94	2	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	2	97

Accuracy

100.0%

Counts

97 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

simplify76.0ms (2.8%)

Memory

5.6MiB live, 54.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 6 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(+.f64 im re)
cost-diff	0	(-.f64 re im)
cost-diff	0	(*.f64 (-.f64 re im) (+.f64 im re))
cost-diff	0	(neg.f64 im)
cost-diff	0	(*.f64 (neg.f64 im) im)
cost-diff	0	#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	34
0	16	34
1	35	34
2	101	34
3	248	34
4	431	34
5	861	34
6	1399	34
7	2083	34
8	2913	34
9	3223	34
10	3285	34
11	3285	34
12	3363	34
0	3363	34

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

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
im
(+.f64 im re)

Outputs
#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 (+.f64 im re) (-.f64 re im))
(-.f64 re im)
re
im
(+.f64 im re)

localize27.0ms (1%)

Memory

-12.9MiB live, 32.8MiB allocated

Localize:

Found 6 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 re im)
accuracy	0.0	(+.f64 im re)
accuracy	0.0	(*.f64 (-.f64 re im) (+.f64 im re))
accuracy	0.0	(*.f64 (neg.f64 im) im)
accuracy	0.0	(neg.f64 im)
accuracy	28.203623348438715	#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))

Samples

21.0ms

256×

valid

Compiler

Compiled 31 to 12 computations (61.3% saved)

Precisions

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

ival-mult: 6.0ms (41.3% of total)

ival-add: 5.0ms (34.4% of total)

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

ival-neg: 1.0ms (6.9% of total)

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

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

series5.0ms (0.2%)

Memory

7.6MiB live, 7.6MiB allocated

Counts

6 → 31

Calls

Call 1

Inputs
#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
(*.f64 (neg.f64 im) im)
(neg.f64 im)
(*.f64 (-.f64 re im) (+.f64 im re))
(-.f64 re im)
(+.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)
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
(* 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) (* (- re im) (+ im re)) (- re im) (+ im re))
1.0ms	im	@	inf	((- (* re re) (* im im)) (* (neg im) im) (neg im) (* (- re im) (+ im re)) (- re im) (+ im re))
1.0ms	re	@	inf	((- (* re re) (* im im)) (* (neg im) im) (neg im) (* (- re im) (+ im re)) (- re im) (+ im re))
1.0ms	re	@	-inf	((- (* re re) (* im im)) (* (neg im) im) (neg im) (* (- re im) (+ im re)) (- re im) (+ im re))
1.0ms	im	@	0	((- (* re re) (* im im)) (* (neg im) im) (neg im) (* (- re im) (+ im re)) (- re im) (+ im re))

simplify181.0ms (6.7%)

Memory

0.7MiB live, 180.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)
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
(* 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)
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
(* 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))

rewrite98.0ms (3.6%)

Memory

30.1MiB live, 120.0MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

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

Counts

6 → 500

Calls

Call 1

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

eval50.0ms (1.8%)

Memory: -20.9MiB live, 84.8MiB allocated
Compiler: Compiled 11 437 to 1 064 computations (90.7% saved)

prune6.0ms (0.2%)

Memory

22.0MiB live, 22.0MiB allocated

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	410	1	411
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	410	3	413

Accuracy

100.0%

Counts

413 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 30 to 20 computations (33.3% saved)

simplify64.0ms (2.4%)

Memory

-22.3MiB live, 71.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 re re)
cost-diff	0	#s(approx (- (* re re) (* im im)) (*.f64 re re))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	15
0	8	15
1	21	15
2	81	15
3	223	15
4	401	15
5	828	15
6	1379	15
7	2063	15
8	2900	15
9	3210	15
10	3272	15
11	3272	15
12	3350	15
0	3350	15

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

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

localize13.0ms (0.5%)

Memory

16.9MiB live, 16.9MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0.0	(*.f64 re re)
accuracy	29.622097173853934	#s(approx (- (* re re) (* im im)) (*.f64 re re))

Samples

9.0ms

256×

valid

Compiler

Compiled 13 to 7 computations (46.2% saved)

Precisions

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

ival-mult: 3.0ms (68.5% of total)

ival-sub: 1.0ms (22.8% of total)

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

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

series2.0ms (0.1%)

Memory

2.9MiB live, 2.9MiB allocated

Counts

2 → 6

Calls

Call 1

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

Outputs
(* -1 (pow im 2))
(- (pow re 2) (pow im 2))
(pow re 2)
(* (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
0.0ms	re	@	inf	((- (* re re) (* im im)) (* re re))
0.0ms	re	@	-inf	((- (* re re) (* im im)) (* re re))
0.0ms	re	@	0	((- (* re re) (* im im)) (* re re))
0.0ms	im	@	-inf	((- (* re re) (* im im)) (* re re))
0.0ms	im	@	inf	((- (* re re) (* im im)) (* re re))

simplify124.0ms (4.6%)

Memory

-17.1MiB live, 75.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	iter limit
1×	node limit

Counts

6 → 6

Calls

Call 1

Inputs
(* -1 (pow im 2))
(- (pow re 2) (pow im 2))
(pow re 2)
(* (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)
(* (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))

rewrite67.0ms (2.5%)

Memory

18.5MiB live, 64.1MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

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

Counts

2 → 13

Calls

Call 1

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

eval2.0ms (0.1%)

Memory: 3.8MiB live, 3.8MiB allocated
Compiler: Compiled 232 to 56 computations (75.9% saved)

prune2.0ms (0.1%)

Memory

4.4MiB live, 4.4MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	17	0	17
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	17	3	20

Accuracy

100.0%

Counts

20 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 67 to 35 computations (47.8% saved)

regimes13.0ms (0.5%)

Memory

-26.5MiB live, 17.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:

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

Results

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

Compiler

Compiled 15 to 15 computations (0% saved)

regimes7.0ms (0.3%)

Memory

12.6MiB live, 12.6MiB 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:

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

Results

Accuracy	Segments	Branch
77.5%	2	`re`
79.8%	2	`im`
95.3%	2	`(-.f64 (.f64 re re) (.f64 im im))`
77.5%	2	`(*.f64 re re)`
79.8%	2	`(*.f64 im im)`

Compiler

Compiled 15 to 15 computations (0% saved)

regimes5.0ms (0.2%)

Memory

12.1MiB live, 12.1MiB 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	re
1.0ms	im
1.0ms	(-.f64 (.f64 re re) (.f64 im im))
1.0ms	(*.f64 re re)
1.0ms	(*.f64 im im)

Results

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

Compiler

Compiled 15 to 15 computations (0% saved)

bsearch0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-1.3780038094251327e-299	0.0

Compiler

Compiled 10 to 10 computations (0% saved)

simplify116.0ms (4.3%)

Memory

-38.3MiB live, 60.3MiB 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 -7540071506325551/754007150632555106105265567894716959631281531468563222724576883120202793061715911671371697267283217963528178126800104645601692562497382897388239949720868877774169386463487004356335504882384897549598543638261948036260930759551721433617559655193833844143189700366403049053003693428749228016236154394768201795621617664 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 -7540071506325551/754007150632555106105265567894716959631281531468563222724576883120202793061715911671371697267283217963528178126800104645601692562497382897388239949720868877774169386463487004356335504882384897549598543638261948036260930759551721433617559655193833844143189700366403049053003693428749228016236154394768201795621617664 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))

soundness584.0ms (21.5%)

Memory

33.9MiB live, 269.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	13
0	8	13
1	37	13
2	329	13
3	4470	13
0	8291	12
0	92	213
1	301	206
2	1115	205
3	4697	205
0	8053	200
0	17	44
1	40	44
2	136	44
3	829	44
4	3437	44
0	8613	43

Stop Event

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

Compiler

Compiled 83 to 44 computations (47% saved)

preprocess25.0ms (0.9%)

Memory

-6.8MiB live, 35.8MiB 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%)

sample789.0ms (29%)

explain58.0ms (2.1%)

preprocess120.0ms (4.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify67.0ms (2.5%)

localize14.0ms (0.5%)

series3.0ms (0.1%)

simplify107.0ms (3.9%)

rewrite82.0ms (3%)

eval9.0ms (0.3%)

prune2.0ms (0.1%)

simplify76.0ms (2.8%)

localize27.0ms (1%)

series5.0ms (0.2%)

simplify181.0ms (6.7%)

rewrite98.0ms (3.6%)

eval50.0ms (1.8%)

prune6.0ms (0.2%)

simplify64.0ms (2.4%)

localize13.0ms (0.5%)

series2.0ms (0.1%)

simplify124.0ms (4.6%)

rewrite67.0ms (2.5%)

eval2.0ms (0.1%)

prune2.0ms (0.1%)

regimes13.0ms (0.5%)

regimes7.0ms (0.3%)

regimes5.0ms (0.2%)

bsearch0.0ms (0%)

simplify116.0ms (4.3%)

soundness584.0ms (21.5%)

preprocess25.0ms (0.9%)

end0.0ms (0%)

Profiling