Details

analyze2.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
28.1%	28.1%	43.8%	2
56.2%	0%	43.8%	3

Compiler

Compiled 22 to 16 computations (27.3% saved)

sample1.8s (42.1%)

Results

854.0ms	6173×	body	128	valid
398.0ms	1041×	body	1024	valid
177.0ms	617×	body	512	valid
67.0ms	325×	body	256	valid
43.0ms	100×	body	2048	valid

Compiler

Compiled 59 to 43 computations (27.1% saved)

simplify205.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

890×	`sub-neg_binary64`
434×	`cancel-sign-sub-inv_binary64`
422×	`associate-/l*_binary64`
388×	`distribute-rgt-neg-in_binary64`
379×	`neg-mul-1_binary64`

Counts

1 → 2

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	23	19
2	39	19
3	64	19
4	108	19
5	215	17
6	353	17
7	603	17
8	1141	17
9	2484	17
10	3195	17
11	3981	17
12	4235	17
13	4399	17
14	4503	17
15	4531	17
16	4533	17
17	4768	17
18	4708	17
19	4930	17
20	4826	17

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

15.5b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	15.5b	(fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 beta alpha) 2)) -1/2 1/2)

Compiler

Compiled 55 to 39 computations (29.1% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 alpha beta) (+.f64 (+.f64 beta alpha) 2))
✓	2.7b	(fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 beta alpha) 2)) -1/2 1/2)

series39.0ms (0.9%)

Counts

2 → 48

Calls

2 calls:

25.0ms	(fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 beta alpha) 2)) -1/2 1/2)
14.0ms	(/.f64 (-.f64 alpha beta) (+.f64 (+.f64 beta alpha) 2))

rewrite63.0ms (1.5%)

Algorithm

2×	batch-egg-rewrite

Rules

472×	`fma-def_binary64`
257×	`fma-neg_binary64`
236×	`expm1-udef_binary64`
236×	`log1p-udef_binary64`
132×	`add-sqr-sqrt_binary64`

Counts

2 → 76

Calls

2 calls:

61.0ms	(/.f64 (-.f64 alpha beta) (+.f64 (+.f64 beta alpha) 2))
61.0ms	(fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 beta alpha) 2)) -1/2 1/2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	261	30
2	3563	30
3	4908	30
0	0	0
1	0	0

simplify65.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

935×	`times-frac_binary64`
498×	`cancel-sign-sub-inv_binary64`
367×	`sub-neg_binary64`
205×	`+-commutative_binary64`
189×	`associate-+r+_binary64`

Counts

124 → 130

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	221	2358
1	749	2323
2	2913	2279
3	5252	2279

prune123.0ms (2.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	126	4	130
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	127	4	131

Error

0.1b

Counts

131 → 4

Alt Table

Status	Error	Program
▶	15.5b	(fma.f64 (pow.f64 (/.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 alpha beta)) -1) -1/2 1/2)
	47.8b	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (*.f64 (/.f64 beta alpha) (/.f64 beta alpha)))))
	48.9b	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 7 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 4)) (+.f64 (/.f64 8 (pow.f64 alpha 4)) (+.f64 (/.f64 (pow.f64 beta 4) (pow.f64 alpha 4)) (fma.f64 18 (/.f64 (.f64 beta beta) (pow.f64 alpha 4)) (fma.f64 20 (/.f64 beta (pow.f64 alpha 4)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))))))
	46.0b	(/.f64 (+.f64 beta 1) alpha)

Compiler

Compiled 4173 to 2664 computations (36.2% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 alpha beta))
✓	0.1b	(pow.f64 (/.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 alpha beta)) -1)
✓	2.7b	(fma.f64 (pow.f64 (/.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 alpha beta)) -1) -1/2 1/2)

series87.0ms (2%)

Counts

3 → 72

Calls

3 calls:

45.0ms

(fma.f64 (pow.f64 (/.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 alpha beta)) -1) -1/2 1/2)

29.0ms

(pow.f64 (/.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 alpha beta)) -1)

13.0ms

(/.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 alpha beta))

rewrite71.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

647×	`prod-diff_binary64`
144×	`add-sqr-sqrt_binary64`
140×	`log1p-expm1-u_binary64`
140×	`expm1-log1p-u_binary64`
136×	`add-log-exp_binary64`

Counts

3 → 108

Calls

3 calls:

68.0ms

(/.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 alpha beta))

68.0ms

(pow.f64 (/.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 alpha beta)) -1)

68.0ms

(fma.f64 (pow.f64 (/.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 alpha beta)) -1) -1/2 1/2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	49
1	295	43
2	3673	43
3	4892	43
0	0	0
1	0	0

simplify88.0ms (2%)

Algorithm

1×	egg-herbie

Rules

514×	`fma-def_binary64`
430×	`associate-+l+_binary64`
329×	`times-frac_binary64`
287×	`associate-/r*_binary64`
193×	`associate-/l*_binary64`

Counts

180 → 191

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	422	4212
1	1483	4134
2	5280	4134

prune223.0ms (5.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	191	4	195

Error

0.1b

Counts

195 → 4

Alt Table

Status	Error	Program
✓	15.5b	(fma.f64 (pow.f64 (/.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 alpha beta)) -1) -1/2 1/2)
	47.8b	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (*.f64 (/.f64 beta alpha) (/.f64 beta alpha)))))
	48.9b	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 7 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 4)) (+.f64 (/.f64 8 (pow.f64 alpha 4)) (+.f64 (/.f64 (pow.f64 beta 4) (pow.f64 alpha 4)) (fma.f64 18 (/.f64 (.f64 beta beta) (pow.f64 alpha 4)) (fma.f64 20 (/.f64 beta (pow.f64 alpha 4)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))))))
▶	46.0b	(/.f64 (+.f64 beta 1) alpha)

Compiler

Compiled 7212 to 4805 computations (33.4% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 beta 1) alpha)

series6.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

6.0ms

(/.f64 (+.f64 beta 1) alpha)

rewrite43.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

645×	`log1p-expm1-u_binary64`
645×	`expm1-log1p-u_binary64`
298×	`log-prod_binary64`
112×	`log1p-udef_binary64`
111×	`expm1-udef_binary64`

Counts

1 → 37

Calls

1 calls:

42.0ms

(/.f64 (+.f64 beta 1) alpha)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	128	7
2	1621	7
3	5298	7
0	0	0
1	0	0

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`1-exp_binary64`

Counts

49 → 40

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	102
1	10	102
2	9	102

prune29.0ms (0.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	40	4	44

Error

0.1b

Counts

44 → 4

Alt Table

Status	Error	Program
✓	15.5b	(fma.f64 (pow.f64 (/.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 alpha beta)) -1) -1/2 1/2)
▶	47.8b	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (*.f64 (/.f64 beta alpha) (/.f64 beta alpha)))))
	48.9b	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 7 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 4)) (+.f64 (/.f64 8 (pow.f64 alpha 4)) (+.f64 (/.f64 (pow.f64 beta 4) (pow.f64 alpha 4)) (fma.f64 18 (/.f64 (.f64 beta beta) (pow.f64 alpha 4)) (fma.f64 20 (/.f64 beta (pow.f64 alpha 4)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))))))
✓	46.0b	(/.f64 (+.f64 beta 1) alpha)

Compiler

Compiled 743 to 499 computations (32.8% saved)

localize26.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	6.9b	(/.f64 beta (pow.f64 alpha 3))
✓	7.0b	(/.f64 beta (*.f64 alpha alpha))
✓	9.8b	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (*.f64 (/.f64 beta alpha) (/.f64 beta alpha)))))
✓	18.2b	(/.f64 (*.f64 beta beta) (pow.f64 alpha 3))

series130.0ms (3%)

Counts

4 → 72

Calls

4 calls:

41.0ms	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (*.f64 (/.f64 beta alpha) (/.f64 beta alpha)))))
35.0ms	(/.f64 (*.f64 beta beta) (pow.f64 alpha 3))
27.0ms	(/.f64 beta (pow.f64 alpha 3))
27.0ms	(/.f64 beta (*.f64 alpha alpha))

rewrite63.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

332×	`log1p-expm1-u_binary64`
332×	`expm1-log1p-u_binary64`
315×	`add-cbrt-cube_binary64`
314×	`add-log-exp_binary64`
313×	`add-exp-log_binary64`

Counts

4 → 88

Calls

4 calls:

59.0ms	(/.f64 beta (pow.f64 alpha 3))
59.0ms	(/.f64 beta (*.f64 alpha alpha))
59.0ms	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (*.f64 (/.f64 beta alpha) (/.f64 beta alpha)))))
59.0ms	(/.f64 (*.f64 beta beta) (pow.f64 alpha 3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	105
1	709	101
2	5227	101
0	0	0
1	0	0

simplify89.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

745×	`times-frac_binary64`
481×	`fma-neg_binary64`
473×	`associate-+l+_binary64`
428×	`fma-def_binary64`
409×	`associate--l+_binary64`

Counts

160 → 111

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	63	1749
1	197	1724
2	698	1602
3	3296	1602
4	4948	1602
5	4972	1602

prune159.0ms (3.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	110	5	115

Error

0.1b

Counts

115 → 5

Alt Table

Status	Error	Program
✓	15.5b	(fma.f64 (pow.f64 (/.f64 (+.f64 (+.f64 alpha beta) 2) (-.f64 alpha beta)) -1) -1/2 1/2)
	57.5b	(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (fma.f64 4 (pow.f64 alpha -3) (/.f64 beta alpha)) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)) 5))))) 3) (pow.f64 (fma.f64 2 (pow.f64 alpha -2) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (pow.f64 (/.f64 beta alpha) 2))) 3)) (+.f64 (pow.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (fma.f64 4 (pow.f64 alpha -3) (/.f64 beta alpha)) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)) 5))))) 2) (+.f64 (pow.f64 (fma.f64 2 (pow.f64 alpha -2) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (pow.f64 (/.f64 beta alpha) 2))) 2) (.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (fma.f64 4 (pow.f64 alpha -3) (/.f64 beta alpha)) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)) 5))))) (fma.f64 2 (pow.f64 alpha -2) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (pow.f64 (/.f64 beta alpha) 2)))))))
	48.9b	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 7 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 4)) (+.f64 (/.f64 8 (pow.f64 alpha 4)) (+.f64 (/.f64 (pow.f64 beta 4) (pow.f64 alpha 4)) (fma.f64 18 (/.f64 (.f64 beta beta) (pow.f64 alpha 4)) (fma.f64 20 (/.f64 beta (pow.f64 alpha 4)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))))))
✓	46.0b	(/.f64 (+.f64 beta 1) alpha)
	48.2b	(fma.f64 (pow.f64 (cbrt.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (fma.f64 4 (pow.f64 alpha -3) (/.f64 beta alpha)) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)) 5)))))) 2) (cbrt.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (fma.f64 4 (pow.f64 alpha -3) (/.f64 beta alpha)) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)) 5)))))) (neg.f64 (fma.f64 2 (pow.f64 alpha -2) (fma.f64 3 (/.f64 beta (*.f64 alpha alpha)) (pow.f64 (/.f64 beta alpha) 2)))))

Compiler

Compiled 7290 to 4074 computations (44.1% saved)

regimes725.0ms (16.8%)

Accuracy

Total 0.1b remaining (46.5%)

Threshold costs 0.1b (46.5%)

Counts

85 → 2

Compiler

Compiled 20550 to 13351 computations (35% saved)

bsearch7.0ms (0.2%)

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

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`+-commutative_binary64`
6×	`sub-neg_binary64`
3×	`*-commutative_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	86
1	48	86
2	57	86
3	63	86
4	66	86
5	65	86

end226.0ms (5.2%)

Compiler: Compiled 509 to 328 computations (35.6% saved)

Details

analyze2.0ms (0%)

sample1.8s (42.1%)

simplify205.0ms (4.7%)

prune3.0ms (0.1%)

localize7.0ms (0.2%)

series39.0ms (0.9%)

rewrite63.0ms (1.5%)

simplify65.0ms (1.5%)

prune123.0ms (2.8%)

localize8.0ms (0.2%)

series87.0ms (2%)

rewrite71.0ms (1.6%)

simplify88.0ms (2%)

prune223.0ms (5.2%)

localize3.0ms (0.1%)

series6.0ms (0.1%)

rewrite43.0ms (1%)

simplify8.0ms (0.2%)

prune29.0ms (0.7%)

localize26.0ms (0.6%)

series130.0ms (3%)

rewrite63.0ms (1.4%)

simplify89.0ms (2.1%)

prune159.0ms (3.7%)

regimes725.0ms (16.8%)

bsearch7.0ms (0.2%)

simplify4.0ms (0.1%)

end226.0ms (5.2%)

Profiling