Details

analyze2.2s

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
1.6%	98.3%	0.1%	8
2.3%	97.5%	0.1%	9
7.4%	90.9%	1.7%	10
9.2%	87.4%	3.5%	11
11.7%	83.5%	4.8%	12
15.2%	76%	8.8%	13
16.4%	72%	11.6%	14

sample134.0ms

Algorithm

intervals

Results

55.0ms	64×	body	1280	valid
28.0ms	51×	body	640	valid
13.0ms	99×	body	80	valid
12.0ms	30×	body	320	valid
5.0ms	41×	body	80	invalid
3.0ms	12×	body	160	valid
2.0ms	4×	body	640	invalid
1.0ms	3×	body	320	invalid
1.0ms	2×	body	160	invalid

simplify30.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5086	25

prune11.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: 31.4b

Counts

2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

2.5b	(.f64 (.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
3.1b	(.f64 (/.f64 (pow.f64 t 3.0) (.f64 l l)) (sin.f64 k))
10.5b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3.0) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))
17.7b	(/.f64 (pow.f64 t 3.0) (*.f64 l l))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

108×	`add-exp-log_binary64`
58×	`prod-exp_binary64`
52×	`add-cbrt-cube_binary64`
26×	`cbrt-unprod_binary64`
24×	`div-exp_binary64`
21×	`add-sqr-sqrt_binary64`
20×	`pow1_binary64`
19×	`*-un-lft-identity_binary64`
17×	`times-frac_binary64`
16×	`associate-*l/_binary64`
14×	`add-cube-cbrt_binary64`
13×	`associate-l_binary64`
11×	`associate-r_binary64`
10×	`pow-prod-down_binary64` `unpow-prod-down_binary64` `frac-times_binary64`
8×	`pow-to-exp_binary64` `cbrt-undiv_binary64` `pow-exp_binary64` `tan-quot_binary64`
7×	`associate-/l*_binary64`
6×	`associate-*r/_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `sqr-pow_binary64` `unswap-sqr_binary64` `flip-+_binary64`
3×	`distribute-lft-out_binary64` `*-commutative_binary64`
2×	`div-inv_binary64`
1×	`associate-/r*_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 144

Calls

4 calls:

12.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
10.0ms	(.f64 (/.f64 (pow.f64 t 3.0) (.f64 l l)) (sin.f64 k))
25.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3.0) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))
7.0ms	(/.f64 (pow.f64 t 3.0) (*.f64 l l))

series383.0ms

Counts

4 → 12

Calls

4 calls:

86.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
67.0ms	(.f64 (/.f64 (pow.f64 t 3.0) (.f64 l l)) (sin.f64 k))
182.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3.0) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))
48.0ms	(/.f64 (pow.f64 t 3.0) (*.f64 l l))

simplify61.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4984	2518
1	4984	2518

prune235.0ms

Filtered

94 candidates to 156 candidates (-66.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	144	12	156
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	145	12	157

Merged error: 11.3b

Counts

157 → 12

localize27.0ms

Local error

Found 4 expressions with local error:

2.5b	(.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
3.8b	(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
6.4b	(/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l)
10.5b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

rewrite86.0ms

Algorithm

rewrite-expression-head

Rules

304×	`add-exp-log_binary64`
184×	`prod-exp_binary64`
78×	`add-cbrt-cube_binary64`
77×	`div-exp_binary64`
50×	`add-sqr-sqrt_binary64`
49×	`times-frac_binary64`
44×	`cbrt-unprod_binary64` `associate-*l/_binary64`
42×	`*-un-lft-identity_binary64`
37×	`add-cube-cbrt_binary64`
36×	`associate-l_binary64`
34×	`frac-times_binary64`
33×	`pow-exp_binary64`
29×	`pow1_binary64`
24×	`unpow-prod-down_binary64`
22×	`pow-to-exp_binary64`
17×	`pow-prod-down_binary64`
16×	`tan-quot_binary64`
14×	`associate-*r/_binary64`
12×	`cbrt-undiv_binary64`
11×	`associate-r_binary64`
10×	`cbrt-prod_binary64`
8×	`flip3-+_binary64` `sqr-pow_binary64` `flip-+_binary64`
5×	`unswap-sqr_binary64` `associate-/l*_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/r_binary64` `distribute-lft-out_binary64` `-commutative_binary64`
2×	`div-inv_binary64`
1×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 229

Calls

4 calls:

18.0ms	(.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
12.0ms	(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
6.0ms	(/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l)
35.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

series427.0ms

Counts

4 → 12

Calls

4 calls:

98.0ms	(.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
67.0ms	(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
51.0ms	(/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l)
211.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

simplify76.0ms

Algorithm

egg-herbie

Counts

241 → 241

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5949	5575

prune370.0ms

Filtered

136 candidates to 241 candidates (-77.2%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	228	13	241
Fresh	5	6	11
Picked	1	0	1
Done	0	0	0
Total	234	19	253

Merged error: 7.3b

Counts

253 → 19

localize24.0ms

Local error

Found 4 expressions with local error:

1.1b	(.f64 (.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
2.5b	(.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
3.8b	(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
10.5b	(.f64 (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

rewrite139.0ms

Algorithm

rewrite-expression-head

Rules

1050×	`add-exp-log_binary64`
734×	`prod-exp_binary64`
255×	`div-exp_binary64`
151×	`add-cbrt-cube_binary64`
145×	`pow-to-exp_binary64` `pow-exp_binary64`
96×	`cbrt-unprod_binary64`
47×	`associate-*l/_binary64`
40×	`add-sqr-sqrt_binary64`
37×	`associate-l_binary64`
35×	`frac-times_binary64`
34×	`pow1_binary64` `times-frac_binary64`
33×	`associate-*r/_binary64`
32×	`*-un-lft-identity_binary64`
27×	`add-cube-cbrt_binary64`
20×	`pow-prod-down_binary64` `unpow-prod-down_binary64`
19×	`cbrt-undiv_binary64`
16×	`tan-quot_binary64`
12×	`associate-r_binary64`
10×	`cbrt-prod_binary64`
8×	`flip3-+_binary64` `flip-+_binary64`
5×	`unswap-sqr_binary64`
4×	`add-log-exp_binary64` `sqr-pow_binary64` `*-commutative_binary64`
3×	`distribute-lft-out_binary64`
1×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `div-inv_binary64`

Counts

4 → 366

Calls

4 calls:

25.0ms	(.f64 (.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
25.0ms	(.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
11.0ms	(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
44.0ms	(.f64 (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

series447.0ms

Counts

4 → 12

Calls

4 calls:

74.0ms	(.f64 (.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
97.0ms	(.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
65.0ms	(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
210.0ms	(.f64 (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

simplify115.0ms

Algorithm

egg-herbie

Counts

378 → 378

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4996	7410
1	4996	7410

prune336.0ms

Filtered

121 candidates to 378 candidates (-212.4%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	369	9	378
Fresh	6	12	18
Picked	1	0	1
Done	0	0	0
Total	376	21	397

Merged error: 7.0b

Counts

397 → 21

localize39.0ms

Local error

Found 4 expressions with local error:

1.1b	(.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (cbrt.f64 l))) (.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
2.5b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (cbrt.f64 l))) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
3.8b	(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
10.5b	(.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (cbrt.f64 l))) (.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

rewrite298.0ms

Algorithm

rewrite-expression-head

Rules

5034×	`add-exp-log_binary64`
3200×	`prod-exp_binary64`
1557×	`div-exp_binary64`
709×	`pow-exp_binary64`
424×	`pow-to-exp_binary64`
340×	`add-cbrt-cube_binary64`
246×	`cbrt-unprod_binary64`
125×	`associate-*l/_binary64`
103×	`frac-times_binary64`
85×	`cbrt-undiv_binary64`
61×	`pow1_binary64`
41×	`pow-prod-down_binary64`
40×	`add-sqr-sqrt_binary64`
37×	`associate-l_binary64`
34×	`times-frac_binary64`
33×	`associate-*r/_binary64`
32×	`*-un-lft-identity_binary64` `tan-quot_binary64`
27×	`add-cube-cbrt_binary64`
20×	`unpow-prod-down_binary64`
16×	`flip3-+_binary64` `flip-+_binary64`
12×	`associate-r_binary64`
10×	`cbrt-prod_binary64`
5×	`unswap-sqr_binary64`
4×	`add-log-exp_binary64` `sqr-pow_binary64` `*-commutative_binary64`
3×	`distribute-lft-out_binary64`
1×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `div-inv_binary64`

Counts

4 → 939

Calls

4 calls:

33.0ms	(.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (cbrt.f64 l))) (.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
39.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (cbrt.f64 l))) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
12.0ms	(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
63.0ms	(.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (cbrt.f64 l))) (.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

series461.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (cbrt.f64 l))) (.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
104.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (cbrt.f64 l))) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
63.0ms	(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
213.0ms	(.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 (pow.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (/.f64 3.0 2)) (cbrt.f64 l))) (.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

simplify248.0ms

Algorithm

egg-herbie

Counts

951 → 951

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4995	28088
1	4995	28088

prune429.0ms

Filtered

168 candidates to 951 candidates (-466.1%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	946	5	951
Fresh	2	18	20
Picked	1	0	1
Done	0	0	0
Total	949	23	972

Merged error: 6.6b

Counts

972 → 23

regimes707.0ms

Accuracy

56% (3.5b remaining)

Error of 12.7b against oracle of 9.2b and baseline of 17.1b

bsearch161.0ms

Steps

Iters	Range		Point
7	2.3093345298871878e-122	9.575658850850575e-121	7.129027988873192e-121
8	-2.2183794639853565e-68	-1.0076907622801658e-71	-4.2577074819879283e-69

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	63	90
1	63	90

end0.0ms

sample4.0s

Algorithm

intervals

Results

1.6s	2036×	body	1280	valid
860.0ms	1542×	body	640	valid
448.0ms	3285×	body	80	valid
323.0ms	809×	body	320	valid
182.0ms	1342×	body	80	invalid
89.0ms	328×	body	160	valid
71.0ms	129×	body	640	invalid
49.0ms	129×	body	320	invalid
26.0ms	30×	body	1280	invalid
23.0ms	84×	body	160	invalid

Details

analyze2.2s

sample134.0ms

simplify30.0ms

prune11.0ms

localize20.0ms

rewrite59.0ms

series383.0ms

simplify61.0ms

prune235.0ms

localize27.0ms

rewrite86.0ms

series427.0ms

simplify76.0ms

prune370.0ms

localize24.0ms

rewrite139.0ms

series447.0ms

simplify115.0ms

prune336.0ms

localize39.0ms

rewrite298.0ms

series461.0ms

simplify248.0ms

prune429.0ms

regimes707.0ms

bsearch161.0ms

simplify2.0ms

end0.0ms

sample4.0s

Profiling