Details

sample15.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify12.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9

prune2.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: 0.1b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
0.1b	(* (/ 841.0 108.0) x)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`associate-l`
10×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`associate-r`
2×	`associate-*l/` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `div-exp` `pow-prod-down` `frac-add` `sum-log` `*-commutative` `flip-+` `div-inv`

Counts

2 → 44

Calls

2 calls:

9.0ms	(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
7.0ms	(* (/ 841.0 108.0) x)

series6.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
2.0ms	(* (/ 841.0 108.0) x)

simplify44.3s

Counts

50 → 50

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	72	8
8	91	8
9	99	8
done	99	8
0	7	7
1	11	7
2	17	7
3	26	7
4	36	7
5	45	7
6	50	7
7	59	7
8	76	7
9	95	7
10	103	7
done	103	7
0	6	6
1	12	6
2	21	6
3	33	6
4	51	6
5	64	6
6	76	6
7	88	6
8	111	6
9	123	6
10	139	6
11	141	6
done	141	6
0	6	6
1	11	6
2	20	6
3	30	6
4	57	6
5	123	6
6	292	6
7	829	6
8	3101	6
done	5000	6
0	11	17
1	26	17
2	103	11
3	453	9
4	1796	9
done	5000	9
0	9	17
1	22	17
2	71	9
3	229	9
4	802	7
5	2670	7
done	5001	7
0	7	13
1	10	13
2	13	13
3	15	13
4	17	13
5	18	13
done	18	13
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	17
1	20	17
2	74	7
3	291	7
4	843	7
5	2332	7
6	4989	7
done	5000	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	9
1	12	9
2	20	9
3	28	9
4	37	9
5	43	9
6	48	9
done	48	9
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	5	5
1	10	3
2	20	3
done	20	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	10	5
2	13	3
done	13	3
0	3	3
1	4	3
done	4	3
0	11	11
1	19	10
2	29	10
3	43	10
4	82	10
5	179	10
6	453	10
7	1377	10
done	5001	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	17	10
2	25	10
3	34	10
4	56	10
5	120	10
6	270	10
7	710	10
8	2656	10
done	5001	10
0	11	21
1	15	21
2	18	21
3	20	21
4	22	21
5	23	21
done	23	21
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	11	29
1	28	29
2	95	11
3	378	11
4	1349	11
5	4272	11
done	5000	11
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	9	9
1	15	9
2	21	9
done	21	9
0	3	3
1	4	3
done	4	3
0	12	13
1	35	13
2	107	13
3	358	13
4	1148	13
5	4096	13
done	5001	13
0	13	29
1	39	25
2	119	25
3	320	23
4	773	23
5	1697	23
6	3369	23
7	4822	23
done	5000	23
0	11	19
1	30	19
2	75	19
3	166	19
4	363	19
5	703	19
6	1064	19
7	1647	19
8	3904	19
done	5000	19
0	9	9
1	14	9
2	20	9
3	22	9
4	24	9
5	25	9
done	25	9
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5

prune91.0ms

Filtered

41 candidates to 50 candidates (-22.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	49	2	51

Merged error: 0.0b

Counts

51 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))
0.1b	(* (cbrt (/ 841.0 108.0)) x)
0.3b	(* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
1.0b	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

79×	`cbrt-prod`
76×	`add-sqr-sqrt`
52×	`times-frac`
45×	`add-cube-cbrt` `*-un-lft-identity`
33×	`associate-l`
29×	`cbrt-div`
25×	`pow1`
20×	`add-exp-log` `associate-r` `associate-*l/`
16×	`swap-sqr`
12×	`unswap-sqr`
11×	`frac-times` `pow-prod-down` `add-cbrt-cube`
10×	`prod-exp` `cbrt-unprod`
7×	`associate-*r/` `frac-add`
6×	`pow1/3` `add-log-exp`
5×	`div-inv`
3×	`*-commutative`
2×	`pow-sqr` `pow-prod-up`
1×	`+-commutative` `pow2` `flip3-+` `pow-plus` `sum-log` `flip-+`

Counts

4 → 159

Calls

4 calls:

19.0ms	(+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))
8.0ms	(* (cbrt (/ 841.0 108.0)) x)
17.0ms	(* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
14.0ms	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))

series32.0ms

Counts

4 → 10

Calls

4 calls:

12.0ms	(+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))
5.0ms	(* (cbrt (/ 841.0 108.0)) x)
15.0ms	(* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
0.0ms	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))

simplify2.6min

Counts

169 → 169

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	5	9
done	5	9
0	2	3
1	6	1
done	6	1
0	6	11
1	8	7
2	9	7
done	9	7
0	6	10
1	8	10
2	10	7
3	11	7
done	11	7
0	6	10
1	8	10
2	12	10
3	17	10
4	35	10
5	75	10
6	181	10
7	552	10
8	2249	10
done	5000	10
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	7	21
done	7	21
0	6	10
done	6	10
0	7	29
1	15	29
2	24	11
3	38	6
4	84	6
5	195	6
6	504	6
7	1764	6
done	5000	6
0	6	10
1	7	5
done	7	5
0	6	10
1	7	5
done	7	5
0	3	5
done	3	5
0	3	5
done	3	5
0	7	21
done	7	21
0	6	11
done	6	11
0	6	11
done	6	11
0	6	11
done	6	11
0	9	25
1	15	25
2	24	25
3	30	25
done	30	25
0	7	13
done	7	13
0	8	19
1	10	19
2	12	19
3	13	19
done	13	19
0	7	13
done	7	13
0	7	17
1	11	13
2	17	13
3	22	13
done	22	13
0	6	11
done	6	11
0	8	19
1	10	19
done	10	19
0	7	13
done	7	13
0	7	13
done	7	13
0	7	13
done	7	13
0	6	11
1	8	7
2	10	7
done	10	7
0	6	11
done	6	11
0	7	17
1	11	17
done	11	17
0	6	11
done	6	11
0	6	11
1	8	11
done	8	11
0	6	11
done	6	11
0	4	9
1	6	3
done	6	1
0	5	9
done	5	9
0	3	5
1	5	3
done	5	1
0	5	9
done	5	9
0	3	5
done	3	5
0	5	9
1	7	9
done	7	9
0	7	23
1	11	23
2	13	13
3	22	7
4	37	7
5	63	7
6	137	7
7	361	7
8	1276	7
done	5000	7
0	6	11
done	6	11
0	6	11
done	6	4
0	6	11
done	6	4
0	2	3
1	4	1
done	4	1
0	5	9
done	5	9
0	6	11
done	6	11
0	6	11
done	6	11
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	8	11
1	9	11
done	9	11
0	8	11
1	9	11
done	9	11
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	7	13
done	7	13
0	7	13
done	7	13
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	8	11
1	9	11
done	9	11
0	8	11
1	9	11
done	9	11
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	6	11
done	6	4
0	6	11
done	6	4
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	15
1	8	15
done	8	15
0	7	10
1	8	10
done	8	10
0	11	17
1	18	17
2	27	17
3	33	17
done	33	17
0	10	14
1	13	14
2	15	14
3	16	14
done	16	14
0	10	13
1	15	11
2	21	11
3	26	11
done	26	11
0	10	14
1	13	14
done	13	14
0	9	11
1	10	11
done	10	11
0	9	10
1	12	8
2	14	8
done	14	8
0	10	13
1	15	13
done	15	13
0	9	10
1	12	10
done	12	10
0	8	9
1	11	6
done	11	6
0	7	7
1	10	6
done	10	6
0	6	7
1	7	7
done	7	7
0	7	16
1	10	16
2	12	16
done	12	16
0	6	10
1	7	10
done	7	10
0	6	6
1	9	4
2	12	4
done	12	4
0	6	10
1	7	10
done	7	10
0	7	10
1	8	10
done	8	10
0	9	11
1	10	11
done	10	11
0	9	11
1	10	11
done	10	11
0	8	10
1	9	10
done	9	10
0	9	11
1	10	11
done	10	11
0	9	11
1	10	11
done	10	11
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	5	9
done	5	9
0	5	9
done	5	9
0	8	9
1	11	9
done	11	9
0	6	10
1	7	10
done	7	10
0	6	10
1	7	10
done	7	10
0	5	9
done	5	9
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	8	16
1	14	16
2	22	16
3	25	8
4	30	5
5	44	5
6	66	5
7	115	5
8	262	5
9	787	5
10	3078	5
done	5001	5
0	8	16
1	14	16
2	22	16
3	25	8
4	30	5
5	44	5
6	66	5
7	115	5
8	262	5
9	787	5
10	3078	5
done	5001	5
0	8	16
1	14	16
2	22	16
3	25	8
4	30	5
5	44	5
6	66	5
7	115	5
8	262	5
9	787	5
10	3078	5
done	5001	5
0	8	16
1	14	16
2	22	16
3	25	8
4	30	5
5	44	5
6	66	5
7	115	5
8	262	5
9	787	5
10	3078	5
done	5001	5
0	10	20
1	18	16
2	31	10
3	35	10
done	35	10
0	10	19
1	18	15
2	27	15
3	34	10
4	37	10
done	37	10
0	11	19
1	16	19
2	28	16
3	33	10
4	36	10
done	36	10
0	10	18
1	16	18
2	27	15
3	38	10
4	41	10
done	41	10
0	9	17
1	18	17
2	35	17
3	53	9
4	62	6
5	84	6
6	125	6
7	226	6
8	495	6
9	1403	6
done	5001	6
0	9	17
1	17	17
2	35	17
3	66	9
4	142	6
5	343	6
6	852	6
7	2516	6
done	5000	6
0	9	17
1	24	17
2	82	15
3	274	9
4	941	9
5	2920	7
done	5000	7
0	10	28
1	30	28
2	106	16
3	466	16
4	1941	15
done	5000	15
0	12	39
1	31	39
2	110	19
3	476	14
4	1781	9
done	5001	9
0	12	50
1	35	50
2	128	20
3	501	14
4	996	7
5	4466	7
done	5001	7
0	10	35
1	16	35
2	24	35
3	27	19
4	32	13
5	46	13
6	68	13
7	114	13
8	257	13
9	786	13
10	3067	13
done	5000	13
0	9	17
1	15	17
2	22	17
3	24	9
4	29	6
5	43	6
6	65	6
7	114	6
8	265	6
9	785	6
10	3082	6
done	5000	6
0	10	50
1	26	50
2	113	18
3	455	10
4	820	7
5	1304	7
done	5000	7
0	9	17
1	15	17
2	22	17
3	24	9
4	29	6
5	43	6
6	65	6
7	114	6
8	265	6
9	785	6
10	3082	6
done	5000	6
0	9	17
1	15	17
2	22	17
3	24	9
4	29	6
5	43	6
6	65	6
7	114	6
8	265	6
9	785	6
10	3082	6
done	5000	6
0	6	10
1	12	10
2	19	10
3	22	6
4	27	3
5	31	3
6	37	3
7	47	3
8	70	3
9	131	3
10	345	3
11	1271	3
done	5000	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	9	12
1	16	12
2	31	12
3	41	12
done	41	12
0	3	5
done	3	5
0	9	12
1	16	12
2	31	12
3	38	12
4	39	12
done	39	12
0	3	5
done	3	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	7	11
1	11	11
2	12	11
done	12	11
0	9	14
1	15	14
2	28	14
3	39	14
done	39	14
0	9	12
1	15	12
2	28	12
3	39	12
done	39	12
0	9	14
1	16	14
2	31	14
3	38	14
4	39	14
done	39	14
0	9	14
1	16	14
2	31	14
3	41	14
done	41	14
0	6	6
1	7	6
done	7	6
0	8	8
1	9	8
done	9	8
0	7	7
1	11	7
2	12	7
done	12	7
0	7	7
1	10	7
2	16	7
3	24	7
4	47	7
5	103	7
6	241	7
7	700	7
8	2439	7
done	5001	7
0	7	9
1	13	9
2	30	7
3	52	7
4	92	7
5	151	7
6	298	7
7	748	7
8	2454	7
done	5000	7
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	19	20
2	48	8
3	91	8
4	107	7
5	165	7
6	336	7
7	852	7
8	3007	7
done	5000	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	9	9
1	10	9
done	10	9
0	9	9
1	10	9
done	10	9
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	8	10
1	11	10
2	13	10
done	13	10
0	7	7
1	8	7
done	8	7
0	6	6
1	9	4
2	12	4
done	12	4
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	7	7
1	8	7
done	8	7
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	9	6
done	9	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	7	6
done	7	6
0	4	4
1	5	4
done	5	4
0	14	22
1	25	21
2	44	21
3	79	13
4	175	10
5	433	10
6	1117	10
7	3370	10
done	5001	10
0	13	21
1	20	21
2	28	21
3	30	13
4	35	10
5	49	10
6	71	10
7	120	10
8	261	10
9	789	10
10	3091	10
done	5000	10
0	13	21
1	23	21
2	40	21
3	64	13
4	135	10
5	328	10
6	814	10
7	2195	10
done	5001	10
0	14	43
1	21	43
2	28	43
3	30	27
4	35	21
5	49	21
6	71	21
7	120	21
8	261	21
9	790	21
10	3067	21
done	5000	21
0	13	21
1	20	21
2	28	21
3	30	13
4	35	10
5	49	10
6	71	10
7	120	10
8	261	10
9	789	10
10	3091	10
done	5000	10
0	14	62
1	34	62
2	114	22
3	496	14
4	1830	11
done	5001	11
0	13	21
1	20	21
2	28	21
3	30	13
4	35	10
5	49	10
6	71	10
7	120	10
8	261	10
9	789	10
10	3091	10
done	5000	10
0	13	21
1	20	21
2	28	21
3	30	13
4	35	10
5	49	10
6	71	10
7	120	10
8	261	10
9	789	10
10	3091	10
done	5000	10
0	15	23
1	29	23
2	66	19
3	102	12
4	109	9
5	117	9
6	129	9
7	156	9
8	234	9
9	495	9
10	1642	9
done	5000	9
0	6	10
1	10	10
2	20	6
3	29	3
4	33	3
5	39	3
6	49	3
7	70	3
8	132	3
9	343	3
10	1248	3
done	5000	3
0	16	22
1	30	22
2	68	22
3	124	22
4	175	22
5	176	22
done	176	22
0	5	7
1	8	7
2	10	7
done	10	7
0	16	22
1	30	22
2	69	22
3	126	22
4	175	22
5	177	22
done	177	22
0	5	7
1	8	7
2	10	7
done	10	7
0	15	21
1	26	21
2	58	21
3	111	21
4	176	21
5	185	21
done	185	21
0	4	4
1	5	4
done	5	4
0	16	22
1	29	22
2	63	22
3	117	22
4	182	22
5	190	22
done	190	22
0	5	7
1	8	7
2	10	7
done	10	7
0	15	21
1	27	21
2	64	21
3	120	21
4	169	21
5	174	21
done	174	21
0	4	4
1	5	4
done	5	4
0	15	21
1	27	21
2	63	21
3	119	21
4	170	21
5	171	21
done	171	21
0	4	4
1	5	4
done	5	4
0	15	24
1	41	24
2	135	24
3	511	13
4	1433	13
done	5000	13
0	16	62
1	45	58
2	159	58
3	488	29
4	1164	23
5	2591	23
done	5001	23
0	14	41
1	36	41
2	107	41
3	242	25
4	377	18
5	761	18
6	1815	18
7	4755	18
done	5000	18
0	12	20
1	20	20
2	31	20
3	33	12
4	38	9
5	52	9
6	74	9
7	123	9
8	268	9
9	798	9
10	3105	9
done	5001	9
0	6	6
1	7	6
done	7	6
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5

prune443.0ms

Filtered

135 candidates to 169 candidates (-25.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0.0b

Counts

171 → 2

regimes83.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	9
1	11	9
done	11	9

end0.0ms

sample387.0ms

Algorithm

intervals

Results

236.0ms	8008×	body	80	valid
0.0ms	3×	body	640	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	320	valid

Details

sample15.0ms

simplify12.0ms

prune2.0ms

localize11.0ms

rewrite18.0ms

series6.0ms

simplify44.3s

prune91.0ms

localize10.0ms

rewrite65.0ms

series32.0ms

simplify2.6min

prune443.0ms

regimes83.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample387.0ms

Profiling