Details

analyze1.6s (34.5%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.8%	25%	71.8%	0.1%	3.1%	0%	0%	9
36.4%	34.3%	60.1%	0.1%	5.5%	0%	0%	10
44.5%	41.3%	51.5%	0.1%	7%	0%	0%	11
51.5%	46.8%	44.1%	0.1%	9%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.3s (27.5%)

Results

1.2s	8256×	body	256	valid
111.0ms	1298×	body	256	infinite

Bogosity

preprocess4.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

12×	`rational.json-simplify-51`
12×	`rational.json-simplify-2`
12×	`rational.json-simplify-1`
2×	`swap-d2-d3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	76
1	21	52
2	33	52
3	36	52
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2
1

Call 2

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d2 d3))
(+.f64 (.f64 d3 d2) (.f64 d3 d1))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d2 d3))
(*.f64 d2 (+.f64 d3 d1))
(*.f64 d2 (+.f64 d1 d3))
(+.f64 (.f64 d3 d2) (.f64 d3 d1))
(+.f64 (.f64 d1 d3) (.f64 d2 d3))
(*.f64 d3 (+.f64 d2 d1))
(*.f64 d3 (+.f64 d1 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))

Symmetry

(sort d2 d3)

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	11	13
2	15	13
3	16	13

Stop Event

1×

saturated

Counts

1 → 3

Calls

Call 1

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))

eval0.0ms (0%)

Compiler: Compiled 20 to 10 computations (50% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

4 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(*.f64 d1 (+.f64 d3 d2))

Compiler

Compiled 8 to 5 computations (37.5% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 d1 (+.f64 d3 d2))

Compiler

Compiled 14 to 5 computations (64.3% saved)

series3.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	0	(*.f64 d1 (+.f64 d3 d2))
0.0ms	d3	@	-inf	(*.f64 d1 (+.f64 d3 d2))
0.0ms	d1	@	-inf	(*.f64 d1 (+.f64 d3 d2))
0.0ms	d1	@	inf	(*.f64 d1 (+.f64 d3 d2))
0.0ms	d3	@	inf	(*.f64 d1 (+.f64 d3 d2))

rewrite94.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1638×	`bool.json-1`
1638×	`bool.json-2`
1606×	`rational.json-1`
1606×	`rational.json-2`
1606×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	70	13
2	196	13
3	417	13
4	861	13
5	1885	13
6	3899	13
7	6401	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d3 d2))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 d1 (+.f64 d3 d2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 d1 (+.f64 d3 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 d3 d2) (.f64 d1 1/2)) (.f64 (+.f64 d3 d2) (.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 d1 (+.f64 d3 d2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (+.f64 d3 d2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 d3 d2) (+.f64 d1 d1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (.f64 (+.f64 d3 d2) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 d1 (+.f64 d3 d2)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 d1 (+.f64 d3 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 d1 (+.f64 d3 d2)) (.f64 d1 (+.f64 d3 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 d1 (+.f64 d3 d2)) (*.f64 d1 (+.f64 d3 d2)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 d3 d2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 d1 (+.f64 d3 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 d3 d2) (*.f64 d1 1/2)) (*.f64 (+.f64 d3 d2) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d3 d2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d3 d2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d3 d2) (+.f64 d1 d1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 d3 d2) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (+.f64 d3 d2)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 d2)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 d2)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 d2)) 8))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 d2)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 d1 (+.f64 d3 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 d1 (+.f64 d3 d2)) (*.f64 d1 (+.f64 d3 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 d1 (+.f64 d3 d2)) (*.f64 d1 (+.f64 d3 d2)))))))

simplify1.5s (33.1%)

Algorithm

1×	egg-herbie

Rules

5368×	`rational.json-simplify-35`
2494×	`rational.json-simplify-2`
1068×	`rational.json-simplify-53`
974×	`rational.json-simplify-1`
736×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	575
1	94	575
2	183	575
3	448	575
4	1874	575
5	3672	575
6	4582	575
7	4894	575
8	5055	575
9	5208	575
10	5359	575
11	5691	575
12	5696	575
13	5767	575
14	5810	575
15	5821	575
16	5972	575
17	6123	575
18	6274	575
19	6425	575
20	6576	575
21	6727	575
22	6878	575
23	7029	575
24	7131	575
25	7146	575
26	7193	575
27	7226	575
28	7227	575
29	7227	575
30	7378	575
31	7529	575
32	7680	575
33	7831	575
34	7982	575

Stop Event

1×	node limit

Counts

47 → 16

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 d3 d2)) 0)
(+.f64 0 (*.f64 d1 (+.f64 d3 d2)))
(+.f64 (.f64 (+.f64 d3 d2) (.f64 d1 1/2)) (.f64 (+.f64 d3 d2) (.f64 d1 1/2)))
(-.f64 (*.f64 d1 (+.f64 d3 d2)) 0)
(/.f64 (*.f64 d1 (+.f64 d3 d2)) 1)
(/.f64 (*.f64 (+.f64 d3 d2) (+.f64 d1 d1)) 2)
(/.f64 (.f64 d1 (.f64 (+.f64 d3 d2) 4)) 4)
(/.f64 (.f64 (.f64 d1 (+.f64 d3 d2)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 d1 (+.f64 d3 d2)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8)))) 64)

Outputs
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (*.f64 d1 (+.f64 d3 d2)) 0)
(*.f64 d1 (+.f64 d2 d3))
(+.f64 0 (*.f64 d1 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 (+.f64 d3 d2) (.f64 d1 1/2)) (.f64 (+.f64 d3 d2) (.f64 d1 1/2)))
(*.f64 d1 (+.f64 d2 d3))
(-.f64 (*.f64 d1 (+.f64 d3 d2)) 0)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (*.f64 d1 (+.f64 d3 d2)) 1)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (*.f64 (+.f64 d3 d2) (+.f64 d1 d1)) 2)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 d1 (.f64 (+.f64 d3 d2) 4)) 4)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 (.f64 d1 (+.f64 d3 d2)) 8) 8)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 2 (.f64 (*.f64 d1 (+.f64 d3 d2)) 8)) 16)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8))) 32)
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 d1 (+.f64 d3 d2)) 8)))) 64)
(*.f64 d1 (+.f64 d2 d3))

eval2.0ms (0.1%)

Compiler: Compiled 143 to 68 computations (52.4% saved)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	14	2	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	3	17

Error

0.0b

Counts

17 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	27.1b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d3 d2))
▶	31.8b	(*.f64 d1 d3)

Compiler

Compiled 20 to 13 computations (35% saved)

localize3.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

localize3.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 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
✓	27.1b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d3 d2))
✓	31.8b	(*.f64 d1 d3)

Compiler

Compiled 20 to 13 computations (35% saved)

regimes16.0ms (0.3%)

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 d1 d3)
(*.f64 d2 d1)
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
(*.f64 d1 (+.f64 d3 d2))

Calls

4 calls:

4.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
4.0ms	d1
4.0ms	d3
3.0ms	d2

Results

Error	Segments	Branch
0.0b	1	`d1`
0.0b	1	`d2`
0.0b	1	`d3`
0.0b	1	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Compiler

Compiled 43 to 24 computations (44.2% saved)

regimes45.0ms (1%)

Accuracy

Total -49.9b remaining (-626.9%)

Threshold costs -49.9b (-626.9%)

Counts

2 → 2

Calls

Call 1

Inputs
(*.f64 d1 d3)
(*.f64 d2 d1)

Outputs
(*.f64 d2 d1)
(*.f64 d1 d3)

Calls

3 calls:

25.0ms	d1
13.0ms	d2
6.0ms	d3

Results

Error	Segments	Branch
19.5b	10	`d1`
9.1b	4	`d2`
8.0b	2	`d3`

Compiler

Compiled 21 to 14 computations (33.3% saved)

bsearch9.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
8.0ms	2.754226661968974e-57	4.6448431146518553e-57

Results

8.0ms

64×

body

256

valid

Compiler

Compiled 72 to 51 computations (29.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	43

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d3 d2))
(if (<=.f64 d3 1015937062247571/220855883097298041197912187592864814478435487109452369765200775161577472) (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 d3)

Outputs
(*.f64 d1 (+.f64 d3 d2))
(if (<=.f64 d3 1015937062247571/220855883097298041197912187592864814478435487109452369765200775161577472) (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 d3)

Compiler

Compiled 27 to 17 computations (37% saved)

soundness8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	11	13
2	15	13
3	16	13

Stop Event

1×

saturated

Compiler

Compiled 22 to 10 computations (54.5% saved)

end19.0ms (0.4%)

Remove: (sort d2 d3)
Compiler: Compiled 37 to 20 computations (45.9% saved)

Details

analyze1.6s (34.5%)

sample1.3s (27.5%)

preprocess4.0ms (0.1%)

simplify9.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series3.0ms (0.1%)

rewrite94.0ms (2%)

simplify1.5s (33.1%)

eval2.0ms (0.1%)

prune3.0ms (0.1%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes16.0ms (0.3%)

regimes45.0ms (1%)

bsearch9.0ms (0.2%)

simplify2.0ms (0%)

soundness8.0ms (0.2%)

end19.0ms (0.4%)

Profiling