Details

sample17.0ms

Algorithm

intervals

Results

9.0ms

349×

body

valid

simplify9.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	7
2	16	7
3	20	7
4	21	7
done	21	7

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

localize5.0ms

Local error

Found 1 expressions with local error:

0.1b	(/ (- (* x x) 3.0) 6.0)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
12×	`times-frac`
10×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-/l*` `difference-of-squares`
3×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
2×	`associate-/l/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `div-sub` `div-exp` `clear-num` `flip--` `div-inv` `add-log-exp`

Counts

1 → 34

Calls

1 calls:

7.0ms

(/ (- (* x x) 3.0) 6.0)

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(/ (- (* x x) 3.0) 6.0)

simplify21.3s

Counts

37 → 37

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	12	9
2	14	9
done	14	9
0	7	8
1	15	8
2	22	8
3	27	8
4	28	8
done	28	8
0	7	8
1	12	8
2	20	8
3	26	8
4	32	8
5	44	8
6	66	8
7	167	8
8	378	8
9	913	8
10	2531	8
done	5001	8
0	10	23
1	21	23
2	69	11
3	216	9
4	647	9
5	2461	9
done	5000	9
0	8	17
1	13	17
2	18	17
3	22	17
4	23	17
done	23	17
0	7	8
1	12	8
2	17	8
3	21	8
4	22	8
done	22	8
0	8	23
1	20	23
2	53	9
3	191	9
4	677	9
5	2342	9
done	5000	9
0	7	8
1	12	8
2	17	8
3	21	8
4	22	8
done	22	8
0	7	8
1	12	8
2	17	8
3	21	8
4	22	8
done	22	8
0	5	6
1	7	6
2	11	6
3	16	6
4	17	5
done	17	5
0	2	2
done	2	2
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	3	3
done	3	3
0	10	19
1	18	19
2	28	19
3	34	19
done	34	19
0	8	9
1	10	9
2	11	9
done	11	9
0	9	16
1	13	16
2	16	16
3	17	16
done	17	16
0	8	9
1	10	9
2	11	9
done	11	9
0	8	15
1	14	13
2	21	13
3	26	13
done	26	13
0	7	8
1	9	8
2	10	8
done	10	8
0	9	12
1	13	12
2	14	12
done	14	12
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	7	8
1	11	6
2	14	6
done	14	6
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	7
done	9	7
0	7	8
1	12	8
2	17	8
3	21	8
4	22	8
done	22	8
0	4	4
1	6	4
done	6	4
0	7	8
1	12	8
2	17	8
3	21	8
4	22	8
done	22	8
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	16	7
3	20	7
4	21	7
done	21	7
0	8	10
1	11	10
done	11	10
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	8	7
done	8	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	6	6
1	9	4
2	11	4
done	11	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	3	3
1	5	3
done	5	3
0	6	7
1	8	7
2	9	7
done	9	7
0	8	11
1	15	11
2	27	11
3	41	11
4	50	11
done	50	11
0	7	8
1	12	8
2	17	8
3	21	8
4	22	8
done	22	8
0	6	7
1	13	5
2	20	5
3	24	5
4	29	5
done	29	5
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	6	7
1	8	7
2	9	7
done	9	7
0	6	6
1	8	6
2	9	6
done	9	6
0	10	19
1	30	17
2	71	15
3	133	13
4	183	13
5	251	13
6	428	13
7	1017	13
8	3514	13
done	5000	13
0	6	7
1	14	7
2	19	7
done	19	7
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7

prune72.0ms

Filtered

31 candidates to 37 candidates (-19.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	34	3	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	4	38

Merged error: 0b

Counts

38 → 4

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* 0.16666666666666666 (pow x 2)) 0.5)
0.1b	(* 0.16666666666666666 (pow x 2))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
8×	`associate-r`
7×	`add-exp-log`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`unpow-prod-down` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
3×	`associate-l` `prod-exp`
2×	`pow1` `unpow2` `sqr-pow`
1×	`pow-to-exp` `sub-neg` `flip3--` `diff-log` `pow-exp` `*-commutative` `flip--` `cbrt-unprod`

Counts

2 → 39

Calls

2 calls:

5.0ms	(- (* 0.16666666666666666 (pow x 2)) 0.5)
6.0ms	(* 0.16666666666666666 (pow x 2))

series10.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(- (* 0.16666666666666666 (pow x 2)) 0.5)
3.0ms	(* 0.16666666666666666 (pow x 2))

simplify2.3min

Counts

45 → 45

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	15	7
2	25	7
3	34	7
4	40	7
5	50	7
6	72	7
7	133	7
8	345	7
9	1259	7
done	5000	7
0	6	6
1	15	6
2	35	6
3	50	6
4	58	6
5	68	6
6	90	6
7	153	6
8	367	6
9	1307	6
done	5000	6
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6
0	9	17
1	24	13
2	88	9
3	210	9
4	418	7
5	783	7
6	2344	7
done	5000	7
0	7	13
1	13	13
2	29	13
3	34	13
4	40	13
5	50	13
6	74	13
7	136	13
8	358	13
9	1301	13
done	5001	13
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	7	17
1	23	17
2	95	7
3	242	7
4	390	7
5	564	7
6	1458	7
7	4785	7
done	5000	7
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	7	7
1	13	7
2	29	4
3	44	4
4	79	4
5	199	4
6	651	4
7	2611	4
done	5000	4
0	7	7
1	13	7
2	29	4
3	44	4
4	79	4
5	199	4
6	651	4
7	2611	4
done	5000	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	7	7
1	13	7
2	23	5
3	28	5
4	34	5
5	44	5
6	68	5
7	134	5
8	346	5
9	1274	5
done	5000	5
0	7	7
1	13	7
2	23	5
3	28	5
4	34	5
5	44	5
6	68	5
7	134	5
8	346	5
9	1274	5
done	5000	5
0	7	8
1	13	6
2	26	4
3	40	4
4	76	4
5	200	4
6	658	4
7	2471	4
done	5001	4
0	7	8
1	13	6
2	26	4
3	40	4
4	76	4
5	200	4
6	658	4
7	2471	4
done	5001	4
0	7	9
1	13	9
2	33	9
3	74	9
4	172	6
5	424	6
6	1335	6
done	5001	6
0	6	6
1	12	6
2	28	3
3	45	3
4	83	3
5	205	3
6	642	3
7	2582	3
done	5000	3
0	5	5
1	12	3
2	16	1
done	16	1
0	3	3
1	4	3
done	4	3
0	7	11
1	15	11
2	25	11
3	30	11
4	36	11
5	46	11
6	70	11
7	130	11
8	339	11
9	1266	11
done	5000	11
0	6	6
1	12	6
2	22	4
3	27	4
4	33	4
5	43	4
6	65	4
7	124	4
8	349	4
9	1270	4
done	5000	4
0	3	3
1	6	1
done	6	1
0	6	7
1	12	5
2	25	3
3	41	3
4	78	3
5	194	3
6	648	3
7	2425	3
done	5000	3
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	9	9
1	19	8
2	42	8
3	69	8
4	127	8
5	293	8
6	807	8
7	2990	8
done	5000	8
0	8	8
1	16	8
2	33	8
3	38	8
4	44	8
5	54	8
6	78	8
7	140	8
8	346	8
9	1272	8
done	5000	8
0	8	8
1	19	8
2	42	8
3	60	8
4	104	8
5	239	8
6	703	8
7	1839	8
done	5000	8
0	9	17
1	17	17
2	34	17
3	39	17
4	45	17
5	55	17
6	77	17
7	141	17
8	352	17
9	1283	17
done	5000	17
0	8	8
1	16	8
2	33	8
3	38	8
4	44	8
5	54	8
6	78	8
7	140	8
8	346	8
9	1272	8
done	5000	8
0	9	23
1	18	23
2	49	9
3	128	9
4	429	9
5	1404	9
6	4102	9
done	5000	9
0	8	8
1	16	8
2	33	8
3	38	8
4	44	8
5	54	8
6	78	8
7	140	8
8	346	8
9	1272	8
done	5000	8
0	8	8
1	16	8
2	33	8
3	38	8
4	44	8
5	54	8
6	78	8
7	140	8
8	346	8
9	1272	8
done	5000	8
0	10	11
1	33	11
2	104	11
3	282	11
4	775	11
5	1991	11
done	5000	11
0	11	23
1	33	21
2	101	17
3	175	17
4	219	17
5	279	17
6	387	17
7	690	17
8	1735	17
done	5001	17
0	2	2
done	2	2
0	9	15
1	27	15
2	84	11
3	150	11
4	222	11
5	389	11
6	643	11
7	1270	11
8	4002	11
done	5000	11
0	7	7
1	14	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	135	7
8	351	7
9	1290	7
done	5001	7
0	2	2
done	2	2
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7

prune68.0ms

Filtered

31 candidates to 45 candidates (-45.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	45	4	49

Merged error: 0b

Counts

49 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

0.1b	(/ 6.0 (- (* x x) 3.0))
0.1b	(/ 1 (/ 6.0 (- (* x x) 3.0)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
78×	`add-sqr-sqrt`
62×	`add-cube-cbrt` `*-un-lft-identity`
22×	`associate-/r*`
16×	`difference-of-squares`
15×	`add-exp-log`
11×	`associate-/r/`
9×	`add-cbrt-cube`
8×	`div-exp`
6×	`div-inv` `associate-/l*`
5×	`flip3--` `flip--`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `add-log-exp`
1×	`pow-flip` `inv-pow`

Counts

2 → 129

Calls

2 calls:

10.0ms	(/ 6.0 (- (* x x) 3.0))
10.0ms	(/ 1 (/ 6.0 (- (* x x) 3.0)))

series10.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(/ 6.0 (- (* x x) 3.0))
6.0ms	(/ 1 (/ 6.0 (- (* x x) 3.0)))

simplify1.4min

Counts

135 → 135

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	9	10
1	13	10
2	18	10
3	20	10
4	21	9
done	21	9
0	8	9
1	13	9
2	16	9
3	20	9
4	22	9
5	23	9
done	23	9
0	10	11
1	18	10
2	32	10
3	51	9
4	81	9
5	108	9
6	117	9
7	134	9
done	134	9
0	9	10
1	16	9
2	25	9
3	38	9
4	64	9
5	94	9
6	103	9
7	109	9
8	124	9
done	124	9
0	11	12
1	21	11
2	30	10
3	55	9
4	84	9
5	110	9
6	119	9
7	133	9
done	133	9
0	10	11
1	19	10
2	25	9
3	42	9
4	68	9
5	98	9
6	107	9
7	113	9
8	128	9
done	128	9
0	9	10
1	19	9
2	35	9
3	70	8
4	139	8
5	233	8
6	275	8
7	282	8
8	292	8
done	292	8
0	9	10
1	15	10
2	27	10
3	58	8
4	148	8
5	297	8
6	612	8
7	1870	8
done	5000	8
0	14	29
1	32	25
2	101	13
3	397	11
4	1498	11
5	4990	9
done	5000	9
0	12	29
1	30	25
2	67	11
3	233	11
4	735	9
5	2071	9
done	5000	9
0	10	21
1	16	21
2	26	21
3	48	17
4	103	17
5	169	17
6	193	17
7	195	17
8	196	17
done	196	17
0	9	10
1	15	10
2	25	10
3	47	8
4	100	8
5	164	8
6	188	8
7	190	8
8	191	8
done	191	8
0	10	29
1	23	29
2	68	11
3	320	9
4	1107	9
5	3206	9
done	5000	9
0	9	10
1	15	10
2	25	10
3	47	8
4	100	8
5	164	8
6	188	8
7	190	8
8	191	8
done	191	8
0	9	10
1	15	10
2	25	10
3	47	8
4	100	8
5	164	8
6	188	8
7	190	8
8	191	8
done	191	8
0	2	2
1	5	1
done	5	1
0	7	8
1	11	8
2	12	8
done	12	8
0	12	23
1	22	21
2	32	19
3	38	19
done	38	19
0	10	11
1	14	10
2	15	10
done	15	10
0	11	14
1	17	12
2	20	10
3	21	10
done	21	10
0	10	11
1	14	10
2	15	10
done	15	10
0	14	25
1	28	23
2	65	21
3	135	19
4	189	19
done	189	19
0	11	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	13	18
1	23	16
2	42	14
3	75	12
4	101	12
done	101	12
0	11	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	8	13
1	16	7
2	30	7
3	39	7
done	39	7
0	10	11
1	16	10
2	26	10
3	48	8
4	103	8
5	171	8
6	193	8
7	195	8
8	196	8
done	196	8
0	12	16
1	21	14
2	47	12
3	108	10
4	185	10
5	202	10
6	209	10
7	211	10
done	211	10
0	10	10
1	16	9
2	26	9
3	44	7
4	91	7
5	129	7
6	153	7
7	158	7
8	159	7
done	159	7
0	13	22
1	23	20
2	39	18
3	59	16
4	63	16
done	63	16
0	11	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	12	15
1	20	13
2	30	11
3	38	9
4	39	9
done	39	9
0	11	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	7	10
1	13	4
2	18	4
done	18	4
0	10	11
1	16	10
2	26	10
3	48	8
4	103	8
5	171	8
6	193	8
7	195	8
8	196	8
done	196	8
0	11	13
1	18	11
2	35	9
3	59	7
4	86	7
5	87	7
done	87	7
0	10	10
1	16	9
2	26	9
3	44	7
4	91	7
5	129	7
6	153	7
7	158	7
8	159	7
done	159	7
0	11	21
1	21	19
2	37	15
3	53	13
4	61	13
5	62	13
done	62	13
0	10	11
1	16	10
2	20	10
3	21	8
4	34	8
5	41	8
done	41	8
0	10	14
1	18	12
2	28	8
3	35	6
done	35	6
0	10	11
1	16	10
2	20	10
3	21	8
4	34	8
5	41	8
done	41	8
0	5	9
1	11	1
done	11	1
0	9	10
1	15	9
2	25	9
3	47	7
4	100	7
5	166	7
6	190	7
7	192	7
8	193	7
done	193	7
0	9	12
1	16	10
2	33	6
3	41	4
done	41	4
0	9	9
1	15	8
2	25	8
3	43	6
4	90	6
5	126	6
6	152	6
7	157	6
8	158	6
done	158	6
0	4	7
1	8	3
2	12	1
done	12	1
0	9	10
1	15	9
2	25	9
3	47	7
4	100	7
5	166	7
6	190	7
7	192	7
8	193	7
done	193	7
0	5	7
1	9	5
2	11	3
3	12	3
done	12	3
0	8	10
1	14	9
2	24	7
3	38	5
4	58	5
5	68	5
6	78	5
7	93	5
8	103	5
9	104	5
done	104	5
0	13	17
1	36	15
2	91	11
3	242	9
4	828	9
5	3526	9
done	5000	9
0	11	20
1	26	17
2	38	15
3	51	13
4	69	13
5	96	13
6	177	13
7	412	13
8	1392	13
done	5000	13
0	12	19
1	27	17
2	55	13
3	156	9
4	450	9
5	1096	9
6	1897	9
7	4221	9
done	5000	9
0	7	8
1	10	7
done	10	7
0	11	20
1	17	19
2	18	19
done	18	19
0	10	11
1	14	10
2	15	10
done	15	10
0	10	11
1	14	10
2	15	10
done	15	10
0	10	11
1	14	10
2	15	10
done	15	10
0	13	22
1	25	21
2	47	21
3	78	19
4	138	19
5	212	19
done	212	19
0	11	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	12	15
1	20	14
2	29	14
3	42	12
4	69	12
5	107	12
done	107	12
0	11	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	7	10
1	13	7
2	24	7
3	33	7
done	33	7
0	10	11
1	16	10
2	26	10
3	48	8
4	103	8
5	171	8
6	193	8
7	195	8
8	196	8
done	196	8
0	11	13
1	18	12
2	34	12
3	67	10
4	140	10
5	208	10
6	218	10
7	219	10
done	219	10
0	10	10
1	16	9
2	26	9
3	44	7
4	91	7
5	129	7
6	153	7
7	158	7
8	159	7
done	159	7
0	12	19
1	20	18
2	28	18
3	36	16
4	60	16
5	75	16
done	75	16
0	11	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	11	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	11	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	6	7
1	10	4
2	15	4
done	15	4
0	10	11
1	16	10
2	26	10
3	48	8
4	103	8
5	171	8
6	193	8
7	195	8
8	196	8
done	196	8
0	10	10
1	15	9
2	26	9
3	39	7
4	74	7
5	89	7
done	89	7
0	10	10
1	16	9
2	26	9
3	44	7
4	91	7
5	129	7
6	153	7
7	158	7
8	159	7
done	159	7
0	10	18
1	18	17
2	26	15
3	35	13
4	49	13
5	51	13
done	51	13
0	10	11
1	16	10
2	20	10
3	21	8
4	34	8
5	41	8
done	41	8
0	9	11
1	15	10
2	19	8
3	24	6
4	28	6
done	28	6
0	10	11
1	16	10
2	20	10
3	21	8
4	34	8
5	41	8
done	41	8
0	4	6
1	8	1
done	8	1
0	9	10
1	15	9
2	25	9
3	47	7
4	100	7
5	166	7
6	190	7
7	192	7
8	193	7
done	193	7
0	8	9
1	13	8
2	24	6
3	29	4
4	41	4
done	41	4
0	9	9
1	15	8
2	25	8
3	43	6
4	90	6
5	126	6
6	152	6
7	157	6
8	158	6
done	158	6
0	3	4
1	5	1
done	5	1
0	9	10
1	15	9
2	25	9
3	47	7
4	100	7
5	166	7
6	190	7
7	192	7
8	193	7
done	193	7
0	4	4
1	6	3
done	6	3
0	8	10
1	14	9
2	24	7
3	38	5
4	58	5
5	68	5
6	78	5
7	93	5
8	103	5
9	104	5
done	104	5
0	12	14
1	33	13
2	82	11
3	222	9
4	761	9
5	3470	9
done	5000	9
0	11	20
1	26	17
2	38	15
3	51	13
4	69	13
5	96	13
6	177	13
7	412	13
8	1392	13
done	5000	13
0	11	16
1	24	15
2	48	13
3	134	9
4	413	9
5	1083	9
6	1863	9
7	4110	9
done	5001	9
0	7	8
1	10	7
done	10	7
0	10	19
1	16	19
2	17	19
done	17	19
0	9	10
1	13	10
2	14	10
done	14	10
0	9	10
1	13	10
2	14	10
done	14	10
0	9	10
1	13	10
2	14	10
done	14	10
0	12	21
1	24	21
2	46	21
3	77	19
4	137	19
5	200	19
done	200	19
0	10	11
1	16	11
2	20	11
3	21	9
4	34	9
5	41	9
done	41	9
0	11	14
1	19	14
2	28	14
3	41	12
4	68	12
5	100	12
done	100	12
0	10	11
1	16	11
2	20	11
3	21	9
4	34	9
5	41	9
done	41	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	9	10
1	15	10
2	25	10
3	47	8
4	100	8
5	166	8
6	188	8
7	190	8
8	191	8
done	191	8
0	10	12
1	17	12
2	33	12
3	66	10
4	139	10
5	217	10
6	228	10
7	231	10
done	231	10
0	9	9
1	15	9
2	25	9
3	43	7
4	90	7
5	126	7
6	150	7
7	155	7
8	156	7
done	156	7
0	11	18
1	19	18
2	27	18
3	35	16
4	59	16
5	74	16
done	74	16
0	10	11
1	16	11
2	20	11
3	21	9
4	34	9
5	41	9
done	41	9
0	10	11
1	16	11
2	20	11
3	21	9
4	34	9
5	41	9
done	41	9
0	10	11
1	16	11
2	20	11
3	21	9
4	34	9
5	41	9
done	41	9
0	5	6
1	9	4
2	14	4
done	14	4
0	9	10
1	15	10
2	25	10
3	47	8
4	100	8
5	166	8
6	188	8
7	190	8
8	191	8
done	191	8
0	9	9
1	14	9
2	25	9
3	38	7
4	73	7
5	88	7
done	88	7
0	9	9
1	15	9
2	25	9
3	43	7
4	90	7
5	126	7
6	150	7
7	155	7
8	156	7
done	156	7
0	9	17
1	17	13
2	27	13
3	40	13
4	49	13
5	50	13
done	50	13
0	9	10
1	15	10
2	19	10
3	20	8
4	33	8
5	40	8
done	40	8
0	8	10
1	14	6
2	20	6
3	22	6
4	23	6
done	23	6
0	9	10
1	15	10
2	19	10
3	20	8
4	33	8
5	40	8
done	40	8
0	3	5
1	6	1
done	6	1
0	8	9
1	14	9
2	24	9
3	46	7
4	99	7
5	163	7
6	187	7
7	189	7
8	190	7
done	190	7
0	7	8
1	12	4
2	25	4
3	35	4
4	36	4
done	36	4
0	8	8
1	14	8
2	24	8
3	42	6
4	89	6
5	125	6
6	151	6
7	156	6
8	157	6
done	157	6
0	2	3
1	4	1
done	4	1
0	8	9
1	14	9
2	24	9
3	46	7
4	99	7
5	163	7
6	187	7
7	189	7
8	190	7
done	190	7
0	3	3
1	5	3
done	5	3
0	7	9
1	13	5
2	25	5
3	42	5
4	57	5
5	64	5
6	70	5
7	80	5
8	95	5
9	105	5
10	106	5
done	106	5
0	11	13
1	32	13
2	81	11
3	223	9
4	761	9
5	3413	9
done	5000	9
0	10	19
1	25	17
2	37	15
3	52	13
4	70	13
5	97	13
6	176	13
7	411	13
8	1388	13
done	5000	13
0	10	15
1	23	15
2	45	13
3	131	9
4	404	9
5	1064	9
6	1823	9
7	4078	9
done	5001	9
0	6	7
1	9	7
done	9	7
0	8	9
1	14	9
2	24	9
3	46	7
4	99	7
5	163	7
6	187	7
7	189	7
8	190	7
done	190	7
0	8	9
1	14	7
2	28	7
3	45	7
4	61	7
5	65	7
done	65	7
0	10	19
1	16	19
2	17	19
done	17	19
0	9	10
1	13	10
2	14	10
done	14	10
0	12	21
1	24	21
2	46	21
3	77	19
4	137	19
5	200	19
done	200	19
0	11	14
1	19	14
2	28	14
3	41	12
4	68	12
5	100	12
done	100	12
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	10	12
1	17	12
2	33	12
3	66	10
4	139	10
5	217	10
6	228	10
7	231	10
done	231	10
0	11	18
1	19	18
2	27	18
3	35	16
4	59	16
5	74	16
done	74	16
0	10	11
1	16	11
2	20	11
3	21	9
4	34	9
5	41	9
done	41	9
0	5	6
1	9	4
2	14	4
done	14	4
0	9	9
1	14	9
2	25	9
3	38	7
4	73	7
5	88	7
done	88	7
0	9	17
1	17	13
2	27	13
3	40	13
4	49	13
5	50	13
done	50	13
0	8	10
1	14	6
2	20	6
3	22	6
4	23	6
done	23	6
0	3	5
1	6	1
done	6	1
0	7	8
1	12	4
2	25	4
3	35	4
4	36	4
done	36	4
0	2	3
1	4	1
done	4	1
0	3	3
1	5	3
done	5	3
0	11	13
1	32	13
2	81	11
3	223	9
4	761	9
5	3413	9
done	5000	9
0	10	15
1	23	15
2	45	13
3	131	9
4	404	9
5	1064	9
6	1823	9
7	4078	9
done	5001	9
0	9	10
1	15	9
2	25	9
3	34	7
4	56	7
5	60	7
done	60	7
0	9	10
1	15	9
2	25	9
3	34	7
4	56	7
5	60	7
done	60	7
0	8	9
1	14	7
2	28	7
3	45	7
4	61	7
5	65	7
done	65	7
0	3	3
1	5	3
done	5	3
0	8	9
1	12	9
2	14	9
done	14	9
0	7	8
1	12	8
2	15	8
3	16	8
done	16	8
0	7	8
1	9	8
2	10	8
done	10	8
0	10	23
1	21	23
2	66	11
3	184	9
4	451	9
5	1294	9
6	4498	9
done	5000	9
0	8	17
1	10	17
2	11	17
done	11	17
0	7	8
1	9	8
2	10	8
done	10	8
0	8	23
1	17	23
2	34	9
3	78	9
4	178	9
5	452	9
6	1219	9
7	3824	9
done	5000	9
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	2	2
done	2	2
0	5	6
1	7	6
2	11	6
3	16	6
4	17	5
done	17	5
0	10	19
1	18	19
2	28	19
3	34	19
done	34	19
0	8	9
1	10	9
2	11	9
done	11	9
0	9	12
1	13	12
2	16	12
3	17	12
done	17	12
0	8	9
1	10	9
2	11	9
done	11	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	9	8
2	10	8
done	10	8
0	8	10
1	11	10
2	13	10
3	14	10
done	14	10
0	7	7
1	9	7
2	10	7
done	10	7
0	9	16
1	13	16
2	14	16
done	14	16
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	9	8
2	10	8
done	10	8
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	15
1	14	15
2	15	15
done	15	15
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	11	8
2	12	8
done	12	8
0	7	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
2	9	7
done	9	7
0	6	6
1	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	7
1	10	7
2	11	7
done	11	7
0	6	7
1	11	7
2	16	7
3	20	7
4	21	7
done	21	7
0	8	15
1	12	15
2	13	15
done	13	15
0	7	8
1	9	8
2	10	8
done	10	8
0	3	3
1	5	1
done	5	1
0	6	6
1	7	6
done	7	6
0	7	8
1	12	8
2	17	8
3	21	8
4	22	8
done	22	8
0	7	8
1	12	8
2	17	8
3	21	8
4	22	8
done	22	8
0	6	7
1	11	7
2	16	7
3	20	7
4	21	7
done	21	7
0	9	11
1	26	11
2	66	9
3	129	9
4	301	9
5	969	9
6	4587	9
done	5000	9
0	8	13
1	17	13
2	30	11
3	56	9
4	104	9
5	192	9
6	353	9
7	841	9
8	3532	9
done	5001	9
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	13	14
1	30	14
2	78	14
3	150	14
4	263	14
5	416	14
6	599	14
7	1154	14
8	3512	14
done	5001	14
0	19	23
1	45	23
2	105	17
3	269	17
4	1161	17
5	4816	17
done	5000	17
0	19	23
1	45	23
2	105	17
3	269	17
4	1161	17
5	4816	17
done	5000	17

prune158.0ms

Filtered

80 candidates to 135 candidates (-68.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	135	4	139

Merged error: 0b

Counts

139 → 4

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- x (sqrt 3.0)) 6.0)
0.0b	(- x (sqrt 3.0))
0.0b	(+ (sqrt 3.0) x)
0.7b	(* (+ (sqrt 3.0) x) (/ (- x (sqrt 3.0)) 6.0))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

63×	`add-sqr-sqrt`
46×	`*-un-lft-identity`
37×	`times-frac`
26×	`add-cube-cbrt`
22×	`associate-r`
16×	`difference-of-squares`
11×	`add-exp-log` `add-cbrt-cube`
8×	`sqrt-prod` `distribute-lft-out--` `add-log-exp`
6×	`pow1` `associate-/l*`
4×	`associate-l`
3×	`flip3-+` `associate-/r*` `flip-+`
2×	`cbrt-undiv` `frac-times` `flip3--` `div-exp` `associate-*l/` `prod-exp` `flip--` `cbrt-unprod` `div-inv` `associate-/l/` `distribute-lft-out` `unswap-sqr`
1×	`+-commutative` `sub-neg` `frac-2neg` `diff-log` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative`

Counts

4 → 115

Calls

4 calls:

7.0ms	(/ (- x (sqrt 3.0)) 6.0)
5.0ms	(- x (sqrt 3.0))
5.0ms	(+ (sqrt 3.0) x)
21.0ms	(* (+ (sqrt 3.0) x) (/ (- x (sqrt 3.0)) 6.0))

series30.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ (- x (sqrt 3.0)) 6.0)
4.0ms	(- x (sqrt 3.0))
4.0ms	(+ (sqrt 3.0) x)
16.0ms	(* (+ (sqrt 3.0) x) (/ (- x (sqrt 3.0)) 6.0))

simplify2.0min

Counts

127 → 127

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	17	11
2	37	11
3	93	11
4	173	11
5	288	11
6	443	11
7	718	9
8	1235	7
9	3629	7
done	5000	7
0	11	14
1	19	14
2	27	14
3	36	14
4	42	14
5	52	14
6	59	14
7	71	14
8	94	14
9	108	14
10	114	14
done	114	14
0	10	13
1	20	13
2	29	13
3	40	13
4	50	13
5	59	13
6	64	13
7	73	13
8	90	13
9	109	13
10	117	13
done	117	13
0	9	12
1	21	12
2	47	12
3	113	12
4	212	12
5	342	12
6	507	12
7	802	10
8	1336	8
9	3740	8
done	5000	8
0	9	12
1	20	12
2	50	12
3	128	12
4	263	12
5	556	12
6	1187	12
7	3821	10
done	5000	10
0	14	35
1	44	35
2	174	17
3	834	15
done	5000	15
0	12	35
1	43	35
2	143	15
3	583	15
4	3550	13
done	5000	13
0	10	25
1	19	25
2	39	25
3	95	25
4	175	25
5	295	25
6	446	25
7	719	21
8	1235	17
9	3624	17
done	5000	17
0	9	12
1	18	12
2	38	12
3	94	12
4	174	12
5	295	12
6	449	12
7	722	10
8	1239	8
9	3624	8
done	5000	8
0	10	35
1	29	35
2	122	13
3	657	13
4	3766	13
done	5001	13
0	9	12
1	18	12
2	38	12
3	94	12
4	174	12
5	295	12
6	449	12
7	722	10
8	1239	8
9	3624	8
done	5000	8
0	9	12
1	18	12
2	38	12
3	94	12
4	174	12
5	295	12
6	449	12
7	722	10
8	1239	8
9	3624	8
done	5000	8
0	9	13
1	26	13
2	50	13
3	120	13
4	343	13
5	956	13
6	3395	13
done	5000	13
0	10	16
1	19	10
2	42	10
3	76	10
4	120	10
5	151	10
6	182	10
7	227	10
8	319	10
9	440	10
10	546	10
11	588	10
12	594	10
done	594	10
0	8	14
1	16	10
2	40	10
3	131	10
4	393	10
5	945	10
6	2880	10
done	5000	10
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	10	13
1	17	13
2	20	13
3	22	13
done	22	13
0	10	13
1	17	13
2	20	13
3	22	13
done	22	13
0	11	14
1	17	14
2	21	14
3	25	14
4	26	14
done	26	14
0	11	14
1	17	14
2	21	14
3	25	14
4	26	14
done	26	14
0	10	20
1	19	20
2	32	20
3	46	20
4	48	20
done	48	20
0	9	12
1	16	12
2	27	12
3	29	12
done	29	12
0	12	22
1	24	22
2	62	22
3	155	22
4	287	22
5	390	22
6	436	22
7	450	22
8	455	22
9	458	22
10	460	22
done	460	22
0	11	19
1	19	19
2	38	19
3	83	19
4	126	19
5	146	19
6	154	19
7	160	19
8	161	19
done	161	19
0	10	18
1	20	16
2	46	16
3	109	16
4	181	16
5	251	16
6	278	16
done	278	16
0	11	16
1	19	16
2	39	16
3	76	16
4	108	16
5	134	16
6	150	16
7	155	16
8	156	16
9	158	16
10	159	16
done	159	16
0	10	13
1	16	13
2	28	13
3	44	13
4	51	13
5	55	13
6	61	13
7	63	13
done	63	13
0	9	12
1	17	10
2	33	10
3	44	10
4	56	10
5	70	10
6	98	10
7	99	10
done	99	10
0	10	12
1	18	12
2	36	10
3	90	10
4	169	10
5	188	10
6	195	10
7	196	10
done	196	10
0	9	9
1	15	9
2	26	7
3	53	7
4	82	7
5	83	7
done	83	7
0	7	8
1	13	6
2	26	4
3	38	4
done	38	4
0	12	17
1	19	17
2	46	17
3	99	17
4	167	17
5	228	17
6	298	17
7	373	17
8	520	17
9	555	17
10	589	17
11	593	17
12	604	17
done	604	17
0	11	14
1	16	14
2	35	14
3	67	14
4	102	14
5	135	14
6	171	14
7	197	14
8	259	14
9	269	14
10	275	14
done	275	14
0	10	13
1	17	11
2	40	11
3	75	11
4	127	11
5	177	11
6	229	11
7	245	11
8	293	11
9	295	11
10	299	11
done	299	11
0	12	17
1	19	17
2	46	17
3	99	17
4	167	17
5	228	17
6	298	17
7	373	17
8	520	17
9	555	17
10	589	17
11	593	17
12	604	17
done	604	17
0	11	14
1	16	14
2	35	14
3	67	14
4	102	14
5	135	14
6	171	14
7	197	14
8	259	14
9	269	14
10	275	14
done	275	14
0	10	13
1	17	11
2	40	11
3	75	11
4	127	11
5	177	11
6	229	11
7	245	11
8	293	11
9	295	11
10	299	11
done	299	11
0	10	12
1	18	12
2	36	10
3	90	10
4	169	10
5	188	10
6	195	10
7	196	10
done	196	10
0	9	9
1	15	9
2	26	7
3	53	7
4	82	7
5	83	7
done	83	7
0	7	8
1	13	6
2	26	4
3	38	4
done	38	4
0	6	6
1	10	4
2	21	4
3	29	4
done	29	4
0	6	9
1	10	9
2	25	9
3	53	9
4	94	9
5	149	9
6	214	9
7	323	7
8	536	5
9	1464	5
10	4620	5
done	5000	5
0	9	12
1	18	12
2	30	12
3	47	12
4	70	12
5	89	12
6	96	12
7	97	12
done	97	12
0	9	12
1	18	12
2	30	12
3	47	12
4	70	12
5	89	12
6	96	12
7	97	12
done	97	12
0	8	11
1	17	11
2	37	11
3	93	11
4	173	11
5	288	11
6	443	11
7	718	9
8	1235	7
9	3629	7
done	5000	7
0	8	11
1	17	11
2	37	11
3	93	11
4	173	11
5	288	11
6	443	11
7	718	9
8	1235	7
9	3629	7
done	5000	7
0	6	9
1	10	9
2	25	9
3	53	9
4	94	9
5	149	9
6	214	9
7	323	7
8	536	5
9	1464	5
10	4620	5
done	5000	5
0	11	15
1	33	15
2	62	15
3	160	15
4	561	15
5	1911	15
done	5001	15
0	10	16
1	23	12
2	54	12
3	196	12
4	673	12
5	1776	12
done	5000	12
0	6	6
1	9	5
2	10	5
done	10	5
0	5	5
1	6	5
done	6	5
0	5	5
1	9	5
2	10	5
done	10	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	20	14
2	52	6
3	117	6
4	275	6
5	844	6
6	1932	6
7	2808	6
8	3270	6
9	4260	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	201	8
6	602	8
7	2456	8
done	5000	8
0	8	14
1	16	8
2	31	8
3	41	8
4	47	8
5	57	8
6	66	8
7	83	8
8	110	8
9	145	8
10	169	8
11	172	8
done	172	8
0	6	9
1	11	5
2	18	5
3	33	5
4	58	5
5	99	5
6	161	5
7	328	5
8	1623	5
done	5000	5
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	5	4
done	5	4
0	6	6
1	8	5
2	10	5
3	13	5
4	16	5
5	22	5
6	26	5
7	42	5
8	46	5
9	51	5
10	58	5
11	76	5
12	97	5
13	115	5
14	118	5
done	118	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	10	5
2	13	5
3	16	5
4	22	5
5	26	5
6	42	5
7	46	5
8	51	5
9	58	5
10	77	5
11	98	5
12	111	5
13	114	5
done	114	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	24	6
3	67	6
4	176	6
5	500	6
6	1728	6
done	5001	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	7	8
1	22	8
2	44	8
3	74	8
4	161	8
5	501	8
6	2286	8
done	5000	8
0	8	14
1	15	10
2	23	10
3	26	8
4	27	8
done	27	8
0	3	3
done	3	3
0	6	9
1	11	5
2	16	5
3	31	5
4	58	5
5	97	5
6	142	5
7	279	5
8	1352	5
done	5000	5
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
1	6	4
2	7	4
done	7	4
0	3	3
done	3	3
0	8	8
1	12	8
2	14	8
done	14	8
0	7	7
1	15	7
2	20	7
3	23	7
done	23	7
0	7	7
1	12	7
2	18	7
3	22	7
4	25	7
5	31	7
6	35	7
7	51	7
8	55	7
9	62	7
10	71	7
11	91	7
12	112	7
13	126	7
14	133	7
15	139	7
16	143	7
done	143	7
0	10	20
1	21	20
2	69	10
3	204	8
4	563	8
5	2032	8
done	5000	8
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	8	20
1	20	20
2	51	8
3	177	8
4	572	8
5	1721	8
done	5000	8
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	5
1	7	5
2	11	5
3	13	5
4	14	4
done	14	4
0	2	2
done	2	2
0	3	3
done	3	3
0	4	4
done	4	4
0	10	17
1	18	17
2	28	17
3	34	17
done	34	17
0	8	8
1	10	8
2	11	8
done	11	8
0	9	14
1	13	14
2	16	14
3	17	14
done	17	14
0	8	8
1	10	8
2	11	8
done	11	8
0	8	13
1	14	11
2	21	11
3	26	11
done	26	11
0	7	7
1	9	7
2	10	7
done	10	7
0	9	11
1	13	11
2	14	11
done	14	11
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	7	7
1	11	5
2	14	5
done	14	5
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	7
done	9	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	4	4
1	6	4
done	6	4
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	2	3
1	4	1
done	4	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	10	12
1	13	12
done	13	12
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	9	9
1	10	9
done	10	9
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	8	8
1	11	6
2	13	6
done	13	6
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	10	12
1	13	12
done	13	12
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	9	9
1	10	9
done	10	9
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	8	8
1	11	6
2	13	6
done	13	6
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	5	7
1	9	7
done	9	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	4	4
1	6	4
done	6	4
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	2	3
1	4	1
done	4	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	3	3
1	5	3
done	5	3
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	15	10
2	23	10
3	28	10
4	31	10
done	31	10
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	6	6
1	13	4
2	18	4
3	19	4
done	19	4
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	6	6
1	8	6
2	9	6
done	9	6
0	10	16
1	24	12
2	53	12
3	83	10
4	94	10
5	96	10
done	96	10
0	6	6
1	14	6
2	15	6
done	15	6
0	10	12
1	24	10
2	72	7
3	106	7
4	211	7
5	591	7
6	2209	7
done	5000	7
0	10	12
1	24	10
2	72	7
3	106	7
4	211	7
5	591	7
6	2209	7
done	5000	7
0	10	12
1	24	10
2	72	7
3	106	7
4	211	7
5	591	7
6	2209	7
done	5000	7
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	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	13	6
2	22	6
3	23	6
done	23	6
0	7	8
1	13	6
2	22	6
3	23	6
done	23	6
0	7	8
1	13	6
2	22	6
3	23	6
done	23	6

prune213.0ms

Filtered

88 candidates to 127 candidates (-44.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	127	4	131

Merged error: 0b

Counts

131 → 4

regimes160.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample449.0ms

Algorithm

intervals

Results

253.0ms

10675×

body

valid

Details

sample17.0ms

simplify9.0ms

prune2.0ms

localize5.0ms

rewrite8.0ms

series6.0ms

simplify21.3s

prune72.0ms

localize5.0ms

rewrite12.0ms

series10.0ms

simplify2.3min

prune68.0ms

localize6.0ms

rewrite28.0ms

series10.0ms

simplify1.4min

prune158.0ms

localize7.0ms

rewrite42.0ms

series30.0ms

simplify2.0min

prune213.0ms

regimes160.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample449.0ms

Profiling