Details

sample19.0ms

Algorithm

intervals

Results

7.0ms

256×

body

valid

simplify4.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

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: 16.8b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

16.4b

(cbrt (/ g (* 2.0 a)))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

7×	`cbrt-prod`
3×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
1×	`pow1` `add-exp-log` `cbrt-div` `pow1/3` `add-cbrt-cube` `div-inv` `add-log-exp`

Counts

1 → 16

Calls

1 calls:

4.0ms

(cbrt (/ g (* 2.0 a)))

series20.0ms

Counts

1 → 3

Calls

1 calls:

20.0ms

(cbrt (/ g (* 2.0 a)))

simplify12.9s

Counts

19 → 19

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	14
1	11	14
2	13	14
done	13	14
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	6	6
1	11	6
2	13	6
done	13	6
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	20
2	16	8
3	21	5
4	27	5
5	37	5
6	58	5
7	114	5
8	325	5
9	1243	5
done	5001	5
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	14	14
1	25	13
2	50	11
3	107	10
4	208	7
5	444	7
6	1046	7
7	3397	7
done	5001	7
0	16	18
1	33	15
2	64	12
3	145	10
4	279	9
5	573	7
6	1320	7
7	4653	7
done	5001	7
0	17	18
1	33	17
2	72	15
3	217	14
4	614	11
5	1557	7
6	4095	7
done	5000	7

prune70.0ms

Filtered

16 candidates to 19 candidates (-18.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	11	8	19
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	11	9	20

Merged error: 0.4b

Counts

20 → 9

localize7.0ms

Local error

Found 3 expressions with local error:

0.4b	(/ (cbrt g) (cbrt (* 2.0 a)))
0.6b	(cbrt g)
0.8b	(cbrt (* 2.0 a))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

26×	`cbrt-prod`
24×	`times-frac`
21×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-/l*`
5×	`add-exp-log`
4×	`associate-/r*`
3×	`pow1` `add-cbrt-cube` `add-log-exp`
2×	`pow1/3`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

3 → 66

Calls

3 calls:

6.0ms	(/ (cbrt g) (cbrt (* 2.0 a)))
1.0ms	(cbrt g)
3.0ms	(cbrt (* 2.0 a))

series87.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(/ (cbrt g) (cbrt (* 2.0 a)))
31.0ms	(cbrt g)
31.0ms	(cbrt (* 2.0 a))

simplify34.9s

Counts

75 → 75

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
done	2	2
0	2	2
done	2	2
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	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	9	9
1	12	9
2	13	9
done	13	9
0	8	8
1	12	8
2	14	8
3	15	8
done	15	8
0	8	8
1	9	8
done	9	8
0	5	5
1	8	5
2	10	5
done	10	5
0	9	17
1	10	17
done	10	17
0	8	8
1	9	8
done	9	8
0	9	23
1	17	23
2	33	9
3	71	9
4	138	5
5	200	5
6	291	5
7	502	5
8	1226	5
9	4588	5
done	5001	5
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	3	3
done	3	3
0	5	5
1	6	5
done	6	5
0	7	9
done	7	9
0	6	6
done	6	6
0	11	18
1	14	18
done	14	18
0	9	9
1	10	9
done	10	9
0	10	12
1	11	12
done	11	12
0	9	9
1	10	9
done	10	9
0	6	8
1	8	6
2	10	6
done	10	6
0	8	8
1	9	8
done	9	8
0	6	6
done	6	6
0	6	6
done	6	6
0	10	15
1	13	15
done	13	15
0	9	9
1	10	9
done	10	9
0	9	9
1	10	9
done	10	9
0	9	9
1	10	9
done	10	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	8
1	9	8
done	9	8
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	9	14
1	14	13
done	14	13
0	8	8
1	9	8
done	9	8
0	8	8
1	11	7
done	11	7
0	8	8
1	9	8
done	9	8
0	3	4
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	7	10
1	9	10
2	11	10
3	12	10
done	12	10
0	6	6
done	6	6
0	11	19
1	18	19
2	27	19
3	33	19
done	33	19
0	9	9
1	10	9
done	10	9
0	10	13
1	13	13
2	15	13
3	16	13
done	16	13
0	9	9
1	10	9
done	10	9
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	8	8
1	9	8
done	9	8
0	6	6
done	6	6
0	6	6
done	6	6
0	10	15
1	13	15
done	13	15
0	9	9
1	10	9
done	10	9
0	9	9
1	10	9
done	10	9
0	9	9
1	10	9
done	10	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	8
1	9	8
done	9	8
0	4	4
1	6	4
done	6	4
0	5	5
done	5	5
0	8	13
1	13	13
done	13	13
0	8	8
1	9	8
done	9	8
0	7	7
1	10	7
done	10	7
0	8	8
1	9	8
done	9	8
0	2	3
1	4	1
done	4	1
0	7	7
1	8	7
done	8	7
0	6	6
1	9	6
done	9	6
0	7	7
1	8	7
done	8	7
0	5	5
done	5	5
0	9	14
1	12	14
done	12	14
0	8	8
1	9	8
done	9	8
0	4	4
1	6	2
2	8	2
done	8	2
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	11	11
1	24	10
2	32	8
3	61	5
4	128	5
5	273	5
6	616	5
7	1659	5
done	5000	5
0	12	13
1	23	11
2	39	8
3	80	5
4	149	5
5	354	5
6	813	5
7	2610	5
done	5000	5
0	13	13
1	24	12
2	41	11
3	96	10
4	228	9
5	548	7
6	1194	6
7	3013	6
done	5000	6
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	14	14
1	24	13
2	49	11
3	104	10
4	196	7
5	405	7
6	1071	7
7	3531	7
done	5001	7
0	16	18
1	32	15
2	63	12
3	141	10
4	265	9
5	554	7
6	1262	7
7	4311	7
done	5000	7
0	19	21
1	37	20
2	80	18
3	233	17
4	673	14
5	1863	10
done	5001	10

prune180.0ms

Filtered

58 candidates to 75 candidates (-29.3%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	64	11	75
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	66	18	84

Merged error: 0.0b

Counts

84 → 18

localize9.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (/ (cbrt (* 2.0 a)) (cbrt g)))
0.3b	(/ (cbrt (* 2.0 a)) (cbrt g))
0.6b	(cbrt g)
0.8b	(cbrt (* 2.0 a))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

204×	`times-frac`
111×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
98×	`cbrt-prod`
34×	`associate-/r*`
17×	`add-exp-log`
8×	`div-exp`
7×	`add-cbrt-cube` `associate-/l*`
6×	`div-inv`
5×	`pow1`
4×	`cbrt-undiv` `add-log-exp`
2×	`rec-exp` `frac-2neg` `pow1/3` `1-exp` `clear-num`
1×	`pow-flip` `associate-/r/` `inv-pow`

Counts

4 → 202

Calls

4 calls:

10.0ms	(/ 1 (/ (cbrt (* 2.0 a)) (cbrt g)))
6.0ms	(/ (cbrt (* 2.0 a)) (cbrt g))
1.0ms	(cbrt g)
3.0ms	(cbrt (* 2.0 a))

series110.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(/ 1 (/ (cbrt (* 2.0 a)) (cbrt g)))
24.0ms	(/ (cbrt (* 2.0 a)) (cbrt g))
26.0ms	(cbrt g)
34.0ms	(cbrt (* 2.0 a))

simplify1.1min

Counts

214 → 214

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
done	2	2
0	2	2
done	2	2
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	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	9	9
1	12	9
2	13	9
done	13	9
0	8	8
1	12	8
2	14	8
3	15	8
done	15	8
0	8	8
1	9	8
done	9	8
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	9	17
1	10	17
done	10	17
0	8	8
1	9	8
done	9	8
0	9	23
1	17	23
2	33	9
3	71	9
4	138	5
5	208	5
6	302	5
7	527	5
8	1306	5
9	4930	5
done	5000	5
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	5	5
1	6	5
done	6	5
0	3	3
done	3	3
0	7	9
done	7	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	11	18
1	14	18
2	16	18
3	17	18
done	17	18
0	9	9
1	10	9
done	10	9
0	10	15
1	13	15
2	15	15
3	16	15
done	16	15
0	9	9
1	10	9
done	10	9
0	9	14
1	14	13
2	16	13
3	17	11
4	24	11
done	24	11
0	8	8
1	9	8
done	9	8
0	11	19
1	18	19
2	27	19
3	33	19
done	33	19
0	9	9
1	10	9
done	10	9
0	10	15
1	13	15
2	15	15
3	16	15
done	16	15
0	9	9
1	10	9
done	10	9
0	8	13
1	13	11
2	19	11
3	24	11
done	24	11
0	8	8
1	9	8
done	9	8
0	10	12
1	11	12
done	11	12
0	9	9
1	10	9
done	10	9
0	9	9
1	10	9
done	10	9
0	9	9
1	10	9
done	10	9
0	8	8
1	11	7
done	11	7
0	8	8
1	9	8
done	9	8
0	10	13
1	13	13
done	13	13
0	9	9
1	10	9
done	10	9
0	9	9
1	10	9
done	10	9
0	9	9
1	10	9
done	10	9
0	7	7
1	10	5
2	12	5
done	12	5
0	8	8
1	9	8
done	9	8
0	6	8
1	8	8
done	8	8
0	8	8
1	9	8
done	9	8
0	5	5
1	7	5
done	7	5
0	8	8
1	9	8
done	9	8
0	3	4
1	5	3
done	5	3
0	7	7
1	8	7
done	8	7
0	6	9
1	10	9
done	10	9
0	8	8
1	9	8
done	9	8
0	5	5
1	7	5
done	7	5
0	8	8
1	9	8
done	9	8
0	2	3
1	4	1
done	4	1
0	7	7
1	8	7
done	8	7
0	4	4
1	6	4
done	6	4
0	7	7
1	8	7
done	8	7
0	9	11
1	10	11
done	10	11
0	8	8
1	9	8
done	9	8
0	7	7
1	10	6
done	10	6
0	9	12
1	12	12
done	12	12
0	8	8
1	9	8
done	9	8
0	6	6
1	9	4
2	11	4
done	11	4
0	5	5
done	5	5
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	2	2
1	5	1
done	5	1
0	10	10
1	13	10
2	17	10
3	19	10
4	20	9
done	20	9
0	9	9
1	13	9
2	15	9
3	19	9
4	21	9
5	22	9
done	22	9
0	11	11
1	18	10
2	31	10
3	50	9
4	79	9
5	105	9
6	113	9
7	127	9
done	127	9
0	10	10
1	16	9
2	24	9
3	37	9
4	63	9
5	93	9
6	100	9
7	106	9
8	122	9
done	122	9
0	12	12
1	21	11
2	29	10
3	54	9
4	83	9
5	110	9
6	118	9
7	132	9
done	132	9
0	11	11
1	19	10
2	24	9
3	41	9
4	67	9
5	97	9
6	102	9
7	108	9
8	122	9
done	122	9
0	10	10
1	19	9
2	28	9
3	42	8
4	71	8
5	104	8
6	122	8
7	127	8
8	136	8
done	136	8
0	10	10
1	15	10
2	20	10
3	27	8
4	55	8
5	100	8
6	201	8
7	518	8
8	1648	8
done	5001	8
0	9	11
1	19	7
2	35	7
3	80	5
4	140	5
5	157	5
6	158	5
done	158	5
0	13	29
1	30	25
2	66	11
3	194	11
4	428	7
5	659	5
6	1089	5
7	2159	5
done	5000	5
0	11	21
1	16	21
2	19	21
3	20	17
4	33	17
5	40	17
done	40	17
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	11	29
1	23	29
2	61	11
3	244	9
4	521	5
5	645	5
6	938	5
7	1876	5
8	4306	5
done	5001	5
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	2	2
1	5	1
done	5	1
0	8	8
1	11	8
done	11	8
0	13	23
1	22	21
2	31	19
3	37	19
done	37	19
0	11	11
1	14	10
done	14	10
0	12	14
1	17	12
2	19	10
3	20	10
done	20	10
0	11	11
1	14	10
done	14	10
0	11	15
1	17	13
2	26	11
3	34	9
4	35	9
done	35	9
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	10	12
1	16	10
2	25	8
3	33	6
4	34	6
done	34	6
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	7	11
1	13	8
2	19	4
done	19	4
0	8	8
1	12	7
2	15	7
3	16	5
4	29	5
5	36	5
done	36	5
0	11	16
1	19	14
2	34	12
3	54	10
4	57	10
done	57	10
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	10	12
1	16	10
2	25	8
3	33	6
4	34	6
done	34	6
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	7	10
1	13	4
2	18	4
done	18	4
0	8	8
1	12	7
2	15	7
3	16	5
4	29	5
5	36	5
done	36	5
0	15	24
1	24	22
2	42	20
3	75	18
4	97	18
done	97	18
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	14	21
1	23	19
2	41	17
3	74	15
4	99	15
done	99	15
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	11	20
1	20	17
2	34	13
3	43	13
done	43	13
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	15	25
1	28	23
2	64	21
3	134	19
4	193	19
done	193	19
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	14	21
1	23	19
2	41	17
3	74	15
4	99	15
done	99	15
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	11	19
1	20	13
2	34	13
3	43	13
done	43	13
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	14	18
1	21	16
2	30	14
3	38	12
4	39	12
done	39	12
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	13	15
1	20	13
2	29	11
3	37	9
4	38	9
done	38	9
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	10	14
1	17	11
2	23	7
done	23	7
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	14	19
1	23	17
2	38	15
3	58	13
4	62	13
done	62	13
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	13	15
1	20	13
2	29	11
3	37	9
4	38	9
done	38	9
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	10	13
1	17	7
2	22	7
done	22	7
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	9	14
1	15	12
2	24	8
3	31	6
done	31	6
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	8	11
1	14	9
2	23	5
3	30	3
done	30	3
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	5	10
1	11	7
2	17	1
done	17	1
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	9	15
1	17	13
2	32	9
3	49	7
4	57	7
5	58	7
done	58	7
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	8	11
1	14	9
2	23	5
3	30	3
done	30	3
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	5	9
1	11	1
done	11	1
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	4	7
1	8	3
2	12	1
done	12	1
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	8	10
1	13	8
2	15	6
3	16	6
done	16	6
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	12	20
1	17	19
done	17	19
0	11	11
1	14	10
done	14	10
0	11	11
1	14	10
done	14	10
0	11	11
1	14	10
done	14	10
0	10	12
1	14	11
2	17	11
3	18	9
4	31	9
5	38	9
done	38	9
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	7	8
1	11	6
2	14	4
done	14	4
0	8	8
1	12	7
2	15	7
3	16	5
4	29	5
5	36	5
done	36	5
0	10	13
1	16	12
2	23	12
3	31	10
4	55	10
5	74	10
done	74	10
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	6	7
1	10	4
2	15	4
done	15	4
0	8	8
1	12	7
2	15	7
3	16	5
4	29	5
5	36	5
done	36	5
0	14	21
1	21	20
2	29	20
3	42	18
4	69	18
5	107	18
done	107	18
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	13	18
1	20	17
2	28	17
3	41	15
4	68	15
5	105	15
done	105	15
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	11	17
1	18	15
2	25	13
3	34	13
4	35	13
done	35	13
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	14	22
1	25	21
2	46	21
3	77	19
4	137	19
5	211	19
done	211	19
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	13	18
1	20	17
2	28	17
3	41	15
4	68	15
5	105	15
done	105	15
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	10	16
1	17	13
2	28	13
3	37	13
done	37	13
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	13	15
1	18	14
2	21	14
3	22	12
4	35	12
5	42	12
done	42	12
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	10	11
1	15	9
2	18	7
done	18	7
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	13	16
1	20	15
2	27	15
3	35	13
4	59	13
5	76	13
done	76	13
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	12	12
1	17	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	9	10
1	14	7
2	19	7
done	19	7
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	8	11
1	12	10
2	15	8
3	20	6
4	24	6
done	24	6
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	7	8
1	11	7
2	14	5
3	19	3
4	23	3
done	23	3
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	5	7
1	9	5
2	12	1
done	12	1
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	8	12
1	14	11
2	21	9
3	30	7
4	43	7
5	45	7
done	45	7
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	7	8
1	11	7
2	14	5
3	19	3
4	23	3
done	23	3
0	11	11
1	16	10
2	19	10
3	20	8
4	33	8
5	38	8
done	38	8
0	4	6
1	8	1
done	8	1
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	3	4
1	5	1
done	5	1
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	7	7
1	10	6
done	10	6
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	11	19
1	16	19
done	16	19
0	10	10
1	13	10
done	13	10
0	10	10
1	13	10
done	13	10
0	10	10
1	13	10
done	13	10
0	9	11
1	13	11
2	16	11
3	17	9
4	30	9
5	35	9
done	35	9
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	6	7
1	10	6
2	13	4
done	13	4
0	7	7
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	9	12
1	15	12
2	22	12
3	30	10
4	54	10
5	69	10
done	69	10
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	5	6
1	9	4
2	14	4
done	14	4
0	7	7
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	13	20
1	20	20
2	28	20
3	41	18
4	68	18
5	105	18
done	105	18
0	11	11
1	16	11
2	19	11
3	20	9
4	33	9
5	38	9
done	38	9
0	12	17
1	19	17
2	27	17
3	40	15
4	67	15
5	99	15
done	99	15
0	11	11
1	16	11
2	19	11
3	20	9
4	33	9
5	38	9
done	38	9
0	10	16
1	17	15
2	24	13
3	33	13
4	34	13
done	34	13
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	13	21
1	24	21
2	45	21
3	76	19
4	136	19
5	202	19
done	202	19
0	11	11
1	16	11
2	19	11
3	20	9
4	33	9
5	38	9
done	38	9
0	12	17
1	19	17
2	27	17
3	40	15
4	67	15
5	99	15
done	99	15
0	11	11
1	16	11
2	19	11
3	20	9
4	33	9
5	38	9
done	38	9
0	9	15
1	16	13
2	27	13
3	36	13
done	36	13
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	12	14
1	17	14
2	20	14
3	21	12
4	34	12
5	39	12
done	39	12
0	11	11
1	16	11
2	19	11
3	20	9
4	33	9
5	38	9
done	38	9
0	11	11
1	16	11
2	19	11
3	20	9
4	33	9
5	38	9
done	38	9
0	11	11
1	16	11
2	19	11
3	20	9
4	33	9
5	38	9
done	38	9
0	9	10
1	14	9
2	17	7
done	17	7
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	12	15
1	19	15
2	26	15
3	34	13
4	58	13
5	73	13
done	73	13
0	11	11
1	16	11
2	19	11
3	20	9
4	33	9
5	38	9
done	38	9
0	11	11
1	16	11
2	19	11
3	20	9
4	33	9
5	38	9
done	38	9
0	11	11
1	16	11
2	19	11
3	20	9
4	33	9
5	38	9
done	38	9
0	8	9
1	13	7
2	18	7
done	18	7
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	7	10
1	11	6
2	16	6
3	18	6
4	19	6
done	19	6
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	4	6
1	8	1
done	8	1
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	7	11
1	13	7
2	22	7
3	35	7
4	47	7
5	48	7
done	48	7
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	3	5
1	6	1
done	6	1
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	2	3
1	4	1
done	4	1
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	6	6
1	9	6
done	9	6
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	9	9
1	14	7
2	21	7
3	23	7
done	23	7
0	11	19
1	16	19
done	16	19
0	10	10
1	13	10
done	13	10
0	9	11
1	13	11
2	16	11
3	17	9
4	30	9
5	35	9
done	35	9
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	6	7
1	10	6
2	13	4
done	13	4
0	9	12
1	15	12
2	22	12
3	30	10
4	54	10
5	69	10
done	69	10
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	5	6
1	9	4
2	14	4
done	14	4
0	13	20
1	20	20
2	28	20
3	41	18
4	68	18
5	105	18
done	105	18
0	12	17
1	19	17
2	27	17
3	40	15
4	67	15
5	99	15
done	99	15
0	10	16
1	17	15
2	24	13
3	33	13
4	34	13
done	34	13
0	13	21
1	24	21
2	45	21
3	76	19
4	136	19
5	202	19
done	202	19
0	12	17
1	19	17
2	27	17
3	40	15
4	67	15
5	99	15
done	99	15
0	9	15
1	16	13
2	27	13
3	36	13
done	36	13
0	12	14
1	17	14
2	20	14
3	21	12
4	34	12
5	39	12
done	39	12
0	11	11
1	16	11
2	19	11
3	20	9
4	33	9
5	38	9
done	38	9
0	9	10
1	14	9
2	17	7
done	17	7
0	12	15
1	19	15
2	26	15
3	34	13
4	58	13
5	73	13
done	73	13
0	11	11
1	16	11
2	19	11
3	20	9
4	33	9
5	38	9
done	38	9
0	8	9
1	13	7
2	18	7
done	18	7
0	7	10
1	11	6
2	16	6
3	18	6
4	19	6
done	19	6
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	4	6
1	8	1
done	8	1
0	7	11
1	13	7
2	22	7
3	35	7
4	47	7
5	48	7
done	48	7
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	6	6
1	9	6
done	9	6
0	10	10
1	15	9
2	18	9
done	18	7
0	10	10
1	15	9
2	18	9
done	18	7
0	9	9
1	14	7
2	21	7
3	23	7
done	23	7
0	6	6
1	9	6
done	9	6
0	11	11
1	24	10
2	32	8
3	61	5
4	128	5
5	273	5
6	616	5
7	1659	5
done	5000	5
0	12	13
1	23	11
2	39	8
3	80	5
4	149	5
5	354	5
6	813	5
7	2610	5
done	5000	5
0	13	13
1	24	12
2	41	11
3	96	10
4	228	9
5	548	7
6	1194	6
7	3013	6
done	5000	6
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	14	14
1	25	13
2	50	11
3	102	10
4	191	7
5	388	7
6	1039	7
7	3338	7
done	5001	7
0	16	18
1	33	15
2	64	12
3	168	10
4	308	9
5	652	7
6	1420	7
7	4789	7
done	5000	7
0	19	21
1	37	20
2	80	18
3	224	17
4	637	14
5	1894	10
done	5001	10
0	14	14
1	24	13
2	49	11
3	104	10
4	196	7
5	405	7
6	1071	7
7	3531	7
done	5001	7
0	16	18
1	32	15
2	63	12
3	141	10
4	265	9
5	554	7
6	1262	7
7	4311	7
done	5000	7
0	19	21
1	37	20
2	80	18
3	233	17
4	673	14
5	1863	10
done	5001	10

prune292.0ms

Filtered

119 candidates to 214 candidates (-79.8%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	209	5	214
Fresh	4	11	15
Picked	1	0	1
Done	0	2	2
Total	214	18	232

Merged error: 0.0b

Counts

232 → 18

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 1 (cbrt g))
0.3b	(* (cbrt (* 2.0 a)) (/ 1 (cbrt g)))
0.6b	(cbrt g)
0.8b	(cbrt (* 2.0 a))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
40×	`times-frac`
36×	`*-un-lft-identity`
34×	`add-cube-cbrt`
28×	`cbrt-prod`
22×	`associate-r`
17×	`add-exp-log`
7×	`pow1` `add-cbrt-cube`
6×	`associate-/r*`
5×	`unswap-sqr`
4×	`div-exp` `associate-l` `prod-exp` `add-log-exp`
3×	`pow1/3` `associate-/l*`
2×	`cbrt-undiv` `rec-exp` `pow-flip` `1-exp` `cbrt-unprod` `div-inv`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 112

Calls

4 calls:

5.0ms	(/ 1 (cbrt g))
12.0ms	(* (cbrt (* 2.0 a)) (/ 1 (cbrt g)))
2.0ms	(cbrt g)
3.0ms	(cbrt (* 2.0 a))

series112.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(/ 1 (cbrt g))
28.0ms	(* (cbrt (* 2.0 a)) (/ 1 (cbrt g)))
27.0ms	(cbrt g)
29.0ms	(cbrt (* 2.0 a))

simplify1.0min

Counts

124 → 124

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
done	2	2
0	2	2
done	2	2
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	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	9	9
1	15	9
2	18	7
3	33	7
4	36	7
done	36	7
0	10	10
1	13	9
done	13	9
0	11	11
1	17	10
2	27	9
3	36	9
4	54	9
5	79	9
6	84	9
7	93	9
8	106	9
done	106	9
0	12	12
1	20	11
2	27	9
3	44	9
4	62	9
5	88	9
6	91	9
7	100	9
8	114	9
done	114	9
0	11	11
1	19	10
2	25	9
3	36	9
4	48	9
5	80	9
6	98	9
7	105	9
8	117	9
done	117	9
0	10	10
1	19	10
2	28	8
3	49	8
4	68	8
5	83	8
6	116	8
7	121	8
8	128	8
done	128	8
0	10	10
1	18	10
2	27	8
3	55	8
4	99	8
5	203	8
6	476	8
7	1486	8
done	5000	8
0	9	11
1	20	7
2	36	5
3	71	5
4	76	5
5	80	5
6	82	5
done	82	5
0	10	18
1	25	18
2	71	10
3	192	10
4	410	5
5	617	5
6	867	5
7	1479	5
8	3349	5
done	5000	5
0	11	21
1	17	21
2	20	17
3	35	17
4	36	17
done	36	17
0	10	10
1	16	10
2	19	8
3	34	8
4	35	8
done	35	8
0	11	29
1	27	29
2	81	9
3	224	9
4	429	5
5	608	5
6	1214	5
7	2358	5
done	5001	5
0	10	10
1	16	10
2	19	8
3	34	8
4	35	8
done	35	8
0	10	10
1	16	10
2	19	8
3	34	8
4	35	8
done	35	8
0	11	11
1	15	11
done	15	11
0	11	11
1	15	11
done	15	11
0	12	12
1	18	11
2	21	11
3	25	9
4	36	9
done	36	9
0	12	12
1	18	11
2	21	11
3	25	9
4	36	9
done	36	9
0	12	12
1	18	11
2	21	11
3	25	9
4	36	9
done	36	9
0	12	12
1	18	11
2	21	11
3	25	9
4	36	9
done	36	9
0	11	11
1	17	11
2	20	9
3	35	9
4	36	9
done	36	9
0	11	11
1	17	11
2	20	9
3	35	9
4	36	9
done	36	9
0	11	11
1	17	11
2	20	9
3	35	9
4	36	9
done	36	9
0	11	11
1	17	11
2	20	9
3	35	9
4	36	9
done	36	9
0	11	16
1	17	16
2	19	16
done	19	16
0	10	10
1	14	10
done	14	10
0	13	17
1	21	15
2	31	13
3	44	11
4	46	11
done	46	11
0	12	14
1	20	12
2	30	10
3	43	8
4	45	8
done	45	8
0	9	13
1	17	10
2	26	6
3	29	4
4	33	4
done	33	4
0	13	18
1	25	16
2	54	14
3	88	12
4	99	12
done	99	12
0	12	14
1	20	12
2	30	10
3	43	8
4	45	8
done	45	8
0	9	12
1	17	8
2	32	6
3	36	4
4	40	4
done	40	4
0	12	14
1	18	13
2	21	13
3	25	11
4	36	11
done	36	11
0	11	11
1	17	10
2	20	10
3	24	8
4	35	8
done	35	8
0	9	10
1	15	8
2	17	8
3	21	4
4	59	4
5	191	4
done	191	4
0	12	15
1	20	14
2	31	14
3	44	12
4	81	12
5	90	12
done	90	12
0	11	11
1	17	10
2	20	10
3	24	8
4	35	8
done	35	8
0	8	9
1	14	6
2	19	4
3	23	4
done	23	4
0	11	13
1	17	13
2	20	11
3	35	11
4	36	11
done	36	11
0	10	10
1	16	10
2	19	8
3	34	8
4	37	8
done	37	8
0	8	9
1	14	8
2	16	6
3	31	4
4	64	4
5	81	4
done	81	4
0	11	14
1	19	14
2	29	12
3	58	12
4	78	12
5	79	12
done	79	12
0	10	10
1	16	10
2	19	8
3	34	8
4	37	8
done	37	8
0	7	8
1	13	6
2	18	4
3	22	4
done	22	4
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	10	4
2	13	4
done	13	4
0	7	7
1	12	7
2	15	5
3	30	5
4	31	5
done	31	5
0	10	10
1	16	10
2	19	8
3	34	8
4	37	8
done	37	8
0	10	10
1	16	10
2	19	8
3	34	8
4	37	8
done	37	8
0	9	9
1	15	9
2	18	7
3	33	7
4	36	7
done	36	7
0	6	6
1	10	4
2	13	4
done	13	4
0	2	2
1	3	1
done	3	1
0	2	2
1	5	1
done	5	1
0	4	4
done	4	4
0	5	5
1	7	4
2	11	4
3	13	4
4	19	4
5	24	4
done	24	4
0	6	6
1	10	5
2	11	4
3	17	4
4	23	4
5	28	4
done	28	4
0	5	5
1	11	4
2	12	4
3	16	4
4	18	4
5	24	4
6	29	4
done	29	4
0	5	5
1	7	5
done	7	5
0	5	7
1	10	3
2	11	3
3	12	3
done	12	3
0	6	11
1	8	11
done	8	11
0	5	5
1	7	5
done	7	5
0	6	14
1	15	14
2	31	6
3	68	6
4	84	3
5	111	3
6	157	3
7	257	3
8	554	3
9	1754	3
done	5000	3
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	2	2
1	5	1
done	5	1
0	3	3
done	3	3
0	8	12
1	12	10
2	14	8
3	15	8
done	15	8
0	6	6
1	8	5
done	8	5
0	7	9
1	11	7
2	13	5
3	14	5
done	14	5
0	6	6
1	8	5
done	8	5
0	4	8
1	8	5
2	9	1
done	9	1
0	5	5
1	7	4
done	7	4
0	8	13
1	16	11
2	25	9
3	31	9
done	31	9
0	6	6
1	8	5
done	8	5
0	7	9
1	11	7
2	13	5
3	14	5
done	14	5
0	6	6
1	8	5
done	8	5
0	4	7
1	8	3
2	12	1
done	12	1
0	5	5
1	7	4
done	7	4
0	7	9
1	9	8
done	9	8
0	6	6
1	8	5
done	8	5
0	6	6
1	8	5
done	8	5
0	6	6
1	8	5
done	8	5
0	4	5
1	6	3
done	6	3
0	5	5
1	7	4
done	7	4
0	7	10
1	11	9
done	11	9
0	6	6
1	8	5
done	8	5
0	6	6
1	8	5
done	8	5
0	6	6
1	8	5
done	8	5
0	3	4
1	5	1
done	5	1
0	5	5
1	7	4
done	7	4
0	6	8
1	8	8
done	8	8
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
0	3	4
1	5	3
done	5	3
0	4	4
1	6	4
done	6	4
0	6	9
1	10	9
done	10	9
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
0	2	3
1	4	1
done	4	1
0	4	4
1	6	4
done	6	4
0	4	4
1	6	4
done	6	4
0	4	4
1	6	2
2	8	2
done	8	2
0	6	8
1	8	8
done	8	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	3
done	5	3
0	6	9
1	10	9
done	10	9
0	5	5
1	7	5
done	7	5
0	2	3
1	4	1
done	4	1
0	5	5
1	7	4
done	7	4
0	5	5
1	7	4
done	7	4
0	4	4
1	6	2
2	8	2
done	8	2
0	11	11
1	24	10
2	32	8
3	61	5
4	128	5
5	273	5
6	616	5
7	1659	5
done	5000	5
0	12	13
1	23	11
2	39	8
3	80	5
4	149	5
5	354	5
6	813	5
7	2610	5
done	5000	5
0	13	13
1	24	12
2	41	11
3	96	10
4	228	9
5	548	7
6	1194	6
7	3013	6
done	5000	6
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	14	14
1	25	13
2	50	11
3	102	10
4	191	7
5	388	7
6	1039	7
7	3338	7
done	5001	7
0	16	18
1	33	15
2	64	12
3	168	10
4	308	9
5	652	7
6	1420	7
7	4789	7
done	5000	7
0	19	21
1	37	20
2	80	18
3	224	17
4	637	14
5	1894	10
done	5001	10
0	8	8
1	15	7
2	28	6
3	59	5
4	112	4
5	231	3
6	484	3
7	1272	3
8	4599	3
done	5000	3
0	9	10
1	24	8
2	40	6
3	76	4
4	139	3
5	267	3
6	544	3
7	1326	3
done	5000	3
0	12	13
1	27	12
2	41	10
3	95	7
4	209	7
5	431	7
6	921	7
7	3306	7
done	5001	7

prune140.0ms

Filtered

79 candidates to 124 candidates (-57.0%)

Pruning

17 alts after pruning (14 fresh and 3 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	2	13	15
Picked	0	1	1
Done	0	2	2
Total	125	17	142

Merged error: 0.0b

Counts

142 → 17

regimes497.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	8	7
done	8	7

end0.0ms

sample493.0ms

Algorithm

intervals

Results

232.0ms

8000×

body

valid

Details

sample19.0ms

simplify4.0ms

prune3.0ms

localize5.0ms

rewrite4.0ms

series20.0ms

simplify12.9s

prune70.0ms

localize7.0ms

rewrite12.0ms

series87.0ms

simplify34.9s

prune180.0ms

localize9.0ms

rewrite31.0ms

series110.0ms

simplify1.1min

prune292.0ms

localize13.0ms

rewrite26.0ms

series112.0ms

simplify1.0min

prune140.0ms

regimes497.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample493.0ms

Profiling