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)

sample626.0ms (21.8%)

Results

457.0ms

8256×

valid

Precisions

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

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

ival-sub: 57.0ms (29.3% of total)

const: 8.0ms (4.1% of total)

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

Bogosity

preprocess42.0ms (1.5%)

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)

explain58.0ms (2%)

FPErrors

Click to see full error table

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

Results

39.0ms

512×

valid

Compiler

Compiled 45 to 17 computations (62.2% saved)

Precisions

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

ival-mult: 10.0ms (76.1% of total)

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

const: 1.0ms (7.6% 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
▶	93.0%	(-.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 9 to 5 computations (44.4% saved)

simplify22.0ms (0.8%)

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

localize28.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	93.9%	(-.f64 (.f64 re re) (.f64 im im))

Results

22.0ms

256×

valid

Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions

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

ival-mult: 4.0ms (74.3% of total)

ival-sub: 1.0ms (18.6% 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))

rewrite230.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))))

simplify142.0ms (4.9%)

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)

eval30.0ms (1.1%)

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

prune30.0ms (1.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	284	3	287
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	284	4	288

Accuracy

100.0%

Counts

288 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	73.7%	(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 im (*.f64 im #s(literal 3 binary64))))
✓	93.0%	(-.f64 (.f64 re re) (.f64 im im))
▶	55.5%	(-.f64 #s(literal 0 binary64) (*.f64 im im))
▶	50.5%	(*.f64 re re)

Compiler

Compiled 38 to 24 computations (36.8% saved)

simplify136.0ms (4.7%)

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

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

Rules

1578×	`-lowering-.f32`
1578×	`-lowering-.f64`
1528×	`+-lowering-+.f64`
1528×	`+-lowering-+.f32`
1492×	`sum5-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	48
1	34	42
2	87	41
3	170	40
4	338	40
5	1401	40
6	4041	40
7	7265	40
0	8011	40

Stop Event

1×	iter limit
1×	node limit

Calls

Call 1

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

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

localize61.0ms (2.1%)

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 im #s(literal 3 binary64))
✓	accuracy	100.0%	(.f64 (.f64 im im) #s(literal 2 binary64))
✓	accuracy	99.8%	(.f64 im (.f64 im #s(literal 3 binary64)))
✓	accuracy	74.8%	(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 im (*.f64 im #s(literal 3 binary64))))
✓	accuracy	100.0%	(-.f64 #s(literal 0 binary64) (*.f64 im im))
✓	accuracy	100.0%	(*.f64 im im)
✓	accuracy	100.0%	(*.f64 re re)

Results

45.0ms

256×

valid

Compiler

Compiled 64 to 14 computations (78.1% saved)

Precisions

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

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

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

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

const: 1.0ms (7.8% of total)

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

series4.0ms (0.1%)

Counts

8 → 120

Calls

Call 1

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

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

Calls

30 calls:

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

rewrite167.0ms (5.8%)

Algorithm

1×	batch-egg-rewrite

Rules

2126×	`fma-define`
1606×	`prod-diff`
1454×	`+-lowering-+.f64`
1454×	`+-lowering-+.f32`
1364×	`--lowering--.f32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	37
1	36	31
2	114	30
3	279	29
4	1048	29
5	3637	29
0	8486	29

Stop Event

1×	iter limit
1×	node limit

Counts

8 → 494

Calls

Call 1

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

Outputs
(+.f64 (*.f64 re re) #s(literal 0 binary64))
(+.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 3 binary64)))))
(+.f64 #s(literal 0 binary64) (*.f64 re re))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 im (*.f64 im #s(literal 3 binary64))))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 binary64)))) (.f64 im (*.f64 im #s(literal -3 binary64))))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 re)))
(-.f64 (*.f64 re re) #s(literal 0 binary64))
(-.f64 (.f64 im (.f64 im #s(literal -3 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 (-.f64 #s(literal 0 binary64) (.f64 re re)) (.f64 im (*.f64 im #s(literal 3 binary64)))))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 re re)))
(-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 im (*.f64 im #s(literal -3 binary64))))
(-.f64 (+.f64 (.f64 re re) (.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 re re) (.f64 im (.f64 im #s(literal 3 binary64)))) (.f64 im (*.f64 im #s(literal 3 binary64))))
(fma.f64 im (.f64 im #s(literal -3 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 binary64)))))
(fma.f64 im #s(literal 0 binary64) (*.f64 re re))
(fma.f64 (.f64 im im) #s(literal 0 binary64) (.f64 re re))
(fma.f64 (.f64 im im) #s(literal -3 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 binary64)))))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) (*.f64 re re))
(fma.f64 #s(literal 3 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 binary64)))))
(fma.f64 #s(literal 3 binary64) #s(literal 0 binary64) (*.f64 re re))
(fma.f64 (.f64 im #s(literal 3 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)) #s(literal 0 binary64) (.f64 re re))
(fma.f64 (.f64 im (.f64 im #s(literal 3 binary64))) #s(literal -1 binary64) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 3 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 3 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) #s(literal 3 binary64) (+.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 3 binary64)))))
(fma.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (*.f64 re re))
(fma.f64 #s(literal -3 binary64) (.f64 im im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 binary64)))))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 3 binary64)))))
(fma.f64 #s(literal -1 binary64) (-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 re re)) (.f64 im (*.f64 im #s(literal 3 binary64))))
(fma.f64 re re #s(literal 0 binary64))
(neg.f64 (-.f64 #s(literal 0 binary64) (*.f64 re re)))
(pow.f64 re #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 re))
(.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (.f64 re re)))
(*.f64 re re)
(*.f64 re (neg.f64 (-.f64 #s(literal 0 binary64) re)))
(*.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re))
(.f64 #s(literal 1 binary64) (.f64 re re))
(*.f64 (neg.f64 (-.f64 #s(literal 0 binary64) re)) re)
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 im (.f64 im #s(literal -4 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (.f64 im (.f64 im #s(literal 2 binary64))))
(+.f64 (-.f64 #s(literal 0 binary64) (*.f64 im im)) #s(literal 0 binary64))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (fma.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 1 binary64) (.f64 im (*.f64 im #s(literal 3 binary64)))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (neg.f64 (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (neg.f64 (+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal 2 binary64))))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 #s(literal -1 binary64) (+.f64 (.f64 (.f64 im (*.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 (+.f64 (.f64 (.f64 im (*.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)) #s(literal -1 binary64)))
(+.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(+.f64 (.f64 im (.f64 im #s(literal -4 binary64))) (.f64 im (.f64 im #s(literal 3 binary64))))
(+.f64 (.f64 (.f64 im im) #s(literal -7 binary64)) (.f64 im (.f64 im #s(literal 6 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal 8 binary64))) (.f64 im (.f64 im #s(literal -9 binary64))))
(+.f64 (.f64 (.f64 im #s(literal -4 binary64)) im) (.f64 im (.f64 im #s(literal 3 binary64))))
(+.f64 (.f64 (.f64 im #s(literal 8 binary64)) im) (.f64 im (.f64 im #s(literal -9 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 (.f64 im im) #s(literal 4 binary64)))
(-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal -4 binary64)))))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (.f64 im (.f64 im #s(literal -2 binary64))))
(-.f64 (-.f64 #s(literal 0 binary64) (*.f64 im im)) #s(literal 0 binary64))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(-.f64 (.f64 im (.f64 im #s(literal 6 binary64))) (-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 im (.f64 im #s(literal -4 binary64)))))
(-.f64 (.f64 im (.f64 im #s(literal -4 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal 8 binary64))) (.f64 (.f64 im #s(literal 3 binary64)) (*.f64 im #s(literal 3 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal 8 binary64))) (.f64 (.f64 im im) #s(literal 9 binary64)))
(-.f64 (.f64 (.f64 im im) #s(literal 5 binary64)) (.f64 im (.f64 im #s(literal 6 binary64))))
(-.f64 (+.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (.f64 (.f64 im im) #s(literal 5 binary64))) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (+.f64 (.f64 im (.f64 im #s(literal -4 binary64))) (.f64 im (.f64 im #s(literal 6 binary64)))) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (+.f64 (.f64 (.f64 im im) #s(literal -7 binary64)) (.f64 im (.f64 im #s(literal 3 binary64)))) (.f64 im (.f64 im #s(literal -3 binary64))))
(-.f64 (+.f64 (.f64 (.f64 im im) #s(literal -7 binary64)) (.f64 (.f64 im im) #s(literal 12 binary64))) (.f64 im (.f64 im #s(literal 6 binary64))))
(-.f64 (+.f64 (.f64 (.f64 im im) #s(literal -7 binary64)) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 im (.f64 im #s(literal -9 binary64))))
(fma.f64 im (.f64 im #s(literal 3 binary64)) (.f64 im (*.f64 im #s(literal -4 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 -3 binary64)) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 im #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(fma.f64 im (.f64 im #s(literal -4 binary64)) (.f64 im (*.f64 im #s(literal 3 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 -4 binary64))))
(fma.f64 (.f64 im im) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(fma.f64 (.f64 im im) #s(literal -3 binary64) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 (*.f64 im im) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (.f64 im im) #s(literal -4 binary64) (.f64 im (*.f64 im #s(literal 3 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 im im) (.f64 im (*.f64 im #s(literal -3 binary64))))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(fma.f64 #s(literal 3 binary64) (.f64 im im) (.f64 im (*.f64 im #s(literal -4 binary64))))
(fma.f64 #s(literal 3 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 #s(literal 3 binary64) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(fma.f64 (.f64 im #s(literal 3 binary64)) im (.f64 im (*.f64 im #s(literal -4 binary64))))
(fma.f64 (.f64 im #s(literal 3 binary64)) (-.f64 #s(literal 0 binary64) im) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 (.f64 im #s(literal 3 binary64)) #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(fma.f64 (.f64 im (.f64 im #s(literal 3 binary64))) #s(literal -1 binary64) (.f64 im (.f64 im #s(literal 2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) im #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 3 binary64)) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 #s(literal 4 binary64) im) (.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 #s(literal 0 binary64) (.f64 im im)) #s(literal 3 binary64) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 (.f64 im #s(literal -3 binary64)) im (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 #s(literal 0 binary64) im (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(fma.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(fma.f64 #s(literal -3 binary64) (.f64 im im) (.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 3 binary64))) (.f64 im (.f64 im #s(literal 2 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 im im) #s(literal 4 binary64)) (.f64 im (.f64 im #s(literal 3 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 im (.f64 im #s(literal -4 binary64))))
(fma.f64 #s(literal 4 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 im (*.f64 im #s(literal 3 binary64))))
(neg.f64 (*.f64 im im))
(*.f64 im (-.f64 #s(literal 0 binary64) im))
(.f64 im (+.f64 (.f64 im #s(literal 3 binary64)) (*.f64 im #s(literal -4 binary64))))
(.f64 (.f64 im im) #s(literal -1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) im) im)
(.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 im im))
(+.f64 (*.f64 im im) #s(literal 0 binary64))
(+.f64 (.f64 im im) (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(+.f64 (.f64 im im) (+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.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))) (neg.f64 (.f64 im (.f64 im #s(literal -4 binary64)))))
(+.f64 #s(literal 0 binary64) (*.f64 im im))
(+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal 3 binary64))))
(+.f64 (.f64 (.f64 im im) #s(literal 4 binary64)) (.f64 im (.f64 im #s(literal -3 binary64))))
(+.f64 (neg.f64 (.f64 im (.f64 im #s(literal -4 binary64)))) (.f64 im (.f64 im #s(literal -3 binary64))))
(+.f64 (neg.f64 (.f64 (.f64 im im) #s(literal -7 binary64))) (.f64 im (.f64 im #s(literal -6 binary64))))
(+.f64 (neg.f64 (.f64 im (.f64 im #s(literal 8 binary64)))) (neg.f64 (.f64 im (.f64 im #s(literal -9 binary64)))))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 im)))
(-.f64 (*.f64 im im) #s(literal 0 binary64))
(-.f64 (.f64 im im) (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(-.f64 (.f64 im im) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.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 im (.f64 im #s(literal -4 binary64))))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(-.f64 (.f64 im (.f64 im #s(literal 6 binary64))) (.f64 (.f64 im im) #s(literal 5 binary64)))
(-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))
(-.f64 (.f64 (.f64 im im) #s(literal 4 binary64)) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (+.f64 #s(literal 0 binary64) (.f64 (.f64 im im) #s(literal 4 binary64))) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (-.f64 #s(literal 0 binary64) (.f64 im im))) (.f64 im (*.f64 im #s(literal 3 binary64))))
(-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal 3 binary64)))) (.f64 im (.f64 im #s(literal -6 binary64))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal -4 binary64)))) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal 6 binary64)))) (.f64 im (.f64 im #s(literal -9 binary64))))
(-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal -9 binary64)))) (.f64 im (.f64 im #s(literal 6 binary64))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im im) #s(literal -7 binary64))) (.f64 im (.f64 im #s(literal 6 binary64))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal 8 binary64)))) (.f64 im (.f64 im #s(literal -9 binary64))))
(-.f64 (-.f64 (.f64 (.f64 im im) #s(literal 4 binary64)) (.f64 im (.f64 im #s(literal 6 binary64)))) (.f64 im (.f64 im #s(literal -3 binary64))))
(-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 (.f64 im im) #s(literal -12 binary64))) (.f64 (.f64 im im) #s(literal 9 binary64)))
(-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 (.f64 im (.f64 im #s(literal -4 binary64))) #s(literal 3 binary64))) (.f64 (*.f64 im im) #s(literal 9 binary64)))
(-.f64 (-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 (.f64 im im) #s(literal 5 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))
(fma.f64 im im #s(literal 0 binary64))
(fma.f64 im im (+.f64 (.f64 (.f64 im (*.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(fma.f64 im im (+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 im (.f64 im #s(literal 3 binary64)) (.f64 im (*.f64 im #s(literal -2 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 1 binary64) #s(literal 0 binary64))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(fma.f64 #s(literal 3 binary64) (.f64 im im) (.f64 im (*.f64 im #s(literal -2 binary64))))
(fma.f64 (.f64 im #s(literal 3 binary64)) im (.f64 im (*.f64 im #s(literal -2 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 im (.f64 im #s(literal -2 binary64))))
(neg.f64 (-.f64 #s(literal 0 binary64) (*.f64 im 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 #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 (.f64 re re) (-.f64 #s(literal 0 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 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 im (*.f64 im #s(literal -3 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -4 binary64)))))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (-.f64 #s(literal 0 binary64) (.f64 #s(literal 0 binary64) (.f64 re re))))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 (-.f64 #s(literal 0 binary64) re)) re (-.f64 #s(literal 0 binary64) (*.f64 re re))))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) (*.f64 re re))))
(+.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 im (.f64 im #s(literal -2 binary64))) (.f64 re re)) #s(literal -1 binary64)))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 re re))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 (-.f64 #s(literal 0 binary64) (*.f64 re re)) #s(literal -1 binary64)))
(+.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im)))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 im (*.f64 im #s(literal 2 binary64))))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) (neg.f64 (+.f64 (.f64 #s(literal 0 binary64) (.f64 re re)) (.f64 im (*.f64 im #s(literal -2 binary64))))))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal -2 binary64)))))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 #s(literal -1 binary64) (+.f64 (.f64 #s(literal 0 binary64) (.f64 re re)) (.f64 im (.f64 im #s(literal -2 binary64))))))
(+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -4 binary64)))) (.f64 im (*.f64 im #s(literal 3 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal -4 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 3 binary64)))))
(+.f64 (+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 im (.f64 im #s(literal -9 binary64)))) (.f64 im (*.f64 im #s(literal 6 binary64))))
(+.f64 (-.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal -9 binary64)))) (.f64 im (.f64 im #s(literal -9 binary64))))
(+.f64 (fma.f64 im (.f64 im #s(literal -3 binary64)) (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) #s(literal -1 binary64)))) (fma.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 (fma.f64 (.f64 im im) #s(literal -3 binary64) (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) #s(literal -1 binary64)))) (fma.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 (fma.f64 #s(literal 3 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) #s(literal -1 binary64)))) (fma.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 (fma.f64 (.f64 im #s(literal 3 binary64)) (-.f64 #s(literal 0 binary64) im) (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) #s(literal -1 binary64)))) (fma.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 (fma.f64 (.f64 im (.f64 im #s(literal 3 binary64))) #s(literal -1 binary64) (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) #s(literal -1 binary64)))) (fma.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 (fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 3 binary64)) (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) #s(literal -1 binary64)))) (fma.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 (fma.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) #s(literal 3 binary64) (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) #s(literal -1 binary64)))) (fma.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 (fma.f64 (.f64 im #s(literal -3 binary64)) im (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) #s(literal -1 binary64)))) (fma.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 (fma.f64 #s(literal -3 binary64) (.f64 im im) (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) #s(literal -1 binary64)))) (fma.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 (fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) #s(literal -1 binary64)))) (fma.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 (fma.f64 im (-.f64 #s(literal 0 binary64) im) (neg.f64 (.f64 (.f64 re re) #s(literal -1 binary64)))) (fma.f64 (-.f64 #s(literal 0 binary64) (.f64 re re)) #s(literal -1 binary64) (.f64 (*.f64 re re) #s(literal -1 binary64))))
(+.f64 (fma.f64 (.f64 im im) #s(literal -1 binary64) (neg.f64 (.f64 (.f64 re re) #s(literal -1 binary64)))) (fma.f64 (-.f64 #s(literal 0 binary64) (.f64 re re)) #s(literal -1 binary64) (.f64 (.f64 re re) #s(literal -1 binary64))))
(+.f64 (fma.f64 (-.f64 #s(literal 0 binary64) im) im (neg.f64 (.f64 (.f64 re re) #s(literal -1 binary64)))) (fma.f64 (-.f64 #s(literal 0 binary64) (.f64 re re)) #s(literal -1 binary64) (.f64 (*.f64 re re) #s(literal -1 binary64))))
(+.f64 (fma.f64 #s(literal -1 binary64) (.f64 im im) (neg.f64 (.f64 (.f64 re re) #s(literal -1 binary64)))) (fma.f64 (-.f64 #s(literal 0 binary64) (.f64 re re)) #s(literal -1 binary64) (.f64 (.f64 re re) #s(literal -1 binary64))))
(+.f64 (.f64 (-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 re re)) #s(literal -1 binary64)) (.f64 (.f64 im (*.f64 im #s(literal -2 binary64))) #s(literal -1 binary64)))
(+.f64 (.f64 (-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 re re)) #s(literal -1 binary64)) (.f64 (+.f64 (.f64 #s(literal 0 binary64) (.f64 re re)) (.f64 im (*.f64 im #s(literal -2 binary64)))) #s(literal -1 binary64)))
(+.f64 (.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 re re)) #s(literal -1 binary64)) (.f64 im (.f64 im #s(literal -3 binary64))))
(+.f64 (.f64 (-.f64 (.f64 im im) (*.f64 re re)) #s(literal -1 binary64)) #s(literal 0 binary64))
(-.f64 (.f64 re re) (.f64 im im))
(-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (*.f64 re re)))
(-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 im (*.f64 im #s(literal 3 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (-.f64 (.f64 im im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64))))))
(-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -4 binary64))))))
(-.f64 (-.f64 (.f64 re re) (.f64 im im)) #s(literal 0 binary64))
(-.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 #s(literal 0 binary64) (.f64 re re)))
(-.f64 (-.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 (.f64 im (*.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(-.f64 (-.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal 2 binary64)))))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (*.f64 re re)))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (-.f64 #s(literal 0 binary64) (.f64 re re)))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 im im) (.f64 re re)))
(-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 im (*.f64 im #s(literal -2 binary64))))
(-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) (+.f64 (.f64 #s(literal 0 binary64) (.f64 re re)) (.f64 im (*.f64 im #s(literal -2 binary64)))))
(-.f64 (.f64 im (.f64 im #s(literal 6 binary64))) (-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -4 binary64))))))
(-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -4 binary64)))) (.f64 im (*.f64 im #s(literal -3 binary64))))
(-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 binary64)))) (.f64 (*.f64 im im) #s(literal 4 binary64)))
(-.f64 (.f64 (.f64 im im) #s(literal 5 binary64)) (-.f64 (-.f64 #s(literal 0 binary64) (.f64 re re)) (.f64 im (*.f64 im #s(literal -6 binary64)))))
(-.f64 (.f64 (.f64 im im) #s(literal 5 binary64)) (-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (+.f64 (.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 -9 binary64)))) (.f64 (.f64 im #s(literal 3 binary64)) (*.f64 im #s(literal 3 binary64))))
(-.f64 (-.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal -9 binary64)))) (.f64 (.f64 im im) #s(literal 9 binary64)))
(-.f64 (+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64))))) (.f64 im (*.f64 im #s(literal 6 binary64))))
(-.f64 (+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (-.f64 (.f64 re re) (.f64 im im))) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 (.f64 im im) #s(literal 5 binary64))) (.f64 im (*.f64 im #s(literal 3 binary64))))
(-.f64 (+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -4 binary64)))) (.f64 im (.f64 im #s(literal 6 binary64)))) (.f64 im (*.f64 im #s(literal 3 binary64))))
(-.f64 (+.f64 (+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 im (.f64 im #s(literal -9 binary64)))) (.f64 im (.f64 im #s(literal 3 binary64)))) (.f64 im (*.f64 im #s(literal -3 binary64))))
(-.f64 (+.f64 (+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 im (.f64 im #s(literal -9 binary64)))) (.f64 (.f64 im im) #s(literal 12 binary64))) (.f64 im (*.f64 im #s(literal 6 binary64))))
(-.f64 (+.f64 (+.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 im (.f64 im #s(literal -9 binary64)))) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 im (*.f64 im #s(literal -9 binary64))))
(-.f64 (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 #s(literal 0 binary64) (.f64 re re))) (-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (*.f64 re re)))
(-.f64 (-.f64 (-.f64 (.f64 re re) (.f64 im im)) (-.f64 #s(literal 0 binary64) (.f64 re re))) (.f64 re re))
(fma.f64 im (.f64 im #s(literal 3 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -4 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 -3 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 im #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im)))
(fma.f64 im (.f64 im #s(literal -4 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 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 -4 binary64)))))
(fma.f64 (.f64 im im) #s(literal 0 binary64) (-.f64 (.f64 re re) (*.f64 im im)))
(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 -1 binary64) (.f64 re re))
(fma.f64 (.f64 im im) #s(literal -4 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 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 3 binary64) (.f64 im im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -4 binary64)))))
(fma.f64 #s(literal 3 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 #s(literal 3 binary64) #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im)))
(fma.f64 (.f64 im #s(literal 3 binary64)) im (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal -4 binary64)))))
(fma.f64 (.f64 im #s(literal 3 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 3 binary64)) #s(literal 0 binary64) (-.f64 (.f64 re re) (*.f64 im im)))
(fma.f64 (.f64 im (.f64 im #s(literal 3 binary64))) #s(literal -1 binary64) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) im (*.f64 re re))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 3 binary64)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 #s(literal 4 binary64) im) (+.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 #s(literal 0 binary64) (.f64 im im)) #s(literal 3 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 (.f64 im #s(literal -3 binary64)) im (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(fma.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (-.f64 (.f64 re re) (.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 -1 binary64) (.f64 im im) (.f64 re re))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 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 (.f64 im im) (.f64 re re)) (-.f64 #s(literal 0 binary64) (.f64 #s(literal 0 binary64) (.f64 re re))))
(fma.f64 #s(literal -1 binary64) (-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 re re)) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 im im) #s(literal 4 binary64)) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 3 binary64)))))
(fma.f64 re re (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal -4 binary64)))))
(fma.f64 #s(literal 4 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 binary64)))))
(neg.f64 (-.f64 (.f64 im im) (.f64 re re)))
(.f64 #s(literal -1 binary64) (-.f64 (.f64 im im) (*.f64 re re)))
(+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64))))
(+.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)))) #s(literal 0 binary64))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal 3 binary64))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 binary64)))))
(+.f64 #s(literal 0 binary64) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))))
(+.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal 6 binary64)))) (.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 2 binary64))) (-.f64 #s(literal 0 binary64) (*.f64 re re)))
(-.f64 (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 2 binary64)))) #s(literal 0 binary64))
(-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (-.f64 (.f64 im im) (.f64 re re)))
(-.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal -3 binary64))))
(-.f64 (-.f64 (.f64 re re) (.f64 im im)) (-.f64 (.f64 #s(literal 0 binary64) (.f64 re re)) (.f64 im (.f64 im #s(literal 3 binary64)))))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (-.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 re re)) (.f64 im (*.f64 im #s(literal 3 binary64)))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 binary64))))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (-.f64 (-.f64 #s(literal 0 binary64) (.f64 re re)) (.f64 im (.f64 im #s(literal 3 binary64)))))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (*.f64 re re)))
(-.f64 (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 binary64)))) (.f64 im im))
(-.f64 (.f64 (.f64 im im) #s(literal 5 binary64)) (-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (*.f64 re re)))
(-.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal 6 binary64)))) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 5 binary64))) (.f64 im (*.f64 im #s(literal 3 binary64))))
(-.f64 (+.f64 (+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im #s(literal 6 binary64)))) #s(literal 0 binary64)) (.f64 im (.f64 im #s(literal 3 binary64))))
(fma.f64 im (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 3 binary64)))))
(fma.f64 im (.f64 im #s(literal 2 binary64)) (.f64 re re))
(fma.f64 (.f64 im im) #s(literal 2 binary64) (.f64 re re))
(fma.f64 (.f64 im im) #s(literal -1 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 binary64)))))
(fma.f64 #s(literal 2 binary64) (.f64 im im) (.f64 re re))
(fma.f64 (-.f64 #s(literal 0 binary64) im) im (+.f64 (.f64 re re) (.f64 im (*.f64 im #s(literal 3 binary64)))))
(fma.f64 (.f64 im #s(literal 2 binary64)) im (.f64 re re))
(fma.f64 #s(literal -1 binary64) (.f64 im im) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 3 binary64)))))
(fma.f64 #s(literal -1 binary64) (-.f64 (.f64 im im) (.f64 re re)) (.f64 im (.f64 im #s(literal 3 binary64))))
(fma.f64 re re (.f64 im (.f64 im #s(literal 2 binary64))))
(neg.f64 (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (*.f64 re re)))
(.f64 #s(literal -1 binary64) (-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 re re)))
(.f64 #s(literal 1 binary64) (+.f64 (.f64 re re) (.f64 im (.f64 im #s(literal 2 binary64)))))
(+.f64 (.f64 im im) (.f64 im im))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal 0 binary64))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (fma.f64 #s(literal 1 binary64) (.f64 im im) (-.f64 #s(literal 0 binary64) (.f64 im im))))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (fma.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) (*.f64 im im))))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (fma.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im))))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64)))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 im (*.f64 im #s(literal 3 binary64))))
(+.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal 2 binary64))))
(+.f64 (.f64 (.f64 im im) #s(literal 5 binary64)) (.f64 im (.f64 im #s(literal -3 binary64))))
(-.f64 (.f64 im im) (-.f64 #s(literal 0 binary64) (.f64 im 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 (.f64 im (*.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (+.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal 2 binary64)))))
(-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (*.f64 im im))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 im (*.f64 im #s(literal -3 binary64))))
(-.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal -2 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal 6 binary64))) (-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (-.f64 #s(literal 0 binary64) (*.f64 im im))))
(-.f64 (.f64 im (.f64 im #s(literal -2 binary64))) (.f64 im (.f64 im #s(literal -4 binary64))))
(-.f64 (.f64 (.f64 im im) #s(literal 5 binary64)) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 im im) #s(literal 4 binary64)) (.f64 im (.f64 im #s(literal 2 binary64))))
(-.f64 (-.f64 (.f64 im im) (.f64 im (.f64 im #s(literal 2 binary64)))) (.f64 im (*.f64 im #s(literal -3 binary64))))
(-.f64 (+.f64 (.f64 im im) (.f64 (.f64 im im) #s(literal 4 binary64))) (.f64 im (*.f64 im #s(literal 3 binary64))))
(-.f64 (+.f64 (.f64 im im) (.f64 im (.f64 im #s(literal -2 binary64)))) (.f64 im (*.f64 im #s(literal -3 binary64))))
(-.f64 (+.f64 #s(literal 0 binary64) (.f64 (.f64 im im) #s(literal 5 binary64))) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (+.f64 (.f64 (.f64 im im) #s(literal 5 binary64)) #s(literal 0 binary64)) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (-.f64 (.f64 im im) (.f64 im (.f64 im #s(literal -4 binary64)))) (.f64 im (*.f64 im #s(literal 3 binary64))))
(-.f64 (-.f64 (.f64 im im) (.f64 (.f64 im im) #s(literal -7 binary64))) (.f64 im (*.f64 im #s(literal 6 binary64))))
(-.f64 (-.f64 (.f64 im im) (.f64 im (.f64 im #s(literal 8 binary64)))) (.f64 im (*.f64 im #s(literal -9 binary64))))
(fma.f64 im im (*.f64 im im))
(fma.f64 im (.f64 im #s(literal 3 binary64)) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(fma.f64 im (-.f64 #s(literal 0 binary64) im) (.f64 im (.f64 im #s(literal 3 binary64))))
(fma.f64 im (*.f64 im #s(literal 2 binary64)) #s(literal 0 binary64))
(fma.f64 im #s(literal 0 binary64) (.f64 im (.f64 im #s(literal 2 binary64))))
(fma.f64 (*.f64 im im) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (.f64 im im) #s(literal 3 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(fma.f64 (.f64 im im) #s(literal 0 binary64) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 (.f64 im im) #s(literal -1 binary64) (.f64 im (*.f64 im #s(literal 3 binary64))))
(fma.f64 #s(literal 2 binary64) (*.f64 im im) #s(literal 0 binary64))
(fma.f64 #s(literal 3 binary64) (.f64 im im) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(fma.f64 #s(literal 3 binary64) #s(literal 0 binary64) (.f64 im (.f64 im #s(literal 2 binary64))))
(fma.f64 (.f64 im #s(literal 3 binary64)) im (-.f64 #s(literal 0 binary64) (.f64 im im)))
(fma.f64 (.f64 im #s(literal 3 binary64)) #s(literal 0 binary64) (.f64 im (*.f64 im #s(literal 2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) im (.f64 im (.f64 im #s(literal 3 binary64))))
(fma.f64 (*.f64 im #s(literal 2 binary64)) im #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 im (.f64 im #s(literal 2 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 im im) (.f64 im (*.f64 im #s(literal 3 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(neg.f64 (.f64 im (.f64 im #s(literal -2 binary64))))
(.f64 im (.f64 im #s(literal 2 binary64)))
(.f64 im (+.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 3 binary64))))
(.f64 (.f64 im im) #s(literal 2 binary64))
(.f64 #s(literal 2 binary64) (.f64 im im))
(.f64 (.f64 im #s(literal 2 binary64)) im)
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) #s(literal 0 binary64))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (+.f64 (.f64 (.f64 im (*.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (fma.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 1 binary64) (.f64 im (.f64 im #s(literal 3 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 #s(literal 3 binary64) (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 #s(literal 1 binary64) (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 #s(literal 0 binary64) (.f64 im #s(literal -3 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (*.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) im)))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)) #s(literal 3 binary64)))
(+.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)) #s(literal 1 binary64)))
(+.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (.f64 im (.f64 im #s(literal 6 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (neg.f64 (.f64 im (.f64 im #s(literal -6 binary64)))))
(+.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal 3 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal -9 binary64))) (.f64 #s(literal -3 binary64) (.f64 im (*.f64 im #s(literal -4 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal -9 binary64))) (.f64 (.f64 im (*.f64 im #s(literal -4 binary64))) #s(literal -3 binary64)))
(+.f64 (.f64 im (.f64 im #s(literal 6 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal -6 binary64))) (neg.f64 (.f64 im (.f64 im #s(literal -9 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal -6 binary64))) (.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal -9 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal -6 binary64))) (.f64 #s(literal -3 binary64) (.f64 im (*.f64 im #s(literal -3 binary64)))))
(+.f64 (.f64 im (.f64 im #s(literal -6 binary64))) (.f64 (.f64 im #s(literal -3 binary64)) (*.f64 im #s(literal -3 binary64))))
(+.f64 (.f64 im (.f64 im #s(literal -6 binary64))) (.f64 (.f64 im (*.f64 im #s(literal -3 binary64))) #s(literal -3 binary64)))
(+.f64 (.f64 im (.f64 im #s(literal -6 binary64))) (.f64 (.f64 im #s(literal -9 binary64)) (-.f64 #s(literal 0 binary64) im)))
(+.f64 (neg.f64 (.f64 im (.f64 im #s(literal -9 binary64)))) (.f64 im (.f64 im #s(literal -6 binary64))))
(+.f64 (.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal -9 binary64))) (.f64 im (.f64 im #s(literal -6 binary64))))
(+.f64 (.f64 #s(literal -3 binary64) (.f64 im (.f64 im #s(literal -3 binary64)))) (.f64 im (*.f64 im #s(literal -6 binary64))))
(+.f64 (.f64 (.f64 im #s(literal -3 binary64)) (.f64 im #s(literal -3 binary64))) (.f64 im (*.f64 im #s(literal -6 binary64))))
(+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal -3 binary64)) (.f64 im (*.f64 im #s(literal -6 binary64))))
(+.f64 (.f64 (.f64 im #s(literal -9 binary64)) (-.f64 #s(literal 0 binary64) im)) (.f64 im (.f64 im #s(literal -6 binary64))))
(+.f64 (neg.f64 (.f64 im (.f64 im #s(literal -6 binary64)))) (.f64 im (.f64 im #s(literal -3 binary64))))
(+.f64 (neg.f64 (.f64 (.f64 im im) #s(literal -12 binary64))) (.f64 im (.f64 im #s(literal -9 binary64))))
(+.f64 (neg.f64 (.f64 (.f64 im (.f64 im #s(literal -4 binary64))) #s(literal 3 binary64))) (.f64 im (*.f64 im #s(literal -9 binary64))))
(+.f64 (.f64 (.f64 im #s(literal -3 binary64)) (.f64 im #s(literal -4 binary64))) (.f64 im (*.f64 im #s(literal -9 binary64))))
(+.f64 (.f64 (.f64 im #s(literal -3 binary64)) (.f64 im #s(literal 8 binary64))) (.f64 (.f64 im #s(literal -3 binary64)) (.f64 im #s(literal -9 binary64))))
(+.f64 (.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal -6 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))
(+.f64 (.f64 #s(literal -3 binary64) (.f64 im (.f64 im #s(literal -4 binary64)))) (.f64 im (*.f64 im #s(literal -9 binary64))))
(+.f64 (.f64 #s(literal -3 binary64) (.f64 (.f64 im im) #s(literal -7 binary64))) (.f64 #s(literal -3 binary64) (.f64 im (.f64 im #s(literal 6 binary64)))))
(+.f64 (.f64 #s(literal -3 binary64) (.f64 im (.f64 im #s(literal 8 binary64)))) (.f64 #s(literal -3 binary64) (.f64 im (.f64 im #s(literal -9 binary64)))))
(+.f64 (.f64 #s(literal 0 binary64) (.f64 im #s(literal -3 binary64))) (.f64 im (.f64 im #s(literal 3 binary64))))
(+.f64 (.f64 (.f64 im #s(literal -4 binary64)) (.f64 im #s(literal -3 binary64))) (.f64 im (*.f64 im #s(literal -9 binary64))))
(+.f64 (.f64 (.f64 im #s(literal 8 binary64)) (.f64 im #s(literal -3 binary64))) (.f64 (.f64 im #s(literal -9 binary64)) (.f64 im #s(literal -3 binary64))))
(+.f64 (.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) im)) (.f64 im (*.f64 im #s(literal 3 binary64))))
(+.f64 (.f64 (.f64 im #s(literal -6 binary64)) (-.f64 #s(literal 0 binary64) im)) (.f64 im (.f64 im #s(literal -3 binary64))))
(+.f64 (.f64 (.f64 im (.f64 im #s(literal -4 binary64))) #s(literal -3 binary64)) (.f64 im (*.f64 im #s(literal -9 binary64))))
(+.f64 (.f64 (.f64 (.f64 im im) #s(literal -7 binary64)) #s(literal -3 binary64)) (.f64 (.f64 im (.f64 im #s(literal 6 binary64))) #s(literal -3 binary64)))
(+.f64 (.f64 (.f64 im (.f64 im #s(literal 8 binary64))) #s(literal -3 binary64)) (.f64 (.f64 im (.f64 im #s(literal -9 binary64))) #s(literal -3 binary64)))
(+.f64 (.f64 (.f64 im (.f64 im #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 1 binary64)))
(-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) #s(literal 0 binary64))
(-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (+.f64 (.f64 (.f64 im (*.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(-.f64 (.f64 im (.f64 im #s(literal 3 binary64))) (-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (.f64 im (.f64 im #s(literal -3 binary64)))))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (.f64 im (.f64 im #s(literal -6 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (-.f64 (.f64 im (.f64 im #s(literal -9 binary64))) (.f64 im (.f64 im #s(literal -3 binary64)))))
(-.f64 #s(literal 0 binary64) (.f64 im (.f64 im #s(literal -3 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal 6 binary64))) (.f64 im (.f64 im #s(literal 3 binary64))))
(-.f64 (.f64 im (.f64 im #s(literal -6 binary64))) (.f64 im (.f64 im #s(literal -9 binary64))))
(-.f64 (.f64 (.f64 im im) #s(literal 9 binary64)) (.f64 im (.f64 im #s(literal 6 binary64))))
(-.f64 (.f64 (.f64 im im) #s(literal 12 binary64)) (.f64 (.f64 im im) #s(literal 9 binary64)))
(-.f64 (+.f64 (.f64 im (.f64 im #s(literal -3 binary64))) (.f64 (.f64 im im) #s(literal 12 binary64))) (.f64 im (.f64 im #s(literal 6 binary64))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im im) #s(literal -12 binary64))) (.f64 (.f64 im im) #s(literal 9 binary64)))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im #s(literal -4 binary64))) #s(literal 3 binary64))) (.f64 (*.f64 im im) #s(literal 9 binary64)))
(-.f64 (-.f64 (.f64 im (.f64 im #s(literal 6 binary64))) (.f64 im (.f64 im #s(literal 6 binary64)))) (.f64 im (.f64 im #s(literal -3 binary64))))
(fma.f64 im (*.f64 im #s(literal 3 binary64)) #s(literal 0 binary64))
(fma.f64 im (.f64 im #s(literal 3 binary64)) (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(fma.f64 im (.f64 im #s(literal -3 binary64)) (.f64 im (*.f64 im #s(literal 6 binary64))))
(fma.f64 im (.f64 im #s(literal 6 binary64)) (.f64 im (*.f64 im #s(literal -3 binary64))))
(fma.f64 (*.f64 im im) #s(literal 3 binary64) #s(literal 0 binary64))
(fma.f64 (.f64 im im) #s(literal 3 binary64) (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(fma.f64 (.f64 im im) #s(literal -3 binary64) (.f64 im (*.f64 im #s(literal 6 binary64))))
(fma.f64 (.f64 im im) #s(literal 6 binary64) (.f64 im (*.f64 im #s(literal -3 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))
(fma.f64 (.f64 im (.f64 im #s(literal 2 binary64))) #s(literal 3 binary64) (.f64 im (.f64 im #s(literal -3 binary64))))
(fma.f64 #s(literal 3 binary64) (*.f64 im im) #s(literal 0 binary64))
(fma.f64 #s(literal 3 binary64) (.f64 im im) (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 3 binary64) (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im (.f64 im #s(literal -3 binary64))))
(fma.f64 #s(literal 3 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 im (*.f64 im #s(literal 6 binary64))))
(fma.f64 (*.f64 im #s(literal 3 binary64)) im #s(literal 0 binary64))
(fma.f64 (.f64 im #s(literal 3 binary64)) im (+.f64 (.f64 (.f64 im (.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(fma.f64 (.f64 im #s(literal 3 binary64)) (-.f64 #s(literal 0 binary64) im) (.f64 im (*.f64 im #s(literal 6 binary64))))
(fma.f64 (.f64 im #s(literal 3 binary64)) (.f64 im #s(literal 2 binary64)) (.f64 im (.f64 im #s(literal -3 binary64))))
(fma.f64 (.f64 im (.f64 im #s(literal 3 binary64))) #s(literal 2 binary64) (.f64 im (.f64 im #s(literal -3 binary64))))
(fma.f64 (.f64 im (.f64 im #s(literal 3 binary64))) #s(literal -1 binary64) (.f64 im (.f64 im #s(literal 6 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal 3 binary64)) (.f64 im (*.f64 im #s(literal 6 binary64))))
(fma.f64 (.f64 im #s(literal 2 binary64)) (.f64 im #s(literal 3 binary64)) (.f64 im (.f64 im #s(literal -3 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) #s(literal 3 binary64) (.f64 im (*.f64 im #s(literal 6 binary64))))
(fma.f64 (.f64 im #s(literal -3 binary64)) im (.f64 im (*.f64 im #s(literal 6 binary64))))
(fma.f64 #s(literal -3 binary64) (.f64 im im) (.f64 im (*.f64 im #s(literal 6 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (.f64 im (.f64 im #s(literal 6 binary64))))
(fma.f64 (.f64 im #s(literal 6 binary64)) im (.f64 im (*.f64 im #s(literal -3 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 im (.f64 im #s(literal 3 binary64))) (+.f64 (.f64 (.f64 im (*.f64 im #s(literal -3 binary64))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(fma.f64 #s(literal 6 binary64) (.f64 im im) (.f64 im (*.f64 im #s(literal -3 binary64))))
(neg.f64 (.f64 im (.f64 im #s(literal -3 binary64))))
(.f64 im (.f64 im #s(literal 3 binary64)))
(.f64 im (+.f64 (.f64 im #s(literal -3 binary64)) (*.f64 im #s(literal 6 binary64))))
(.f64 (.f64 im im) #s(literal 3 binary64))
(.f64 #s(literal 3 binary64) (.f64 im im))
(.f64 #s(literal 3 binary64) (+.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (.f64 im im))))
(.f64 #s(literal 3 binary64) (+.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 im (.f64 im #s(literal 2 binary64)))))
(.f64 #s(literal 3 binary64) (-.f64 (.f64 im (.f64 im #s(literal 2 binary64))) (.f64 im im)))
(.f64 (.f64 im #s(literal 3 binary64)) im)
(.f64 (.f64 im #s(literal 3 binary64)) (+.f64 (*.f64 im #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) im)))
(.f64 (.f64 im #s(literal 3 binary64)) (+.f64 (-.f64 #s(literal 0 binary64) im) (*.f64 im #s(literal 2 binary64))))
(.f64 (.f64 im #s(literal 3 binary64)) (-.f64 (*.f64 im #s(literal 2 binary64)) im))
(.f64 (.f64 im (*.f64 im #s(literal 3 binary64))) #s(literal 1 binary64))
(.f64 (.f64 im (*.f64 im #s(literal -3 binary64))) #s(literal -1 binary64))
(.f64 (-.f64 #s(literal 0 binary64) im) (.f64 im #s(literal -3 binary64)))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) #s(literal -3 binary64))
(.f64 (.f64 im #s(literal -3 binary64)) (-.f64 #s(literal 0 binary64) im))
(.f64 #s(literal -3 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(.f64 #s(literal -1 binary64) (.f64 im (*.f64 im #s(literal -3 binary64))))
(.f64 #s(literal 1 binary64) (.f64 im (*.f64 im #s(literal 3 binary64))))
(+.f64 (*.f64 im #s(literal 3 binary64)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 im #s(literal 3 binary64)))
(+.f64 (.f64 im #s(literal 6 binary64)) (.f64 im #s(literal -3 binary64)))
(+.f64 (.f64 im #s(literal -6 binary64)) (neg.f64 (.f64 im #s(literal -9 binary64))))
(+.f64 (neg.f64 (.f64 im #s(literal -9 binary64))) (.f64 im #s(literal -6 binary64)))
(+.f64 (neg.f64 (.f64 im #s(literal -6 binary64))) (.f64 im #s(literal -3 binary64)))
(-.f64 (*.f64 im #s(literal 3 binary64)) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (*.f64 im #s(literal -3 binary64)))
(-.f64 (.f64 im #s(literal 6 binary64)) (.f64 im #s(literal 3 binary64)))
(fma.f64 im #s(literal 3 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3 binary64) im #s(literal 0 binary64))
(neg.f64 (*.f64 im #s(literal -3 binary64)))
(*.f64 im #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) im)
(.f64 (.f64 im #s(literal 3 binary64)) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) im) #s(literal -3 binary64))
(.f64 (.f64 im #s(literal -3 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal -3 binary64) (-.f64 #s(literal 0 binary64) im))
(.f64 #s(literal -1 binary64) (.f64 im #s(literal -3 binary64)))
(.f64 #s(literal 1 binary64) (.f64 im #s(literal 3 binary64)))

simplify149.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

2878×	`-lowering-.f32`
2878×	`-lowering-.f64`
1526×	`fma-lowering-fma.f32`
1526×	`fma-lowering-fma.f64`
1484×	`fmsub-define`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	717
1	83	447
2	263	447
3	1136	447
4	4737	447
0	8550	447

Stop Event

1×	iter limit
1×	node limit

Counts

120 → 120

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

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)
(- (* 2 (pow im 2)) (* 3 (pow im 2)))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(- (+ (* 2 (pow im 2)) (pow re 2)) (* 3 (pow im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(- (+ (* 2 (pow im 2)) (pow re 2)) (* 3 (pow im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(- (+ (* 2 (pow im 2)) (pow re 2)) (* 3 (pow im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(pow re 2)
(*.f64 re re)
(* (pow re 2) (- (+ 1 (* 2 (/ (pow im 2) (pow re 2)))) (* 3 (/ (pow im 2) (pow re 2)))))
(-.f64 (.f64 re re) (.f64 im im))
(* (pow re 2) (- (+ 1 (* 2 (/ (pow im 2) (pow re 2)))) (* 3 (/ (pow im 2) (pow re 2)))))
(-.f64 (.f64 re re) (.f64 im im))
(* (pow re 2) (- (+ 1 (* 2 (/ (pow im 2) (pow re 2)))) (* 3 (/ (pow im 2) (pow re 2)))))
(-.f64 (.f64 re re) (.f64 im im))
(pow re 2)
(*.f64 re re)
(* (pow re 2) (- (+ 1 (* 2 (/ (pow im 2) (pow re 2)))) (* 3 (/ (pow im 2) (pow re 2)))))
(-.f64 (.f64 re re) (.f64 im im))
(* (pow re 2) (- (+ 1 (* 2 (/ (pow im 2) (pow re 2)))) (* 3 (/ (pow im 2) (pow re 2)))))
(-.f64 (.f64 re re) (.f64 im im))
(* (pow re 2) (- (+ 1 (* 2 (/ (pow im 2) (pow re 2)))) (* 3 (/ (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))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(+ (* 2 (pow im 2)) (pow re 2))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(+ (* 2 (pow im 2)) (pow re 2))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(+ (* 2 (pow im 2)) (pow re 2))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(pow re 2)
(*.f64 re re)
(* (pow re 2) (+ 1 (* 2 (/ (pow im 2) (pow re 2)))))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(* (pow re 2) (+ 1 (* 2 (/ (pow im 2) (pow re 2)))))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(* (pow re 2) (+ 1 (* 2 (/ (pow im 2) (pow re 2)))))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(pow re 2)
(*.f64 re re)
(* (pow re 2) (+ 1 (* 2 (/ (pow im 2) (pow re 2)))))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(* (pow re 2) (+ 1 (* 2 (/ (pow im 2) (pow re 2)))))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(* (pow re 2) (+ 1 (* 2 (/ (pow im 2) (pow re 2)))))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(pow re 2)
(*.f64 re re)
(+ (* 2 (pow im 2)) (pow re 2))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(+ (* 2 (pow im 2)) (pow re 2))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(+ (* 2 (pow im 2)) (pow re 2))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* (pow im 2) (+ 2 (/ (pow re 2) (pow im 2))))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(* (pow im 2) (+ 2 (/ (pow re 2) (pow im 2))))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(* (pow im 2) (+ 2 (/ (pow re 2) (pow im 2))))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* (pow im 2) (+ 2 (/ (pow re 2) (pow im 2))))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(* (pow im 2) (+ 2 (/ (pow re 2) (pow im 2))))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(* (pow im 2) (+ 2 (/ (pow re 2) (pow im 2))))
(+.f64 (.f64 re re) (.f64 im (*.f64 #s(literal 2 binary64) im)))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* 2 (pow im 2))
(.f64 im (.f64 #s(literal 2 binary64) im))
(* 3 (pow im 2))
(.f64 im (.f64 im #s(literal 3 binary64)))
(* 3 (pow im 2))
(.f64 im (.f64 im #s(literal 3 binary64)))
(* 3 (pow im 2))
(.f64 im (.f64 im #s(literal 3 binary64)))
(* 3 (pow im 2))
(.f64 im (.f64 im #s(literal 3 binary64)))
(* 3 (pow im 2))
(.f64 im (.f64 im #s(literal 3 binary64)))
(* 3 (pow im 2))
(.f64 im (.f64 im #s(literal 3 binary64)))
(* 3 (pow im 2))
(.f64 im (.f64 im #s(literal 3 binary64)))
(* 3 (pow im 2))
(.f64 im (.f64 im #s(literal 3 binary64)))
(* 3 (pow im 2))
(.f64 im (.f64 im #s(literal 3 binary64)))
(* 3 (pow im 2))
(.f64 im (.f64 im #s(literal 3 binary64)))
(* 3 (pow im 2))
(.f64 im (.f64 im #s(literal 3 binary64)))
(* 3 (pow im 2))
(.f64 im (.f64 im #s(literal 3 binary64)))
(* 3 im)
(*.f64 im #s(literal 3 binary64))
(* 3 im)
(*.f64 im #s(literal 3 binary64))
(* 3 im)
(*.f64 im #s(literal 3 binary64))
(* 3 im)
(*.f64 im #s(literal 3 binary64))
(* 3 im)
(*.f64 im #s(literal 3 binary64))
(* 3 im)
(*.f64 im #s(literal 3 binary64))
(* 3 im)
(*.f64 im #s(literal 3 binary64))
(* 3 im)
(*.f64 im #s(literal 3 binary64))
(* 3 im)
(*.f64 im #s(literal 3 binary64))
(* 3 im)
(*.f64 im #s(literal 3 binary64))
(* 3 im)
(*.f64 im #s(literal 3 binary64))
(* 3 im)
(*.f64 im #s(literal 3 binary64))

eval87.0ms (3%)

Compiler: Compiled 11979 to 1283 computations (89.3% saved)

prune94.0ms (3.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	729	1	730
Fresh	0	0	0
Picked	1	2	3
Done	0	1	1
Total	730	4	734

Accuracy

100.0%

Counts

734 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	73.7%	(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 im (*.f64 im #s(literal 3 binary64))))
✓	93.0%	(-.f64 (.f64 re re) (.f64 im im))
✓	50.5%	(*.f64 re re)
▶	55.5%	(neg.f64 (*.f64 im im))

Compiler

Compiled 37 to 23 computations (37.8% saved)

simplify6.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

localize23.0ms (0.8%)

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

18.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 (51.7% of total)

ival-neg: 1.0ms (25.9% 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	(neg (* im im))
0.0ms	im	@	0	(neg (* im im))
0.0ms	im	@	0	(* im im)
0.0ms	im	@	-inf	(neg (* im im))
0.0ms	im	@	-inf	(* im im)

rewrite16.0ms (0.6%)

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)

simplify10.0ms (0.4%)

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

eval5.0ms (0.2%)

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

prune5.0ms (0.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	47	4	51

Accuracy

100.0%

Counts

51 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	73.7%	(-.f64 (+.f64 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 im (*.f64 im #s(literal 3 binary64))))
✓	93.0%	(-.f64 (.f64 re re) (.f64 im im))
✓	50.5%	(*.f64 re re)
✓	55.5%	(neg.f64 (*.f64 im im))

Compiler

Compiled 73 to 38 computations (47.9% saved)

regimes13.0ms (0.5%)

Counts

5 → 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 (.f64 re re) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 im (*.f64 im #s(literal 3 binary64))))

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

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
97.6%	2	`re`
95.3%	2	`im`
97.6%	2	`(-.f64 (.f64 re re) (.f64 im im))`
97.6%	2	`(*.f64 re re)`
95.3%	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
(*.f64 re re)
(neg.f64 (*.f64 im im))

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
79.1%	2	`im`
79.1%	2	`(*.f64 im im)`
78.3%	2	`re`
78.3%	2	`(*.f64 re re)`

Compiler

Compiled 16 to 10 computations (37.5% saved)

regimes4.0ms (0.1%)

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:

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

Results

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

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	1.396189591395678e+302	1.320144356214561e+304

Results

6.0ms

112×

valid

Compiler

Compiled 98 to 65 computations (33.7% saved)

Precisions

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

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

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

const: 0.0ms (0% of total)

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

bsearch12.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
11.0ms	3.446988330556999e+29	2.6137133423850036e+35

Results

6.0ms

144×

valid

Compiler

Compiled 113 to 81 computations (28.3% saved)

Precisions

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

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

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

const: 0.0ms (0% of total)

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

simplify12.0ms (0.4%)

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	32
1	21	32
2	26	32
3	29	32
4	30	32

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

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

(*.f64 re re)

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

soundness578.0ms (20.1%)

Rules

2294×	`/-lowering-/.f32`
2294×	`/-lowering-/.f64`
2126×	`fma-define`
1606×	`prod-diff`
1560×	`-lowering-.f32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	37
1	36	31
2	114	30
3	279	29
4	1048	29
5	3637	29
0	8486	29
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 63 to 32 computations (49.2% saved)

preprocess261.0ms (9.1%)

Remove

(abs im)

(abs re)

Compiler

Compiled 160 to 70 computations (56.3% saved)

math.square on complex, real part

analyze0.0ms (0%)

sample626.0ms (21.8%)

preprocess42.0ms (1.5%)

explain58.0ms (2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify22.0ms (0.8%)

localize28.0ms (1%)

series2.0ms (0.1%)

rewrite230.0ms (8%)

simplify142.0ms (4.9%)

eval30.0ms (1.1%)

prune30.0ms (1.1%)

simplify136.0ms (4.7%)

localize61.0ms (2.1%)

series4.0ms (0.1%)

rewrite167.0ms (5.8%)

simplify149.0ms (5.2%)

eval87.0ms (3%)

prune94.0ms (3.3%)

simplify6.0ms (0.2%)

localize23.0ms (0.8%)

series0.0ms (0%)

rewrite16.0ms (0.6%)

simplify10.0ms (0.4%)

eval5.0ms (0.2%)

prune5.0ms (0.2%)

regimes13.0ms (0.5%)

regimes7.0ms (0.3%)

regimes4.0ms (0.1%)

bsearch10.0ms (0.4%)

bsearch12.0ms (0.4%)

simplify12.0ms (0.4%)

soundness578.0ms (20.1%)

preprocess261.0ms (9.1%)

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