Details

sample30.0ms

Algorithm

intervals

Results

8.0ms	20×	body	320	valid
7.0ms	58×	body	1280	valid
4.0ms	144×	body	80	valid
3.0ms	28×	body	640	valid
0.0ms	6×	body	160	valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	10	7
done	10	7

prune3.0ms

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

Merged error: 26.9b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.2b	(cbrt (+ x 1.0))
0.6b	(cbrt x)
2.1b	(- (cbrt (+ x 1.0)) (cbrt x))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

15×	`cbrt-prod`
14×	`*-un-lft-identity`
13×	`add-sqr-sqrt`
5×	`add-cube-cbrt` `add-log-exp`
4×	`difference-of-squares`
3×	`pow1` `add-exp-log` `add-cbrt-cube` `distribute-lft-out--`
2×	`cbrt-div` `pow1/3` `distribute-lft-out`
1×	`sub-neg` `flip3--` `flip3-+` `diff-log` `flip--` `flip-+`

Counts

3 → 44

Calls

3 calls:

3.0ms	(cbrt (+ x 1.0))
1.0ms	(cbrt x)
9.0ms	(- (cbrt (+ x 1.0)) (cbrt x))

series49.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(cbrt (+ x 1.0))
25.0ms	(cbrt x)
17.0ms	(- (cbrt (+ x 1.0)) (cbrt x))

simplify47.5s

Counts

53 → 53

Iterations

Useful iterations: 4 (22.0ms)

Iter	Nodes	Cost
0	8	9
1	11	8
2	13	8
3	16	8
4	19	8
5	25	8
6	29	8
7	45	8
8	49	8
9	54	8
10	61	8
11	80	8
12	101	8
13	113	8
14	116	8
done	116	8
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	13	8
2	16	8
3	19	8
4	25	8
5	29	8
6	45	8
7	49	8
8	54	8
9	61	8
10	79	8
11	100	8
12	113	8
13	116	8
done	116	8
0	8	17
1	11	17
2	12	17
done	12	17
0	7	8
1	10	8
2	11	8
done	11	8
0	8	23
1	12	23
2	27	9
3	70	9
4	179	9
5	507	9
6	1717	9
done	5000	9
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	10	8
2	11	8
done	11	8
0	9	11
1	25	5
2	42	5
3	62	3
4	91	1
5	174	1
6	440	1
7	1548	1
done	5000	1
0	10	23
1	18	20
2	26	20
3	29	18
4	30	18
done	30	18
0	3	3
done	3	3
0	8	15
1	14	15
2	21	15
3	36	15
4	61	15
5	102	15
6	166	15
7	334	15
8	1644	15
done	5000	15
0	6	7
1	8	7
done	8	7
0	8	9
1	10	9
done	10	9
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	10	9
done	10	9
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	10	9
done	10	9
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	10	9
done	10	9
0	8	9
1	11	9
2	12	9
done	12	9
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	29	44
1	79	39
2	222	34
3	690	29
4	2462	28
done	5001	28
0	24	48
1	58	42
2	142	33
3	436	19
4	2069	16
done	5000	16
0	28	59
1	60	55
2	133	54
3	372	32
4	1269	21
done	5001	21
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	23	35
1	60	31
2	190	28
3	639	26
4	2541	25
done	5001	25
0	19	42
1	44	36
2	97	27
3	255	13
4	904	13
done	5000	13
0	21	45
1	46	42
2	100	42
3	263	21
4	947	13
done	5000	13

prune97.0ms

Filtered

41 candidates to 53 candidates (-29.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	49	4	53
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	4	54

Merged error: 0.2b

Counts

54 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt x) (cbrt x))
0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt x) (cbrt x))
2.0ms	(cbrt x)
2.0ms	(cbrt x)
2.0ms	(cbrt x)

series113.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (cbrt x) (cbrt x))
26.0ms	(cbrt x)
26.0ms	(cbrt x)
30.0ms	(cbrt x)

simplify51.0s

Counts

85 → 85

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	2	3
done	2	3
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	2	3
done	2	3
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	3
4	53	3
5	87	3
6	151	3
7	335	3
8	832	3
9	3226	3
done	5000	3
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	5	13
done	5	13
0	4	7
done	4	7
0	4	7
done	4	7
0	4	7
done	4	7
0	3	5
1	5	3
done	5	1
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	7
0	4	7
done	4	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	5	9
1	6	9
done	6	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	4
done	8	4
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	5	6
1	6	6
done	6	6
0	3	5
done	3	5
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	10	10
1	23	9
2	39	5
3	79	3
4	156	3
5	315	3
6	887	3
7	2939	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	15	17
1	31	16
2	66	14
3	189	11
4	553	10
5	2139	10
done	5000	9

prune137.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	79	6	85
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	79	10	89

Merged error: 0.1b

Counts

89 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt (* (cbrt x) (cbrt x)))
0.6b	(cbrt (* (cbrt x) (cbrt x)))
0.6b	(cbrt (* (cbrt x) (cbrt x)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

6×	`cbrt-prod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`

Counts

4 → 38

Calls

4 calls:

1.0ms	(cbrt x)
5.0ms	(cbrt (* (cbrt x) (cbrt x)))
5.0ms	(cbrt (* (cbrt x) (cbrt x)))
5.0ms	(cbrt (* (cbrt x) (cbrt x)))

series156.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(cbrt x)
41.0ms	(cbrt (* (cbrt x) (cbrt x)))
41.0ms	(cbrt (* (cbrt x) (cbrt x)))
45.0ms	(cbrt (* (cbrt x) (cbrt x)))

simplify42.3s

Counts

50 → 50

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	7
done	5	7
0	5	7
done	5	7
0	3	3
done	3	3
0	3	3
done	3	3
0	6	15
done	6	15
0	5	7
done	5	7
0	6	20
1	7	20
2	9	8
3	14	5
4	20	5
5	30	5
6	53	5
7	118	5
8	324	5
9	1243	5
done	5000	5
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	3	3
done	3	3
0	3	3
done	3	3
0	6	15
done	6	15
0	5	7
done	5	7
0	6	20
1	7	20
2	9	8
3	14	5
4	20	5
5	30	5
6	53	5
7	118	5
8	324	5
9	1243	5
done	5000	5
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	3	3
done	3	3
0	3	3
done	3	3
0	6	15
done	6	15
0	5	7
done	5	7
0	6	20
1	7	20
2	9	8
3	14	5
4	20	5
5	30	5
6	53	5
7	118	5
8	324	5
9	1243	5
done	5000	5
0	5	7
done	5	7
0	5	7
done	5	7
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	10	10
1	23	9
2	39	5
3	78	3
4	155	3
5	311	3
6	883	3
7	2953	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	17	19
1	38	17
2	75	15
3	199	13
4	569	11
5	2214	11
done	5000	11
0	10	10
1	23	9
2	39	5
3	78	3
4	155	3
5	311	3
6	883	3
7	2953	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	17	19
1	38	17
2	75	15
3	199	13
4	569	11
5	2214	11
done	5000	11
0	10	10
1	23	9
2	39	5
3	78	3
4	155	3
5	311	3
6	883	3
7	2953	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	17	19
1	38	17
2	75	15
3	199	13
4	569	11
5	2214	11
done	5000	11
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune117.0ms

Filtered

39 candidates to 50 candidates (-28.2%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	48	2	50
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	49	11	60

Merged error: 0.1b

Counts

60 → 11

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (* (cbrt x) (cbrt x)))
0.6b	(cbrt (* (cbrt x) (cbrt x)))
0.6b	(cbrt (* (cbrt x) (cbrt x)))
0.6b	(cbrt (* (cbrt x) (cbrt x)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `pow1/3` `add-cbrt-cube` `add-log-exp`

Counts

4 → 36

Calls

4 calls:

4.0ms	(cbrt (* (cbrt x) (cbrt x)))
5.0ms	(cbrt (* (cbrt x) (cbrt x)))
5.0ms	(cbrt (* (cbrt x) (cbrt x)))
5.0ms	(cbrt (* (cbrt x) (cbrt x)))

series167.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(cbrt (* (cbrt x) (cbrt x)))
41.0ms	(cbrt (* (cbrt x) (cbrt x)))
44.0ms	(cbrt (* (cbrt x) (cbrt x)))
41.0ms	(cbrt (* (cbrt x) (cbrt x)))

simplify41.0s

Counts

48 → 48

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	7
done	5	7
0	5	7
done	5	7
0	3	3
done	3	3
0	3	3
done	3	3
0	6	15
done	6	15
0	5	7
done	5	7
0	6	20
1	7	20
2	9	8
3	14	5
4	20	5
5	30	5
6	53	5
7	118	5
8	324	5
9	1243	5
done	5000	5
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	3	3
done	3	3
0	3	3
done	3	3
0	6	15
done	6	15
0	5	7
done	5	7
0	6	20
1	7	20
2	9	8
3	14	5
4	20	5
5	30	5
6	53	5
7	118	5
8	324	5
9	1243	5
done	5000	5
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	3	3
done	3	3
0	3	3
done	3	3
0	6	15
done	6	15
0	5	7
done	5	7
0	6	20
1	7	20
2	9	8
3	14	5
4	20	5
5	30	5
6	53	5
7	118	5
8	324	5
9	1243	5
done	5000	5
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	3	3
done	3	3
0	3	3
done	3	3
0	6	15
done	6	15
0	5	7
done	5	7
0	6	20
1	7	20
2	9	8
3	14	5
4	20	5
5	30	5
6	53	5
7	118	5
8	324	5
9	1243	5
done	5000	5
0	5	7
done	5	7
0	5	7
done	5	7
0	10	10
1	23	9
2	39	5
3	78	3
4	155	3
5	311	3
6	883	3
7	2953	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	17	19
1	38	17
2	75	15
3	199	13
4	569	11
5	2214	11
done	5000	11
0	10	10
1	23	9
2	39	5
3	78	3
4	155	3
5	311	3
6	883	3
7	2953	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	17	19
1	38	17
2	75	15
3	199	13
4	569	11
5	2214	11
done	5000	11
0	10	10
1	23	9
2	39	5
3	78	3
4	155	3
5	311	3
6	883	3
7	2953	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	17	19
1	38	17
2	75	15
3	199	13
4	569	11
5	2214	11
done	5000	11
0	10	10
1	23	9
2	39	5
3	78	3
4	155	3
5	311	3
6	883	3
7	2953	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	17	19
1	38	17
2	75	15
3	199	13
4	569	11
5	2214	11
done	5000	11

prune94.0ms

Filtered

40 candidates to 48 candidates (-20.0%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	45	3	48
Fresh	3	5	8
Picked	0	1	1
Done	0	2	2
Total	48	11	59

Merged error: 0.1b

Counts

59 → 11

regimes137.0ms

Accuracy

0% (0.4b remaining)

Error of 0.5b against oracle of 0.1b and baseline of 0.5b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	14	20
done	14	20

end0.0ms

sample677.0ms

Algorithm

intervals

Results

217.0ms	1749×	body	1280	valid
122.0ms	1248×	body	640	valid
114.0ms	4093×	body	80	valid
43.0ms	609×	body	320	valid
14.0ms	301×	body	160	valid

Details

sample30.0ms

simplify3.0ms

prune3.0ms

localize7.0ms

rewrite15.0ms

series49.0ms

simplify47.5s

prune97.0ms

localize12.0ms

rewrite14.0ms

series113.0ms

simplify51.0s

prune137.0ms

localize17.0ms

rewrite16.0ms

series156.0ms

simplify42.3s

prune117.0ms

localize26.0ms

rewrite20.0ms

series167.0ms

simplify41.0s

prune94.0ms

regimes137.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample677.0ms

Profiling