Details

analyze282.0ms (6.6%)

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.6s (61.5%)

Results

1.9s	8256×	body	256	valid
755.0ms	2050×	body	256	infinite

Bogosity

preprocess5.0ms (0.1%)

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)

prune5.0ms (0.1%)

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

rewrite88.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	98	19
2	260	19
3	537	19
4	1103	19
5	2413	19
6	4995	19

Stop Event

1×	node limit

Counts

1 → 21

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 pow.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1)))) (#(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 pow.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 1)))) (#(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 (24.4%)

Algorithm

1×	egg-herbie

Rules

6102×	`rational.json-simplify-51`
1970×	`rational.json-simplify-35`
1868×	`rational.json-simplify-2`
1156×	`rational.json-simplify-1`
1142×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	1167
1	121	1167
2	302	1167
3	832	1167
4	1333	1167
5	2811	1167
6	3605	1167
7	3661	1167
8	3691	1167
9	3717	1167
10	3743	1167
11	3769	1167
12	3818	1167
13	3844	1167
14	3870	1167
15	3896	1167
16	3922	1167
17	3948	1167
18	3974	1167
19	4783	1167
20	5234	1167
21	5325	1167
22	5355	1167
23	5384	1167
24	5413	1167
25	5442	1167
26	5471	1167
27	5500	1167
28	5529	1167
29	5558	1167
30	5587	1167
31	5616	1167
32	5645	1167
33	5674	1167
34	5703	1167
35	5732	1167
36	5761	1167
37	5790	1167
38	5819	1167
39	5848	1167
40	5848	1167

Stop Event

1×	node limit

Counts

69 → 25

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

eval6.0ms (0.1%)

Compiler: Compiled 273 to 109 computations (60.1% saved)

prune5.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	23	2	25
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	23	3	26

Error

0.0b

Counts

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

Compiler

Compiled 25 to 17 computations (32% saved)

localize3.0ms (0.1%)

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

localize3.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)
✓	33.3b	(*.f64 x.re y.im)

Compiler

Compiled 25 to 17 computations (32% saved)

regimes27.0ms (0.6%)

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	y.re
4.0ms	(*.f64 x.im y.re)
3.0ms	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
3.0ms	y.im
3.0ms	(*.f64 x.re y.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)

regimes80.0ms (1.9%)

Accuracy

Total -46.9b remaining (-358.1%)

Threshold costs -46.9b (-358.1%)

Counts

2 → 5

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

Calls

5 calls:

18.0ms	y.im
18.0ms	y.re
15.0ms	x.re
15.0ms	(*.f64 x.re y.im)
13.0ms	x.im

Results

Error	Segments	Branch
15.5b	5	`x.re`
15.0b	5	`x.im`
13.9b	7	`y.re`
17.1b	7	`y.im`
13.1b	5	`(*.f64 x.re y.im)`

Compiler

Compiled 37 to 27 computations (27% saved)

bsearch48.0ms (1.1%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
8.0ms	6.047218847400366	15.309557577102263
12.0ms	6.1084486811024175e-84	2.5908173190672333e-80
14.0ms	1.402405635437442e-171	1.9423814938987708e-165
13.0ms	-8.269333889401802e-98	-1.0615770922661202e-102

Results

42.0ms

496×

body

256

valid

Compiler

Compiled 452 to 354 computations (21.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	121

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) -4232637384378313/76957043352332967211482500195592995713046365762627825523336510555167425334955489475418488779072100860950445293568) (*.f64 x.re y.im) (if (<=.f64 (*.f64 x.re y.im) 7884079580873887/4149515568880992958512407863691161151012446232242436899995657329690652811412908146399707048947103794288197886611300789182395151075411775307886874834113963687061181803401509523685376) (*.f64 y.re x.im) (if (<=.f64 (*.f64 x.re y.im) 8475596558534171/136703170298938245273281389194851335334573089430825777276610662900622062449960995201469573563940864) (*.f64 x.re y.im) (if (<=.f64 (*.f64 x.re y.im) 6980579422424269/1125899906842624) (*.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) -4232637384378313/76957043352332967211482500195592995713046365762627825523336510555167425334955489475418488779072100860950445293568) (*.f64 x.re y.im) (if (<=.f64 (*.f64 x.re y.im) 7884079580873887/4149515568880992958512407863691161151012446232242436899995657329690652811412908146399707048947103794288197886611300789182395151075411775307886874834113963687061181803401509523685376) (*.f64 y.re x.im) (if (<=.f64 (*.f64 x.re y.im) 8475596558534171/136703170298938245273281389194851335334573089430825777276610662900622062449960995201469573563940864) (*.f64 x.re y.im) (if (<=.f64 (*.f64 x.re y.im) 6980579422424269/1125899906842624) (*.f64 y.re x.im) (*.f64 x.re y.im)))))

(*.f64 x.re y.im)

Compiler

Compiled 61 to 30 computations (50.8% saved)

soundness0.0ms (0%)

end25.0ms (0.6%)

Remove

(sort x.im y.re)

(sort x.re y.im)

Compiler

Compiled 97 to 48 computations (50.5% saved)

Details

analyze282.0ms (6.6%)

sample2.6s (61.5%)

preprocess5.0ms (0.1%)

simplify9.0ms (0.2%)

eval0.0ms (0%)

prune5.0ms (0.1%)

localize7.0ms (0.2%)

series3.0ms (0.1%)

rewrite88.0ms (2.1%)

simplify1.0s (24.4%)

eval6.0ms (0.1%)

prune5.0ms (0.1%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes27.0ms (0.6%)

regimes80.0ms (1.9%)

bsearch48.0ms (1.1%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end25.0ms (0.6%)

Profiling