Details

analyze48.0ms

Algorithm

Search

True	Other	False	Iter
0%	14%	86%	0
0%	14%	86%	1
0%	14%	86%	2
0%	14%	86%	3
0%	14%	86%	4
0%	14%	86%	5
0%	14%	86%	6
8.1%	5.9%	86%	7
10.3%	3.7%	86%	8
12.6%	1.5%	86%	9
13.9%	0.1%	86%	10
14%	0%	86%	11
14%	0%	86%	12
14%	0%	86%	13
14%	0%	86%	14

sample34.0ms

Algorithm

intervals

Results

19.0ms	256×	body	80	valid
5.0ms	256×	pre	80	true

simplify110.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	5377	79

prune4.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 53.2b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))
0.1b	(.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i))))
34.6b	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i)))) (-.f64 (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i))) 1))
45.8b	(/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))

rewrite129.0ms

Algorithm

rewrite-expression-head

Rules

86×	`times-frac_binary64`
66×	`associate-/r/_binary64`
61×	`flip3-+_binary64` `flip-+_binary64`
59×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
40×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64` `frac-times_binary64`
32×	`associate-*r/_binary64`
28×	`difference-of-squares_binary64`
26×	`add-cube-cbrt_binary64`
21×	`cbrt-unprod_binary64` `prod-exp_binary64`
20×	`associate-*l/_binary64`
19×	`cbrt-undiv_binary64` `div-exp_binary64`
14×	`difference-of-sqr-1_binary64` `associate-/l*_binary64`
9×	`associate-/l/_binary64` `pow1_binary64` `div-inv_binary64`
7×	`associate-/r*_binary64`
6×	`add-log-exp_binary64`
4×	`insert-posit16`
3×	`pow-prod-down_binary64` `associate-r_binary64`
2×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-+r+_binary64`
1×	`flip3--_binary64` `associate-l_binary64` `+-commutative_binary64` `flip--_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 210

Calls

4 calls:

8.0ms	(+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))
17.0ms	(.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i))))
56.0ms	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i)))) (-.f64 (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i))) 1))
34.0ms	(/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))

series22.7s

Counts

4 → 12

Calls

4 calls:

4.4s	(+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))
5.1s	(.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i))))
7.0s	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i)))) (-.f64 (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i))) 1))
6.2s	(/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	26346	2182
1	26346	2182
0	26346	2182
1	26346	2182
0	1	3
1	1	3
0	31925	2494
1	31925	2494
0	31925	2494
1	31925	2494
0	1	3
1	1	3
0	22638	870
1	22638	870
0	22638	870
1	22638	870
0	1	3
1	1	3
0	18704	392
1	18704	392
0	18704	392
1	18704	392
0	1	3
1	1	3

simplify166.0ms

Counts

222 → 222

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5370	18893

prune378.0ms

Filtered

138 candidates to 222 candidates (-60.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	217	5	222
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	218	5	223

Merged error: 31.4b

Counts

223 → 5

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (/.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))
0.1b	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)))
32.7b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
33.0b	(/.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite236.0ms

Algorithm

rewrite-expression-head

Rules

414×	`times-frac_binary64`
314×	`add-sqr-sqrt_binary64`
280×	`*-un-lft-identity_binary64`
169×	`add-cube-cbrt_binary64`
111×	`associate-r_binary64`
70×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
62×	`difference-of-squares_binary64`
48×	`associate-/r/_binary64`
42×	`associate-l_binary64`
33×	`cbrt-undiv_binary64` `div-exp_binary64`
31×	`difference-of-sqr-1_binary64` `distribute-lft-out--_binary64`
24×	`flip3-+_binary64` `div-inv_binary64` `flip-+_binary64`
19×	`associate-/l*_binary64`
16×	`cbrt-unprod_binary64` `prod-exp_binary64`
13×	`associate-/r*_binary64`
9×	`distribute-lft-out_binary64`
6×	`pow1_binary64` `unswap-sqr_binary64`
5×	`associate-/l/_binary64`
4×	`add-log-exp_binary64` `insert-posit16`
3×	`associate-*r/_binary64` `clear-num_binary64` `frac-2neg_binary64`
2×	`flip3--_binary64` `flip--_binary64`
1×	`pow-prod-down_binary64` `frac-times_binary64` `associate-l/_binary64` `-commutative_binary64`

Counts

4 → 399

Calls

4 calls:

33.0ms	(/.f64 (/.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))
136.0ms	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)))
17.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
20.0ms	(/.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series35.2s

Counts

4 → 12

Calls

4 calls:

10.4s	(/.f64 (/.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))
10.4s	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)))
7.5s	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
6.9s	(/.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	23996	1386
1	23996	1386
0	23996	1386
1	23996	1386
0	1	3
1	1	3
0	25417	1030
1	25417	1030
0	25417	1030
1	25417	1030
0	1	3
1	1	3
0	32299	2829
1	32299	2829
0	32299	2829
1	32299	2829
0	1	3
1	1	3
0	27746	1750
1	27746	1750
0	27290	1750
1	27290	1750
0	1	3
1	1	3

simplify294.0ms

Counts

411 → 411

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5005	32065

prune922.0ms

Filtered

267 candidates to 411 candidates (-53.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	406	5	411
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	408	8	416

Merged error: 31.3b

Counts

416 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b	(.f64 (.f64 (sqrt.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (/.f64 (/.f64 (sqrt.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
32.7b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
32.8b	(sqrt.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)))
32.8b	(sqrt.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)))

rewrite169.0ms

Algorithm

rewrite-expression-head

Rules

297×	`times-frac_binary64`
222×	`add-sqr-sqrt_binary64`
196×	`*-un-lft-identity_binary64`
174×	`associate-r_binary64`
124×	`add-cube-cbrt_binary64`
84×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
69×	`sqrt-prod_binary64`
48×	`difference-of-squares_binary64`
32×	`cbrt-undiv_binary64` `div-exp_binary64`
31×	`cbrt-unprod_binary64` `prod-exp_binary64`
24×	`difference-of-sqr-1_binary64` `distribute-lft-out--_binary64`
18×	`associate-/r/_binary64`
15×	`flip3-+_binary64` `flip-+_binary64`
12×	`sqrt-div_binary64`
11×	`pow1_binary64`
9×	`div-inv_binary64` `frac-times_binary64` `associate-*l/_binary64`
5×	`associate-*r/_binary64`
4×	`add-log-exp_binary64` `insert-posit16`
3×	`pow-prod-down_binary64` `associate-/r*_binary64`
2×	`associate-/l/_binary64` `pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64`
1×	`flip3--_binary64` `associate-l_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `flip--_binary64` `-commutative_binary64`

Counts

4 → 285

Calls

4 calls:

107.0ms	(.f64 (.f64 (sqrt.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (/.f64 (/.f64 (sqrt.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
16.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
10.0ms	(sqrt.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)))
10.0ms	(sqrt.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)))

series27.3s

Counts

4 → 12

Calls

4 calls:

10.4s	(.f64 (.f64 (sqrt.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (/.f64 (/.f64 (sqrt.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
7.1s	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
4.8s	(sqrt.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)))
5.0s	(sqrt.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	19897	942
1	19897	942
0	19897	942
1	19897	942
0	12	27
1	12	27
0	19897	942
1	19897	942
0	19897	942
1	19897	942
0	12	27
1	12	27
0	25417	1030
1	25417	1030
0	25417	1030
1	25417	1030
0	1	3
1	1	3
0	30564	3358
1	30564	3358
0	30603	3358
1	30603	3358
0	1	3
1	1	3

simplify251.0ms

Counts

297 → 297

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	5090	25967

prune520.0ms

Filtered

162 candidates to 297 candidates (-83.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	297	0	297
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	297	8	305

Merged error: 31.3b

Counts

305 → 8

localize24.0ms

Local error

Found 4 expressions with local error:

32.7b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
32.7b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
32.7b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
33.0b	(/.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `times-frac_binary64`
12×	`associate-/r*_binary64`
8×	`flip3-+_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `flip-+_binary64`
7×	`cbrt-undiv_binary64` `div-exp_binary64`
6×	`associate-r/_binary64` `associate-/l_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `insert-posit16`
3×	`cbrt-unprod_binary64` `prod-exp_binary64`

Counts

4 → 110

Calls

4 calls:

17.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
19.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
17.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
20.0ms	(/.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series29.3s

Counts

4 → 12

Calls

4 calls:

7.2s	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
7.4s	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
7.3s	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
7.3s	(/.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	23996	1386
1	23996	1386
0	23996	1386
1	23996	1386
0	1	3
1	1	3
0	25417	1030
1	25417	1030
0	25417	1030
1	25417	1030
0	1	3
1	1	3
0	25417	1030
1	25417	1030
0	25417	1030
1	25417	1030
0	1	3
1	1	3
0	25417	1030
1	25417	1030
0	25417	1030
1	25417	1030
0	1	3
1	1	3

simplify140.0ms

Counts

122 → 122

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	4982	3363
1	4982	3363

prune365.0ms

Filtered

94 candidates to 122 candidates (-29.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	122	8	130

Merged error: 31.3b

Counts

130 → 8

regimes109.0ms

Accuracy

36.1% (2.4b remaining)

Error of 36.6b against oracle of 34.2b and baseline of 38.0b

bsearch35.0ms

Steps

Iters	Range		Point
8	2.731132768767167e+206	4.255471191173894e+209	2.7643449971644256e+206

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	47	111
1	47	111

end0.0ms

sample955.0ms

Algorithm

intervals

Results

604.0ms	8000×	body	80	valid
173.0ms	8000×	pre	80	true

Details

analyze48.0ms

sample34.0ms

simplify110.0ms

prune4.0ms

localize15.0ms

rewrite129.0ms

series22.7s

simplify166.0ms

prune378.0ms

localize21.0ms

rewrite236.0ms

series35.2s

simplify294.0ms

prune922.0ms

localize20.0ms

rewrite169.0ms

series27.3s

simplify251.0ms

prune520.0ms

localize24.0ms

rewrite77.0ms

series29.3s

simplify140.0ms

prune365.0ms

regimes109.0ms

bsearch35.0ms

simplify7.0ms

end0.0ms

sample955.0ms

Profiling