Metrics for math.square on complex, real part

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 10 to 6 computations (40% saved)

Precisions

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

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

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

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

sample612.0ms (22.4%)

Results

452.0ms

8256×

valid

Precisions

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

ival-mult: 135.0ms (73.3% of total)

ival-sub: 40.0ms (21.7% of total)

const: 6.0ms (3.3% of total)

backward-pass: 3.0ms (1.6% of total)

Bogosity

preprocess39.0ms (1.4%)

Algorithm

2×	egg-herbie

Rules

260×	`fnmadd-define`
206×	`sum3-define`
190×	`fma-define`
176×	`fnmadd-define`
160×	`fmsub-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	33
1	55	30
2	124	30
3	273	30
4	543	30
5	693	30
6	717	30
0	5	5
1	14	5
2	23	5
3	36	5
4	57	5
5	118	5
6	203	5
7	361	5
8	567	5
9	771	5
10	897	5
11	911	5
0	911	5

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

Inputs
(- (* re re) (* im im))

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

Call 2

Inputs
(- (* re re) (* im im))
(- (* (neg re) (neg re)) (* im im))
(- (* re re) (* (neg im) (neg im)))
(neg (- (* (neg re) (neg re)) (* im im)))
(neg (- (* re re) (* (neg im) (neg im))))
(- (* im im) (* re re))

Outputs
(- (* re re) (* im im))
(fmsub re re (square im))
(- (* (neg re) (neg re)) (* im im))
(fmsub re re (square im))
(- (* re re) (* (neg im) (neg im)))
(fmsub re re (square im))
(neg (- (* (neg re) (neg re)) (* im im)))
(fmsub im im (square re))
(neg (- (* re re) (* (neg im) (neg im))))
(fmsub im im (square re))
(- (* im im) (* re re))
(fmsub im im (square re))

Symmetry

(abs re)

(abs im)

explain62.0ms (2.3%)

FPErrors

Click to see full error table

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

Results

37.0ms

512×

valid

Compiler

Compiled 45 to 17 computations (62.2% saved)

Precisions

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

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

ival-sub: 3.0ms (27.3% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

eval0.0ms (0%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 5 computations (44.4% saved)

simplify19.0ms (0.7%)

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

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

Rules

260×	`fnmadd-define`
206×	`sum3-define`
190×	`fma-define`
156×	`fma-lowering-fma.f32`
156×	`fmsub-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
1	14	11
2	23	11
3	36	11
4	57	11
5	118	11
6	203	11
7	361	11
8	567	11
9	771	11
10	897	11
11	911	11
0	911	11

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(- (* re re) (* im im))
(* re re)
re
(* im im)
im

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

localize27.0ms (1%)

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 re re)
✓	accuracy	100.0%	(*.f64 im im)
✓	accuracy	95.4%	(-.f64 (.f64 re re) (.f64 im im))

Results

20.0ms

256×

valid

Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions

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

ival-mult: 5.0ms (77.4% of total)

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

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series2.0ms (0.1%)

Counts

3 → 48

Calls

Call 1

Inputs
#<alt (- (* re re) (* im im))>
#<alt (* re re)>
#<alt (* im im)>

Outputs
#<alt (* -1 (pow im 2))>
#<alt (- (pow re 2) (pow im 2))>
#<alt (- (pow re 2) (pow im 2))>
#<alt (- (pow re 2) (pow im 2))>
#<alt (pow re 2)>
#<alt (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))>
#<alt (pow re 2)>
#<alt (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))>
#<alt (pow re 2)>
#<alt (+ (* -1 (pow im 2)) (pow re 2))>
#<alt (+ (* -1 (pow im 2)) (pow re 2))>
#<alt (+ (* -1 (pow im 2)) (pow re 2))>
#<alt (* -1 (pow im 2))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* -1 (pow im 2))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>

Calls

12 calls:

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

rewrite218.0ms (8%)

Algorithm

1×	batch-egg-rewrite

Rules

1902×	`sum4-define`
1280×	`+-lowering-+.f64`
1280×	`+-lowering-+.f32`
1104×	`-lowering-.f32`
1104×	`-lowering-.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	9
1	19	9
2	45	9
3	202	9
4	1195	9
5	2981	9
6	6412	9
0	8085	9

Stop Event

1×	iter limit
1×	node limit

Counts

3 → 239

Calls

Call 1

Inputs
(- (* re re) (* im im))
(* re re)
(* im im)

Outputs
(+.f64 (.f64 re re) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(+.f64 im (+.f64 (.f64 im (-.f64 #s(literal -1 binary64) im)) (.f64 re re)))
(+.f64 im (neg.f64 (+.f64 (.f64 im (-.f64 #s(literal 1 binary64) im)) (-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (.f64 re re)))))
(+.f64 (.f64 im im) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64))
(+.f64 (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 im (-.f64 #s(literal 1 binary64) im)) (.f64 re re)))
(+.f64 (-.f64 #s(literal 0 binary64) im) (neg.f64 (+.f64 (.f64 im (-.f64 #s(literal -1 binary64) im)) (-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (.f64 re re)))))
(+.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im)))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 re re))
(+.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))) (.f64 im im))
(+.f64 (.f64 (.f64 im im) #s(literal -2 binary64)) (+.f64 (.f64 re re) (.f64 im im)))
(+.f64 (.f64 (.f64 im im) #s(literal -2 binary64)) (.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re re) (*.f64 im im))) #s(literal -1 binary64)))
(+.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (+.f64 (.f64 re re) (.f64 (*.f64 im im) #s(literal -3 binary64))))
(+.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 (.f64 im im) #s(literal -2 binary64)))
(+.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 (*.f64 im im) #s(literal -3 binary64)))
(+.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -3 binary64))) (.f64 (*.f64 im im) #s(literal 2 binary64)))
(+.f64 (.f64 (.f64 im im) #s(literal -3 binary64)) (+.f64 (.f64 re re) (.f64 (*.f64 im im) #s(literal 2 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (+.f64 (.f64 (.f64 im im) #s(literal -2 binary64)) (+.f64 (.f64 re re) (.f64 (*.f64 im im) #s(literal -2 binary64)))))
(+.f64 (+.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 im (.f64 #s(literal -4 binary64) im)))
(+.f64 (-.f64 (.f64 re re) im) (.f64 im (-.f64 #s(literal 1 binary64) im)))
(+.f64 (+.f64 (.f64 re re) im) (.f64 im (-.f64 #s(literal -1 binary64) im)))
(+.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 re re)) (-.f64 #s(literal 0 binary64) (.f64 re re)))
(+.f64 (-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))) im) (.f64 im (+.f64 #s(literal 1 binary64) im)))
(+.f64 (+.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))) im) (.f64 im (+.f64 #s(literal -1 binary64) im)))
(+.f64 (neg.f64 (-.f64 (-.f64 (.f64 im im) (.f64 re re)) (.f64 re re))) (-.f64 #s(literal 0 binary64) (.f64 re re)))
(-.f64 (.f64 re re) (.f64 im im))
(-.f64 (.f64 im im) (-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (.f64 re re)))
(-.f64 (-.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 im im) (.f64 re re)))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (-.f64 #s(literal 0 binary64) (.f64 re re)))
(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(-.f64 (.f64 (.f64 im im) #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re re) (.f64 im im))))
(-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal 0 binary64) (.f64 re re)) (.f64 im (*.f64 im #s(literal 3 binary64)))))
(-.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 (.f64 im im) #s(literal 2 binary64)))
(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 im (*.f64 im #s(literal 3 binary64))))
(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -3 binary64))) (.f64 (*.f64 im im) #s(literal -2 binary64)))
(-.f64 (+.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 (.f64 im im) #s(literal 4 binary64)))
(-.f64 (-.f64 (.f64 re re) im) (.f64 im (+.f64 #s(literal -1 binary64) im)))
(-.f64 (+.f64 (.f64 re re) im) (.f64 im (+.f64 #s(literal 1 binary64) im)))
(-.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 re re)) (.f64 re re))
(-.f64 (-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))) im) (.f64 im (-.f64 #s(literal -1 binary64) im)))
(-.f64 (+.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))) im) (.f64 im (-.f64 #s(literal 1 binary64) im)))
(fma.f64 re re (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(fma.f64 im im (+.f64 (.f64 re re) (.f64 (*.f64 im im) #s(literal -2 binary64))))
(fma.f64 im (-.f64 #s(literal 0 binary64) im) (*.f64 re re))
(fma.f64 im #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im)))
(fma.f64 im (.f64 im #s(literal -2 binary64)) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im im) #s(literal -1 binary64) (.f64 re re))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))))
(fma.f64 (.f64 im im) #s(literal -2 binary64) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (-.f64 #s(literal 0 binary64) im) im (*.f64 re re))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 re re) (.f64 (*.f64 im im) #s(literal -2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 2 binary64)) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 #s(literal 0 binary64) (.f64 im im) (-.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im)))
(fma.f64 #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) #s(literal 2 binary64) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) #s(literal -1 binary64) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 im im) (.f64 re re))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 im im) #s(literal 2 binary64)) (+.f64 (.f64 re re) (.f64 im im)))
(fma.f64 #s(literal -1 binary64) (-.f64 (.f64 im im) (.f64 re re)) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))))
(fma.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 re re))
(fma.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) #s(literal -1 binary64) (+.f64 (.f64 re re) (.f64 im im)))
(fma.f64 #s(literal -2 binary64) (.f64 im im) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im #s(literal -2 binary64)) im (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 re re) (*.f64 im im)))
(neg.f64 (-.f64 (.f64 im im) (.f64 re re)))
(.f64 #s(literal -1 binary64) (-.f64 (.f64 im im) (*.f64 re re)))
(.f64 #s(literal 1 binary64) (-.f64 (.f64 re re) (*.f64 im im)))
(.f64 (-.f64 (.f64 im im) (*.f64 re re)) #s(literal -1 binary64))
(+.f64 (*.f64 re re) #s(literal 0 binary64))
(+.f64 im (+.f64 (.f64 im (-.f64 #s(literal -1 binary64) im)) (+.f64 (.f64 re re) (*.f64 im im))))
(+.f64 im (neg.f64 (+.f64 (.f64 im (-.f64 #s(literal 1 binary64) im)) (-.f64 (.f64 im im) (*.f64 re re)))))
(+.f64 (.f64 im im) (-.f64 (.f64 re re) (*.f64 im im)))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (*.f64 im im))
(+.f64 (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 im (-.f64 #s(literal 1 binary64) im)) (+.f64 (.f64 re re) (*.f64 im im))))
(+.f64 (-.f64 #s(literal 0 binary64) im) (neg.f64 (+.f64 (.f64 im (-.f64 #s(literal -1 binary64) im)) (-.f64 (.f64 im im) (*.f64 re re)))))
(+.f64 #s(literal 0 binary64) (*.f64 re re))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (+.f64 (.f64 re re) (*.f64 im im)))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re re) (.f64 im im))) #s(literal -1 binary64)))
(+.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))) (.f64 (*.f64 im im) #s(literal 2 binary64)))
(+.f64 (.f64 (.f64 im im) #s(literal -2 binary64)) (+.f64 (.f64 re re) (.f64 (*.f64 im im) #s(literal 2 binary64))))
(+.f64 (.f64 (.f64 im im) #s(literal -2 binary64)) (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) #s(literal -1 binary64))))
(+.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (+.f64 (.f64 re re) (.f64 (*.f64 im im) #s(literal -2 binary64))))
(+.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))) #s(literal -1 binary64))))
(+.f64 (+.f64 (.f64 re re) (.f64 im im)) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(+.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 (*.f64 im im) #s(literal -2 binary64)))
(+.f64 (.f64 (.f64 im im) #s(literal -3 binary64)) (+.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (+.f64 (.f64 re re) (.f64 im im))))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (+.f64 (.f64 re re) (.f64 (*.f64 im im) #s(literal -3 binary64))))
(+.f64 (.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re re) (.f64 im im))) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(+.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal 3 binary64)))) (.f64 (.f64 im im) #s(literal -2 binary64)))
(+.f64 (+.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (+.f64 (.f64 re re) (.f64 im im))) (.f64 (.f64 im im) #s(literal -3 binary64)))
(+.f64 (+.f64 (+.f64 (.f64 re re) (.f64 im im)) im) (*.f64 im (-.f64 #s(literal -1 binary64) im)))
(+.f64 (-.f64 (+.f64 (.f64 re re) (.f64 im im)) im) (*.f64 im (-.f64 #s(literal 1 binary64) im)))
(+.f64 (+.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 im (*.f64 #s(literal -4 binary64) im)))
(+.f64 (.f64 (.f64 re re) #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (*.f64 re re)))
(+.f64 (-.f64 (-.f64 (.f64 re re) (.f64 im im)) im) (*.f64 im (+.f64 #s(literal 1 binary64) im)))
(+.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) im) (*.f64 im (+.f64 #s(literal -1 binary64) im)))
(+.f64 (+.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 im im)) (.f64 (.f64 im im) #s(literal -3 binary64)))
(+.f64 (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))) #s(literal -1 binary64))) (.f64 (.f64 im im) #s(literal 2 binary64)))
(+.f64 (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) #s(literal -1 binary64))) (.f64 (.f64 im im) #s(literal -2 binary64)))
(+.f64 (neg.f64 (.f64 (.f64 re re) #s(literal -2 binary64))) (-.f64 #s(literal 0 binary64) (*.f64 re re)))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 re)))
(-.f64 (*.f64 re re) #s(literal 0 binary64))
(-.f64 (.f64 im im) (-.f64 (.f64 im im) (*.f64 re re)))
(-.f64 (-.f64 (.f64 re re) (.f64 im im)) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 re re)))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re re) (*.f64 im im))))
(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))) (.f64 (*.f64 im im) #s(literal -2 binary64)))
(-.f64 (.f64 (.f64 im im) #s(literal -2 binary64)) (-.f64 (.f64 (.f64 im im) #s(literal -2 binary64)) (*.f64 re re)))
(-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (*.f64 re re)))
(-.f64 (+.f64 (.f64 re re) (.f64 im im)) (*.f64 im im))
(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 (*.f64 im im) #s(literal 2 binary64)))
(-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (+.f64 (-.f64 #s(literal 0 binary64) (.f64 re re)) (.f64 im (*.f64 im #s(literal 3 binary64)))))
(-.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal 3 binary64)))) (.f64 (.f64 im im) #s(literal 2 binary64)))
(-.f64 (+.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (+.f64 (.f64 re re) (.f64 im im))) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (+.f64 (+.f64 (.f64 re re) (.f64 im im)) im) (*.f64 im (+.f64 #s(literal 1 binary64) im)))
(-.f64 (-.f64 (+.f64 (.f64 re re) (.f64 im im)) im) (*.f64 im (+.f64 #s(literal -1 binary64) im)))
(-.f64 (+.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 (*.f64 im im) #s(literal 4 binary64)))
(-.f64 (.f64 (.f64 re re) #s(literal 2 binary64)) (*.f64 re re))
(-.f64 (-.f64 (-.f64 (.f64 re re) (.f64 im im)) im) (*.f64 im (-.f64 #s(literal -1 binary64) im)))
(-.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) im) (*.f64 im (-.f64 #s(literal 1 binary64) im)))
(-.f64 (+.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 im im)) (.f64 im (.f64 im #s(literal 3 binary64))))
(fma.f64 re re #s(literal 0 binary64))
(fma.f64 im im (-.f64 (.f64 re re) (.f64 im im)))
(fma.f64 im (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 re re) (.f64 im im)))
(fma.f64 im #s(literal 0 binary64) (*.f64 re re))
(fma.f64 im (.f64 im #s(literal -2 binary64)) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))))
(fma.f64 im (.f64 im #s(literal 2 binary64)) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))))
(fma.f64 (.f64 im im) #s(literal 2 binary64) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))))
(fma.f64 (.f64 im im) #s(literal -1 binary64) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (-.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im im) #s(literal -2 binary64) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) im (+.f64 (.f64 re re) (.f64 im im)))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) im) (-.f64 (.f64 re re) (.f64 im im)))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 2 binary64)) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))))
(fma.f64 #s(literal 0 binary64) (.f64 im im) (.f64 re re))
(fma.f64 #s(literal 2 binary64) (.f64 im im) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))))
(fma.f64 #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) #s(literal 2 binary64) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) #s(literal -1 binary64) (-.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 #s(literal -1 binary64) (.f64 im im) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (-.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 im im) #s(literal 2 binary64)) (+.f64 (.f64 re re) (.f64 (*.f64 im im) #s(literal 2 binary64))))
(fma.f64 #s(literal -1 binary64) (-.f64 (.f64 im im) (.f64 re re)) (*.f64 im im))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (-.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) #s(literal -1 binary64) (+.f64 (.f64 re re) (.f64 (*.f64 im im) #s(literal 2 binary64))))
(fma.f64 #s(literal -2 binary64) (.f64 im im) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))))
(fma.f64 (.f64 im #s(literal -2 binary64)) im (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))))
(fma.f64 (.f64 im #s(literal 2 binary64)) im (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -2 binary64))))
(fma.f64 (.f64 im #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))))
(neg.f64 (-.f64 #s(literal 0 binary64) (*.f64 re re)))
(pow.f64 re #s(literal 2 binary64))
(pow.f64 (-.f64 #s(literal 0 binary64) re) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 re))
(*.f64 re re)
(.f64 re (+.f64 re (.f64 #s(literal 0 binary64) re)))
(.f64 re (-.f64 re (.f64 #s(literal 0 binary64) re)))
(.f64 (.f64 re re) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (.f64 re re)))
(.f64 #s(literal 1 binary64) (.f64 re re))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 re re)) #s(literal -1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re))
(.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) re)) (-.f64 #s(literal 0 binary64) re))
(+.f64 im (*.f64 im (+.f64 #s(literal -1 binary64) im)))
(+.f64 (*.f64 im im) #s(literal 0 binary64))
(+.f64 (-.f64 #s(literal 0 binary64) im) (*.f64 im (+.f64 #s(literal 1 binary64) im)))
(+.f64 #s(literal 0 binary64) (*.f64 im im))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 (*.f64 im im) #s(literal 2 binary64)))
(+.f64 (.f64 (.f64 im im) #s(literal -2 binary64)) (.f64 im (.f64 im #s(literal 3 binary64))))
(+.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 re re)) (+.f64 (.f64 re re) (*.f64 im im)))
(+.f64 (.f64 (.f64 im im) #s(literal -3 binary64)) (.f64 (.f64 im im) #s(literal 4 binary64)))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 (.f64 im im) #s(literal -2 binary64)))
(+.f64 (.f64 (.f64 im im) #s(literal 4 binary64)) (.f64 (.f64 im im) #s(literal -3 binary64)))
(+.f64 (*.f64 im (+.f64 #s(literal -1 binary64) im)) im)
(+.f64 (*.f64 im (+.f64 #s(literal 1 binary64) im)) (-.f64 #s(literal 0 binary64) im))
(+.f64 (.f64 im (+.f64 (.f64 im #s(literal 2 binary64)) #s(literal 1 binary64))) (*.f64 im (-.f64 #s(literal -1 binary64) im)))
(+.f64 (.f64 im (+.f64 (.f64 im #s(literal 2 binary64)) #s(literal -1 binary64))) (*.f64 im (-.f64 #s(literal 1 binary64) im)))
(+.f64 (.f64 (.f64 im im) #s(literal 5 binary64)) (.f64 im (.f64 #s(literal -4 binary64) im)))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 im)))
(-.f64 im (*.f64 im (-.f64 #s(literal 1 binary64) im)))
(-.f64 (*.f64 im im) #s(literal 0 binary64))
(-.f64 (-.f64 #s(literal 0 binary64) im) (*.f64 im (-.f64 #s(literal -1 binary64) im)))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 (*.f64 im im) #s(literal -2 binary64)))
(-.f64 (.f64 (.f64 im im) #s(literal -2 binary64)) (.f64 (.f64 im im) #s(literal -3 binary64)))
(-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (*.f64 im im))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 re re)) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re re) (*.f64 im im))))
(-.f64 (.f64 (.f64 im im) #s(literal -3 binary64)) (.f64 im (.f64 #s(literal -4 binary64) im)))
(-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 (.f64 im im) #s(literal 2 binary64)))
(-.f64 (.f64 (.f64 im im) #s(literal 4 binary64)) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (.f64 im (+.f64 (.f64 im #s(literal 2 binary64)) #s(literal 1 binary64))) (*.f64 im (+.f64 #s(literal 1 binary64) im)))
(-.f64 (.f64 im (+.f64 (.f64 im #s(literal 2 binary64)) #s(literal -1 binary64))) (*.f64 im (+.f64 #s(literal -1 binary64) im)))
(-.f64 (.f64 (.f64 im im) #s(literal 5 binary64)) (.f64 (.f64 im im) #s(literal 4 binary64)))
(fma.f64 im im #s(literal 0 binary64))
(fma.f64 im (-.f64 #s(literal 0 binary64) im) (.f64 (.f64 im im) #s(literal 2 binary64)))
(fma.f64 im (.f64 im #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(fma.f64 (.f64 im im) #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(fma.f64 (.f64 im im) #s(literal -1 binary64) (.f64 (*.f64 im im) #s(literal 2 binary64)))
(fma.f64 (*.f64 im im) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) im) im (.f64 (.f64 im im) #s(literal 2 binary64)))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) im) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (.f64 im im) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(fma.f64 (-.f64 #s(literal 0 binary64) (*.f64 im im)) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 im im) (.f64 (*.f64 im im) #s(literal 2 binary64)))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im)) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 im im) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 (*.f64 im im) #s(literal 2 binary64)))
(fma.f64 (.f64 im #s(literal 2 binary64)) im (-.f64 #s(literal 0 binary64) (.f64 im im)))
(neg.f64 (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(pow.f64 im #s(literal 2 binary64))
(pow.f64 (-.f64 #s(literal 0 binary64) im) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 im))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 (-.f64 #s(literal 0 binary64) im)))
(pow.f64 (exp.f64 (log.f64 (-.f64 #s(literal 0 binary64) im))) #s(literal 2 binary64))
(*.f64 im im)
(.f64 im (+.f64 (.f64 im #s(literal -2 binary64)) (*.f64 im #s(literal 3 binary64))))
(*.f64 im (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) im)))
(*.f64 im (-.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) im)))
(.f64 im (-.f64 (.f64 im #s(literal -2 binary64)) (*.f64 im #s(literal -3 binary64))))
(.f64 im (-.f64 (.f64 im #s(literal -3 binary64)) (*.f64 #s(literal -4 binary64) im)))
(.f64 (.f64 im im) #s(literal 1 binary64))
(.f64 (.f64 im im) (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 #s(literal -1 binary64))))
(*.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) im))
(*.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal -1 binary64) (+.f64 #s(literal -1 binary64) im)))
(.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 (.f64 im #s(literal 3 binary64)) (*.f64 #s(literal 4 binary64) im)))
(.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 (.f64 im #s(literal -3 binary64)) (*.f64 im #s(literal -2 binary64))))
(*.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 1 binary64) (+.f64 im #s(literal 1 binary64))))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(.f64 #s(literal 1 binary64) (.f64 im im))
(.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 #s(literal -1 binary64))) (.f64 im im))
(*.f64 (exp.f64 (log.f64 (-.f64 #s(literal 0 binary64) im))) (exp.f64 (log.f64 (-.f64 #s(literal 0 binary64) im))))
(.f64 (exp.f64 (log.f64 #s(literal -1 binary64))) (exp.f64 (log.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)))))
(.f64 (exp.f64 (log.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)))) (exp.f64 (log.f64 #s(literal -1 binary64))))

simplify138.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

2294×	`/-lowering-/.f32`
2294×	`/-lowering-/.f64`
1560×	`-lowering-.f32`
1560×	`-lowering-.f64`
1456×	`fma-lowering-fma.f32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	219
1	40	153
2	122	153
3	505	153
4	1779	153
5	3536	153
6	7715	153
0	8285	153

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 48

Calls

Call 1

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

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

eval28.0ms (1%)

Compiler: Compiled 3788 to 517 computations (86.4% saved)

prune30.0ms (1.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	283	4	287
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	283	5	288

Accuracy

100.0%

Counts

288 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	76.3%	(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -3 binary64))) (.f64 (*.f64 im im) #s(literal -2 binary64)))
✓	94.9%	(-.f64 (.f64 re re) (.f64 im im))
▶	76.6%	(-.f64 (.f64 im im) (-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (.f64 re re)))
▶	54.7%	(-.f64 #s(literal 0 binary64) (*.f64 im im))
▶	53.6%	(*.f64 re re)

Compiler

Compiled 53 to 31 computations (41.5% saved)

simplify131.0ms (4.8%)

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(.f64 (.f64 im im) #s(literal -3 binary64))
✓	cost-diff	0	(*.f64 re re)
✓	cost-diff	0	(+.f64 (.f64 re re) (.f64 (*.f64 im im) #s(literal -3 binary64)))
✓	cost-diff	512	(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -3 binary64))) (.f64 (*.f64 im im) #s(literal -2 binary64)))
✓	cost-diff	0	(.f64 (.f64 im im) #s(literal 2 binary64))
✓	cost-diff	0	(-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (*.f64 re re))
✓	cost-diff	0	(*.f64 im im)
✓	cost-diff	384	(-.f64 (.f64 im im) (-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (.f64 re re)))
✓	cost-diff	0	(*.f64 im im)
✓	cost-diff	0	(-.f64 #s(literal 0 binary64) (*.f64 im im))
✓	cost-diff	0	(*.f64 re re)

Rules

1688×	`+-lowering-+.f64`
1688×	`+-lowering-+.f32`
1424×	`--lowering--.f32`
1424×	`--lowering--.f64`
1110×	`-lowering-.f32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	16	68
1	53	67
2	149	61
3	371	59
4	1179	59
5	5075	59
6	6906	59
0	8004	59

Stop Event

1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(* re re)
re
(- 0 (* im im))
0
(* im im)
im
(- (* im im) (- (* (* im im) 2) (* re re)))
(* im im)
im
(- (* (* im im) 2) (* re re))
(* (* im im) 2)
2
(* re re)
re
(- (+ (* re re) (* (* im im) -3)) (* (* im im) -2))
(+ (* re re) (* (* im im) -3))
(* re re)
re
(* (* im im) -3)
(* im im)
im
-3
(* (* im im) -2)
-2

Outputs
(* re re)
(*.f64 re re)
re
(- 0 (* im im))
(*.f64 im (-.f64 #s(literal 0 binary64) im))
0
#s(literal 0 binary64)
(* im im)
(*.f64 im im)
im
(- (* im im) (- (* (* im im) 2) (* re re)))
(-.f64 (.f64 re re) (.f64 im im))
(* im im)
(*.f64 im im)
im
(- (* (* im im) 2) (* re re))
(-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re re))
(* (* im im) 2)
(.f64 im (.f64 im #s(literal 2 binary64)))
2
#s(literal 2 binary64)
(* re re)
(*.f64 re re)
re
(- (+ (* re re) (* (* im im) -3)) (* (* im im) -2))
(-.f64 (.f64 re re) (.f64 im im))
(+ (* re re) (* (* im im) -3))
(+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -3 binary64))))
(* re re)
(*.f64 re re)
re
(* (* im im) -3)
(.f64 im (.f64 im #s(literal -3 binary64)))
(* im im)
(*.f64 im im)
im
-3
#s(literal -3 binary64)
(* (* im im) -2)
(.f64 im (.f64 im #s(literal -2 binary64)))
-2
#s(literal -2 binary64)

localize84.0ms (3.1%)

Localize:

Found 11 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(.f64 (.f64 im im) #s(literal -2 binary64))
✓	accuracy	99.7%	(.f64 (.f64 im im) #s(literal -3 binary64))
✓	accuracy	95.4%	(+.f64 (.f64 re re) (.f64 (*.f64 im im) #s(literal -3 binary64)))
✓	accuracy	78.5%	(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -3 binary64))) (.f64 (*.f64 im im) #s(literal -2 binary64)))
✓	accuracy	100.0%	(*.f64 im im)
✓	accuracy	100.0%	(.f64 (.f64 im im) #s(literal 2 binary64))
✓	accuracy	95.5%	(-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (*.f64 re re))
✓	accuracy	78.9%	(-.f64 (.f64 im im) (-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (.f64 re re)))
✓	accuracy	100.0%	(-.f64 #s(literal 0 binary64) (*.f64 im im))
✓	accuracy	100.0%	(*.f64 im im)
✓	accuracy	100.0%	(*.f64 re re)

Results

62.0ms

256×

valid

Compiler

Compiled 97 to 17 computations (82.5% saved)

Precisions

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

ival-mult: 9.0ms (59% of total)

ival-sub: 5.0ms (32.8% of total)

ival-add: 1.0ms (6.6% of total)

const: 1.0ms (6.6% of total)

backward-pass: 0.0ms (0% of total)

series6.0ms (0.2%)

Counts

10 → 168

Calls

Call 1

Inputs
#<alt (* re re)>
#<alt (- 0 (* im im))>
#<alt (* im im)>
#<alt (- (* im im) (- (* (* im im) 2) (* re re)))>
#<alt (- (* (* im im) 2) (* re re))>
#<alt (* (* im im) 2)>
#<alt (- (+ (* re re) (* (* im im) -3)) (* (* im im) -2))>
#<alt (+ (* re re) (* (* im im) -3))>
#<alt (* (* im im) -3)>
#<alt (* (* im im) -2)>

Outputs
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow re 2)>
#<alt (+ (* -1 (pow im 2)) (pow re 2))>
#<alt (+ (* -1 (pow im 2)) (pow re 2))>
#<alt (+ (* -1 (pow im 2)) (pow re 2))>
#<alt (* -1 (pow im 2))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* -1 (pow im 2))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (- (pow im 2) (* 2 (pow im 2)))>
#<alt (- (+ (pow im 2) (pow re 2)) (* 2 (pow im 2)))>
#<alt (- (+ (pow im 2) (pow re 2)) (* 2 (pow im 2)))>
#<alt (- (+ (pow im 2) (pow re 2)) (* 2 (pow im 2)))>
#<alt (pow re 2)>
#<alt (* (pow re 2) (- (+ 1 (/ (pow im 2) (pow re 2))) (* 2 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (- (+ 1 (/ (pow im 2) (pow re 2))) (* 2 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (- (+ 1 (/ (pow im 2) (pow re 2))) (* 2 (/ (pow im 2) (pow re 2)))))>
#<alt (pow re 2)>
#<alt (* (pow re 2) (- (+ 1 (/ (pow im 2) (pow re 2))) (* 2 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (- (+ 1 (/ (pow im 2) (pow re 2))) (* 2 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (- (+ 1 (/ (pow im 2) (pow re 2))) (* 2 (/ (pow im 2) (pow re 2)))))>
#<alt (* -1 (pow re 2))>
#<alt (- (* 2 (pow im 2)) (pow re 2))>
#<alt (- (* 2 (pow im 2)) (pow re 2))>
#<alt (- (* 2 (pow im 2)) (pow re 2))>
#<alt (* 2 (pow im 2))>
#<alt (* (pow im 2) (+ 2 (* -1 (/ (pow re 2) (pow im 2)))))>
#<alt (* (pow im 2) (+ 2 (* -1 (/ (pow re 2) (pow im 2)))))>
#<alt (* (pow im 2) (+ 2 (* -1 (/ (pow re 2) (pow im 2)))))>
#<alt (* 2 (pow im 2))>
#<alt (* (pow im 2) (+ 2 (* -1 (/ (pow re 2) (pow im 2)))))>
#<alt (* (pow im 2) (+ 2 (* -1 (/ (pow re 2) (pow im 2)))))>
#<alt (* (pow im 2) (+ 2 (* -1 (/ (pow re 2) (pow im 2)))))>
#<alt (* 2 (pow im 2))>
#<alt (+ (* -1 (pow re 2)) (* 2 (pow im 2)))>
#<alt (+ (* -1 (pow re 2)) (* 2 (pow im 2)))>
#<alt (+ (* -1 (pow re 2)) (* 2 (pow im 2)))>
#<alt (* -1 (pow re 2))>
#<alt (* (pow re 2) (- (* 2 (/ (pow im 2) (pow re 2))) 1))>
#<alt (* (pow re 2) (- (* 2 (/ (pow im 2) (pow re 2))) 1))>
#<alt (* (pow re 2) (- (* 2 (/ (pow im 2) (pow re 2))) 1))>
#<alt (* -1 (pow re 2))>
#<alt (* (pow re 2) (- (* 2 (/ (pow im 2) (pow re 2))) 1))>
#<alt (* (pow re 2) (- (* 2 (/ (pow im 2) (pow re 2))) 1))>
#<alt (* (pow re 2) (- (* 2 (/ (pow im 2) (pow re 2))) 1))>
#<alt (* 2 (pow im 2))>
#<alt (* 2 (pow im 2))>
#<alt (* 2 (pow im 2))>
#<alt (* 2 (pow im 2))>
#<alt (* 2 (pow im 2))>
#<alt (* 2 (pow im 2))>
#<alt (* 2 (pow im 2))>
#<alt (* 2 (pow im 2))>
#<alt (* 2 (pow im 2))>
#<alt (* 2 (pow im 2))>
#<alt (* 2 (pow im 2))>
#<alt (* 2 (pow im 2))>
#<alt (- (* -3 (pow im 2)) (* -2 (pow im 2)))>
#<alt (- (+ (* -3 (pow im 2)) (pow re 2)) (* -2 (pow im 2)))>
#<alt (- (+ (* -3 (pow im 2)) (pow re 2)) (* -2 (pow im 2)))>
#<alt (- (+ (* -3 (pow im 2)) (pow re 2)) (* -2 (pow im 2)))>
#<alt (pow re 2)>
#<alt (* (pow re 2) (- (+ 1 (* -3 (/ (pow im 2) (pow re 2)))) (* -2 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (- (+ 1 (* -3 (/ (pow im 2) (pow re 2)))) (* -2 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (- (+ 1 (* -3 (/ (pow im 2) (pow re 2)))) (* -2 (/ (pow im 2) (pow re 2)))))>
#<alt (pow re 2)>
#<alt (* (pow re 2) (- (+ 1 (* -3 (/ (pow im 2) (pow re 2)))) (* -2 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (- (+ 1 (* -3 (/ (pow im 2) (pow re 2)))) (* -2 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (- (+ 1 (* -3 (/ (pow im 2) (pow re 2)))) (* -2 (/ (pow im 2) (pow re 2)))))>
#<alt (pow re 2)>
#<alt (+ (* -1 (pow im 2)) (pow re 2))>
#<alt (+ (* -1 (pow im 2)) (pow re 2))>
#<alt (+ (* -1 (pow im 2)) (pow re 2))>
#<alt (* -1 (pow im 2))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* -1 (pow im 2))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* -3 (pow im 2))>
#<alt (+ (* -3 (pow im 2)) (pow re 2))>
#<alt (+ (* -3 (pow im 2)) (pow re 2))>
#<alt (+ (* -3 (pow im 2)) (pow re 2))>
#<alt (pow re 2)>
#<alt (* (pow re 2) (+ 1 (* -3 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (+ 1 (* -3 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (+ 1 (* -3 (/ (pow im 2) (pow re 2)))))>
#<alt (pow re 2)>
#<alt (* (pow re 2) (+ 1 (* -3 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (+ 1 (* -3 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (+ 1 (* -3 (/ (pow im 2) (pow re 2)))))>
#<alt (pow re 2)>
#<alt (+ (* -3 (pow im 2)) (pow re 2))>
#<alt (+ (* -3 (pow im 2)) (pow re 2))>
#<alt (+ (* -3 (pow im 2)) (pow re 2))>
#<alt (* -3 (pow im 2))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 3))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 3))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 3))>
#<alt (* -3 (pow im 2))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 3))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 3))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 3))>
#<alt (* -3 (pow im 2))>
#<alt (* -3 (pow im 2))>
#<alt (* -3 (pow im 2))>
#<alt (* -3 (pow im 2))>
#<alt (* -3 (pow im 2))>
#<alt (* -3 (pow im 2))>
#<alt (* -3 (pow im 2))>
#<alt (* -3 (pow im 2))>
#<alt (* -3 (pow im 2))>
#<alt (* -3 (pow im 2))>
#<alt (* -3 (pow im 2))>
#<alt (* -3 (pow im 2))>
#<alt (* -2 (pow im 2))>
#<alt (* -2 (pow im 2))>
#<alt (* -2 (pow im 2))>
#<alt (* -2 (pow im 2))>
#<alt (* -2 (pow im 2))>
#<alt (* -2 (pow im 2))>
#<alt (* -2 (pow im 2))>
#<alt (* -2 (pow im 2))>
#<alt (* -2 (pow im 2))>
#<alt (* -2 (pow im 2))>
#<alt (* -2 (pow im 2))>
#<alt (* -2 (pow im 2))>

Calls

42 calls:

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

rewrite129.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1814×	`sum3-define`
1646×	`sum4-define`
1442×	`fmsub-define`
1412×	`prod-diff`
1320×	`fmm-def`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	16	50
1	58	49
2	213	43
3	909	41
4	7123	41
0	8457	41

Stop Event

1×	iter limit
1×	node limit

Counts

10 → 633

Calls

Call 1

Inputs
(* re re)
(- 0 (* im im))
(* im im)
(- (* im im) (- (* (* im im) 2) (* re re)))
(- (* (* im im) 2) (* re re))
(* (* im im) 2)
(- (+ (* re re) (* (* im im) -3)) (* (* im im) -2))
(+ (* re re) (* (* im im) -3))
(* (* im im) -3)
(* (* im im) -2)

Outputs
(+.f64 (*.f64 re re) #s(literal 0 binary64))
(+.f64 (.f64 re re) (fma.f64 (neg.f64 (.f64 #s(literal 0 binary64) re)) re #s(literal 0 binary64)))
(+.f64 (.f64 re re) (fma.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal 0 binary64) #s(literal 0 binary64)))
(+.f64 (*.f64 re re) (fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) #s(literal 0 binary64)))
(+.f64 (*.f64 re re) (fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal 0 binary64)))
(+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -2 binary64)))))
(+.f64 #s(literal 0 binary64) (*.f64 re re))
(+.f64 (.f64 (.f64 re re) #s(literal 2 binary64)) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(+.f64 (neg.f64 (.f64 (.f64 re re) #s(literal -2 binary64))) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(+.f64 (.f64 (-.f64 #s(literal 0 binary64) re) #s(literal 0 binary64)) (.f64 re re))
(+.f64 (.f64 (.f64 (.f64 re re) #s(literal -2 binary64)) #s(literal -1 binary64)) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(+.f64 (.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) re)) (.f64 re re))
(+.f64 (-.f64 (.f64 (.f64 re re) #s(literal 2 binary64)) #s(literal 0 binary64)) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 re)))
(exp.f64 (+.f64 (log.f64 re) (log.f64 re)))
(-.f64 (*.f64 re re) #s(literal 0 binary64))
(-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (*.f64 re re)))
(-.f64 #s(literal 0 binary64) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(-.f64 (.f64 (.f64 re re) #s(literal 2 binary64)) (*.f64 re re))
(fma.f64 re re #s(literal 0 binary64))
(fma.f64 re (+.f64 re (*.f64 #s(literal 0 binary64) re)) #s(literal 0 binary64))
(fma.f64 re (-.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 re (-.f64 re (*.f64 #s(literal 0 binary64) re)) #s(literal 0 binary64))
(fma.f64 (.f64 re re) #s(literal 2 binary64) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 (*.f64 re re) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 im (.f64 im #s(literal -2 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 (.f64 im im) #s(literal -2 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 #s(literal 2 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 #s(literal -2 binary64) (.f64 im im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal 1 binary64) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 (-.f64 #s(literal 0 binary64) re) re) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal -1 binary64) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(fma.f64 (*.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 2 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 (.f64 im #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 (.f64 im #s(literal -2 binary64)) im (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal 2 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal 2 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(fma.f64 #s(literal -1 binary64) (*.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 re re) #s(literal -2 binary64)) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 #s(literal 1 binary64) (*.f64 re re) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal -2 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(fma.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) im)) (.f64 im #s(literal 2 binary64)) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(fma.f64 (.f64 #s(literal 1 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im))) #s(literal 2 binary64) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(fma.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) re)) (-.f64 #s(literal 0 binary64) re) #s(literal 0 binary64))
(neg.f64 (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(pow.f64 re #s(literal 2 binary64))
(pow.f64 (-.f64 #s(literal 0 binary64) re) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 re))
(*.f64 re re)
(.f64 re (+.f64 re (.f64 #s(literal 0 binary64) re)))
(.f64 re (-.f64 re (.f64 #s(literal 0 binary64) re)))
(.f64 (.f64 re re) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re))
(.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(.f64 #s(literal 1 binary64) (.f64 re re))
(.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) re)) (-.f64 #s(literal 0 binary64) re))
(+.f64 (.f64 im im) (.f64 im (*.f64 im #s(literal -2 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (.f64 im (.f64 im #s(literal 2 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (*.f64 im im))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (*.f64 im (-.f64 #s(literal 0 binary64) im))))
(+.f64 (*.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal 0 binary64))
(+.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (fma.f64 (neg.f64 (.f64 #s(literal 0 binary64) re)) re #s(literal 0 binary64)))
(+.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (fma.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal 0 binary64) #s(literal 0 binary64)))
(+.f64 (*.f64 im (-.f64 #s(literal 0 binary64) im)) (fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) #s(literal 0 binary64)))
(+.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (-.f64 (.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal 1 binary64)) (.f64 im (.f64 im #s(literal 2 binary64)))))
(+.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 (+.f64 (.f64 im #s(literal 2 binary64)) (.f64 im #s(literal -2 binary64))) im))
(+.f64 #s(literal 0 binary64) (*.f64 im (-.f64 #s(literal 0 binary64) im)))
(+.f64 (.f64 im #s(literal 0 binary64)) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(+.f64 (.f64 #s(literal 0 binary64) im) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(+.f64 (+.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (*.f64 im #s(literal 2 binary64))))
(-.f64 (.f64 im im) (.f64 im (*.f64 im #s(literal 2 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (.f64 im (.f64 im #s(literal -2 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64))))))
(-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (*.f64 im (-.f64 #s(literal 0 binary64) im)))
(-.f64 (*.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 im im)))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal -3 binary64)))))
(-.f64 (-.f64 (.f64 re re) (.f64 im im)) (*.f64 re re))
(-.f64 (+.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (*.f64 im #s(literal -2 binary64))))
(-.f64 (-.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 re re)) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 im im (.f64 im (.f64 im #s(literal -2 binary64))))
(fma.f64 im (-.f64 #s(literal 0 binary64) im) #s(literal 0 binary64))
(fma.f64 im (.f64 im #s(literal 2 binary64)) (.f64 im (*.f64 im #s(literal -3 binary64))))
(fma.f64 im (.f64 im #s(literal -2 binary64)) (.f64 im im))
(fma.f64 im (.f64 im #s(literal -3 binary64)) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 (.f64 im im) #s(literal 2 binary64) (.f64 im (*.f64 im #s(literal -3 binary64))))
(fma.f64 (.f64 im im) #s(literal -3 binary64) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 (.f64 im im) #s(literal -2 binary64) (.f64 im im))
(fma.f64 (*.f64 im im) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 im (*.f64 im #s(literal -2 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 im im) (.f64 im (*.f64 im #s(literal -3 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 im im))
(fma.f64 #s(literal -3 binary64) (.f64 im im) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 #s(literal -2 binary64) (.f64 im im) (.f64 im im))
(fma.f64 #s(literal -2 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 im (*.f64 im #s(literal -3 binary64))))
(fma.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal -1 binary64) (.f64 im (.f64 im #s(literal -3 binary64))))
(fma.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal 1 binary64) (*.f64 im im))
(fma.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal -1 binary64) (*.f64 im im))
(fma.f64 (-.f64 #s(literal 0 binary64) im) im #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) im) (.f64 im (.f64 im #s(literal -2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 2 binary64)) (.f64 im im))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal -2 binary64)) (.f64 im (*.f64 im #s(literal -3 binary64))))
(fma.f64 (.f64 im #s(literal 2 binary64)) im (.f64 im (*.f64 im #s(literal -3 binary64))))
(fma.f64 (.f64 im #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) im) (.f64 im im))
(fma.f64 (.f64 im #s(literal -2 binary64)) im (.f64 im im))
(fma.f64 (.f64 im #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) im) (.f64 im (*.f64 im #s(literal -3 binary64))))
(fma.f64 (.f64 im #s(literal -3 binary64)) im (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal 2 binary64) (.f64 im im))
(fma.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal -2 binary64) (.f64 im (*.f64 im #s(literal -3 binary64))))
(fma.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal -1 binary64) (.f64 im (*.f64 im #s(literal -2 binary64))))
(fma.f64 #s(literal -1 binary64) (*.f64 im im) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 im im))
(fma.f64 #s(literal -1 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 im (*.f64 im #s(literal -2 binary64))))
(fma.f64 #s(literal -1 binary64) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im)) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 #s(literal -1 binary64) (+.f64 (.f64 im im) (.f64 re (-.f64 #s(literal 0 binary64) re))) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 #s(literal -1 binary64) (-.f64 (.f64 im im) (.f64 re re)) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 im (*.f64 im #s(literal -2 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal -2 binary64))) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) im)) (.f64 im #s(literal 2 binary64)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im))) #s(literal 2 binary64) (*.f64 im im))
(neg.f64 (*.f64 im im))
(*.f64 im (-.f64 #s(literal 0 binary64) im))
(.f64 (.f64 im im) #s(literal -1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) im) im)
(.f64 #s(literal -1 binary64) (.f64 im im))
(+.f64 (.f64 re re) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im)))
(+.f64 (*.f64 im im) #s(literal 0 binary64))
(+.f64 (.f64 im im) (fma.f64 (neg.f64 (.f64 #s(literal 0 binary64) re)) re #s(literal 0 binary64)))
(+.f64 (.f64 im im) (fma.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal 0 binary64) #s(literal 0 binary64)))
(+.f64 (*.f64 im im) (fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) #s(literal 0 binary64)))
(+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (neg.f64 (.f64 im (.f64 im #s(literal -3 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 im (-.f64 #s(literal 0 binary64) im)))
(+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (+.f64 (.f64 re re) (*.f64 im im)))
(+.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 im (*.f64 im #s(literal 2 binary64))))
(+.f64 #s(literal 0 binary64) (*.f64 im im))
(+.f64 (neg.f64 (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 im (.f64 im #s(literal -2 binary64))))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 im)))
(exp.f64 (+.f64 (log.f64 im) (log.f64 im)))
(-.f64 (*.f64 im im) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (*.f64 im (-.f64 #s(literal 0 binary64) im)))
(-.f64 (+.f64 (.f64 re re) (.f64 im im)) (*.f64 re re))
(-.f64 (-.f64 (.f64 im im) (.f64 re re)) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 re (.f64 #s(literal 0 binary64) re) (.f64 im im))
(fma.f64 im im #s(literal 0 binary64))
(fma.f64 (*.f64 im im) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) im) #s(literal 0 binary64))
(fma.f64 (*.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) (.f64 re re) (.f64 im im))
(fma.f64 #s(literal -1 binary64) (*.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) (*.f64 im im))
(fma.f64 #s(literal 1 binary64) (*.f64 im im) #s(literal 0 binary64))
(neg.f64 (*.f64 im (-.f64 #s(literal 0 binary64) im)))
(pow.f64 im #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 im))
(*.f64 im im)
(.f64 (.f64 im im) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) im))
(.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(.f64 #s(literal 1 binary64) (.f64 im im))
(+.f64 (.f64 re re) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(+.f64 (.f64 im im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (-.f64 (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))) #s(literal 0 binary64)))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 im (*.f64 im #s(literal 2 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (+.f64 (.f64 re re) (.f64 im im)))
(+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (-.f64 (+.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64)))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im im))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -3 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (-.f64 (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -3 binary64)))) #s(literal 0 binary64)))
(+.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 re re))
(+.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im)))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 im (*.f64 im #s(literal -3 binary64))))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64))))))
(+.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal -2 binary64))))
(+.f64 (+.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 (.f64 re re) #s(literal 2 binary64))) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(+.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 re (-.f64 #s(literal 0 binary64) re))) (.f64 re re))
(+.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (.f64 im #s(literal 2 binary64))))
(+.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 im (.f64 im #s(literal -2 binary64))))
(+.f64 (-.f64 (+.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64)) (.f64 im (.f64 im #s(literal -2 binary64))))
(+.f64 (-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) #s(literal 0 binary64)) (.f64 im (*.f64 im #s(literal 2 binary64))))
(-.f64 (.f64 re re) (.f64 im im))
(-.f64 (.f64 re re) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im)))
(-.f64 (.f64 re re) (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64)))))
(-.f64 (.f64 im im) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (*.f64 re re)))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im (*.f64 im #s(literal -2 binary64)))))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (*.f64 re re)) #s(literal 0 binary64)))
(-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 im (*.f64 im #s(literal -2 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im)))
(-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(-.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im))))
(-.f64 #s(literal 0 binary64) (+.f64 (.f64 im im) (.f64 re (-.f64 #s(literal 0 binary64) re))))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 im im) (.f64 re re)))
(-.f64 #s(literal 0 binary64) (-.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im))) #s(literal 0 binary64)))
(-.f64 #s(literal 0 binary64) (+.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im))) #s(literal 0 binary64)))
(-.f64 (-.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64))
(-.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal 2 binary64))))
(-.f64 (+.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 (.f64 re re) #s(literal 2 binary64))) (.f64 re re))
(-.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (.f64 im #s(literal -2 binary64))))
(-.f64 (-.f64 (+.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64)) (.f64 im (.f64 im #s(literal 2 binary64))))
(fma.f64 re re (*.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 re re (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 im im))))
(fma.f64 re re (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))))
(fma.f64 re (+.f64 re (.f64 #s(literal 0 binary64) re)) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 re (+.f64 re (.f64 #s(literal 0 binary64) re)) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 re (+.f64 re (.f64 #s(literal 0 binary64) re)) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(fma.f64 re (-.f64 re (.f64 #s(literal 0 binary64) re)) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 re (-.f64 re (.f64 #s(literal 0 binary64) re)) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 re (-.f64 re (.f64 #s(literal 0 binary64) re)) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(fma.f64 im im (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -2 binary64)))))
(fma.f64 im (-.f64 #s(literal 0 binary64) im) (*.f64 re re))
(fma.f64 im (.f64 im #s(literal 2 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 im (.f64 im #s(literal -2 binary64)) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 im (.f64 im #s(literal -2 binary64)) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 im (.f64 im #s(literal -3 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 im (.f64 im #s(literal -3 binary64)) (neg.f64 (-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 re re)) #s(literal 0 binary64))))
(fma.f64 (.f64 im im) #s(literal 2 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im im) #s(literal -3 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 (.f64 im im) #s(literal -3 binary64) (neg.f64 (-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 re re)) #s(literal 0 binary64))))
(fma.f64 (.f64 im im) #s(literal -2 binary64) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im im) #s(literal -2 binary64) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 (.f64 im im) #s(literal -1 binary64) (.f64 re re))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))))
(fma.f64 #s(literal 2 binary64) (.f64 im im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 #s(literal 2 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 #s(literal 2 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)) #s(literal -1 binary64) (.f64 im im))
(fma.f64 #s(literal -3 binary64) (.f64 im im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 #s(literal -3 binary64) (.f64 im im) (neg.f64 (-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 re re)) #s(literal 0 binary64))))
(fma.f64 #s(literal -2 binary64) (.f64 im im) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 #s(literal -2 binary64) (.f64 im im) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 #s(literal -2 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal -1 binary64) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im))))
(fma.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re) (*.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 im im))))
(fma.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))))
(fma.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal -1 binary64) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im))))
(fma.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal -1 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal -1 binary64) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal -1 binary64) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) im (*.f64 re re))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -2 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 2 binary64)) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 2 binary64)) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal -2 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im #s(literal 2 binary64)) im (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) im) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 (.f64 im #s(literal -2 binary64)) im (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im #s(literal -2 binary64)) im (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 (.f64 im #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im #s(literal -3 binary64)) im (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 (.f64 im #s(literal -3 binary64)) im (neg.f64 (-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 re re)) #s(literal 0 binary64))))
(fma.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal 2 binary64) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal 2 binary64) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal -2 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal -1 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))))
(fma.f64 #s(literal -1 binary64) (.f64 im im) (.f64 re re))
(fma.f64 #s(literal -1 binary64) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)) (.f64 im im))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal -2 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -3 binary64)))))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal 2 binary64))) (+.f64 (.f64 re re) (.f64 im im)))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal 2 binary64))) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im))))
(fma.f64 #s(literal -1 binary64) (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 #s(literal -1 binary64) (.f64 re (-.f64 #s(literal 0 binary64) re)) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 #s(literal -1 binary64) (.f64 re (-.f64 #s(literal 0 binary64) re)) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(fma.f64 #s(literal -1 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))))
(fma.f64 #s(literal -1 binary64) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im)) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (+.f64 (.f64 im im) (.f64 re (-.f64 #s(literal 0 binary64) re))) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (-.f64 (.f64 im im) (.f64 re re)) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal -2 binary64))) (+.f64 (.f64 re re) (.f64 im im)))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal -2 binary64))) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im))))
(fma.f64 #s(literal 1 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) im)) (.f64 im #s(literal 2 binary64)) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im))))
(fma.f64 (.f64 #s(literal 1 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im))) #s(literal 2 binary64) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im))))
(fma.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) re)) (-.f64 #s(literal 0 binary64) re) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) re)) (-.f64 #s(literal 0 binary64) re) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) re)) (-.f64 #s(literal 0 binary64) re) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(neg.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im))))
(neg.f64 (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im)))
(neg.f64 (+.f64 (.f64 im im) (.f64 re (-.f64 #s(literal 0 binary64) re))))
(.f64 #s(literal -1 binary64) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im)))
(.f64 #s(literal -1 binary64) (+.f64 (.f64 im im) (*.f64 re (-.f64 #s(literal 0 binary64) re))))
(.f64 #s(literal -1 binary64) (-.f64 (.f64 im im) (*.f64 re re)))
(+.f64 (.f64 re re) (+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 (*.f64 re re) #s(literal -2 binary64))))
(+.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re re)) #s(literal 0 binary64))
(+.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)) (fma.f64 (neg.f64 (.f64 #s(literal 0 binary64) re)) re #s(literal 0 binary64)))
(+.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)) (fma.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal 0 binary64) #s(literal 0 binary64)))
(+.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re re)) (fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) #s(literal 0 binary64)))
(+.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)) (-.f64 (.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal 1 binary64)) (.f64 im (.f64 im #s(literal 2 binary64)))))
(+.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)) (-.f64 (.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal 1 binary64)) (.f64 re (-.f64 #s(literal 0 binary64) re))))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im (*.f64 im #s(literal 2 binary64))))
(+.f64 #s(literal 0 binary64) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re re)))
(+.f64 (.f64 (.f64 re re) #s(literal -2 binary64)) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(+.f64 (+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 (.f64 re re) #s(literal -2 binary64))) (*.f64 re re))
(-.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re re)) #s(literal 0 binary64))
(-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re re))
(-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im (*.f64 im #s(literal -2 binary64))))
(-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -2 binary64))))))
(-.f64 #s(literal 0 binary64) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -2 binary64)))))
(-.f64 (+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 (.f64 re re) #s(literal -2 binary64))) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(-.f64 (-.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)) (.f64 re (-.f64 #s(literal 0 binary64) re))) (*.f64 re re))
(fma.f64 re (-.f64 #s(literal 0 binary64) re) (.f64 im (.f64 im #s(literal 2 binary64))))
(fma.f64 re (.f64 #s(literal 0 binary64) re) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)))
(fma.f64 re (+.f64 (.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re)) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 re (+.f64 (-.f64 #s(literal 0 binary64) re) (.f64 #s(literal 0 binary64) re)) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 (.f64 re re) #s(literal -1 binary64) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 im (.f64 im #s(literal 2 binary64)) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 (.f64 im im) #s(literal 2 binary64) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 #s(literal 2 binary64) (.f64 im im) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re re)))
(fma.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re re)) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal -1 binary64) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 (-.f64 #s(literal 0 binary64) re) re (.f64 im (.f64 im #s(literal 2 binary64))))
(fma.f64 (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -2 binary64)))) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal -2 binary64)) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 (.f64 im #s(literal 2 binary64)) im (.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 (.f64 im #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) im) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal -2 binary64) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 #s(literal 0 binary64) (.f64 re re) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)))
(fma.f64 #s(literal -1 binary64) (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal -2 binary64))) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 #s(literal -1 binary64) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -2 binary64)))) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re re)))
(fma.f64 #s(literal -1 binary64) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64))))) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 #s(literal -1 binary64) (+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 re re)) (*.f64 re re))
(fma.f64 #s(literal 1 binary64) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re re)) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 #s(literal 1 binary64) (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im (*.f64 im #s(literal 2 binary64))))
(neg.f64 (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -2 binary64)))))
(.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)) #s(literal 1 binary64))
(.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))))
(.f64 #s(literal 1 binary64) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)))
(+.f64 (.f64 re re) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)))
(+.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)) (.f64 re re))
(+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 #s(literal -2 binary64) (.f64 im (*.f64 im #s(literal -2 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 (.f64 im (*.f64 im #s(literal -2 binary64))) #s(literal -2 binary64)))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal 0 binary64))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 (.f64 im #s(literal -2 binary64)) (+.f64 (.f64 im #s(literal 2 binary64)) (.f64 im #s(literal -2 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 (+.f64 (.f64 im #s(literal 2 binary64)) (.f64 im #s(literal -2 binary64))) (.f64 im #s(literal -2 binary64))))
(+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(+.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal 2 binary64))))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(+.f64 (.f64 #s(literal -2 binary64) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (*.f64 im #s(literal -2 binary64))))
(+.f64 (.f64 #s(literal -2 binary64) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 #s(literal -2 binary64) (.f64 im (.f64 im #s(literal 2 binary64)))))
(+.f64 (.f64 #s(literal -2 binary64) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 #s(literal -2 binary64) (.f64 im (.f64 im #s(literal -3 binary64)))))
(+.f64 (.f64 (.f64 im #s(literal -2 binary64)) #s(literal 0 binary64)) (.f64 im (.f64 im #s(literal 2 binary64))))
(+.f64 (.f64 (.f64 im #s(literal -2 binary64)) (.f64 im #s(literal -3 binary64))) (.f64 (.f64 im #s(literal -2 binary64)) (.f64 im #s(literal 2 binary64))))
(+.f64 (.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal -2 binary64)) (.f64 im (*.f64 im #s(literal -2 binary64))))
(+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal -2 binary64)) (.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal -2 binary64)))
(+.f64 (.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal -2 binary64)) (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal -2 binary64)))
(+.f64 (.f64 #s(literal 0 binary64) (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal 2 binary64))))
(+.f64 (.f64 (.f64 im #s(literal -3 binary64)) (.f64 im #s(literal -2 binary64))) (.f64 (.f64 im #s(literal 2 binary64)) (.f64 im #s(literal -2 binary64))))
(+.f64 (+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 im (.f64 im #s(literal -2 binary64))))
(+.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (.f64 im #s(literal -2 binary64))))
(-.f64 (.f64 re re) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))))
(-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal -2 binary64))))
(-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64))))))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re))))
(-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 re re))
(-.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (.f64 im #s(literal 2 binary64))))
(fma.f64 re re (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re re)))
(fma.f64 re (.f64 #s(literal 0 binary64) re) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 re (+.f64 re (.f64 #s(literal 0 binary64) re)) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)))
(fma.f64 re (-.f64 re (.f64 #s(literal 0 binary64) re)) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)))
(fma.f64 im (*.f64 im #s(literal 2 binary64)) #s(literal 0 binary64))
(fma.f64 (*.f64 im im) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 im im) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) (*.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal 0 binary64))
(fma.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 re re)))
(fma.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal -1 binary64) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (*.f64 im #s(literal -2 binary64)) #s(literal 0 binary64))
(fma.f64 (*.f64 im #s(literal 2 binary64)) im #s(literal 0 binary64))
(fma.f64 (*.f64 im #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) im) #s(literal 0 binary64))
(fma.f64 (*.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 re (-.f64 #s(literal 0 binary64) re)) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)))
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) (.f64 im (.f64 im #s(literal 2 binary64))))
(fma.f64 #s(literal -1 binary64) (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 re re)) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 #s(literal -1 binary64) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64))))) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 #s(literal -1 binary64) (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(fma.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) re)) (-.f64 #s(literal 0 binary64) re) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)))
(neg.f64 (.f64 im (.f64 im #s(literal -2 binary64))))
(neg.f64 (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64))))))
(.f64 im (.f64 im #s(literal 2 binary64)))
(.f64 (.f64 im im) #s(literal 2 binary64))
(.f64 #s(literal 2 binary64) (.f64 im im))
(.f64 #s(literal -2 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(.f64 (.f64 im (*.f64 im #s(literal -2 binary64))) #s(literal -1 binary64))
(.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal -2 binary64)))
(.f64 (.f64 im #s(literal 2 binary64)) im)
(.f64 (.f64 im #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) im))
(.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal -2 binary64))
(.f64 #s(literal -1 binary64) (.f64 im (*.f64 im #s(literal -2 binary64))))
(.f64 #s(literal -1 binary64) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -2 binary64))))))
(.f64 #s(literal 1 binary64) (.f64 im (*.f64 im #s(literal 2 binary64))))
(+.f64 (.f64 re re) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(+.f64 (.f64 im im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (-.f64 (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))) #s(literal 0 binary64)))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 im (*.f64 im #s(literal 2 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (+.f64 (.f64 re re) (.f64 im im)))
(+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (-.f64 (+.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64)))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im im))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -3 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (-.f64 (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -3 binary64)))) #s(literal 0 binary64)))
(+.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 re re))
(+.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im)))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 im (*.f64 im #s(literal -3 binary64))))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64))))))
(+.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal -2 binary64))))
(+.f64 (+.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 (.f64 re re) #s(literal 2 binary64))) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(+.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 re (-.f64 #s(literal 0 binary64) re))) (.f64 re re))
(+.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (.f64 im #s(literal 2 binary64))))
(+.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 im (.f64 im #s(literal -2 binary64))))
(+.f64 (-.f64 (+.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64)) (.f64 im (.f64 im #s(literal -2 binary64))))
(+.f64 (-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) #s(literal 0 binary64)) (.f64 im (*.f64 im #s(literal 2 binary64))))
(-.f64 (.f64 re re) (.f64 im im))
(-.f64 (.f64 re re) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im)))
(-.f64 (.f64 re re) (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64)))))
(-.f64 (.f64 im im) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (*.f64 re re)))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im (*.f64 im #s(literal -2 binary64)))))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (*.f64 re re)) #s(literal 0 binary64)))
(-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 im (*.f64 im #s(literal -2 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im)))
(-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(-.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 re (-.f64 #s(literal 0 binary64) re)))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im))))
(-.f64 #s(literal 0 binary64) (+.f64 (.f64 im im) (.f64 re (-.f64 #s(literal 0 binary64) re))))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 im im) (.f64 re re)))
(-.f64 #s(literal 0 binary64) (-.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im))) #s(literal 0 binary64)))
(-.f64 #s(literal 0 binary64) (+.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im))) #s(literal 0 binary64)))
(-.f64 (-.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64))
(-.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal 2 binary64))))
(-.f64 (+.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) (.f64 (.f64 re re) #s(literal 2 binary64))) (.f64 re re))
(-.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (.f64 im #s(literal -2 binary64))))
(-.f64 (-.f64 (+.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64)) (.f64 im (.f64 im #s(literal 2 binary64))))
(fma.f64 re re (*.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 re re (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 im im))))
(fma.f64 re re (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))))
(fma.f64 re (+.f64 re (.f64 #s(literal 0 binary64) re)) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 re (+.f64 re (.f64 #s(literal 0 binary64) re)) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 re (+.f64 re (.f64 #s(literal 0 binary64) re)) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(fma.f64 re (-.f64 re (.f64 #s(literal 0 binary64) re)) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 re (-.f64 re (.f64 #s(literal 0 binary64) re)) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 re (-.f64 re (.f64 #s(literal 0 binary64) re)) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(fma.f64 im im (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -2 binary64)))))
(fma.f64 im (-.f64 #s(literal 0 binary64) im) (*.f64 re re))
(fma.f64 im (.f64 im #s(literal 2 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 im (.f64 im #s(literal -2 binary64)) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 im (.f64 im #s(literal -2 binary64)) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 im (.f64 im #s(literal -3 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 im (.f64 im #s(literal -3 binary64)) (neg.f64 (-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 re re)) #s(literal 0 binary64))))
(fma.f64 (.f64 im im) #s(literal 2 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im im) #s(literal -3 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 (.f64 im im) #s(literal -3 binary64) (neg.f64 (-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 re re)) #s(literal 0 binary64))))
(fma.f64 (.f64 im im) #s(literal -2 binary64) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im im) #s(literal -2 binary64) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 (.f64 im im) #s(literal -1 binary64) (.f64 re re))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))))
(fma.f64 #s(literal 2 binary64) (.f64 im im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 #s(literal 2 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 #s(literal 2 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)) #s(literal -1 binary64) (.f64 im im))
(fma.f64 #s(literal -3 binary64) (.f64 im im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 #s(literal -3 binary64) (.f64 im im) (neg.f64 (-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 re re)) #s(literal 0 binary64))))
(fma.f64 #s(literal -2 binary64) (.f64 im im) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 #s(literal -2 binary64) (.f64 im im) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 #s(literal -2 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal -1 binary64) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im))))
(fma.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re) (*.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (*.f64 im im))))
(fma.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))))
(fma.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal -1 binary64) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im))))
(fma.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal -1 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal -1 binary64) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) #s(literal -1 binary64) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) im (*.f64 re re))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -2 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 2 binary64)) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 2 binary64)) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal -2 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im #s(literal 2 binary64)) im (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) im) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 (.f64 im #s(literal -2 binary64)) im (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im #s(literal -2 binary64)) im (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 (.f64 im #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im #s(literal -3 binary64)) im (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 (.f64 im #s(literal -3 binary64)) im (neg.f64 (-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 re re)) #s(literal 0 binary64))))
(fma.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal 2 binary64) (+.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal 2 binary64) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im))))
(fma.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal -2 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))))
(fma.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal -1 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))))
(fma.f64 #s(literal -1 binary64) (.f64 im im) (.f64 re re))
(fma.f64 #s(literal -1 binary64) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 re re)) (.f64 im im))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal -2 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -3 binary64)))))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal 2 binary64))) (+.f64 (.f64 re re) (.f64 im im)))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal 2 binary64))) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im))))
(fma.f64 #s(literal -1 binary64) (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 #s(literal -1 binary64) (.f64 re (-.f64 #s(literal 0 binary64) re)) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 #s(literal -1 binary64) (.f64 re (-.f64 #s(literal 0 binary64) re)) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(fma.f64 #s(literal -1 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))))
(fma.f64 #s(literal -1 binary64) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im)) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (+.f64 (.f64 im im) (.f64 re (-.f64 #s(literal 0 binary64) re))) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (-.f64 (.f64 im im) (.f64 re re)) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal -2 binary64))) (+.f64 (.f64 re re) (.f64 im im)))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal -2 binary64))) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im))))
(fma.f64 #s(literal 1 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) im)) (.f64 im #s(literal 2 binary64)) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im))))
(fma.f64 (.f64 #s(literal 1 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im))) #s(literal 2 binary64) (neg.f64 (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im))))
(fma.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) re)) (-.f64 #s(literal 0 binary64) re) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(fma.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) re)) (-.f64 #s(literal 0 binary64) re) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im))))
(fma.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) re)) (-.f64 #s(literal 0 binary64) re) (neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal -3 binary64))))))
(neg.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im))))
(neg.f64 (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im im)))
(neg.f64 (+.f64 (.f64 im im) (.f64 re (-.f64 #s(literal 0 binary64) re))))
(.f64 #s(literal -1 binary64) (+.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (*.f64 im im)))
(.f64 #s(literal -1 binary64) (+.f64 (.f64 im im) (*.f64 re (-.f64 #s(literal 0 binary64) re))))
(.f64 #s(literal -1 binary64) (-.f64 (.f64 im im) (*.f64 re re)))
(+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -3 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (*.f64 re re))
(+.f64 (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -3 binary64)))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -3 binary64)))))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (*.f64 re (-.f64 #s(literal 0 binary64) re)))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im (*.f64 im #s(literal -3 binary64)))))
(fma.f64 re re (.f64 im (.f64 im #s(literal -3 binary64))))
(fma.f64 im (.f64 im #s(literal -3 binary64)) (.f64 re re))
(fma.f64 (.f64 im im) #s(literal -3 binary64) (.f64 re re))
(fma.f64 #s(literal -3 binary64) (.f64 im im) (.f64 re re))
(fma.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re) (.f64 im (.f64 im #s(literal -3 binary64))))
(fma.f64 (.f64 im #s(literal -3 binary64)) im (.f64 re re))
(fma.f64 #s(literal -1 binary64) (.f64 re (-.f64 #s(literal 0 binary64) re)) (.f64 im (*.f64 im #s(literal -3 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 im (*.f64 im #s(literal -3 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal -3 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64))
(fma.f64 im (*.f64 im #s(literal -3 binary64)) #s(literal 0 binary64))
(fma.f64 (*.f64 im im) #s(literal -3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -3 binary64) (*.f64 im im) #s(literal 0 binary64))
(fma.f64 (*.f64 im #s(literal -3 binary64)) im #s(literal 0 binary64))
(.f64 im (.f64 im #s(literal -3 binary64)))
(.f64 (.f64 im im) #s(literal -3 binary64))
(.f64 #s(literal -3 binary64) (.f64 im im))
(.f64 (.f64 im #s(literal -3 binary64)) im)
(+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal 0 binary64))
(+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 (.f64 im #s(literal 2 binary64)) (+.f64 (.f64 im #s(literal 2 binary64)) (.f64 im #s(literal -2 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 (+.f64 (.f64 im #s(literal 2 binary64)) (.f64 im #s(literal -2 binary64))) (.f64 im #s(literal 2 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (.f64 im (*.f64 im #s(literal -2 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 (.f64 im (*.f64 im #s(literal -2 binary64))) #s(literal 2 binary64)))
(+.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal -2 binary64))))
(+.f64 (.f64 #s(literal 2 binary64) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (*.f64 im #s(literal 2 binary64))))
(+.f64 (.f64 #s(literal 2 binary64) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 #s(literal 2 binary64) (.f64 im (.f64 im #s(literal 2 binary64)))))
(+.f64 (.f64 #s(literal 2 binary64) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) (.f64 im (.f64 im #s(literal -3 binary64)))))
(+.f64 (.f64 (.f64 im #s(literal 2 binary64)) #s(literal 0 binary64)) (.f64 im (.f64 im #s(literal -2 binary64))))
(+.f64 (.f64 (.f64 im #s(literal 2 binary64)) (.f64 im #s(literal -3 binary64))) (.f64 (.f64 im #s(literal 2 binary64)) (.f64 im #s(literal 2 binary64))))
(+.f64 (.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal 2 binary64)) (.f64 im (*.f64 im #s(literal 2 binary64))))
(+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 2 binary64)) (.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal 2 binary64)))
(+.f64 (.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal 2 binary64)) (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 2 binary64)))
(+.f64 (.f64 #s(literal 0 binary64) (.f64 im #s(literal 2 binary64))) (.f64 im (.f64 im #s(literal -2 binary64))))
(+.f64 (.f64 (.f64 im #s(literal -3 binary64)) (.f64 im #s(literal 2 binary64))) (.f64 (.f64 im #s(literal 2 binary64)) (.f64 im #s(literal 2 binary64))))
(+.f64 (+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (.f64 im #s(literal 2 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal 2 binary64))))
(-.f64 (+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (.f64 im #s(literal -2 binary64))))
(-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 im (.f64 im #s(literal -2 binary64))))
(fma.f64 im (*.f64 im #s(literal -2 binary64)) #s(literal 0 binary64))
(fma.f64 (*.f64 im im) #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) (*.f64 im im) #s(literal 0 binary64))
(fma.f64 (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (*.f64 im #s(literal 2 binary64)) #s(literal 0 binary64))
(fma.f64 (*.f64 im #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) im) #s(literal 0 binary64))
(fma.f64 (*.f64 im #s(literal -2 binary64)) im #s(literal 0 binary64))
(fma.f64 (*.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal -2 binary64))) #s(literal 0 binary64))
(fma.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) im)) (.f64 im #s(literal 2 binary64)) #s(literal 0 binary64))
(fma.f64 (.f64 #s(literal 1 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im))) #s(literal 2 binary64) #s(literal 0 binary64))
(neg.f64 (.f64 im (.f64 im #s(literal 2 binary64))))
(.f64 im (.f64 im #s(literal -2 binary64)))
(.f64 (.f64 im im) #s(literal -2 binary64))
(.f64 #s(literal 2 binary64) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(.f64 #s(literal -2 binary64) (.f64 im im))
(.f64 (.f64 im (*.f64 im #s(literal -2 binary64))) #s(literal 1 binary64))
(.f64 (.f64 im (*.f64 im #s(literal 2 binary64))) #s(literal -1 binary64))
(.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 2 binary64)))
(.f64 (.f64 im #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) im))
(.f64 (.f64 im #s(literal -2 binary64)) im)
(.f64 (.f64 im (-.f64 #s(literal 0 binary64) im)) #s(literal 2 binary64))
(.f64 #s(literal -1 binary64) (.f64 im (*.f64 im #s(literal 2 binary64))))
(.f64 #s(literal 1 binary64) (.f64 im (*.f64 im #s(literal -2 binary64))))
(.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) im)) (*.f64 im #s(literal 2 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (*.f64 im (-.f64 #s(literal 0 binary64) im))) #s(literal 2 binary64))

simplify184.0ms (6.7%)

Algorithm

1×	egg-herbie

Rules

2412×	`-lowering-.f32`
2412×	`-lowering-.f64`
2388×	`+-lowering-+.f64`
2388×	`+-lowering-+.f32`
1828×	`fnmadd-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	45	1215
1	132	891
2	430	795
3	2291	783
0	8259	783

Stop Event

1×	iter limit
1×	node limit

Counts

168 → 168

Calls

Call 1

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

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

eval119.0ms (4.3%)

Compiler: Compiled 17091 to 1486 computations (91.3% saved)

prune114.0ms (4.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	1132	1	1133
Fresh	0	0	0
Picked	1	3	4
Done	0	1	1
Total	1133	5	1138

Accuracy

100.0%

Counts

1138 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	76.3%	(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -3 binary64))) (.f64 (*.f64 im im) #s(literal -2 binary64)))
✓	94.9%	(-.f64 (.f64 re re) (.f64 im im))
✓	76.6%	(-.f64 (.f64 im im) (-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (.f64 re re)))
✓	53.6%	(*.f64 re re)
▶	54.7%	(neg.f64 (*.f64 im im))

Compiler

Compiled 52 to 30 computations (42.3% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	-64	(neg.f64 (*.f64 im im))
✓	cost-diff	0	(*.f64 im im)

Rules

40×	`sum3-define`
32×	`fma-define`
18×	`fma-lowering-fma.f32`
18×	`fma-lowering-fma.f64`
16×	`+-lowering-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	6
1	11	6
2	15	6
3	21	6
4	35	6
5	53	6
6	62	6
7	75	6
8	99	6
0	99	6

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(neg (* im im))
(* im im)
im

Outputs
(neg (* im im))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* im im)
(*.f64 im im)
im

localize20.0ms (0.7%)

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 im im)
✓	accuracy	100.0%	(neg.f64 (*.f64 im im))

Results

15.0ms

256×

valid

Compiler

Compiled 11 to 5 computations (54.5% saved)

Precisions

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

ival-mult: 2.0ms (52.7% of total)

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

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series0.0ms (0%)

Counts

2 → 24

Calls

Call 1

Inputs
#<alt (* im im)>
#<alt (neg (* im im))>

Outputs
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>

Calls

6 calls:

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

rewrite13.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

40×	`sum3-define`
32×	`fma-define`
18×	`fma-lowering-fma.f32`
18×	`+-lowering-+.f64`
18×	`-lowering-.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	5
1	13	5
2	20	5
3	30	5
4	53	5
5	75	5
6	87	5
7	100	5
8	124	5
0	124	5

Stop Event

1×	iter limit
1×	saturated

Counts

2 → 23

Calls

Call 1

Inputs
(* im im)
(neg (* im im))

Outputs
(+.f64 (*.f64 im im) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 im im))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 im)))
(-.f64 (*.f64 im im) #s(literal 0 binary64))
(fma.f64 im im #s(literal 0 binary64))
(pow.f64 im #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 im))
(*.f64 im im)
(+.f64 (-.f64 #s(literal 0 binary64) (*.f64 im im)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(-.f64 (-.f64 #s(literal 0 binary64) (*.f64 im im)) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(fma.f64 im #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(fma.f64 im (-.f64 #s(literal 0 binary64) im) #s(literal 0 binary64))
(fma.f64 (*.f64 im im) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) im (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(fma.f64 #s(literal -1 binary64) (*.f64 im im) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) im) im #s(literal 0 binary64))
(neg.f64 (*.f64 im im))
(*.f64 im (-.f64 #s(literal 0 binary64) im))
(.f64 (.f64 im im) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 im im))
(*.f64 (-.f64 #s(literal 0 binary64) im) im)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

40×	`sum3-define`
32×	`fma-define`
18×	`fma-lowering-fma.f32`
18×	`fma-lowering-fma.f64`
16×	`+-lowering-+.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	84
1	8	60
2	18	60
3	20	60
4	23	60
5	37	60
6	55	60
7	64	60
8	77	60
9	101	60
0	101	60

Stop Event

1×	iter limit
1×	saturated

Counts

24 → 24

Calls

Call 1

Inputs
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))

Outputs
(pow im 2)
(*.f64 im im)
(pow im 2)
(*.f64 im im)
(pow im 2)
(*.f64 im im)
(pow im 2)
(*.f64 im im)
(pow im 2)
(*.f64 im im)
(pow im 2)
(*.f64 im im)
(pow im 2)
(*.f64 im im)
(pow im 2)
(*.f64 im im)
(pow im 2)
(*.f64 im im)
(pow im 2)
(*.f64 im im)
(pow im 2)
(*.f64 im im)
(pow im 2)
(*.f64 im im)
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))

eval4.0ms (0.2%)

Compiler: Compiled 243 to 39 computations (84% saved)

prune5.0ms (0.2%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	47	5	52

Accuracy

100.0%

Counts

52 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	76.3%	(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -3 binary64))) (.f64 (*.f64 im im) #s(literal -2 binary64)))
✓	94.9%	(-.f64 (.f64 re re) (.f64 im im))
✓	76.6%	(-.f64 (.f64 im im) (-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (.f64 re re)))
✓	53.6%	(*.f64 re re)
✓	54.7%	(neg.f64 (*.f64 im im))

Compiler

Compiled 101 to 48 computations (52.5% saved)

regimes13.0ms (0.5%)

Counts

6 → 2

Calls

Call 1

Inputs
(*.f64 re re)
(neg.f64 (*.f64 im im))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(-.f64 (.f64 re re) (.f64 im im))
(-.f64 (.f64 im im) (-.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) (.f64 re re)))
(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal -3 binary64))) (.f64 (*.f64 im im) #s(literal -2 binary64)))

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

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
97.3%	2	`re`
97.6%	2	`im`
97.6%	2	`(-.f64 (.f64 re re) (.f64 im im))`
97.3%	2	`(*.f64 re re)`
97.6%	2	`(*.f64 im im)`

Compiler

Compiled 25 to 15 computations (40% saved)

regimes7.0ms (0.3%)

Counts

3 → 2

Calls

Call 1

Inputs
(*.f64 re re)
(neg.f64 (*.f64 im im))
(-.f64 #s(literal 0 binary64) (*.f64 im im))

Outputs
(neg.f64 (*.f64 im im))
(*.f64 re re)

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
83.5%	2	`re`
83.5%	2	`(*.f64 re re)`
81.9%	2	`im`
81.9%	2	`(*.f64 im im)`

Compiler

Compiled 16 to 10 computations (37.5% saved)

regimes6.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 re re)

Outputs
(*.f64 re re)

Calls

3 calls:

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

Results

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

bsearch10.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
10.0ms	5.978749015167091e+303	1.8173366313811802e+307

Results

6.0ms

128×

valid

Compiler

Compiled 118 to 81 computations (31.4% saved)

Precisions

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

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

ival-mult: 1.0ms (54.2% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

bsearch10.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
10.0ms	3.2780945627605203e+27	4.911722945844291e+31

Results

6.0ms

128×

valid

Compiler

Compiled 102 to 73 computations (28.4% saved)

Precisions

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

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

ival-mult: 1.0ms (54.3% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
6×	`sub-neg_binary64`
4×	`*-commutative_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	21	33
2	26	33
3	29	33
4	30	33

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 (*.f64 im im) #s(literal 17999999999999999998039114376456216347651344438232275733880796879022611222629344232968210029232637423335228391286240943875841566654515691501851462816306922211711719782044802861424980850817372976047137059473401493851505898263937732639975369729520303573215587786116778968240433833201813024899629905743039168512 binary64)) (-.f64 (*.f64 re re) (*.f64 im im)) (neg.f64 (*.f64 im im)))

(if (<=.f64 (*.f64 re re) #s(literal 169999999999999990714012270592 binary64)) (neg.f64 (*.f64 im im)) (*.f64 re re))

(*.f64 re re)

Outputs
(if (<=.f64 (.f64 im im) #s(literal 17999999999999999998039114376456216347651344438232275733880796879022611222629344232968210029232637423335228391286240943875841566654515691501851462816306922211711719782044802861424980850817372976047137059473401493851505898263937732639975369729520303573215587786116778968240433833201813024899629905743039168512 binary64)) (-.f64 (.f64 re re) (.f64 im im)) (neg.f64 (.f64 im im)))
(if (<=.f64 (.f64 im im) #s(literal 17999999999999999998039114376456216347651344438232275733880796879022611222629344232968210029232637423335228391286240943875841566654515691501851462816306922211711719782044802861424980850817372976047137059473401493851505898263937732639975369729520303573215587786116778968240433833201813024899629905743039168512 binary64)) (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(if (<=.f64 (.f64 re re) #s(literal 169999999999999990714012270592 binary64)) (neg.f64 (.f64 im im)) (*.f64 re re))
(if (<=.f64 (.f64 re re) #s(literal 169999999999999990714012270592 binary64)) (.f64 im (-.f64 #s(literal 0 binary64) im)) (*.f64 re re))
(*.f64 re re)

soundness648.0ms (23.7%)

Rules

2294×	`/-lowering-/.f32`
2294×	`/-lowering-/.f64`
1814×	`sum3-define`
1646×	`sum4-define`
1560×	`-lowering-.f32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	16	50
1	58	49
2	213	43
3	909	41
4	7123	41
0	8457	41
0	17	219
1	40	153
2	122	153
3	505	153
4	1779	153
5	3536	153
6	7715	153
0	8285	153

Stop Event

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

Compiler

Compiled 73 to 38 computations (47.9% saved)

preprocess25.0ms (0.9%)

Remove

(abs im)

(abs re)

Compiler

Compiled 172 to 82 computations (52.3% saved)

math.square on complex, real part

analyze0.0ms (0%)

sample612.0ms (22.4%)

preprocess39.0ms (1.4%)

explain62.0ms (2.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify19.0ms (0.7%)

localize27.0ms (1%)

series2.0ms (0.1%)

rewrite218.0ms (8%)

simplify138.0ms (5.1%)

eval28.0ms (1%)

prune30.0ms (1.1%)

simplify131.0ms (4.8%)

localize84.0ms (3.1%)

series6.0ms (0.2%)

rewrite129.0ms (4.7%)

simplify184.0ms (6.7%)

eval119.0ms (4.3%)

prune114.0ms (4.2%)

simplify5.0ms (0.2%)

localize20.0ms (0.7%)

series0.0ms (0%)

rewrite13.0ms (0.5%)

simplify8.0ms (0.3%)

eval4.0ms (0.2%)

prune5.0ms (0.2%)

regimes13.0ms (0.5%)

regimes7.0ms (0.3%)

regimes6.0ms (0.2%)

bsearch10.0ms (0.4%)

bsearch10.0ms (0.4%)

simplify8.0ms (0.3%)

soundness648.0ms (23.7%)

preprocess25.0ms (0.9%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	14	33
1	55	30
2	124	30
3	273	30
4	543	30
5	693	30
6	717	30
0	5	5
1	14	5
2	23	5
3	36	5
4	57	5
5	118	5
6	203	5
7	361	5
8	567	5
9	771	5
10	897	5
11	911	5
0	911	5

Iter	Nodes	Cost
0	5	11
1	14	11
2	23	11
3	36	11
4	57	11
5	118	11
6	203	11
7	361	11
8	567	11
9	771	11
10	897	11
11	911	11
0	911	11

Iter	Nodes	Cost
0	14	33
1	55	30
2	124	30
3	273	30
4	543	30
5	693	30
6	717	30
0	5	5
1	14	5
2	23	5
3	36	5
4	57	5
5	118	5
6	203	5
7	361	5
8	567	5
9	771	5
10	897	5
11	911	5
0	911	5

Iter	Nodes	Cost
0	5	11
1	14	11
2	23	11
3	36	11
4	57	11
5	118	11
6	203	11
7	361	11
8	567	11
9	771	11
10	897	11
11	911	11
0	911	11

Iter	Nodes	Cost
0	14	33
1	55	30
2	124	30
3	273	30
4	543	30
5	693	30
6	717	30
0	5	5
1	14	5
2	23	5
3	36	5
4	57	5
5	118	5
6	203	5
7	361	5
8	567	5
9	771	5
10	897	5
11	911	5
0	911	5

Iter	Nodes	Cost
0	5	11
1	14	11
2	23	11
3	36	11
4	57	11
5	118	11
6	203	11
7	361	11
8	567	11
9	771	11
10	897	11
11	911	11
0	911	11