Details

analyze309.0ms (6.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
6.3%	6.2%	93.6%	0.2%	0%	0%	0%	9
9.4%	9.4%	90.4%	0.2%	0%	0%	0%	10
14.1%	14%	85.8%	0.2%	0%	0%	0%	11
19.6%	18.7%	76.8%	0.2%	4.3%	0%	0%	12

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample2.9s (57.9%)

Results

2.6s	8256×	body	256	valid
298.0ms	2042×	body	256	infinite

Bogosity

preprocess71.0ms (1.4%)

Algorithm

2×	egg-herbie

Rules

12×	`rational.json-simplify-2`
12×	`rational.json-simplify-1`
2×	`swap-x.re-y.im`
2×	`swap-x.im-y.re`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	133
1	32	133
0	4	4
1	4	4

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
1
3
0

Call 2

Inputs
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
(+.f64 (.f64 x.im y.im) (.f64 x.re y.re))
(+.f64 (.f64 y.re y.im) (.f64 x.im x.re))
(+.f64 (.f64 y.im x.re) (.f64 x.im y.re))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re x.im) (.f64 y.im y.re))
(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))

Outputs
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
(+.f64 (.f64 x.im y.im) (.f64 x.re y.re))
(+.f64 (.f64 y.im x.im) (.f64 x.re y.re))
(+.f64 (.f64 y.re y.im) (.f64 x.im x.re))
(+.f64 (.f64 x.re x.im) (.f64 y.im y.re))
(+.f64 (.f64 y.im x.re) (.f64 x.im y.re))
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
(+.f64 (.f64 x.re x.im) (.f64 y.im y.re))
(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))
(+.f64 (.f64 y.im x.im) (.f64 x.re y.re))

Symmetry

(sort x.re y.im)

(sort x.im y.re)

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	12	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Outputs
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

eval0.0ms (0%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Compiler

Compiled 11 to 7 computations (36.4% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Compiler

Compiled 21 to 7 computations (66.7% saved)

series3.0ms (0.1%)

Counts

1 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	x.im	@	0	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
0.0ms	x.re	@	0	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
0.0ms	x.re	@	-inf	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
0.0ms	x.re	@	inf	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
0.0ms	y.im	@	inf	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

rewrite258.0ms (5.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1826×	`rational.json-simplify-35`
1684×	`rational.json-simplify-1`
1376×	`exponential.json-3`
1376×	`rational.json-1`
1376×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	59	19
2	123	19
3	257	19
4	478	19
5	1097	19
6	2654	19
7	4704	19
8	5665	19
9	6860	19
10	7801	19
11	7801	19

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

Inputs
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 1)))))

simplify1.3s (26%)

Algorithm

1×	egg-herbie

Rules

5524×	`rational.json-simplify-51`
3558×	`rational.json-simplify-35`
1382×	`rational.json-simplify-49`
1156×	`rational.json-simplify-2`
1128×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	1205
1	126	1205
2	424	1205
3	1179	1205
4	1890	1205
5	2783	1205
6	3271	1205
7	3345	1205
8	3393	1205
9	3425	1205
10	3457	1205
11	3489	1205
12	3521	1205
13	3553	1205
14	3585	1205
15	3617	1205
16	3649	1205
17	3681	1205
18	3713	1205
19	4641	1205
20	4900	1205
21	4993	1205
22	5082	1205
23	5169	1205
24	5255	1205
25	5468	1205
26	5468	1205
27	5554	1205
28	5640	1205
29	5726	1205
30	5812	1205
31	5898	1205
32	5984	1205
33	6070	1205
34	6156	1205
35	6242	1205

Stop Event

1×	node limit

Counts

71 → 27

Calls

Call 1

Inputs
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(-.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 0)
(.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 1)
(.f64 1 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)))
(.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1/2))
(.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 2) 1/2)
(.f64 4 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1/4))
(.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 4) 1/4)
(.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8) 1/8)
(.f64 1/2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 2))
(.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 4))
(.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1/4) 4)
(.f64 1/8 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8))
(/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1)
(/.f64 (.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 2) 2)
(/.f64 (.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 8))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8)))))) 256)
(pow.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1)

Outputs
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(-.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 0)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 1)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 1 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1/2))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 2) 1/2)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 4 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1/4))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 4) 1/4)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8) 1/8)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 1/2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 2))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1/2) 2)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 1/4 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 4))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1/4) 4)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 1/8 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(/.f64 (.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 2) 2)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(/.f64 (.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 4) 4)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(/.f64 (.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 8) 8)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8)) 16)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 8))) 32)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8)))) 64)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 8))))) 128)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8)))))) 256)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(pow.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))

eval4.0ms (0.1%)

Compiler: Compiled 297 to 122 computations (58.9% saved)

prune5.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	25	2	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	3	28

Error

0.0b

Counts

28 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
▶	32.7b	(*.f64 y.re x.im)
▶	29.9b	(*.f64 x.re y.im)

Compiler

Compiled 25 to 17 computations (32% saved)

localize5.0ms (0.1%)

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

localize4.0ms (0.1%)

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

eval0.0ms (0%)

Compiler: Compiled 4 to 4 computations (0% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	2	2
Total	3	3

Error

0.0b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
✓	32.7b	(*.f64 y.re x.im)
✓	29.9b	(*.f64 x.re y.im)

Compiler

Compiled 25 to 17 computations (32% saved)

regimes27.0ms (0.5%)

Counts

3 → 1

Calls

Call 1

Inputs
(*.f64 x.re y.im)
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Outputs
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Calls

7 calls:

6.0ms	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
5.0ms	x.re
3.0ms	y.im
3.0ms	y.re
3.0ms	x.im

Results

Error	Segments	Branch
0.0b	1	`x.re`
0.0b	1	`x.im`
0.0b	1	`y.re`
0.0b	1	`y.im`
0.0b	1	`(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))`
0.0b	1	`(*.f64 x.re y.im)`
0.0b	1	`(*.f64 x.im y.re)`

Compiler

Compiled 62 to 41 computations (33.9% saved)

regimes61.0ms (1.2%)

Accuracy

Total -46.5b remaining (-320.5%)

Threshold costs -46.5b (-320.5%)

Counts

2 → 3

Calls

Call 1

Inputs
(*.f64 x.re y.im)
(*.f64 y.re x.im)

Outputs
(*.f64 x.re y.im)
(*.f64 y.re x.im)
(*.f64 x.re y.im)

Calls

5 calls:

14.0ms	x.im
14.0ms	y.im
12.0ms	x.re
12.0ms	y.re
8.0ms	(*.f64 x.re y.im)

Results

Error	Segments	Branch
18.7b	3	`x.re`
18.8b	5	`x.im`
20.7b	3	`y.re`
17.2b	5	`y.im`
14.5b	3	`(*.f64 x.re y.im)`

Compiler

Compiled 37 to 27 computations (27% saved)

bsearch26.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
17.0ms	2.8105361314368512e-18	1.4023836764058353e-5
9.0ms	-3.68918693505794e-29	-1.1972586705756918e-29

Results

22.0ms

240×

body

256

valid

Compiler

Compiled 228 to 178 computations (21.9% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	77

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))

(if (<=.f64 (*.f64 x.re y.im) -4816960962882615/356811923176489970264571492362373784095686656) (*.f64 x.re y.im) (if (<=.f64 (*.f64 x.re y.im) 4259306016766851/10141204801825835211973625643008) (*.f64 y.re x.im) (*.f64 x.re y.im)))

(*.f64 x.re y.im)

Outputs

(+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))

(if (<=.f64 (*.f64 x.re y.im) -4816960962882615/356811923176489970264571492362373784095686656) (*.f64 x.re y.im) (if (<=.f64 (*.f64 x.re y.im) 4259306016766851/10141204801825835211973625643008) (*.f64 y.re x.im) (*.f64 x.re y.im)))

(*.f64 x.re y.im)

Compiler

Compiled 43 to 24 computations (44.2% saved)

soundness0.0ms (0%)

end24.0ms (0.5%)

Remove

(sort x.im y.re)

(sort x.re y.im)

Compiler

Compiled 79 to 42 computations (46.8% saved)

Details

analyze309.0ms (6.1%)

sample2.9s (57.9%)

preprocess71.0ms (1.4%)

simplify9.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series3.0ms (0.1%)

rewrite258.0ms (5.1%)

simplify1.3s (26%)

eval4.0ms (0.1%)

prune5.0ms (0.1%)

localize5.0ms (0.1%)

localize4.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes27.0ms (0.5%)

regimes61.0ms (1.2%)

bsearch26.0ms (0.5%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end24.0ms (0.5%)

Profiling