Details

analyze270.0ms (8.3%)

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)

sample1.7s (51.3%)

Results

1.4s	8256×	body	256	valid
222.0ms	2071×	body	256	infinite

Bogosity

preprocess10.0ms (0.3%)

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)

simplify11.0ms (0.3%)

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.2%)

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.re	@	0	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
0.0ms	x.im	@	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))

rewrite111.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1950×	`bool.json-1`
1344×	`rational.json-simplify-35`
1218×	`bool.json-2`
1188×	`rational.json-1`
1188×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	89	19
2	235	19
3	492	19
4	1018	19
5	2251	19
6	4657	19
7	7659	19

Stop Event

1×	node limit

Counts

1 → 20

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 2 (+.f64 (.f64 y.re (.f64 x.im 1/2)) (.f64 y.im (.f64 x.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)) 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 1/2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 x.im (+.f64 y.re y.re)) (.f64 x.re (+.f64 y.im y.im))))))) (#(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)) 4) 4)))) (#(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 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8))) (.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 not (not (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.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 2 (+.f64 (*.f64 y.re (*.f64 x.im 1/2)) (*.f64 y.im (*.f64 x.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)) 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 1/2 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 x.im (+.f64 y.re y.re)) (*.f64 x.re (+.f64 y.im y.im))))))) (#(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)) 4) 4)))) (#(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 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 8))) (*.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 not (not (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))))

simplify1.0s (30.9%)

Algorithm

1×	egg-herbie

Rules

5876×	`rational.json-simplify-51`
1960×	`rational.json-simplify-35`
1706×	`rational.json-simplify-2`
1166×	`rational.json-simplify-1`
1110×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	1148
1	120	1148
2	288	1148
3	706	1148
4	1107	1148
5	2439	1148
6	3219	1148
7	3275	1148
8	3305	1148
9	3331	1148
10	3357	1148
11	3383	1148
12	3432	1148
13	3458	1148
14	3484	1148
15	3510	1148
16	3536	1148
17	3562	1148
18	3588	1148
19	4406	1148
20	4786	1148
21	4818	1148
22	4848	1148
23	4877	1148
24	4906	1148
25	4935	1148
26	4964	1148
27	4993	1148
28	5022	1148
29	5051	1148
30	5080	1148
31	5109	1148
32	5138	1148
33	5167	1148
34	5196	1148
35	5225	1148
36	5254	1148
37	5283	1148
38	5312	1148
39	5341	1148
40	5341	1148

Stop Event

1×	node limit

Counts

68 → 24

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 2 (+.f64 (.f64 y.re (.f64 x.im 1/2)) (.f64 y.im (*.f64 x.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)) 4))
(.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 4) 1/4)
(.f64 1/2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 2))
(.f64 1/2 (+.f64 (.f64 x.im (+.f64 y.re y.re)) (*.f64 x.re (+.f64 y.im y.im))))
(.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)) 4) 4)
(/.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 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8)))) 64)

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 2 (+.f64 (.f64 y.re (.f64 x.im 1/2)) (.f64 y.im (*.f64 x.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)) 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 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 1/2 (+.f64 (.f64 x.im (+.f64 y.re y.re)) (*.f64 x.re (+.f64 y.im y.im))))
(+.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)) 4) 4)
(+.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 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 8))) (.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))

eval5.0ms (0.1%)

Compiler: Compiled 264 to 107 computations (59.5% saved)

prune4.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	22	2	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	3	25

Error

0.0b

Counts

25 → 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))
▶	27.6b	(*.f64 y.re x.im)
▶	34.7b	(*.f64 x.re y.im)

Compiler

Compiled 25 to 17 computations (32% saved)

localize4.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))
✓	27.6b	(*.f64 y.re x.im)
✓	34.7b	(*.f64 x.re y.im)

Compiler

Compiled 25 to 17 computations (32% saved)

regimes27.0ms (0.8%)

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:

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

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)

regimes75.0ms (2.3%)

Accuracy

Total -48.5b remaining (-380.8%)

Threshold costs -48.5b (-380.8%)

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:

21.0ms	y.re
17.0ms	x.re
15.0ms	y.im
10.0ms	(*.f64 x.re y.im)
10.0ms	x.im

Results

Error	Segments	Branch
18.3b	5	`x.re`
17.6b	3	`x.im`
15.9b	7	`y.re`
16.1b	5	`y.im`
12.7b	3	`(*.f64 x.re y.im)`

Compiler

Compiled 37 to 27 computations (27% saved)

bsearch24.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
14.0ms	8.2338851775086e-44	2.4573988945734352e-39
9.0ms	-5.990450264662652e-71	-1.260189279363829e-71

Results

21.0ms

224×

body

256

valid

Compiler

Compiled 214 to 167 computations (22% saved)

simplify2.0ms (0.1%)

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) -503539776864909/31082702275611665134711390509176302506278509424834232340028998555822468563283335970816) (*.f64 x.re y.im) (if (<=.f64 (*.f64 x.re y.im) 1225996432692711/6129982163463555433433388108601236734474956488734408704) (*.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) -503539776864909/31082702275611665134711390509176302506278509424834232340028998555822468563283335970816) (*.f64 x.re y.im) (if (<=.f64 (*.f64 x.re y.im) 1225996432692711/6129982163463555433433388108601236734474956488734408704) (*.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.7%)

Remove

(sort x.im y.re)

(sort x.re y.im)

Compiler

Compiled 79 to 42 computations (46.8% saved)

Details

analyze270.0ms (8.3%)

sample1.7s (51.3%)

preprocess10.0ms (0.3%)

simplify11.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.2%)

series3.0ms (0.1%)

rewrite111.0ms (3.4%)

simplify1.0s (30.9%)

eval5.0ms (0.1%)

prune4.0ms (0.1%)

localize4.0ms (0.1%)

localize4.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes27.0ms (0.8%)

regimes75.0ms (2.3%)

bsearch24.0ms (0.7%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end24.0ms (0.7%)

Profiling